Filter by
Knowledge in Action: Logical Foundations for Specifying and Implementing Dyna…
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment …
- Edition
- 1
- ISBN/ISSN
- 9780262282314
- Collation
- -
- Series Title
- -
- Call Number
- -
"Learning in Embedded Systems "
It is the first detailed exploration of the problem of learning action strategies in the context of designing embedded systems that adapt their behavior to a complex, changing environment; such systems include mobile robots, factory process controllers, and long-term software databases.Learning to perform complex action strategies is an important problem in the fields of artificial intelligence…
- Edition
- 1
- ISBN/ISSN
- 9780262288507
- Collation
- -
- Series Title
- -
- Call Number
- -
The logic of knowledge bases
"The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge--a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the…
- Edition
- 1
- ISBN/ISSN
- 9780262278232
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second Inte…
"This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universid…
- Edition
- 1
- ISBN/ISSN
- 9780262291378
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 11th International Conference
Conference proceedings presenting the state-of-the-art in Logic Programming.
- Edition
- 1
- ISBN/ISSN
- 9780262257145
- Collation
- -
- Series Title
- -
- Call Number
- -
Mind and mechanism
"In Mind and Mechanism, Drew McDermott takes a computational approach to the mind-body problem (how it is that a purely physical entity, the brain, can have experiences). He begins by demonstrating the falseness of dualist approaches, which separate the physical and mental realms. He then surveys what has been accomplished in artificial intelligence, clearly differentiating what we know how to …
- Edition
- -
- ISBN/ISSN
- 9780262133920
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography