M. Schroeder, I.A. Mra and L.M. Pereira. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. In Mller, G.P., Wooldridge, M.J. and Jennings, N.R. (eds) Intelligent Agents III Proc. of the Third International Workshop on Agent Theories, Architectures and Languages (ATAL'96), SpringerVerlag LNAI Series, 1996. In this volume.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....our understanding of the extent to which automatic processes may determine the agent s behavior. Besides other reasons (e.g. efficiency) this is an important issue when talking about architectures because automatic mechanisms may be built into them. Some proposals regarding autonomous agents [28] don t address to the problem of control of attention. However, the ability to shift attention from the current cognitive task to the external world is an essential property of autonomous agents designed to operate in dynamic environments (e.g. a mobile robot picking up pieces of trash in a ....

M. Schroeder, I.A. Mra and L.M. Pereira. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. In Mller, G.P., Wooldridge, M.J. and Jennings, N.R. (eds) Intelligent Agents III Proc. of the Third International Workshop on Agent Theories, Architectures and Languages (ATAL'96), SpringerVerlag LNAI Series, 1996. In this volume.

....paper the proof theory of the language, given as a labeled transition system: it leads to a one to one correspondence between the proof rules and the operational semantics of the language. About exploiting logic programming to realize applications based on MAS, we can cite Schroeder et al. SdAMP96] which present a formalism for specifying and implementing diagnoses agents based on extended logic programming, and MAGIQUE [BM95] a hybrid architecture for MAS that permits an integration between the blackboard model and autonomous agents and that utilizes an object oriented technology. There ....

M. Schroeder, I. de Almeida M`ora, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. In J. P. Muller, M. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III, pages 293--307. Springer-Verlag, 1996. LNAI 1193.

....operators which leads to a set of axioms that are not appropriate for our agents. In addition, they require a fully specified history and use a discrete point based representation of time, while we use an interval based representation of discrete time. An interesting line of research begun in (Schroeder, de Almeida Mora, and Pereira 1997) showed how extended logic programming may be used to specify the behavior of a diagnostic agent. Their architecture supports cooperation between multiple diagnostic agents. Issues of interest arise when conflicting diagnoses are hypothesized by di#erent agents. This problem is tackled by 66 ....

Schroeder, M., I. de Almeida Mora, and L. M. Pereira (1997). A Deliberative and Reactive Diagnosis Agent based on Logic Programming. In M. W.

....semantics of the language. About exploiting logic programming to realize applications based on MAS, we can cite MAGIQUE [BM95] a hybrid architecture for MAS (based on object oriented technology) that permits an integration between the blackboard model and autonomous agents and Schroeder et al. SdAMP96] which present a formalism for specifying and implementing diagnostic agents based on extended logic programming. In this approach the steps which characterize the agent behaviour follow the scheme by Kowalsky and Sadri: read the current message, update the state (defined in terms of beliefs) ....

M. Schroeder, I. de Almeida M`ora, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. In J. P. Muller, M. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III, pages 293-- 307. Springer-Verlag, 1996. LNAI 1193.

....similar to the previous one. He defines Vivid Agents and Vivid Reagents that is, respectively, rational ad reactive agents whose behavior is represented by action and reaction rules. The exploitation of logic programming to realize applications based on MAS can be found in Schroeder et al. [20], which present a formalism for specifying and implementing diagnostic agents based on extended logic programming. Other not executable logic formalisms have been used to define agent languages: ConGolog [9] is a concurrent multi agent programming language based on a logical theory of action, ....

M. Schroeder, I. de Almeida M`ora, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. In Intelligent Agents III, pages 293-- 307. Springer-Verlag, 1996. LNAI 1193.

....Rao s paper the proof theory of the language, given as a labeled transition system: it leads to a one to one correspondence between the proof rules and the operational semantics of the language. About exploiting logic programming to realize applications based on MAS, we can cite Schroeder et al. SdAMP96] which present a formalism for specifying and implementing diagnoses agents based on extended logic programming, and MAGIQUE [BM95] a hybrid architecture for MAS that permits an integration between the blackboard model and autonomous agents and that utilizes an object oriented technology. There ....

M. Schroeder, I. de Almeida M`ora, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming. In J. P. M'uller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III (LNAI 1193), pages 293--307. Springer-Verlag, 1996.

.... Action and Planning Towards an Implementation of VIVA Michael Schroeder Gerd Wagner August 7, 1996 Abstract Based on the concept of vivid agents [Wag96] and a first prototype motivated by distributed diagnosis [SdAMP96, SW96] we develop the architecture CAP (Concurrent Action and Planning) for VIVA, a logic based programming language for multi agent systems. Keywords: Multi agent Systems, Logic Programming 1 Introduction A state of the art programming language for multi agent systems should meet the following ....

....support the integration of agents based on different concepts and architectures and implemented in different programming languages. ffl Modularity. The agent architecture underlying the language has to be modular, so that different types of agents can be composed. For example, a diagnosis agent [SdAMP96, SW96] needs a powerful knowledge base but only some planning capability, whereas a scheduling agent may need a powerful planner but perfectly works with a relational data base. ffl Fairness. The environment of the agents has to guarantee fairness. Up to now there seems to be no language meeting all ....

Michael Schroeder, Iara de Almeida M'ora, and Lu'is Moniz Pereira. A deliberative and reactive diagnosis agent based on logic program5 ming. In ATAL96 - Agent Theories, Architectures and Langugages. Springer--Verlag, 1996. To appear.

....results on the verification of such systems [RG93] We investigate how CCS, the calculus for concurrent systems [Mil89] may serve as formal background of agent communication. We start our considerations with an application in the domain of diagnosing computer networks For distributed diagnosis [SdAMP97, SW97, FdAMNS96] we have developed the agent architecture shown in Figure 1. The knowledge base contains a model of the system to be diagnosed, strategic knowledge to describe the diagnostic process, and a specification of the agent behaviour. The inference engine deploys the knowledge base to ....

Michael Schroeder, Iara de Almeida M'ora, and Lu'is Moniz Pereira. A deliberative and reactive diagnosis agent based on logic programming. In Intelligent Agents III, LNAI 1193. Springer--Verlag, 1997. As poster in Proc. of International Conference on Tools in Artificial Intelligence ICTAI96, Toulouse, 1996.

....has to support the use of agents based on different concepts and architectures and implemented in different programming languages. ffl Modularity. The agent architecture underlying the language has to be modular, so that different types of agents can be composed. For example, a diagnosis agent [SdAMP96, SW96] needs a powerful knowledge base and few planning, whereas a scheduling agent may need an optimal planner and a relational data base only. The paper is divided into three parts. In the first part we give an overview over the technical concepts and primitives of PVM Prolog [MC95a, CM96] In the ....

....The knowledge base is an extended logic program [AP96] being easily implementable in Prolog. Extended logic programming is very expressive since it offers two kinds of negation and integrity constraints. 6 Experiments Applications of purely reactive vivid agents include distributed diagnosis [SdAMP96, SW96, FdAMNS96]. However, to reflect the deliberative and pro active capacities we illustrate the above implementation and concepts by the following example: An agent a sends a task to agent b and monitors b s progress until b finished its task. In this case b is supposed to plan and execute moving actions in ....

M. Schroeder, I. M'ora, and L. M. Pereira. A deliberative and reactive diagnosis agent based on logic programming. In ATAL96 - Agent Theories, Architectures and Langugages. (LNAI 1193) Springer--Verlag, 1996.

....rules. In combination with contradiction removal (Pereira, Alferes, Apar icio 1991) extended logic programs turned out to be sufficiently expressive and computationally tractable to represent and solve many model based diagnosis problems. The present paper combines the approach to diagnosis of (Schroeder, de Almeida M ora, Pereira 1996) with the general multi agent system model of (Wagner 1996) It is organized as follows. First, we sketch the vivid agent model including the knowledge system of extended logic programs. After presenting PVM (the parallel virtual machine) and PVM Prolog, we describe an interpreter for vivid ....

....have shown how the concept of vivid agents can be used to realize a multi agent system for distributed diagnosis. Our main contribution is the implementation and evaluation of a first prototype for vivid agents based on PVM. The prototype and its application to distributed diagnosis are based on (Schroeder, de Almeida M ora, Pereira 1996). Our implementation realizes the fundamental part of the general concept of vivid agents. We plan to use our experiences for the design of a full interpreter for vivid agents. The main issue in this ongoing project is to integrate planning facilities and pro active behavior into our current ....

Schroeder, M.; de Almeida M'ora, I.; and Pereira, L. M. 1996. A deliberative and reactive diagnosis agent based on logic programming. In Proc. of ATAL96. Springer--Verlag. To appear.

....aspects, but it is extremely difficult, if not impossible, to compare our SICLE agents with all other architectures. In the following we will briefly compare SICLE with the Procedural Reasoning System PRS [7] Teleo Reactive agents [14] Concurrent METATEM [5, 22] agents, and diagnosis agents of [20], Procedural Reasoning System The Procedural Reasoning System PRS is intended to be used in domains where there are predefined procedures to timely respond to situations that may arise. The PRS system is composed of (1) a database to hold current beliefs or facts about the world; 2) a set of ....

....And thus in the rule past ) future, if future is simply fluents, we may need to do something else so that future is true, and if future is simply actions, we may simply do it. Diagnosis agents A diagnosis agent is a computer system which actively shoots troubles with physical devices. In [20], an implementation of a diagnosis agent is presented. The similarities and differences between the diagnosis agent of [20] and our SICLE agents are summarized as follows: i) They both use extended logic programs with well founded model semantics as tools to represent their knowledge bases. In ....

[Article contains additional citation context not shown here]

Schroeder, M., Mora, I. and Pereira, L. M., A Deliberative and Reactive Diagnosis Agent based on Logic Programming, Proc. of ATAL'96, this volume, Springer-Verlag, 1997

....is triggered locally by an agent, when it realizes that it can not explain the observations by a failure in his own subsystem. The cooperation process is guided by a small amount of topological information. We have implemented spatially distributed diagnosis using extended logic programming [SdAMP96, SW96] and the vivid agents concept [Wag96a, Wag96b] Vivid agents support both the declarative description of the domain by a flexible knowledge base component and the specification of the reactive behavior of agents by a set of rules, which are activated by communication events. To demonstrate the ....

....base containing the description of their area and they have to be capable of reactive behavior in order to solve a problem in cooperation with other agents. The theoretical basis of the implementation is the concept of vivid agents [Wag96b] and a prototype developed for fault tolerant diagnosis [SdAMP96, SW96]. Below we briefly review the vivid agents and extended logic programming. We proceed by showing how the axioms can be expressed as extended logic program and how the agents reactive behavior is coded in terms of reaction rules. We round out the picture with a trace of the agents communication ....

[Article contains additional citation context not shown here]

Michael Schroeder, Iara de Almeida M'ora, and Lu'is Moniz Pereira. A deliberative and reactive diagnosis agent based on logic programming. In ATAL96 - Agent Theories, Architectures and Langugages. Springer--Verlag, 1996. To appear.

No context found.

Michael Schroeder, Iara de Almeida M'ora, and Lu'is Moniz Pereira. A deliberative and reactive diagnosis agent based on logic programming. In ATAL96 - Agent Theories, Architectures and Langugages. Springer--Verlag, 1996. To appear.

No context found.

M. Schroeder, I. de Almeida Mora, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent based on Logic Programming. In M.J. Wooldridge J.P. Muller and N. Jennings, editors, Intelligent Agents III: Lecture Notes in Articial Intelligence Vol. 1193, pages 293-307. Springer Verlag, 1997.

No context found.

M. Schroeder, I. de Almeida Mora, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent based on Logic Programming. In M.J. Wooldridge J.P. Muller and N. Jennings, editors, Intelligent Agents III: Lecture Notes in Artificial Intelligence Vol. 1193, pages 293--307. Springer Verlag, 1997.

No context found.

M. Schroeder, I. de Almeida Mora, and L. M. Pereira. A Deliberative and Reactive Diagnosis Agent based on Logic Programming. In M.J. Wooldridge J.P. Muller and N. Jennings, editors, Intelligent Agents III: Lecture Notes in Artificial Intelligence Vol. 1193, pages 293--307. Springer Verlag, 1997.

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