Reasoning robots. The art and science of programming robotic agents
This book presents the `fluent calculus' as one possible approach to solve the frame problem in artificial intelligence. The formal model for reasoning about actions is extended into actual programming languages and systems for the design of robotic agents. The PROLOG-based method FLUX is one example for these systems and supports the problem-driven top-down design of robotic agents with the cognitive capabilities of reasoning, planning and intelligent troubleshooting. The book starts with a careful introduction into the fluent calculus, based on an axomatic predicate-logical formalism and the presentation of the logic programming system FLUX. Based on this knowledge the reader can find many interesting problems from AI and how they are dealt with, such as incomplete states and incomplete knowledge (which makes the approach more realistic). Planning, nondeterminism, imprecision, indirect effects (ramification), the acquisition problem (troubleshooting) and the inclusion of all these topics into robotics fill the next chapters. Each chapter follows a very strict construction: it starts with an axiomatic logical model of the problem area, supported by illustrative examples which are mostly given by predicate calculus formulas and program code. Exercises and biographical notes conclude the respective representation. The book is very understandable and recommendable for anybody who wants to solve AI problems by means of predicate logics and logic programming. It shows that this approach is more and more applicable to the solution of real-world problems. It will be an excellent textbook for appropriate AI or robotics courses and very appropriate for graduate students.
- What robots can do: robot programs and effective achievability
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Plan-based control of robotic agents. Improving the capabilities of autonomous robots
- Regression and progression in stochastic domains
- A paraconsistent approach to actions in informationally complex environments
- Event calculus and temporal action logics compared
- Inference as doxastic agency. I: The basics of justification stit logic
- Logic-based agents and the frame problem: a case for progression
- Robots, Reasoning, and Reification
- A Fluent Calculus Semantics for ADL with Plan Constraints
- EVOLP: Tranformation-Based Semantics
- A declarative agent programming language based on action theories
- scientific article; zbMATH DE number 1759735 (Why is no real title available?)
- scientific article; zbMATH DE number 1390358 (Why is no real title available?)
- An embedded implementation of Bayesian network robot programming methods
- On the progression of belief
This page was built for publication: Reasoning robots. The art and science of programming robotic agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2487869)
