Michael Schroeder, Iara de Almeida Mora, Luis Moniz Pereira  Home/Search
Context Related
| soi.city.ac.uk/~msch/ab...sch_atal96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: soi.city.ac.uk/...tmlUnsortedLong (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this article we formally specify and implement a diagnostic agent based on extended logic programming. Motivated by the application of decentralised diagnosis of distributed systems we develop an architecture for such agents that consists of a deliberative layer with a knowledge base, an inference machine and a reactive layer for communication and control. Throughout the layers we employ logic and logic programming to solve these tasks: the knowledge base uses extended logic... (Update)
Context of citations to this paper: More
...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...
...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...
Cited by: More
Emotion-Based Attention Shift in Autonomous Agents - Luis Miguel Botelho (1996) (Correct)
Concurrent Action and Planning - - Towards An Implementation (Correct)
Towards Multi-Agent Software Prototyping - Martelli, Mascardi, Zini (1998) (Correct)
Similar documents (at the sentence level):
8.2%: REVISE Report: An Architecture for a Diagnosis Agent - Schroeder, Damásio.. (1996) (Correct)
Active bibliography (related documents): More All
0.8: A Deliberative and Reactive Diagnosis Agent based on.. - Schroeder.. (1996) (Correct)
0.5: REVISE: Logic Programming and Diagnosis - Damasio, Pereira, Schroeder (1997) (Correct)
0.5: Will Concurrency Theory help verifying Multi-Agent Systems? - A.. - Schroeder (1997) (Correct)
Similar documents based on text: More All
0.7: Argumentation and Cooperation for Distributed Extended.. - Mora, Alferes, Schroeder (Correct)
0.6: Diagnostic Agents for Distributed Systems - Peter Fröhlich, Iara de Almeida .. (1997) (Correct)
0.6: Bridging the Gap between Theory and Practice: REVISE .. - Damásio.. (1996) (Correct)
Related documents from co-citation: More All
8: Agent-oriented programming (context) - Shoham - 1993
6: Reasoning with Logic Programming - Alferes, Pereira - 1996
6: BDI Agents speak out in a logical computable language (context) - Rao - 1996
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/schroeder96deliberative.html More
@inproceedings{ schroeder97deliberative,
author = "Michael Schroeder and Iara de Almeida Mora and Luis Moniz Pereira",
title = "A Deliberative and Reactive Diagnosis Agent Based on Logic Programming",
booktitle = "Agent Theories, Architectures, and Languages",
pages = "293-307",
year = "1997",
url = "citeseer.ist.psu.edu/schroeder96deliberative.html" }
Citations (may not include all citations):453 Agent-oriented programming (context) - Shoham - 1993
327 Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
170 The architecture of an active database management system (context) - McCarthy, Dayal - 1989
144 PVM: Parallel Virtual Machine - Geist - 1994
141 BDI agents speak out in a logical computable language (context) - Rao - 1996
110 Well founded semantics for logic programs with explicit nega.. (context) - Pereira, Alferes
70 A logic programming system for nonmonotonic reasoning - Alferes, Damasio et al. - 1995
54 Contradiction Removal within Well Founded Semantics (context) - Pereira, Alferes et al. - 1991
52 Using meta-logic to reconcile reactive with rational agents - Kowalski
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgeff - 1993
38 Unfounded sets and well-founded semantics for general logic .. (context) - Van Gelder, Ross et al. - 1988
36 UM-PRS: An implementation of the procedural reasoning system.. - Lee, Huber et al. - 1994
28 Managing deliberation and reasoning in real-time ai systems (context) - Ingrand, Georgeff - 1990
26 Top--down query evaluation for well-- founded semantics with.. - Alferes, Damasio et al. - 1994
26 Using ARCHON to develop real-world DAI applications for elec.. - Jennings, Corera et al. - 1996
20 A logical and operational model of scalable knowledge-and pe.. (context) - Wagner - 1996
11 REVISE: An extended logic programming system for revising kn.. (context) - Damasio, Nejdl et al. - 1994
9 Distributed algorithm development with PVM-Prolog (context) - Cunha, Marques - 1997
5 Actice databases and agent systems -- a comparison (context) - Kinny, Georgeff et al. - 1995
5 PROLOG II: A language for implementing multi-agent systems (context) - Chu - 1993
5 Model-based diagnosis preferences and strategies representat.. (context) - Damasio, Nejdl et al. - 1995
4 A formal framework for representing diagnosis strategies in .. - Nejdl, Frohlich et al. - 1995
4 Revise report: An architecture for a diagnosis agent - Schroeder, Damasio et al. - 1996
3 Diagnosis of distributed systems using logic programming (context) - Mora, Alferes - 1995
2 ACM Transactions on Programming and Systems (context) - Lamport, generals - 1982
1 Design and implementation of diagnostic strategy using modal.. (context) - Frohlich, Nejdl et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.soi.city.ac.uk/~msch/abstracts/htmlUnsortedLong.html): More
Consistent Integration of non-reliable heterogeneous.. - Möller, Schroeder.. (2001) (Correct)
Design and Implementation of Diagnostic Strategies using .. - Fröhlich, Nejdl.. (1996) (Correct)
Argumentation and Cooperation for Distributed Extended Logic .. - Móra, Alferes, al. (1998) (Correct)
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