Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation.
Churn-Jung LiauPublished in: Artif. Intell. (2003)
Keyphrases
- modal logic
- information acquisition
- multi agent systems
- trust model
- modal operators
- coalition logic
- subjective logic
- epistemic logic
- temporal logic
- inference rules
- trust and reputation models
- decision making
- situation calculus
- nonmonotonic logics
- classical logic
- cost reduction
- cooperative
- agent architecture
- multi agent
- prime implicates
- dynamic logic
- belief revision
- game theory
- belief functions
- default logic
- autonomous agents
- conditional logic
- multiagent systems
- description logic alc