Component properties of forgetting and progression in the situation calculus

zbMATH Open1374.68539MaRDI QIDQ2979844FDOQ2979844

Authors: Mikhail Soutchanski, Denis Ponomaryov 

Publication date: 26 April 2017

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

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

zbMATH Keywords

decompositionsituation calculusprogressionreasoning about actionsinseparabilityforgettingbasic action theory

Mathematics Subject Classification ID

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

Cited In (6)

• Variable Forgetting in Reasoning about Knowledge
• Title not available (Why is that?)
• 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)