Fisher, M. Representing and Executing Agent-Based Systems. In Intelligent Agents, Springer-Verlag, 1995.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....in dynamics. This suggests dynamic semantics that are on the programming level; how to define such semantics on a conceptual level is far from trivial. In our approach semantics is defined on a conceptual design level based on traces of compositional states. 23 The Concurrent MetateM framework [22] is another modelling framework for multiagent systems. A comparison is discussed for the structure of agents, inter agent communication and meta level reasoning (for a more extensive comparison, see [37] For the structure of agents, in DESIRE, the knowledge structures that are used in the ....

Fisher, M. , Representing and executing agent-based systems. In: Intelligent Agents---Proceedings of the International Workshop on Agent Theories, Architectures, and Languages, ATAL'94, edited by M. Wooldridge and N. Jennings, Lecture Notes in Artificial Intelligence, vol. 890, Springer-Verlag: Berlin, 1995.

....the user is directed to use standard frameworks, like UML. On the other hand, declarative languages and schemata for the specification of multi agent systems exist. These start bottom up from the agents and their behavior. If these specifications are executable like in ConcurrentMetateM [11] these languages can be used for simulation as well. In the area of social simulation, an analogous parallel rule interpreting system, SDML ( Strictly Declarative Modeling Language [12] was developed. However, the problem is that these frameworks operate just on the complete agent level ....

M. Fisher. Representing and executing agent-based systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of the ATAL'94, volume 890 of LNAI, pages 307--323. Springer, 1995.

....AgentSpeak(L) which can be viewed as an abstraction of the implemented system, and which allows agent programs to be written and interpreted [16] In contrast to this approach, some work aims at constructing directly executable formal models. For example, Fisher s work on Concurrent MetateM [7] has attempted to use temporal logic to represent individual agent behaviours where the representations can either be executed directly, verified with respect to a logical requirement, or transformed into a more refined representation. Further work aims to use this to produce a full development ....

M. Fisher. Representing and executing agent-based systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI 890), pages 307--323. Springer, 1995.

....JavaLog treats logic modules inside methods through a preprocessor that translates a Java program with embedded Prolog into a pure Java program. As a result, the embedded Prolog is rendered into calls to the JavaLog API. 5 Related Work Several languages have been proposed for programming agents [6,11,14]. Some of them use some object oriented concepts in a logic context For example, Metatem [6] is based on temporal logic, encapsulating a set of rules. Most agent languages (i.e. 11,14] are based on object oriented concepts without any consideration about the logic fundamentals of mental ....

....with embedded Prolog into a pure Java program. As a result, the embedded Prolog is rendered into calls to the JavaLog API. 5 Related Work Several languages have been proposed for programming agents [6,11,14] Some of them use some object oriented concepts in a logic context For example, Metatem [6] is based on temporal logic, encapsulating a set of rules. Most agent languages (i.e. 11,14] are based on object oriented concepts without any consideration about the logic fundamentals of mental attitudes. This lack could be solved using some practical views of architectures on mental ....

M. Fisher. Representing and Executing Agent-Based Systems. In Proceedings of the ECAI- 94 Workshop on Agent Theories, Architectures, and Languages, pages 307-323, Aug. 1994.

....are almost solely caused by their own wishes and desires. The more obvious difference between ANA and the two systems Agent0 and PLACA is the negotiation and argumentation ability, and the concept of agent life cycle being supported by our system. The Concurrent Metatem language by Fisher [44] presents a system in which multiple agents can work simultaneously. Each agent is assigned a unique behavior specification and it acts according to these behavior rules. ANA is similar to the Concurrent Metatem system with respect to these two features. However, there are two major conceptual ....

M. Fisher. Representing and executing agent-based systems. In Intelligent Agents, Lecture Notes in Artificial Intelligence No. 890, pages 307--323. Springer-Verlag, 1995.

....decision process. 1 Introduction Agent oriented programming has been introduced as a specialization of object oriented programming [Sho93] This presentation was materialized by both languages using object oriented concepts for supporting agent programming (i.e. AgentSpeak [WRR94] and Metatem [Fis94]) and the usage of object oriented language for programming agents. In spite of those evidences on the signicance of object oriented programming in agent programming, objects managing mental attitudes present one important limitation. The origin of such limitation is the lack of practical ....

M. Fisher. Representing and executing agent-based systems. In ECAI-94 Workshop on Agent Theories, Architectures, and Languages, pages 307323, Amsterdam, The Netherlands, August 1994.

....The second, agents maintain an internal private state known as mental state, which is equivalent to the internal and private state of the objects. Far from Shoham s definition, many languages designed for agent programming (i.e. AgentSpeak [Weerasooriya, 1995] Daisy [Poggi, 1995] Metatem [Fisher, 1994], CooL [Kolb, 1995] have been built using concepts from object oriented paradigm and many specific agents (such as [Vere, 1990] Ciancarini, 1997] have been implemented in object oriented languages such as C , Smalltalk or Java. These experiences of agent language definitions based on concepts ....

M. Fisher, Representing and Executing Agent-Based Systems, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Aug. 1994, pp. 307-323.

.... at different levels of time granularity, and ecological systems usually involve entities acting on their own clocks, then an ecosystem modelled in such a logic is a straightforward representation of an agent s behaviour in the sense of multiagent systems (MAS) Such a view is the same as in [18]. In what follows, we consider that agent s attributes which depend on processes specified at a certain scale of time will have their state changed only at that level. If an agent A i acting at a coarse level of time interacts with other A j working at lower level, and the result of this ....

M. Fisher, "Representing and executing agentbased systems," in ECAI Workshop on Agent Theories,Architectures and Languages (ATAL),

....ad hoc manner. Programming languages and tools for agents would present the developer with a layer of abstraction over such architectures. Shoham s AGENT0 is one attempt to build such a language [133] as is the CONGOLOG language described in [89] and the Concurrent METATEM programming language [47]. APRIL is another such language, which provides the developer with a set of software tools for implementing MAS [99] 3. Multi Agent Systems Traditionally, research into systems composed of multiple agents was carried out under the banner of Distributed Artificial Intelligence (DAI) and has ....

M. Fisher. Representing and executing agent-based systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 307--323. SpringerVerlag: Berlin, Germany, January 1995.

....[1] However, for many multi agent programming languages, it is not at all clear what techniques might be used to develop a formal semantics. In brief, the purpose of this paper is to address the problem of giving a formal semantics to a multi agent programming language called Concurrent METATEM [6, 7, 8]. A Concurrent METATEM system contains a set of concurrently executing agents, able to communicate via asynchronous broadcast message passing. Agents in Concurrent METATEM are programmed by giving them a temporal logic specification of the behaviour it is intended they should exhibit. An agent s ....

....with basic modal and temporal logic [12] 2 Concurrent METATEM In this section, we present an overview of Concurrent METATEM. Note that Concurrent METATEM is a descendent of METATEM, details of which may be found in [3] the Concurrent METATEM language itself is described in more detail in [6, 7, 8]. 2.1 Agents in Concurrent METATEM Agents in Concurrent METATEM are concurrently executing entities, able to communicate with each other through asynchronous broadcast message passing. Each Concurrent METATEM agent has two main components: ffl an interface, which defines how the agent may ....

[Article contains additional citation context not shown here]

M. Fisher. Representing and executing agent-based systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 307--323. Springer-Verlag: Heidelberg, Germany, January 1995.

....1988 ] describes the different modules of a BDI architecture and discusses the philosophical foundations for each of these modules. However, compared to our abstract interpreter, this model is at a higher level of abstraction and is not useful as a practical system. More recent work by Fisher [ Fisher, 1994 ] on Concurrent Metatem specifies agent behaviours as temporal logic specifications that are directly executed by the system. However, for applications in which the environment changes at rates comparable with the calculation cycle of the system, such theorem provers are unsuited as system ....

Michael Fisher. Representing and executing agent-based systems. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890, Amsterdam, Netherlands, 1994. Springer Verlag.

....logic [14] Fisher developed Concurrent MetateM [55, 53] This language has concurrently executing agents that communicate by broadcasting messages to the other agents in the system. Each agent is defined using temporal logic specification. This specification is used to direct how an agent behaves [56, 54]. Weerasooriya, Rao and Ramamohanarao developed AgentSpeak. AgentSpeak Agents are organized into families, which offer certain services to other agents. Also, each agent has its own database. AgentSpeak is similar to Agent0 and PLACA but the mental state of AgentSpeak agents consist of services ....

M. Fisher. Representing and executing agent-based systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 307--323. Springer-Verlag: Heidelberg, Germany, January 1995.

....type of sensing event. The predicates eat food action(o) and run action(o) hold if o is an output event of the appropriate action type. The function time maps events to numbers, over which the usual relation holds. The constant ffi is a number. In a framework such as (Gregory 1997) or (Fisher 1994) the definition of the predicate bbl could, more or less, be used as the program BBL. In a framework such as (Kowalski Sadri 1997) it can be seen as the specification of the temporal properties of a production rule system. 8 E; I; O environment(E ) execute(E ; I ; O ; BBL) bbl(I ; O) 8 I; O ....

Fisher, M. 1994. Representing and executing agent-based systems. In Pre-Proceedings of the 1994 Workshop on Agent Theories, Architectures and Languages.

....look at the various interaction techniques available. We will start off by looking at direct communication. 3. 1 Direct Communication One form of direct communication is Point to Point message passing (see Figure 1) which is widely used in concurrent object based systems such as in actor systems [4]. The advantage of using this approach is that agents know where a message is being sent to and hence security controls are easily introduced as an agent can ensure that important information is never sent to the wrong agent. Agents interacting in this technique handle their own coordination ....

....Furthermore, it is also complex to implement as all code necessary to support interactions against different agents must be available. Furthermore, from a formalism point of view, this form of communication does not fit naturally into the view of computation as a limited form of theorem proving [4]. Of the papers surveyed, MIT s Kasbah Marketplace [16] discussed the issue of ontology for agents communicating in this fashion. According to the authors, the marketplace, an environment where the agents interact, ensures that a common language is spoken among these agents. It is this environment ....

[Article contains additional citation context not shown here]

Michael Fisher. Representing and Executing Agent-Based Systems. In Intelligent Agents -- Proceedings of the International Workshop on Agent Theories, Architectures, and Languages, 1995.

.... extension to the CUBL concurrent object language [83] Weerasooriya et al. discuss a (hypothetical) agent oriented programming language called AGENTSPEAK [115] Fisher has developed a multi agent programming environment based on executable temporal logic, which enjoys many of the properties of AOP [41, 42]; Burkhard discusses some issues in the design of agent oriented environments [17] and finally, Lesperance et al. describe a logic based multi agent programming environment called CONGOLOG [67] which incorporates many ideas from AOP. 2.2 Reactive Architectures In addition to the criticisms ....

M. Fisher. Representing and executing agent-based systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Theories, Architectures, and Languages (LNAI Volume 890), pages 307-- 323. Springer-Verlag: Heidelberg, Germany, January 1995.

....the applicability of DA SoC for our application domain are outlined in [3] Here we concentrate on the agent interaction. The basic communication mechanism in DA SoC is a broadcast message passing scheme 1 . When a message is sent to an agent, all agents receive it, and every agent tries 1. In [1] Fisher discusses the impact of broadcast communication in MAS. to match it with an interaction plan. The declaration part of an interaction plan has an agent name as the receiver s address and a pattern for what message contents it will accept. Both the agent name (the address) in the message ....

Fisher M., Representing and Executing Agent-Based Systems, Proceedings of the ECAI'94 Workshop on Agent Theories, Architectures, and Languages, August 8-12, 1994, Amsterdam, The Netherlands.

....languages should fill the gap often encountered between agent theory and agent applications. We give a brief overview of existing agent languages. Concurrent object oriented languages are a good basis for implementing MAS, because of the similarity between concurrent objects and agents. Fisher [22] even claims that a MAS is simply a system consisting of concurrently executing components. Agent oriented Programming and its implementation AgentO [60] are based on a societal view of computation; agents are programmed in terms of their mental state. Thomas has developed PLACA [65] which ....

M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N.R. Jennings, editors, Intelligent Agents. Proceedings of First International Workshop on Agent Theories, Architectures, and Languages (ATAL'94), number 890 in LNAI. Springer Verlag, August 1994.

....agent families and agent instances, which are enhancements of the notions of classes and objects. Our aim of designing an agent oriented language that is high level, easy to use, and can be formally specified, executed, and verified, is similar to the goals behind the design of Concurrent Metatem [ 6 ] . Both AgentSpeak and Concurrent Metatem have powerful communication primitives; the mental state of AgentSpeak is more complex than that of Concurrent Metatem.Agent behaviours in Concurrent Metatem are specified as temporal logic specifications that are directly executed. Plans in AgentSpeak are ....

Michael Fisher. Representing and executing agent-based systems. In Pre-proceedings of the workshop on Agent Theories, Architectures and Languages. Also appears as Lecture Notes in Computer Science (this Volume), Amsterdam, Netherlands, 1994. Springer Verlag.

....or executing , agents, i.e. determining the state that has been actually reached after performing certain actions in some initial state. This problem is crucial to many important applications based on modelling or verifying systems where mental attitudes play some role (see, for instance [5]) In [2] we further develop our theory of agents and present a framework for modelling agents related to the problem of User Modelling. In order to provide the ability to describe agents, we introduce there two new predicates Actual and P erforms. In this limited exposition we only briefly ....

M. Fisher. Representing and executing agent-based systems. In Intelligent Agents ECAI-94 Workshop on Agent Theories, Architectures, and Languages. SpringerVerlag, 1994.

....is matched with agent plans and, eventually, an agent plan is executed, during which the world model can be altered, goals can be set, and messages can be sent. A special feature is that one agent can hold an interaction plan with the name of another agent as the receiver s 1. Fisher discusses in [4] the impact of broadcast communication in MAS. Degree of local control (freedom) High Low Orthodox realtime systems Object oriented systems Multi agent systems Figure 1. Comparison of local control (freedom) between some types of system. MoI Reasoner World Model Other agents Figure 2. Structure ....

Fisher M., Representing and Executing Agent-Based Systems, Proceedings of the ECAI'94 Workshop on Agent Theories, Architectures, and Languages, August 8-12, 1994, Amsterdam, The Netherlands.

No context found.

Fisher, M. Representing and Executing Agent-Based Systems. In Intelligent Agents, Springer-Verlag, 1995.

No context found.

M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents. SpringerVerlag, 1995.

No context found.

Fisher, M. 1995. Representing and Executing Agent-Based Systems. In Wooldridge, M. and Jennings, N. R., editors, Intelligent Agents: Proceedings of the ATAL'94, volume 890 of LNAI, pages 307--323. Springer.

No context found.

Fisher, M. (1995). Representing and executing agent-based systems. In Wooldridge, M. and Jennings, N. R., editors, Intelligent Agents: Proceedings of the ATAL'94, volume 890 of LNAI, pages 307--323. Springer.

No context found.

Fisher, M. 1995. Representing and Executing Agent-Based Systems. In Wooldridge, M. and Jennings, N. R., editors, Intelligent Agents: Proceedings of the ATAL'94, volume 890 of LNAI, pages 307--323. Springer.

No context found.

M. Fisher. 1995. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings (eds.): Intelligent Agents: Proceedings of ATAL'94, LNAI 890, 307--323. Springer, 1995. 12 E. Rich and K. Knight. 1991. Artificial Intelligence. McGraw Hill Publisher, 2 edition.

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