A history based approximate epistemic action theory for efficient postdictive reasoning

DOI10.1016/J.JAL.2015.08.001MaRDI QIDQ893597zbMATH OpenOpenAlexWikidataFDO

Authors Manfred Eppe, Mehul Bhatt

Publication date 19 November 2015

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

Full work available at URL https://doi.org/10.1016/j.jal.2015.08.001

zbMATH Keywords

epistemic reasoningcommonsense reasoningaction and change

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Approximate postdictive reasoning with answer set programming
• scientific article; zbMATH DE number 2048605
• Logic Programming and Nonmonotonic Reasoning
• Probabilistic reasoning about epistemic action narratives

Cites work

• scientific article; zbMATH DE number 1696741 (Why is no real title available?)
• scientific article; zbMATH DE number 2048605 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1390352 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• A logic-based calculus of events
• A new deductive approach to planning
• All I know: A study in autoepistemic logic
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Approximate postdictive reasoning with answer set programming
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Dynamic Epistemic Logic and Knowledge Puzzles
• FLUX: A logic programming method for reasoning agents
• Formalizing sensing actions -- a transition function based approach
• KI 2003: Advances in Artificial Intelligence
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Knowledge, action, and the frame problem
• Nonmonotonic logic and temporal projection
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• STRIPS: A new approach to the application of theorem proving to problem solving
• The concurrent, continuous fluent calculus
• Weak, strong, and strong cyclic planning via symbolic model checking

Cited in

(2)

• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Approximate postdictive reasoning with answer set programming

Describes a project that uses

Uses Software

• PDDL

This page was built for publication: A history based approximate epistemic action theory for efficient postdictive reasoning

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