Proof systems for planning under 0-approximation semantics

DOI10.1007/S11432-013-4854-1MaRDI QIDQ893736zbMATH OpenOpenAlexFDO

Authors Yuping Shen, Xishun Zhao

Publication date 20 November 2015

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL http://engine.scichina.com/doi/10.1007/s11432-013-4854-1

zbMATH Keywords

automated reasoningplan verificationHoare proof systemsoff-line planningplan generation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Reasoning about actions with loops via Hoare logic
• scientific article; zbMATH DE number 1980936
• A logic programming approach to knowledge-state planning, semantics and complexity
• Logic Programming and Nonmonotonic Reasoning
• Computational complexity of planning and approximate planning in the presence of incompleteness

Cites work

• scientific article; zbMATH DE number 2000818 (Why is no real title available?)
• scientific article; zbMATH DE number 1560498 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 2201583 (Why is no real title available?)
• 25 years of model checking. History, achievements, perspectives
• An axiomatic basis for computer programming
• Approximation of action theories and its application to conformant planning
• Computational Complexity
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Conditional Planning with External Functions
• Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
• FLUX: A logic programming method for reasoning agents
• Formalizing sensing actions -- a transition function based approach
• GOLOG: A logic programming language for dynamic domains
• Handbook of automated reasoning. In 2 vols
• How to progress a database
• Knowledge, action, and the frame problem
• Logical verification of scientific discovery
• Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999
• Provably correct theories of action
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Understanding planning with incomplete information and sensing
• Verification of sequential and concurrent programs

Cited in

(2)

• Reasoning about actions with loops via Hoare logic
• A correctness result for synthesizing plans with loops in stochastic domains

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Proof systems for planning under 0-approximation semantics

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