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

first-order definability and computabilityknowledge baseslocal-effect actionsprogression

Mathematics Subject Classification ID

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

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

(8)

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

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)