M-O. Cordier and P. Siegel. Prioritized transitions for updates. In ECSQARU'95, pages 142 151, Fribourg, Suisse, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formalizing action and change in modal logic I: the frame.. - Castilho, Gasquet, Herzig (1999) (18 citations) (Correct)
.... hshooti ) ffl Other form of dynamic laws exist, and can be written in our language. In [2] there are general statements linking several situations, independently of any action. For example, 2( Alive 2:Alive) no action can make a dead man alive) They were called immutable propositions in [11]. As well, we can constrain the execution order. For example 2(Loaded [shoot]2[forcewalk] expresses that the action forcewalk can never be executed after shoot if the gun is loaded. 3.2 Main problems If we try to reason about actions in a logical system, three main problems arise: 5 1. The ....
M.-O. Cordier and P. Siegel. Prioritized transitions for updates. In Proc. ECSQUARU'95, number 946 in LNAI, pages 142--150. Springer-Verlag, 1995.
Filtering Vs Revision and Update: Let Us Debate! - Cossart, Tessier (1999) (1 citation) (Correct)
....analysis of two approaches of revision or update characterized by a two step principle that tend to be the closest to the principle of Kalman ltering. 4. 1 Transition based update Cordier and Lang [7] underline the relation existing between transition based update, as dened by Cordier and Siegel [8], and belief revision. In transitionbased update, inertia (U2) is not necessarily taken for granted and an explicit transition model TR (at the formula level) describes the possible evolutions of the world: isurej transitions, that have to be necessarily satised when the world changes, ....
M.O. Cordier and P. Siegel. Prioritized transitions for updates. In ECSQARU'95, Fribourg, Suisse, 1995.
Ramification and Causality in a Modal Action Logic - Giordano, Martelli, Schwind (1997) (5 citations) (Correct)
....the action law 2[a] p 1 p 2 ) with (p i ; a) 62 Frame. An action f lip with exclusive indeterminate effects head or tail can be represented by the action law 2[f lip] head tail) and the constraint 2: head tail) with (head; f lip) 62 Frame and (tail; f lip) 62 Frame. The following example due to [4] shows the need of assuming a complete initial state for an extension. In many cases, the initial state of a theory is not completely known, i.e. we do not know the initial value of all fluents. To deal with this case and with postdiction, in building an extension, we introduce assumptions ....
M.O. Cordier and P. Siegel. Prioritized Transitions for Updates. In Symbolic and Quantitative Approaches to Reasoning and Uncertainty ECSQARU'95, LNAI 946, Springer Verlag, pages 142--150, 1995.
Combining Observations and Expectations: Application to the.. - Largouët, Cordier Self-citation (Cordier) (Correct)
....most plausible evolution of the world from time t Gamma 1 to time t satisfying the observation. As proposed by [CL95, Bou98] the update operation can be considered as a two step process. The rst one relies on an evolution model of the world. It can be an explicit model (the transition model in [CS95] , the event model in [Bou98] or an implicit model as an inertia model. This model allows to compute the expected state of the world at time t, E t t Gamma1 , from the belief state at time t Gamma 1, E t Gamma1 t Gamma1 . The second step consists in matching the observation, O t , with these ....
M-O. Cordier and P. Siegel. Prioritized transitions for updates. In ECSQARU'95, pages 142 151, Fribourg, Suisse, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC