An AGM-style belief revision mechanism for probabilistic spatio-temporal logics

DOI10.1016/j.artint.2009.10.002zbMath1185.68673OpenAlexW2164328302MaRDI QIDQ2269133

V. S. Subrahmanian, Francesco Parisi, Austin Parker, J. R. Grant

Publication date: 16 March 2010

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2009.10.002

zbMATH Keywords

belief revisionuncertainty managementreasoning about motionspatio-temporal logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44)

Related Items

On repairing and querying inconsistent probabilistic spatio-temporal databases ⋮ Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks ⋮ Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases ⋮ An AGM-style belief revision mechanism for probabilistic spatio-temporal logics ⋮ Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning about time and reliability
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
• Foundations of multidimensional and metric data structures.
• Knowledge-level analysis of belief base operations
• On the logic of theory change: Partial meet contraction and revision functions

This page was built for publication: An AGM-style belief revision mechanism for probabilistic spatio-temporal logics