On first-order definability and computability of progression for local-effect actions and beyond

zbMATH Open1341.68216MaRDI QIDQ5740449FDOQ5740449

Authors: Yong-Mei Liu, Gerhard Lakemeyer 

Publication date: 26 July 2016

Recommendations

• How to progress a database. III
• Model-theoretical foundation of action and progression
• Progression of decomposed local-effect action theories
• Component properties of forgetting and progression in the situation calculus
• A database-type approach for progressing action theories with bounded effects

zbMATH Keywords

knowledge basesprogressionfirst-order definability and computabilitylocal-effect actions

Mathematics Subject Classification ID

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

Cited In (7)

• Progression and verification of situation calculus agents with bounded beliefs
• Component properties of forgetting and progression in the situation calculus
• Property persistence in the situation calculus
• How to progress a database. III
• Revising event calculus theories to recover from unexpected observations
• Progression of decomposed local-effect action theories
• A database-type approach for progressing action theories with bounded effects

This page was built for publication: On first-order definability and computability of progression for local-effect actions and beyond

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