Lars Karlsson. Specification and synthesis of plans using the features and fluents framework. Licentiate thesis, Department of Computer and Information Science, Linkoping University, 1995. Available on WWW: http://www.ida.liu.se/labs/rkllab/people/larka/.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....in this respect; any scenario description in PMON is reducible to a first order theory. In the current report, we continue the development of PMON and show that it continues to have a number of nice mathematical properties even when extended for ramification [8] In related work, Karlsson [10, 11, 13, 12] uses PMON as a basis for formal specification of plans. 2 The Base Logic FL There are a number of different possibilities for choosing a base logic in which to compile scenario descriptions which are described using the scenario description language L(SD) Sandewall uses a specialized logic ....

Lars Karlsson. Specification and synthesis of plans using the features and fluents framework. Licentiate thesis, Department of Computer and Information Science, Linkoping University, 1995. Available on WWW: http://www.ida.liu.se/labs/rkllab/people/larka/.

....in this respect; any scenario description in PMON is reducible to a first order theory. In the current report, we continue the development of PMON and show that it continues to have a number of nice mathematical properties even when extended for ramification [8] In related work, Karlsson [10, 11, 13, 12] uses PMON as a basis for formal specification of plans. 2 The Base Logic FL There are a number of different possibilities for choosing a base logic in which to compile scenario descriptions which are described using the scenario description language L(SD) Sandewall uses a specialized logic ....

L. Karlsson. Specification and synthesis of plans using the features and fluents framework. Technical Report LiTH-IDA-R-94-28, Dept. of Computer and Info. Science, Linkoping University, 1994.

....statements, action occurrence statements and action schemas, respectively. Example 2. 1 The following is the Yale shooting scenario (below a and l are fluent constants standing for alive and loaded, respectively, while Load and F ire are action symbols) obs1 [0] a :l ac1 [2,4] Load ac2 [5,6] F ire acs1 [t 1 ; t 2 ] Load ; t 1 ; t 2 ] l : T acs2 [t 1 ; t 2 ] F ire ; t 1 ] l [t 1 ,t 2 ] a : F l : F ) In the initial state, the gun is not loaded and the turkey is alive. The gun is loaded during the period 2 to 4, and fired during the period 5 to 6. In the interim between the ....

....occurrence statement corresponding to an action schema [s,t]A; ff. The result of the action occurrence wrt the action schema is the formula ff(s=s; t=t) where ff(s=s; t=t) is obtained from ff by substituting the terms s and t for the variables s and t. For instance, the result of the action [4,6] Load wrt the action schema [t 1 ; t 2 ]Load ; t 1 ; t 2 ]l : T is the formula [4,6] l : T . Let Upsilon be a scenario description. An expanded (action) scenario description Upsilon 0 , for Upsilon is the set of statements obtained from Upsilon by replacing all action occurrence ....

[Article contains additional citation context not shown here]

L. Karlsson. Specification and synthesis of plans using the features and fluents framework. Technical Report LiTH-IDA-R-94-28, Dept. of Computer and Info. Science, Linkoping University, 1994.

.... has given new impulses to the study of the cases in the taxonomy not yet largely explored, for example the case of concurrent action [Yi95] and it has given the opportunity of studying interesting problems, as planning, from a different point of view and with the support of Sandewall formalism [Kar95]. The work that we present in this thesis gives a solution of one of the cases of Sandewall taxonomy, that is the case in which the agent s knowledge of the world is unreliable. Our agent receives information from the world, but this information can be incorrect. The agent detects the existence of ....

L. Karlsson. Specification and Synthesis of Plans Using the Features and Fluents Framework. Licentiate thesis, Department of Computer and Information Science, Linkoping University, 1995. Available on WWW: http://www.ida.liu.se/labs/rkllab/people/larka/.

....of primary and secondary fluents to model a particular class of indirect effects. What is perhaps more interesting, is the attempt to set up a framework for comparing logics such as PMON which use linear discrete time structures with the situation calculus which uses branching time. ffl Karlsson [18] [1995] In Karlsson s Licentiate Thesis, he considers how to formally characterize different modal truth criteria used in planning algorithms such as TWEAK and NONLIN. The formalization is done using PMON as a basis. Additional publications by Karlsson [19, 21] have extended this work. ffl ....

L. Karlsson. Specification and synthesis of plans using the features and fluents framework. Master's thesis, Linkoping University, 1995. Thesis No 469. LiU-Tek-Lic 1995:01.

....the systematic approach is applied to logics of action and change. In this paper, the approach is given a wider application. It is our opinion that the approach is also relevant for problems that make use of reasoning about action and change, such as planning. The results described here (and in [13]) provide concrete support for this opinion. A planner can be classified according to what types of worlds it is suitable for, which indicates what is required in terms of plan representation. One can then find a plan representation, for instance a temporal logic, that meets those requirements. ....

....the YSS (1) with scd2 but without scd1 the agent would not be able to derive anything about the effects and conditions of the shooting action. As [5]loaded(Rifle) does not hold in the scenario, 5; 6]alive(T urkey) F is not a consequence. A solution is to split the action laws into two parts [13]. The action qualification 1 laws state the preconditions of an action. The action effect laws define the result of the action. The separated version of the YSS with a goal added is as follows. qlaw1 [s; t]Load(x) T elaw1 [s; t]Load(x) s; t]loaded(y) T qlaw2 [s; t]F ire(x; y) ....

[Article contains additional citation context not shown here]

Lars Karlsson. Specification and synthesis of plans using the features and fluents framework. Licentiate thesis, Department of Computer and Information Science, Linkoping University, 1995. Available on WWW: http://www.ida.liu.se/labs/rkllab/people/larka/.

....Fluents, the systematic approach is applied to logics of action and change. In this paper, the approach is given a wider application. The approach is in fact relevant also for problems that make use of reasoning about action and change, such as planning. The results described in the paper and in (Karlsson 1995) provide concrete support for this. Partial order and causal link planning is analysed in this paper. The emphasis is on representation and basic operations applied to this representation. It is shown how classical partial order plans are specified using the fluent logic (Doherty Lukaszewicz ....

....[5; 6]alive(turkey) F is not a consequence. A plan where some preconditions do not hold is called invalid. A solution is to split the action laws into two parts. The action qualification 2 laws state the preconditions of an action. The action effect laws define the result of the action (Karlsson 1995). The separated version of the YSS with a goal added is as follows. qlaw1 [s; t]Load(x) T elaw1 [s; t]Load(x) s; t]loaded(x) T qlaw2 [s; t]F ire(x; y) s]loaded(x) elaw2 [s; t]F ire(x; y) s; t]loaded(x) F [s; t]alive(y) F obs1 [0]alive(turkey) loaded(gun) scd1 [2; ....

[Article contains additional citation context not shown here]

Karlsson, L. 1995. Specification and synthesis of plans using the features and fluents framework. Licentiate thesis, Department of Computer and Information Science, Linkoping University. Available on WWW: http://www.ida.liu.se/labs/rkllab/people/ larka/.

....and Fluents, the systematic approach is applied to logics of action and change. In this paper, the approach is given a wider application. The approach is also relevant for problems that make use of reasoning about action and change, such as planning. The results described in the paper and in [8] provide concrete support for this. Chapman s tweak [2] planner is subject to an analysis and reconstruction in the paper. The emphasis is on representation and basic operations applied to this representation; the algorithm used by tweak need not be changed in any relevant aspects. Then an ....

....invalid. A solution is to split the action laws into two parts. The action qualification 1 1 The term qualification as used here should not be confused with the qualification problem [10] laws state the preconditions of an action. The action effect laws define the result of the action [8]. The separated version of the YSS with a goal added is as follows. qlaw1 [s; t]Load(x) T elaw1 [s; t]Load(x) s; t]loaded(y) T qlaw2 [s; t]F ire(x; y) s]loaded(x) elaw2 [s; t]F ire(x; y) s; t]alive(y) F obs1 [0]alive(turkey) loaded(gun) scd1 [2; 4]Load(gun) scd2 [5; 6]F ....

[Article contains additional citation context not shown here]

Lars Karlsson. Specification and synthesis of plans using the features and fluents framework. Licentiate thesis, Department of Computer and Information Science, Linkoping University, 1995.

No context found.

Lars Karlsson. Specification and Synthesis of Plans Using the Features and Fluents Framework. Licentiate thesis. Linkoping Studies in Science and Technology: Thesis No 469. 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