Commonsense Reasoning
Saved in:
| 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 |