Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
590
Minimizing the Number of Successor States in the Stubborn Set Method
, 2001
"... Combinatorial explosion which occurs in parallel compositions of LTSs can be alleviated by letting the stubborn set method construct on-the-fly a reduced LTS that is CFFD- or CSP-equivalent to the actual parallel composition. This paper considers the problem of minimizing the number of successor sta ..."
Abstract
- Add to MetaCart
, it is an open problem whether minimizing the number of successor states is as "easy" as minimizing the number of successor transitions.
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 state-like axioms and STRIPS-like 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 actions---but 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 actions---but 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 STRIPS-Like 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 state-like axioms and STRIPS
From Causal Theories to Successor State Axioms and STRIPS-Like 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
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
Yugoslav successor states: a “local developmental state ” policy model
"... enterprise development policy and the reconstruction of the ..."
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
The Continued Relevance of Sovereignty in a Globalising World: Yugoslavia and its Successor States
"... The end of the Cold War saw a rapid increase in the demands for statehood claimed by various ethnic groups and national minorities throughout the globe. The conflict and tension over ideology had come to an end after fifty years, and was replaced by a period of uncertainty and instability. The perio ..."
Abstract
- Add to MetaCart
to their own statehood. In order to establish the statehood these people desired, they would have to separate from the state they were citizens of, along with territory and the community they belonged, and declare a new independent state. In the case of the Union of Soviet Socialist Republics and the Socialist
Results 1 - 10
of
590
