Dunin Keplicz, B. and Treur, J. Modelling reasoning and acting agents. In: B.R. Gaines, M. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95, University of Calgary, 1995, pp. 22/1-22/20. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modelling Cooperative Behaviour for Resource Access in a.. - Brazier, van Eck, Treur (1996) (1 citation) Self-citation (Treur) (Correct)
No context found.
Dunin Keplicz, B. and Treur, J. Modelling reasoning and acting agents. In: B.R. Gaines, M. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95, University of Calgary, 1995, pp. 22/1-22/20.
Formal Specification of Reflective Agents - Brazier, Treur (1995) Self-citation (Treur) (Correct)
....complex reasoning systems (cf. KWRJM94] This paper addresses the employment and extension of the framework to multi agent environments with reflective agents. Recently a number of different types of multi agent environments have been modelled and analyzed (cf. BET95ab] BDJT95ab] BT94] [DT95]) Agent architectures have been designed with various reflective capabilities. Within these architectures the need to be able to model reasoning about the following types of knowledge has been identified: the (material) world state observations (in the world) execution of actions in the ....
....state an agent s own reasoning and acting processes other agents information states other agents reasoning and acting processes Some of the reflective capabilities have been illustrated in the domains modelled. Reasoning about observation has been illustrated in [BT94] BET95a] [DT95], reasoning about communication in [BT94] BDJT95ab] DT95] and specific types of reasoning about an agent s own reasoning and acting processes in all references mentioned. Reasoning about an agent s own information state, its own assumptions, and other agents reasoning have not been ....
[Article contains additional citation context not shown here]
B. Dunin Keplicz, J. Treur (1995). Modelling Reasoning and Acting Agents. In: B.R. Gaines, M. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, KAW'95, University of Calgary, pp. 22-1 - 22-20.
Modelling Cooperative Behaviour for Resource Access in a.. - Brazier, van Eck, Treur (1996) (1 citation) Self-citation (Treur) (Correct)
....performing observations (including observation of the presence and relevance of other agents) and (2) performing the action proposed by the component obtain resource. Due to space restrictions, the specifications have been omitted. Specifications of this component in another domain can be found in [DT95b]. 5.5 Agent interaction management The agent interaction management component effectuates communication between an agent and other agents, for example the ok message and the message that the current agent wants to access a certain resource, are issued. Again, due to space restrictions the ....
.... next communication(A,ok) then communicate(A,ok) 5.6 Own process control In this subsection the role of own process control is described in relation to an agent s task control. For more examples of detailed formal specifications of task control in another domain, see [BDJT95a,95b,DT95b]. The component own process control determines which information is needed to decide whether access to a resource is allowed, and where this information is to be found. The conclusions drawn by the component own process control are used by the agent s task control to control the agent s reasoning ....
Dunin Keplicz, B. and Treur, J. Modelling Reasoning and Acting Agents. In: B.R. Gaines, M. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for KnowledgeBased Systems Workshop, KAW'95, University of Calgary, 1995, pp. 22/1-22/20.
Compositional Modelling of Reflective Agents - Brazier, Treur (1996) (2 citations) Self-citation (Treur) (Correct)
....on both the static and the dynamic aspects of the required functionality. A number of different types of multi agent applications have been modelled and analysed using DESIRE (cf. Brazier, Dunin Keplicz, Jennings and Treur, 1995, 1997; Brazier, Eck and Treur, 1996; Brazier and Treur, 1994; Dunin Keplicz and Treur, 1995). In this paper an agent model is introduced that models nontrivial combinations of reflective reasoning. This model has been used to model distributed air traffic control. The paper has the following structure. In Section 2 the formal compositional framework DESIRE is introduced. A generic ....
Dunin Keplicz, B.M. and Treur, J. (1995). Modelling Reasoning and Acting Agents. In: B.R.
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