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

DOI10.1016/J.ARTINT.2009.10.002MaRDI QIDQ2269133zbMATH OpenOpenAlexFDO

Authors Francesco Parisi, Austin Parker, V. S. Subrahmanian, John 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 revisionreasoning about motionspatio-temporal logicsuncertainty management

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 108002
• Knowledge representation in probabilistic spatio-temporal knowledge bases
• Belief revision in a temporal framework
• Probabilistic logics for objects located in space and time
• Consistency-based revision of structured belief bases

Cites work

• 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.
• scientific article; zbMATH DE number 3644821 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 1956481 (Why is no real title available?)
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• Knowledge-level analysis of belief base operations
• On the logic of theory change: Partial meet contraction and revision functions
• Qualitative spatial representation and reasoning: An overview

Cited in

(11)

• Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking
• An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
• Count queries in probabilistic spatio-temporal knowledge bases with capacity constraints
• On repairing and querying inconsistent probabilistic spatio-temporal databases
• Knowledge representation in probabilistic spatio-temporal knowledge bases
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• scientific article; zbMATH DE number 1849172 (Why is no real title available?)
• Dimensional inconsistency measures and postulates in spatio-temporal databases
• Probabilistic logics for objects located in space and time
• Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
• Probabilistic temporal logic with countably additive semantics

Describes a project that uses

Uses Software

• PRISM

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

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