Applications of Action Languages in Cognitive Robotics

DOI10.1007/978-3-642-30743-0_16zbMath1357.68218MaRDI QIDQ2900522

Esra Erdem, Volkan Patoglu

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_16

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T40: Artificial intelligence for robotics

Uses Software

• MiniSat
• Potassco
• PDDL
• Coala
• CCalc
• ConceptNet

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Updating action domain descriptions
• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• Nonmonotonic causal theories
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• Hypothesizing about signaling networks
• Modeling biological networks by action languages via answer set programming
• Robot motion planning with uncertainty in control and sensing
• Two components of an action language
• Representing action: indeterminacy and ramifications
• Logic programs with stable model semantics as a constraint programming paradigm
• Reasoning about non-immediate triggers in biological networks
• Representing action and change by logic programs
• Representing actions: Laws, observations and hypotheses
• Representing actions in logic programs and default theories a situation calculus approach
• Coala: A Compiler from Action Languages to ASP
• Theory and Applications of Satisfiability Testing
• Engineering an Incremental ASP Solver
• Formalizing sensing actions -- a transition function based approach