A Modal Framework for Relating Belief and Signed Information
From MaRDI portal
Publication:3092293
DOI10.1007/978-3-642-22359-4_5zbMath1348.68264MaRDI QIDQ3092293
Laurent Perrussel, Emiliano Lorini, J-M. Thévenin
Publication date: 16 September 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_5
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
68T42: Agent technology and artificial intelligence
Related Items
A modal type theory for formalizing trusted communications, Using inconsistency measures for estimating reliability, Consistency-Based Reliability Assessment
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- How to revise a total preorder
- Prolegomena to dynamic logic for belief revision
- Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
- Dynamic epistemic logic
- Propositional knowledge base revision and minimal change
- Reasoning about information change
- Handling locally stratified inconsistent knowledge bases
- Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
- On the logic of theory change: Partial meet contraction and revision functions
- Towards a Logic of Rational Agency
- Belief Revision From the Point of View of Doxastic Logic
- Intelligent Agents and Multi-Agent Systems
- Computational Logic in Multi-Agent Systems
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty