Component properties of forgetting and progression in the situation calculus

MaRDI QIDQ2979844zbMATH OpenFDO

Authors Mikhail Soutchanski, Denis Ponomaryov

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/ponomaryovl.pdf

zbMATH Keywords

decompositionsituation calculusprogressionreasoning about actionsinseparabilityforgettingbasic action theory

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Progression of decomposed local-effect action theories
• A knowledge level account of forgetting
• On first-order definability and computability of progression for local-effect actions and beyond
• scientific article; zbMATH DE number 1946872
• On the limits of forgetting in answer set programming

Cited in

(6)

• Variable Forgetting in Reasoning about Knowledge
• scientific article; zbMATH DE number 1302067 (Why is no real title available?)
• From forgetting signature elements to forgetting formulas in epistemic states
• Progression of decomposed local-effect action theories
• On first-order definability and computability of progression for local-effect actions and beyond
• Agent abstraction via forgetting in the situation calculus

This page was built for publication: Component properties of forgetting and progression in the situation calculus

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