Commonsense ReasoningElsevier, 26 de jul. 2010 - 432 pàgines 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.
|
Continguts
1 | |
17 | |
Part II Commonsense Phenomena | 53 |
Part III Commonsense Domains | 163 |
Part IV Default Reasoning | 223 |
Part V Programs and Applications | 239 |
Part VI Logical and Nonlogical Methods | 269 |
Part VII Conclusion | 319 |
Part VIII Appendices | 325 |
361 | |
391 | |
Altres edicions - Mostra-ho tot
Frases i termes més freqüents
action active agent applications axiomatization called cancellation causal Chapter CIRC CIRCLX circumscription commonsense law commonsense reasoning concurrent condition conjunction consider consists constraints continuous change default defined DEFINITION described determining device Discrete Event Calculus discussed domain effect axioms emotions event calculus event occurrences example false first-order logic fluent follows Formalize formula frame function given goal Happens Happens(e holding indirect effects infer Initiates Initiates(e input introduced kitchen knowledge language law of inertia light longer McCarthy method moves Nathan object observations occurs performed person precondition predicate present problem Proof proposed PROPOSITION relation released represent representation Research scenario Shanahan situation calculus sort space specify starts Suppose symbol Table term Terminates Terminates(e Theorem 2.1 theory timepoint trigger true turned variables walks
Passatges populars
Pàgina 42 - comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions.
Referències a aquest llibre
Artificial General Intelligence, 2008: Proceedings of the First AGI Conference Pei Wang,Ben Goertzel,Stan Franklin Previsualització limitada - 2008 |
Communicating Process Architectures 2006: WoTUG-29 : Proceedings of the 29th ... Peter H. Welch,Jon Kerridge,Frederick R. M. Barnes Previsualització limitada - 2006 |