ADL and the State-Transition Model of Action

DOI10.1093/LOGCOM/4.5.467MaRDI QIDQ4316292zbMATH OpenOpenAlexFDO

Authors E. P. D. Pednault

Publication date 30 June 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/4.5.467

zbMATH Keywords

automatic planningknowledge representationsituation calculus

Mathematics Subject Classification ID

Knowledge representation (68T30) Artificial intelligence (68T99)

Recommendations

• Two components of an action language
• scientific article; zbMATH DE number 89002
• Formalizing action and change in modal logic I: the frame problem
• Representing actions in logic programs and default theories a situation calculus approach

Cited in

(17)

• Two components of an action language
• How to progress a database
• Initial and final segments in ADL'S
• Recursive definitions of tabular transformations
• Actions over core-closed knowledge bases
• Sequential Monte Carlo in reachability heuristics for probabilistic planning
• The Stonity of a pseudo-complemented ADL.
• Systems of relational transformations: rules and realizability criterion
• A Fluent Calculus Semantics for ADL with Plan Constraints
• scientific article; zbMATH DE number 2000825 (Why is no real title available?)
• The Relative Power of Semantics and Unification
• On transformation of conditional, conformant and parallel planning to linear programming
• A Comprehensive Framework for Learning Declarative Action Models
• The Hybrid Plan Controller Construction for Trajectories in Sobolev Space
• Formalizing sensing actions -- a transition function based approach
• Nonmonotonic causal theories
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator

This page was built for publication: ADL and the State-Transition Model of Action

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