Logic-based agents and the frame problem: a case for progression

MaRDI QIDQ3367333zbMATH OpenFDO

Authors Michael Thielscher

Publication date 24 January 2006

zbMATH Keywords

first-order logicframe problemrobotGOLOGFLUXprogression-based inferencereasoning agentregression-based inference

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Reasoning robots. The art and science of programming robotic agents
• FLUX: A logic programming method for reasoning agents
• scientific article; zbMATH DE number 89002
• Multi-Agent FLUX for the Gold Mining Domain (System Description)
• Reasoning about action and change. A dynamic logic approach

Cited in

(4)

• scientific article; zbMATH DE number 5669819 (Why is no real title available?)
• Handling Implication and Universal Quantification Constraints in FLUX
• scientific article; zbMATH DE number 1882058 (Why is no real title available?)
• Integrating ASP into ROS for reasoning in robots

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Logic-based agents and the frame problem: a case for progression

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3367333)