This self-contained book provides three fundamental and generic approaches (logical, probabilistic, and modal) to representing and reasoning with agent epistemic states, specifically in the context of decision making. Each of these approaches can be applied to the construction of intelligent software agents for making decisions, thereby creating computational foundations for decision-making agents. In addition, the book introduces a formal integration of the three approaches into a single unified approach that combines the advantages of all the approaches. Finally, the symbolic argumentation approach to decision making developed in this book, combining logic and probability, offers several advantages over the traditional approach to decision making which is based on simple rule-based expert systems or expected utility theory. Modeling Agent Epistemic States: An Informal Overview; Mathematical Preliminaries; Classical Logics for the Propositional Epistemic Model; Logic Programming; Logical Rules for Making Decisions; Bayesian Belief Networks; Influence Diagrams for Making Decisions; Modal Logics for the Possible World Epistemic Model; Symbolic Argumentation for Decision Making.
Contents:
