Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.
Regimantas PliuskeviciusAida PliuskevicienePublished in: CLIMA (2005)
Keyphrases
- decision making
- belief set
- universally quantified
- expected utility
- decision process
- truth values
- multi agent systems
- belief revision
- decision theoretic
- probability theory
- belief change
- multi agent
- modal operators
- multiagent systems
- epistemic states
- intelligent agents
- decision rules
- proof procedure
- dynamic logic
- decision makers
- agent model
- modal logic
- autonomous agents
- action selection
- agent programming
- existentially quantified
- belief update
- decision theory
- truth maintenance systems
- formal theory
- predicate logic
- multiple agents
- variable selection
- random variables
- decision variables
- agent systems
- causal models
- agent technology
- directed acyclic graph
- agent architecture
- decision problems
- reasoning engine
- mobile agents
- logic programming
- state space
- propositional variables