How to decide what to do?

  title={How to decide what to do?},
  author={Mehdi Dastani and Joris Hulstijn and Leendert van der Torre},
  journal={Eur. J. Oper. Res.},

Figures and Tables from this paper

Decision-Theoretic Deliberation under Bounded Rationality

This work believes that intention is the benchmark example of decision-theoretic deliberation and that commitment has been proposed by Bratman's analysis of intentions as the main component which distinguishes intentions from other motivational attitudes such as goals.

Decision-Theoretic Deliberation in Resource Bounded Self-Aware Agents

The notion of decisiontheoretic deliberation, which studies the relation between classical game and decision theory on the one hand, and agent theories of deliberation on the other hand, is introduced and the treatment of commitment is based in terms of well understood concepts that consider both creation and reconsideration of intention.

Methodology for eliciting, encoding and simulating human decision making behaviour

Agent-based models (ABM) are an increasingly important research tool for describing and predicting interactions among humans and their environment. A key challenge for such models is the ability to

What You Should Believe: Obligations and Beliefs

It is proposed that the agent’s goals play a role in the choice of (possibly) one of the several available revision options in an indeterministic belief revision operator.

Applying Simplifying Heuristics when Making Judgment under Uncertainty – A Field Study

The cues the participants really picked up from their minds when taking the task and revealed by themselves in the interviews are more diverse and complicated than the anticipated ones.

Argumentation Theory and Decision Aiding

This chapter is decomposed into three successive frames, starting from general considerations regarding decision theory and Artificial Intelligence, moving on to the specific contribution of argumentation to decision-support systems, to finally focus on multi-criteria decision aiding.

Decisions, Deliberation, and Agent Types CDT - QDT - BDI - 3APL - BOID

This paper investigates how deliberation leads to decisions, and how agent types classify patterns of deliberation, and considers Classical and Qualitative Decision Theories, theBDI model, 3APL systems, and Belief-Obligation-Intention-Desire (BOID) systems.

Attributing Mental Attitudes to Groups: Cooperation in a Qualitative Game Theory

We discuss a general model of cooperation among autonomous agents, based on a qualitative game theory. The basic elements of the model are the ability of agents to recursively model what their

Towards AI Logic for Social Reasoning

This paper discusses how an argumentation-based AI logic could be used also to formalize important aspects of social reasoning, including the right-to-know, a central issue in the recent discussion of privacy and ethics.



Toward a Logic for Qualitative Decision Theory

Parameters for Utilitarian Desires in a Qualitative Decision Theory

This paper defines parameterized desires in an extension of Lang's framework of qualitative decision theory, in which utility functions are constructed from desires, and introduces three parameters, which help to implement different facets of risk.

Possibility Theory as a Basis for Qualitative Decision Theory

A counterpart to von Neumann and Morgenstern' expected utility theory is proposed in the framework of possibility theory, representing a preference ordering among possibility distributions that satisfies a series of axioms pertaining to decision-maker's behavior.

A model for deliberation, action, and introspection

  • J. Doyle
  • Philosophy, Computer Science
  • 1981
This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program to view reasoning as a species of action, so that a program might apply its reasoning powers to the task of deciding what inferences to make as well as to deciding what other actions to take.

Desires and Defaults: A Framework for Planning with Inferred Goals

A formalism designed to integrate reasoning about desires with planning, using the approach to nonmonotonic logic known as Default Logic, which is capable of modeling a wide range of common-sense practical arguments and can serve as a more general and flexible model for agent architectures.

From Conditional Oughts to Qualitative Decision Theory

Decision Procedures for BDI Logics

This paper provides a family of multi-modal branching-time BDI logics with a possible-worlds semantics, categorizes them, provides sound and complete axiomatizations, and gives constructive tableaubased decision procedures for testing the satisfiability and validity of formulas.

Decision-Theoretic Planning: Structural Assumptions and Computational Leverage

This paper presents an overview and synthesis of MDP-related methods, showing how they provide a unifying framework for modeling many classes of planning problems studied in AI, and describes structural properties of M DPs that, when exhibited by particular classes of problems, can be exploited in the construction of optimal or approximately optimal policies or plans.

Modeling Rational Agents within a BDI-Architecture

A formalization of intentions based on a branching-time possible-worlds model is presented and it is shown how the formalism realizes many of the important elements of Bratman's theory of intention.

Deliberation and its Role in the Formation of Intentions