Reasoning robots. The art and science of programming robotic agents

MaRDI QIDQ2487869zbMATH OpenFDO

Authors Michael Thielscher

Publication date 11 August 2005

Published in Applied Logic Series (Search for Journal in Brave)

zbMATH Keywords

logic programmingrobot programmingrobotic agentsfluent calculus

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence for robotics (68T40)

Recommendations

• Robots, Reasoning, and Reification
• Toward Robots That Reason: Logic, Probability & Causal Laws
• Robotics: The programming of intelligent robots
• scientific article; zbMATH DE number 1390358
• Agents and Computational Autonomy
• Robot intelligence. An advanced knowledge processing approach

Cited in

(16)

• scientific article; zbMATH DE number 1390358 (Why is no real title available?)
• Plan-based control of robotic agents. Improving the capabilities of autonomous robots
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• A paraconsistent approach to actions in informationally complex environments
• Logic-based agents and the frame problem: a case for progression
• What robots can do: robot programs and effective achievability
• A declarative agent programming language based on action theories
• An embedded implementation of Bayesian network robot programming methods
• A Fluent Calculus Semantics for ADL with Plan Constraints
• Event calculus and temporal action logics compared
• Inference as doxastic agency. I: The basics of justification stit logic
• scientific article; zbMATH DE number 1759735 (Why is no real title available?)
• Robots, Reasoning, and Reification
• On the progression of belief
• Regression and progression in stochastic domains
• EVOLP: Tranformation-Based Semantics

Describes a project that uses

Uses Software

• Graphplan
• ConGolog

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)