Prokopenko, M. Situated Reasoning in Multi-Agent Systems. In AAAI Technical Report SS-9605, the AAAI-99 Spring Symposium on Hybrid Systems and AI, 158 - 163. Stanford 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....the year 2000. Team References Roll of honour CMUnited [7, 90, 92, 93, 94, 95, 96, 97] 4th WC97, 1st WC98, 98, 99, 100, 102, 103, 104, 115] 1st 9th WC99, 3rd 4th WC00 Essex Wizards [36, 37, 39, 50, 51, 52, 53] 3rd WC99, 3rd EC00, 7th WC00 FC Portugal [56, 76, 77] 1st EC00, 1st WC00 Cyberoos [13, 69, 70, 71, 72, 73, 74] 3rd PR98, 4th EC00, 9th WC00 Karlsruhe Brainstormers [79, 80] 2nd EC00, 2nd WC00 Magma Freiburg [24, 25, 26] 2nd WC99, 5th WC00 AT Humboldt [3, 10, 11] 1st WC97, 2nd WC98, 7th WC99 Windmill Wanderers [17, 18] 3rd WC98, 9th WC99 Mainz Roling Brains [111, 112, 113] 5th WC98, 5th WC99 YowAI ....

M. Prokopenko. Situated Reasoning in Multi-Agent Systems. In The AAAI-99 Spring Symposium on Hybrid Systems and AI, pages 158--163, Stanford, 1999.

No context found.

Prokopenko, M. Situated Reasoning in Multi-Agent Systems. In AAAI Technical Report SS-9605, the AAAI-99 Spring Symposium on Hybrid Systems and AI, 158 - 163. Stanford 1999.

....1987; Prokopenko et al. 1998] We will attempt to extend these results by including new agent types (task oriented and processoriented agents) enabling reasoning about tactical activities in context of a multi agent teamwork. 2. 1 Environment Simulator Following [Prokopenko et al. 1998; Prokopenko, 1999] we define a Simulator agent as a tuple As W, P, A, E, C, view, projection, send, receive, do , where W is a set of all external states, P is a set of all possible partitions of W, A is a set of situated agents, E is a set of effectors, and C is a communication channel type. Function view ....

....by logic based reasoning. It is possible to consider a generic class of systematic models Th, Tr, V , where each instance of an action theory Th provides a validation criterion for a dynamic system V, and the translation Tr: Th V is sound with respect to reasoning warranted by the theory Th [Prokopenko, 1999]. In this section, we use a basic action theory describing unconstrained domains to derive a dynamic multiagent system based on the Hysteretic agent architecture. Then a more complex class of domains with ramifications is mapped into another dynamic system based on the Extended Hysteretic agent ....

Prokopenko, M. Situated Reasoning in Multi-Agent Systems. In AAAI Technical Report SS-99-05, the AAAI-99 Spring Symposium on Hybrid Systems and AI, 158 - 163. Stanford 1999.

....of tropistic and hysteretic agents are discussed in [3, 10] We will attempt to extend these results by including new agent types (task oriented and process oriented agents) enabling reasoning about tactical activities in the context of a multi agent teamwork. 2. 1 Environment Simulator Following [10, 11], we define a Simulator agent as a tuple As. W , P, A, E, C, view, projection, send, receive, do) where W is a set of all external states, P is a set of all possible partitions of W, A is a set of situated agents, E is a set of effectors, and C is a communication channel type. Function view ....

....by logic based reasoning. It is possible to consider a generic class of systematic models (Th, Tr, V) where each instance of an action theory Th provides a validation criterion for a dynamic system V, and the translation Tr: Th V is sound with respect to reasoning warranted by the theory Th [11]. In this section, we use a basic action theory describing unconstrained domains to derive a dynamic multi agent system based on the Hysteretic agent architecture. Then a more complex class of domains with ramifications is mapped into another dynamic system based on the Extended Hysteretic agent ....

Mikhail Prokopenko. Situated Reasoning in Multi-Agent Systems. In AAAI Technical Report SS-99-05, the AAAI-99 Spring Symposium on Hybrid Systems and AI, 158 - 163. Stanford 1999.

....that reactive behaviours can be derived from (and importantly, can be proved to be correct with respect to) a higher level theory is not new. For instance, connections between theories of actions and reactive robot control architectures based on the paradigm of situated activity are explored in [1, 11]. The approach described in [1] formalises further the concept of an action leading to a goal de ned at the representation level in the situated automata approach [5] and follows the latter in relating declarative agent speci cations and situated behaviours. The view taken in this paper is ....

....exhibited by agents of a certain type (and validated by particular action theories) can be declared to be situated, tactical, strategic, social and so on. In other words, the principal target is a systematic description of increasing levels of agent reasoning abilities. The results reported in [9, 10, 11] demonstrated that this is achievable at the situated level. Preliminary results on the systematic models for basic tactical behaviour were obtained as well [12] This work intends to use this framework in experimenting with emergent tactical teamwork; and thus build up empirical results and ....

[Article contains additional citation context not shown here]

Mikhail Prokopenko. Situated Reasoning in Multi-Agent Systems. In AAAI Technical Report SS-99-05, the AAAI-99 Spring Symposium on Hybrid Systems and AI, 158{ 163, Stanford, 1999.

....that reactive behaviours can be derived from (and importantly, can be proved to be correct with respect to) a higher level theory is not new. For instance, connections between theories of actions and reactive robot control architectures based on the paradigm of situated activity are explored in [1, 10]. The approach described in [1] formalises further the concept of an action leading to a goal defined at the representation level in the situated automata approach [5] and follows the latter in relating declarative agent specifications and situated behaviours. The view taken in this paper is ....

....exhibited by agents of a certain type (and validated by particular action theories) can be declared to be situated, tactical, strategic, social and so on. In other words, the principal target is a systematic description of increasing levels of agent reasoning abilities. The results reported in [8, 9, 10] demonstrated that this is achievable at the situated level. Preliminary results on the systematic models for basic tactical behaviour were obtained as well [11] This work intends to use this framework in experimenting with emergent tactical teamwork; and thus build up empirical results and ....

[Article contains additional citation context not shown here]

Mikhail Prokopenko. Situated Reasoning in Multi-Agent Systems. In AAAI Technical Report SS-99-05, the AAAI-99 Spring Symposium on Hybrid Systems and AI, 158--163, Stanford, 1999.

....The dribble bit reverts to true when the corresponding action is complete, that is no longer in progress. Monitoring currently progressing actions provides an explicit account of temporal continuity for actions with duration [7, 8] and allows us to embed actions ramifications and interactions [4, 6, 7]. For example, the dribbling action will not be invoked during shooting or passing. It is worth noting that the architecture A H can be viewed as a subsumption architecture [1] as well. It allows us to easily express desired subsumption dependencies between the Hysteretic and Tropistic levels. ....

Prokopenko, M. Situated Reasoning in Multi-Agent Systems. In Working Notes of the AAAI-99 Spring Symposium on Hybrid Systems and AI. Stanford 1999.

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