Reasoning robots. The art and science of programming robotic agents

zbMATH Open1092.68101MaRDI QIDQ2487869FDOQ2487869

Authors: Michael Thielscher 

Publication date: 11 August 2005

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

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

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)

Cited In (16)

• 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
• Title not available (Why is that?)
• Robots, Reasoning, and Reification
• On the progression of belief
• Regression and progression in stochastic domains
• EVOLP: Tranformation-Based Semantics
• Title not available (Why is that?)

Uses Software

• ConGolog
• Graphplan

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)