Commonsense Reasoning

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, General Computing
Cover of the book Commonsense Reasoning by Erik T. Mueller, Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Erik T. Mueller ISBN: 9780080476612
Publisher: Elsevier Science Publication: July 26, 2010
Imprint: Morgan Kaufmann Language: English
Author: Erik T. Mueller
ISBN: 9780080476612
Publisher: Elsevier Science
Publication: July 26, 2010
Imprint: Morgan Kaufmann
Language: English

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.
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Elsevier Science

Cover of the book Cytochemical Bioassays by Erik T. Mueller
Cover of the book Toxicological Survey of African Medicinal Plants by Erik T. Mueller
Cover of the book Handbook of Mathematical Fluid Dynamics by Erik T. Mueller
Cover of the book Brain Machine Interfaces by Erik T. Mueller
Cover of the book Biodiversity and Climate Change Adaptation in Tropical Islands by Erik T. Mueller
Cover of the book Progress in Heterocyclic Chemistry by Erik T. Mueller
Cover of the book New Theories for Chemistry by Erik T. Mueller
Cover of the book Quantifying and Controlling Catastrophic Risks by Erik T. Mueller
Cover of the book Cyber-Physical and Gentelligent Systems in Manufacturing and Life Cycle by Erik T. Mueller
Cover of the book Fluid-Structure Interactions: Volume 2 by Erik T. Mueller
Cover of the book Cyber Attacks by Erik T. Mueller
Cover of the book Neurology for the Speech-Language Pathologist by Erik T. Mueller
Cover of the book Information Protection Playbook by Erik T. Mueller
Cover of the book OQAM/FBMC for Future Wireless Communications by Erik T. Mueller
Cover of the book The Psychology of Music by Erik T. Mueller
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy