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

MaRDI QIDQ5740449zbMATH OpenFDO

Authors Yong-Mei Liu, Gerhard Lakemeyer

Publication date 26 July 2016

zbMATH Keywords

knowledge basesprogressionfirst-order definability and computabilitylocal-effect actions

Mathematics Subject Classification ID

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

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

Cited in

(7)

• How to progress a database. III
• Revising event calculus theories to recover from unexpected observations
• Property persistence in the situation calculus
• Progression and verification of situation calculus agents with bounded beliefs
• 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

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)