Position Systems in Dynamic Domains
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605539200 | ||
| 003 | CHVBK | ||
| 005 | 20210128100905.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150401xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10992-014-9331-9 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10992-014-9331-9 | ||
| 245 | 0 | 0 | |a Position Systems in Dynamic Domains |h [Elektronische Daten] |c [Jianmin Ji, Fangzhen Lin] |
| 520 | 3 | |a A dynamic domain consists of a set of legal states and a transition function that maps states to states. AI formalisms for specifying dynamic domains have so far focused on describing the effects of actions, that is, the transition functions. In this paper we propose a notion of characteristic set of position systems for the purpose of describing legal states. A position system for a type of objects is a set of properties that are mutually exclusive, and that in each state, every object of the type must satisfy exactly one of these properties called its position under the position system. A set of position systems, one for each type of objects in the domain, is characteristic if there is a one-to-one mapping between legal states and sets of objects' positions under these position systems. These position systems are useful for reasoning about these dynamic systems including planning. In particular, we show that once we have characteristic sets of position systems for a dynamic domain, planning can be done by writing rules about when to move objects from one position to another. | |
| 540 | |a Springer Science+Business Media Dordrecht, 2014 | ||
| 690 | 7 | |a Dynamic domain |2 nationallicence | |
| 690 | 7 | |a Position system |2 nationallicence | |
| 700 | 1 | |a Ji |D Jianmin |u School of Computer Science and Technology, University of Science and Technology of China, Hefei, People's Republic of China |4 aut | |
| 700 | 1 | |a Lin |D Fangzhen |u Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, Hong Kong |4 aut | |
| 773 | 0 | |t Journal of Philosophical Logic |d Springer Netherlands |g 44/2(2015-04-01), 147-161 |x 0022-3611 |q 44:2<147 |1 2015 |2 44 |o 10992 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10992-014-9331-9 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10992-014-9331-9 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Ji |D Jianmin |u School of Computer Science and Technology, University of Science and Technology of China, Hefei, People's Republic of China |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Lin |D Fangzhen |u Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, Hong Kong |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Journal of Philosophical Logic |d Springer Netherlands |g 44/2(2015-04-01), 147-161 |x 0022-3611 |q 44:2<147 |1 2015 |2 44 |o 10992 | ||