Cover Image

Commonsense reasoning /

Show other versions (2)

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. I...

Full description

Bibliographic Details
Main Author: Mueller, Erik T.
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Language Notes:English.
Published: Amsterdam ; Boston : Elsevier Morgan Kaufmann, ©2006.
Subjects:
Commonsense reasoning > Automation.
Artificial intelligence > Mathematics.
Logic, Symbolic and mathematical > Data processing.
Artificial intelligence.
Automation.
Artificial Intelligence
Electronic Data Processing
Automation
Raisonnement de sens commun > Automatisation.
Intelligence artificielle > Mathématiques.
Logique symbolique et mathématique > Informatique.
Intelligence artificielle.
Informatique.
Automatisation.
artificial intelligence.
automation.
Artificial intelligence
Artificial intelligence > Mathematics
Logic, Symbolic and mathematical > Data processing
Electronic books.
dissertations.
Academic theses
Academic theses.
Thèses et écrits académiques.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • The event calculus
  • The effects of events
  • The triggering of events
  • The commonsense law of inertia
  • Indirect effects of events
  • Continuous change
  • Concurrent events
  • Nondeterministic effects of events
  • Space
  • The mental states of agents
  • Default reasoning
  • The discrete event calculus reasoner
  • Applications
  • Logics for commonsense reasoning
  • Nonlogical methods for commonsense reasoning.