caa a22 4500 605539200 CHVBK 20210128100905.0 cr unu---uuuuu 210128e20150401xx s 000 0 eng 10.1007/s10992-014-9331-9 doi (NATIONALLICENCE)springer-10.1007/s10992-014-9331-9 Position Systems in Dynamic Domains [Elektronische Daten] [Jianmin Ji, Fangzhen Lin] 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. Springer Science+Business Media Dordrecht, 2014 Dynamic domain nationallicence Position system nationallicence Ji Jianmin School of Computer Science and Technology, University of Science and Technology of China, Hefei, People's Republic of China aut Lin Fangzhen Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, Hong Kong aut Journal of Philosophical Logic Springer Netherlands 44/2(2015-04-01), 147-161 0022-3611 44:2<147 2015 44 10992 https://doi.org/10.1007/s10992-014-9331-9 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s10992-014-9331-9 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Ji Jianmin School of Computer Science and Technology, University of Science and Technology of China, Hefei, People's Republic of China aut NATIONALLICENCE 700 1- Lin Fangzhen Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, Hong Kong aut NATIONALLICENCE 773 0- Journal of Philosophical Logic Springer Netherlands 44/2(2015-04-01), 147-161 0022-3611 44:2<147 2015 44 10992