Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation

DOI10.1016/S0004-3702(03)00063-8zbMath1082.68822OpenAlexW2050118028MaRDI QIDQ814504

Churn-Jung Liau

Publication date: 7 February 2006

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(03)00063-8

zbMATH Keywords

TrustIntelligent agentsMulti-agent systemsModal logicBeliefInformation acquisition

Mathematics Subject Classification ID

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

Related Items

Tableau reductions: towards an optimal decision procedure for the modal necessity, An efficient and versatile approach to trust and reputation using hierarchical Bayesian modelling, Formal reasoning in preference-based multiple-source rough set model, A modal type theory for formalizing trusted communications, Modal logic S5 in answer set programming with lazy creation of worlds, A socio-cognitive model of trust using argumentation theory, Trust and Norms in the Context of Computer Security: A Logical Formalization, Arguing about the Trustworthiness of the Information Sources, Generalized modal satisfiability, Fuzzy Argumentation for Trust, Expressing Belief Flow in Assertion Networks, Some Thoughts on Using Argumentation to Handle Trust, A Modal Framework for Relating Belief and Signed Information, Belief fusion and revision: an overview based on epistemic logic semantics, A meta-model of access control in a fibred security language, A logic of negative trust, Modal Logic S5 Satisfiability in Answer Set Programming, A simple modal logic for belief revision

Cites Work

• Proof methods for modal and intuitionistic logics
• Propositional knowledge base revision and minimal change
• Knowledge representation and reasoning under uncertainty. Logic at work
• Reasoning about information change
• Logic of knowledge and utterance and the liar
• Defaults in update semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item