Toward a Logic for Qualitative Decision Theory

  title={Toward a Logic for Qualitative Decision Theory},
  author={Craig Boutilier},

Figures from this paper

Preference Logics for Automated Decision Making

Classical decision theory provides a normative theory for representing and reasoning with complex preferences. But straightforward application of this theory to construct automated decision making

A Possibilistic Logic Machinery for Qualitative Decision

This paper describes a logical machinery for computing decisions, where the available knowledge on the state of the world is described by a possibilistic propositional logic base, and the preferences of the user are also described by another possibillistic logic base whose formula weights are interpreted in terms of priorities.

A Hybrid Approach to Reasoning with Partially Elicited Preference Models

This work shows how comparative statements about classes of decision alternatives can be used to further constrain the utility function and thus identify supoptimal alternatives, and demonstrates that quantitative and qualitative approaches can be synergistically integrated to provide effective and flexible decision support.

On the Axiomatization of Qualitative Decision Criteria

It is shown that the maximin representation theorem applies to two additional decision criteria: minmax regret and competitive ratio, and with slight modifications, to a third one, maximax.

Arguing for Decisions: A Qualitative Model of Decision Making

A qualitative model of decision making is developed to describe how people make simple decisions and to enable computer programs to do the same, and for decisions that people find easy to explain it may provide an appealing alternative.

How to decide what to do?

Utility Independence in a Qualitative Decision Theory

This paper shows how non probabilistic independence concepts such as preferential independence and utility independence can be integrated with other sources of quantita tive information and argues that knowledge of utilityindependence can be a useful addition to the qualitative tool kit.

Reference-Dependent Qualitative Models for Decision Making Under Uncertainty

This paper introduces in a Savage-like framework, a new axiom requiring that the Decision Maker's preference between two acts depends on the respective positions of their consequences relatively to reference levels.

Qualitative Model of Decision Making

A qualitative model for decision making is proposed, where the DM is modeled as the agent with preferences and beliefs about the world, where a solution is consistent with a knowledge base and maximally consistent with the DM's beliefs and preferences.



Specification and Evaluation of Preferences for Planning under Uncertainty

This paper describes a framework for specifying behavior in terms of preference sentences of the form "prefer a to --a if3", to be interpreted as "a is preferred to -~a when all else is fixed in any

A Modal Characterization of Defeasible Deontic Conditionals and Conditional Goals

We explore the notions of permission and obligation and their role in knowledge representation, especially as guides to action for planning systems. We first present a simple conditional deontic

Qualitative probabilities: a normative framework for commonsense reasoning

This dissertation proposes a formalism that facilitates reasoning with qualitative rules, facts, and deductively closed beliefs, yet permits us to retract beliefs in response to changing contexts and imprecise observations, and provides the necessary machinery for embodying belief updates and belief revision.

Decision-theoretic Defaults

This paper considers defaults as summaries of decision-theoretic deliberations. We investigate the idea that the default e ! a means that a is the optimal action based on all we know (contingently)

What is a Default Priority ?

The notion of default priority has played a central role in default reasoning research. We show that Pearl’s Z-ranking of default rules need not always correspond to priorities. System Z can still be

System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning

The Z-ordering is defined, two extensions are then described, maximum-entropy and conditional entailment, which trade in computational simplicity for semantic refinements.

Inaccessible Worlds and Irrelevance: Preliminary Report

This work proposes an extension of the (modal) conditional logics in which one can express the truth of sentences at inaccessible possible worlds and shows how this logic can be used to axiomatize a simple preference relation on the modal structures of this logic.

Preferential Semantics for Goals

A preferential semantics for goals is provided that grounds them in decision theory and preserves the validity of some, but not all, common goal operations performed in planning, thus providing a new framework for knowledge-level analysis of planning systems.

All I Know: A Study in Autoepistemic Logic

  • H. Levesque
  • Philosophy, Computer Science
    Artif. Intell.
  • 1990

Intention is Choice with Commitment