Results 1  10
of
67,033
From Causal Theories to Successor State Axioms
 Journal of Artificial Intelligence Research
, 2000
"... In this paper we describe a system that can be used to generate action effect specifications. Unlike those like STRIPS commonly used in AI planning, our system uses an action description language that allows one to specify the effects of actions using domain rules, which are state constraints th ..."
Abstract
 Add to MetaCart
fully instantiated successor statelike axioms and STRIPSlike systems are then generated. Theoretically, we show that the procedural semantics is sound with respect to the declarative semantics. Empirically, we have successfully tested our system on many benchmark planning domains, including most
Towards State Update Axioms: Reifying Successor State Axioms
"... Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actionsbut only as far as its representational aspect is concerned. We show how by gradually applying the principle of reification to these axioms, one can achieve gradual improvement regarding the i ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actionsbut only as far as its representational aspect is concerned. We show how by gradually applying the principle of reification to these axioms, one can achieve gradual improvement regarding
Compiling Causal Theories to Successor State Axioms and STRIPSLike Systems
 Journal of Artificial Intelligence Research
, 2003
"... We describe a system for specifying the e#ects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify the e#ects of actions using domain rules, which are state constraints that can entail new action e#ects from old ones. De ..."
Abstract

Cited by 21 (6 self)
 Add to MetaCart
. Declaratively, an action domain in our language corresponds to a nonmonotonic causal theory in the situation calculus. Procedurally, such an action domain is compiled into a set of logical theories, one for each action in the domain, from which fully instantiated successor statelike axioms and STRIPS
From Causal Theories to Successor State Axioms and STRIPSLike Systems
"... We describe a system for specifying the effects of actions. Unlike those commonly used in AI planning, our system uses an action description language that allows one to specify the effects of actions using domain rules, which are state constraints that can entail new action effects from old one ..."
Abstract
 Add to MetaCart
ones. Declaratively, an action domain in our language corresponds to a nonmonotonic causal theory in the situation calculus. Procedurally, such an action domain is compiled into a set of propositional theories, one for each action in the domain, from which fully instantiated successor state
State Constraints Revisited
, 1994
"... We pursue the perspective of Reiter that in the situation calculus one can formalize primitive, determinate actions with axioms which, among others, include two disjoint sets: a set of successor state axioms and a set of action precondition axioms. We posed ourselves the problem of automatically gen ..."
Abstract

Cited by 242 (35 self)
 Add to MetaCart
We pursue the perspective of Reiter that in the situation calculus one can formalize primitive, determinate actions with axioms which, among others, include two disjoint sets: a set of successor state axioms and a set of action precondition axioms. We posed ourselves the problem of automatically
Construction of abstract state graphs with PVS
, 1997
"... We describe in this paper a method based on abstract interpretation which, from a theoretical point of view, is similar to the splitting methods proposed in [DGG93, Dam96] but the weaker abstract transition relation we use, allows us to construct automatically abstract state graphs paying a reasonab ..."
Abstract

Cited by 742 (10 self)
 Add to MetaCart
reasonable price. We consider a particular set of abstract states: the set of the monomials on a set of state predicates ' 1 ; :::; ' ` . The successor of an abstract state m for a transition ø of the program is the least monomial satisfied by all successors via ø of concrete states satisfying m
Conditional random fields: Probabilistic models for segmenting and labeling sequence data
, 2001
"... We present conditional random fields, a framework for building probabilistic models to segment and label sequence data. Conditional random fields offer several advantages over hidden Markov models and stochastic grammars for such tasks, including the ability to relax strong independence assumptions ..."
Abstract

Cited by 3485 (85 self)
 Add to MetaCart
made in those models. Conditional random fields also avoid a fundamental limitation of maximum entropy Markov models (MEMMs) and other discriminative Markov models based on directed graphical models, which can be biased towards states with few successor states. We present iterative parameter estimation
GOLOG: A Logic Programming Language for Dynamic Domains
, 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract

Cited by 628 (74 self)
 Add to MetaCart
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world
Axiomatic quantum field theory in curved spacetime
, 2008
"... The usual formulations of quantum field theory in Minkowski spacetime make crucial use of features—such as Poincare invariance and the existence of a preferred vacuum state—that are very special to Minkowski spacetime. In order to generalize the formulation of quantum field theory to arbitrary globa ..."
Abstract

Cited by 689 (18 self)
 Add to MetaCart
The usual formulations of quantum field theory in Minkowski spacetime make crucial use of features—such as Poincare invariance and the existence of a preferred vacuum state—that are very special to Minkowski spacetime. In order to generalize the formulation of quantum field theory to arbitrary
Artificial Intelligence 111(1–2): 277–299 (1999). From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem
"... Abstract. Successor state axioms provide a solution to the famous Frame Problem as far as the representational aspect is concerned. Solving in classical, monotonic logic the additional inferential Frame Problem, on the other hand, was the major motivation for the development of the Fluent Calculus a ..."
Abstract
 Add to MetaCart
Abstract. Successor state axioms provide a solution to the famous Frame Problem as far as the representational aspect is concerned. Solving in classical, monotonic logic the additional inferential Frame Problem, on the other hand, was the major motivation for the development of the Fluent Calculus
Results 1  10
of
67,033