Commonsense Reasoning

Saved in:
Bibliographic Details
Title: Commonsense Reasoning
Description: To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. - Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. - The first full book on commonsense reasoning to use the event calculus. - Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. - Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. - Includes fully worked out proofs and circumscriptions for every example.
Authors: Erik T. Mueller
Resource Type: eBook.
Subjects: Logic, Symbolic and mathematical--Data processing, Artificial intelligence, Commonsense reasoning--Automation, Artificial intelligence--Mathematics, Automation
Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
  – Type: ebook-epub
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 196148
RelevancyScore: 1005
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1004.98577880859
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$196148$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$196148$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Commonsense Reasoning
– Name: Abstract
  Label: Description
  Group: Ab
  Data: To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. - Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. - The first full book on commonsense reasoning to use the event calculus. - Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. - Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. - Includes fully worked out proofs and circumscriptions for every example.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Erik+T%2E+Mueller%22">Erik T. Mueller</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Logic%2C+Symbolic+and+mathematical--Data+processing%22">Logic, Symbolic and mathematical--Data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Artificial+intelligence%22">Artificial intelligence</searchLink><br /><searchLink fieldCode="DE" term="%22Commonsense+reasoning--Automation%22">Commonsense reasoning--Automation</searchLink><br /><searchLink fieldCode="DE" term="%22Artificial+intelligence--Mathematics%22">Artificial intelligence--Mathematics</searchLink><br /><searchLink fieldCode="DE" term="%22Automation%22">Automation</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Artificial+Intelligence+%2F+General%22">COMPUTERS / Artificial Intelligence / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=196148
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 153.43
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Logic, Symbolic and mathematical--Data processing
        Type: general
      – SubjectFull: Artificial intelligence
        Type: general
      – SubjectFull: Commonsense reasoning--Automation
        Type: general
      – SubjectFull: Artificial intelligence--Mathematics
        Type: general
      – SubjectFull: Automation
        Type: general
    Titles:
      – TitleFull: Commonsense Reasoning
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Erik T. Mueller
      – PersonEntity:
          Name:
            NameFull: Erik T. Mueller
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2006
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9780123693884
            – Type: isbn-electronic
              Value: 9780080476612
          Titles:
            – TitleFull: Commonsense Reasoning
              Type: main
ResultId 1