Modelling (un)bounded beliefs

DOI10.1007/3-540-48315-2_12MaRDI QIDQ4941942zbMATH OpenFDO

Authors Chiara Ghidini

Publication date 5 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48315-2_12

zbMATH Keywords

context-based logiccontext-based representation of belieflocal models semanticslogic for contextual reasoningmodular approachrepresentation of agents's beliefstableau system

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 43239
• Belief, awareness, and limited reasoning
• Ideal and real belief about belief
• Subjective situations and logical omniscience
• scientific article; zbMATH DE number 1552264

Cited in

(10)

• Exploring the future with resource-bounded agents
• Distributed first order logic
• Ideal and real belief about belief
• Typical models: minimising false beliefs
• Modular partial models: a formalism for context representation
• scientific article; zbMATH DE number 1552264 (Why is no real title available?)
• scientific article; zbMATH DE number 1755761 (Why is no real title available?)
• Tiered logic for agents in contexts
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Modeling misconceptions in knowledge space theory

This page was built for publication: Modelling (un)bounded beliefs

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