Results 1  10
of
14
The Independent Choice Logic for modelling multiple agents under uncertainty
 Artificial Intelligence
, 1997
"... Inspired by game theory representations, Bayesian networks, influence diagrams, structured Markov decision process models, logic programming, and work in dynamical systems, the independent choice logic (ICL) is a semantic framework that allows for independent choices (made by various agents, includi ..."
Abstract

Cited by 173 (10 self)
 Add to MetaCart
Inspired by game theory representations, Bayesian networks, influence diagrams, structured Markov decision process models, logic programming, and work in dynamical systems, the independent choice logic (ICL) is a semantic framework that allows for independent choices (made by various agents, including nature) and a logic program that gives the consequence of choices. This representation can be used as a specification for agents that act in a world, make observations of that world and have memory, as well as a modelling tool for dynamic environments with uncertainty. The rules specify the consequences of an action, what can be sensed and the utility of outcomes. This paper presents a possibleworlds semantics for ICL, and shows how to embed influence diagrams, structured Markov decision processes, and both the strategic (normal) form and extensive (gametree) form of games within the Thanks to Craig Boutilier and Holger Hoos for detailed comments on this paper. This work was supporte...
Formalizing action and change in modal logic I: the frame problem
, 1999
"... We present the basic framework of a logic of actions and plans defined in terms of modal logic combined with a notion of dependence. The latter is used as a weak causal connection between actions and literals. In this paper we focus on the frame problem and demonstrate how it can be solved in our fr ..."
Abstract

Cited by 57 (15 self)
 Add to MetaCart
We present the basic framework of a logic of actions and plans defined in terms of modal logic combined with a notion of dependence. The latter is used as a weak causal connection between actions and literals. In this paper we focus on the frame problem and demonstrate how it can be solved in our framework in a simple and monotonic way. We give the semantics, and associate an axiomatics and a decision procedure to it. The decision procedure is based on a sound and complete tableau method with single step rules to treat dependence. We show how it can be used to generate plans. Our solution is formally assessed by a translation of Gelfond and Lifschitz' logic A. We briefly sketch the second part of the paper, showing how we can go beyond A by some examples involving nondeterminism and ramifications.
Embracing causality in specifying the indeterminate effects of actions
 Proceedings of the 14th National Conference on Artificial Intelligence (AAAI96
, 1996
"... Abstract This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational ..."
Abstract

Cited by 52 (2 self)
 Add to MetaCart
(Show Context)
Abstract This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them. Logical Preliminaries We shall investigate the problem in the framework of the situation calculus [8]. Our version of it employs a many sorted secondorder language. We assume the following sorts: situation for situations, action for actions, fluent for propositional fluents, truthvalue for truth values true and false, and object for everything else. We use the following domain independent predicates and functions:
Two Components of An Action Language
 Annals of Math and AI
, 1996
"... Some of the recent work on representing action makes use of highlevel action languages. In this paper we show that an action language can be represented as the sum of two distinct parts: an "action description language" and an "action query language." A set of propositions in an ..."
Abstract

Cited by 20 (5 self)
 Add to MetaCart
Some of the recent work on representing action makes use of highlevel action languages. In this paper we show that an action language can be represented as the sum of two distinct parts: an "action description language" and an "action query language." A set of propositions in an action description language describes the effects of actions on states. Mathematically, it defines a transition system of the kind familiar from the theory of finite automata. An action query language serves for expressing properties of paths in a given transition system. We define the general concepts of a transition system, of an action description language and of an action query language, give a series of examples of languages of both kinds, and show how to combine a description language and a query language into one. This construction makes it possible to design the two components of an action language independently, which leads to the simplification and clarification of the theory of actions. 1 Introducti...
The Frame Problem and Bayesian Network Action Representations
, 1996
"... . We examine a number of techniques for representing actions with stochastic effects using Bayesian networks and influence diagrams. We compare these techniques according to ease of specification and size of the representation required for the complete specification of the dynamics of a particular s ..."
Abstract

Cited by 20 (8 self)
 Add to MetaCart
. We examine a number of techniques for representing actions with stochastic effects using Bayesian networks and influence diagrams. We compare these techniques according to ease of specification and size of the representation required for the complete specification of the dynamics of a particular system, paying particular attention the role of persistence relationships. We precisely characterize two components of the frame problem for Bayes nets and stochastic actions, propose several ways to deal with these problems, and compare our solutions with Reiter 's solution to the frame problem for the situation calculus. The result is a set of techniques that permit both ease of specification and compact representation of probabilistic system dynamics that is of comparable size (and timbre) to Reiter's representation (i.e., with no explicit frame axioms). 1 Introduction Reasoning about action has been a central problem in artificial intelligence since its inception. Since the earliest att...
Planning in Description Logics: Deduction versus Satisfiability Testing
 In European Conference on Artificial Intelligence
, 1998
"... Description Logics (DLs) are formalisms for taxonomic reasoning about structured knowledge. Adding the transitive closure of roles to DLs also enables them to represent and reason about actions and plans. The present paper explores several essentially different encodings of planning in Description L ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
(Show Context)
Description Logics (DLs) are formalisms for taxonomic reasoning about structured knowledge. Adding the transitive closure of roles to DLs also enables them to represent and reason about actions and plans. The present paper explores several essentially different encodings of planning in Description Logics. We argue that DLs represent an ideal framework for analysing and comparing these approaches. Thus, we have identified two essentially different deductive encodings (a "causal" and a "symmetric" one), as well as a satisfiabilitybased approach. While the causal encoding is more appropriate for reasoning about preconditiontriggered causal events, the symmetric encoding is more amenable to reasoning about possible outcomes of courses of actions without actually executing them (while allowing both progression and regression). In the deductive approaches, the existence of a plan corresponds to an inconsistency proof rather than to a model of some formula. Viewing planning as satisfiabili...
Specifying the Effects of Indeterminate Actions
, 1996
"... This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechan ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them. ffl Content Areas knowledge representation; temporal reasoning; commonsense reasoning; nonmonotonic reasoning. ffl Word Counts 6197 (dvi2tty), including the bibliography. ffl Tracking Number 094 This paper has not been submitted elsewhere 0 Specifying the Effects of Indeterminate Actions Abstract This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them. ffl Content Areas knowledge representation; temporal reasoning; commonsense reasoning; nonmonotonic reasoning. ffl Word Counts 6197 (dvi2tty), including the bibliography. ffl Tracking Number 094 This paper has not been submitted elsewhere 1