Results 1 
8 of
8
Diagnostic Agents for Distributed Systems
, 1997
"... In this paper we introduce an agentbased framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our appr ..."
Abstract

Cited by 30 (3 self)
 Add to MetaCart
In this paper we introduce an agentbased framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our approach, we solve a diagnosis example from the domain of unreliable datagram protocols.
REVISE: Logic Programming and Diagnosis
, 1997
"... In this article we describe the nonmonotonic reasoning system REVISE that revises contradictory extended logic programs. We sketch the REVISE algorithm and evaluate it in the domain of digital circuits. ..."
Abstract

Cited by 26 (19 self)
 Add to MetaCart
In this article we describe the nonmonotonic reasoning system REVISE that revises contradictory extended logic programs. We sketch the REVISE algorithm and evaluate it in the domain of digital circuits.
ModelBased Analogue Circuit Diagnosis with CLP(R)
"... Modelbased diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. Diagnostic systems usually rely on qualitative models and reason by local constraint propagation methods. However, there is a large class of applications where A ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
Modelbased diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. Diagnostic systems usually rely on qualitative models and reason by local constraint propagation methods. However, there is a large class of applications where ATMSlike systems or pure logic programs are unpractical since they are unable to solve simultaneous equations. In particular, modeling realvalued system parameters with tolerances requires some degree of numerical processing, and feedback loops in general cannot be resolved by Appears in Proc. 4th Intl. GI Congress (W. Brauer, D. Hernandez, Eds.), pp. 343353, Munchen, October 2324, 1991, SpringerVerlag (IFB 291). local constraint propagation methods. Examples of such systems are analogue circuits, e.g., amplifiers or filters. In the paper we describe the role of Constraint Logic Programs over the domain of reals (CLP(!)) in representing both, qualitative and numerical models. CLP(!)...
PolynomialTime ModelBased Diagnosis with the Critical Set Algorithm
 University of Wales, Aberystwith
, 1993
"... Mozetic has recently given an algorithm (called IDA) for polynomialtime diagnosis of systems described using models written in Prolog, under some conditions of which the most important is ignorance of abnormal behavior. Mozetic's algorithm uses models of the system to be written in such a way that ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Mozetic has recently given an algorithm (called IDA) for polynomialtime diagnosis of systems described using models written in Prolog, under some conditions of which the most important is ignorance of abnormal behavior. Mozetic's algorithm uses models of the system to be written in such a way that they can be called with a partial instantiation of their parameters and return a full instantiation, a byproduct of the use of Prolog to write the models. We show that the requirement is not necessary to insure polynomialtime diagnosis. We also show that, by exploiting Loveland's critical set algorithms, we can obtain performance comparable to IDA without requiring IDAstyle models. 1
Using Extended Logic Programming for AlarmCorrelation in Cellular Phone Networks
"... . Alarm correlation is a necessity in large mobile phone networks, where the alarm bursts resulting from severe failures would otherwise overload the network operators. In this paper, we describe how to realize alarmcorrelation in cellular phone networks using extended logic programming which pr ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
. Alarm correlation is a necessity in large mobile phone networks, where the alarm bursts resulting from severe failures would otherwise overload the network operators. In this paper, we describe how to realize alarmcorrelation in cellular phone networks using extended logic programming which provides integrity constraints, implicit, and explicit negation. We solve different scenarios for a GSM network application using the extended logic programming system Revise. 1 Introduction Mobile networks, like the panEuropean GSM networks, are growing rapidly. Alarm handling systems enable the operators to run such networks with minimal operation costs. The goal is to collect and interpret alarm messages and failure indications from the network elements without human intervention. In large networks, like the current GSM networks, the alarm vectors supplied by the network elements tend to flood the workstations of the operators especially in critical situations like the passage of a t...
ModelBased Diagnosis with Constraint Logic Programs
 Proc. 7th Austrian Conf. on Artificial Intelligence, OGAI91
, 1991
"... Modelbased diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we conce ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Modelbased diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic Programming (CLP) in representing models and the search space of minimal diagnoses. In particular, we concentrate on two instances of the CLP scheme: CLP(B) and CLP(!). CLP(B) extends the standard computational domain of logic programs by boolean expressions, while CLP(!) comprises a solver for systems of linear equations and inequalities over realvalued variables. 1 Introduction There are two fundamentaly different approaches to diagnostic reasoning. In the first, heuristic approach, one encodes diagnostic rules of thumb and experience of human experts in a given domain. In the second, modelbased approach, one starts with a model of a realworld system which explicitly represents the structure and components of the system (e.g., Genesereth 1984, Davis 1984, de Kleer & Williams 1987, Reiter 198...