DIAMS revisited: Taming the variety of knowledge in fault diagnosis expert systems

The DIAMS program, initiated in 1986, led to the development of a prototype expert system, DIAMS-1 dedicated to the Telecom 1 Attitude and Orbit Control System, and to a near-operational system, DIAMS-2, covering a whole satellite (the Telecom 2 platform and its interfaces with the payload), which was installed in the Satellite Control Center in 1993. The refinement of the knowledge representation and reasoning is now being studied, focusing on the introduction of appropriate handling of incompleteness, uncertainty and time, and keeping in mind operational constraints. For the latest generation of the tool, DIAMS-3, a new architecture has been proposed, that enables the cooperative exploitation of various models and knowledge representations. On the same baseline, new solutions enabling higher integration of diagnostic systems in the operational environment and cooperation with other knowledge intensive systems such as data analysis, planning or procedure management tools have been introduced

On the construction of Dialectical Databases

Argumentation systems have substantially evolved in the past few years, resulting in adequate tools to model some forms of common sense reasoning. This has sprung a new set of argument-based applications in diverse areas. In previous work, we defined how to use precompiled knowledge to obtain significant speed-ups in the inference process of an argument-based system. This development is based on a logic programming system with an argumentationdriven inference engine, called Observation Based Defeasible Logic Programming (ODeLP). In this setting was first presented the concept of dialectical databases, that is, data structures for storing precompiled knowledge. These structures provide precompiled information about inferences and can be used to speed up the inference process, as TMS do in general problem solvers. In this work, we present detailed algorithms for the creation of dialectical databases in ODeLP and analyze these algorithms in terms of their computational complexity

CBR and MBR techniques: review for an application in the emergencies domain

The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and development of the RIMSAT system. RIMSAT (Remote Intelligent Management Support and Training) is a European Commission funded project designed to: a.. Provide an innovative, 'intelligent', knowledge based solution aimed at improving the quality of critical decisions b.. Enhance the competencies and responsiveness of individuals and organisations involved in highly complex, safety critical incidents - irrespective of their location. In other words, RIMSAT aims to design and implement a decision support system that using Case Base Reasoning as well as Model Base Reasoning technology is applied in the management of emergency situations. This document is part of a deliverable for RIMSAT project, and although it has been done in close contact with the requirements of the project, it provides an overview wide enough for providing a state of the art in integration strategies between CBR and MBR technologies.Postprint (published version

Foundations of fuzzy answer set programming

Answer set programming (ASP) is a declarative language that is tailored towards combinatorial search problems. Although ASP has been applied to many problems, such as planning, configuration and verification of software, and database repair, it is less suitable for describing continuous problems. In this thesis we therefore studied fuzzy answer set programming (FASP). FASP is a language that combines ASP with ideas from fuzzy logic -- a class of many-valued logics that are able to describe continuous problems. We study the following topics: 1. An important issue when modeling continuous optimization problems is how to cope with overconstrained problems. In many cases we can opt to allow imperfect solutions, i.e. solutions that do not satisfy all constraints, but are sufficiently acceptable. However, the question which one of these imperfect solutions is most suitable then arises. Current approaches to fuzzy answer set programming solve this problem by attaching weights to the rules of the program. However, it is often not clear how these weights should be chosen and moreover weights do not allow to order different solutions. We improve upon this technique by using aggregators, which eliminate the aforementioned problems. This allows a richer modeling language and bridges the gap between FASP and other techniques such as valued constraint satisfaction problems. 2. The wishes of users and implementers of a programming language are often in direct conflict with each other. Users prefer a rich language that is easy to model in, whereas implementers prefer a small language that is easy to implement. We reconcile these differences by identifying a core language for FASP, called core FASP (CFASP), that only consists of non-constraint rules with monotonically increasing functions and negators in the body. We show that CFASP is capable of simulating constraint rules, monotonically decreasing functions, aggregators, S-implicators and classical negation. Moreover we remark that the simulations of constraints and classical negation bear a great resemblance to their simulations in classical ASP, which provides further insight into the relationship between ASP and FASP. 3. As a first step towards the creation of an implementation method for FASP we research whether it is possible to translate a FASP program to a fuzzy SAT problem. We introduce the concept of the completion of a FASP program and show that for programs without loops the models of the completion coincide with the answer sets. Furthermore we show that if a program has loops, we can translate the program to a fuzzy SAT problem by generalizing the concept of loop formulas. We illustrate this on a continuous version of the k-center problem. Such a translation is important because it allows us to solve FASP programs by means of solvers for fuzzy SAT. Under the appropriate conditions it is for example possible to solve FASP programs by means of off-the-shelf solvers for mixed integer programming (MIP)

AGM 25 years: twenty-five years of research in belief change

The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model.info:eu-repo/semantics/publishedVersio

Uncertainty Management and Evidential Reasoning with Structured Knowledge

This research addresses two intensive computational problems of reasoning under uncertainty in artificial intelligence. The first problem is to study the strategy for belief propagation over networks. The second problem is to explore properties of operations which construe the behaviour of those factors in the networks. In the study of operations for computing belief combination over a network model, the computational characteristics of operations are modelled by a set of axioms which are in conformity with human inductive and deductive reasoning. According to different topological connection of networks, we investigate four types of operations. These operations successfully present desirable results in the face of dependent, less informative, and conflicting evidences. As the connections in networks are complex, there exists a number of possible ways for belief propagation. An efficient graph decomposition technique has been used which converts the complicated networks into simply connected ones. This strategy integrates the logic and probabilistic aspects inference, and by using the four types of operations for its computation it gains the advantage of better description of results (interval-valued representation) and less information needed. The performance of this proposed techniques can be seen in the example for assessing civil engineering structure damage and results are in tune with intuition of practicing civil engineers

Proceedings. 23. Workshop Computational Intelligence, Dortmund, 5. - 6. Dezember 2013

Dieser Tagungsband enthält die Beiträge des 23. Workshops Computational Intelligence des Fachausschusses 5.14 der VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA), der vom 5. - 6. Dezember 2013 in Dortmund stattgefunden hat. Im Fokus stehen Methoden, Anwendungen und Tools für Fuzzy-Systeme, Künstliche Neuronale Netze, Evolutionäre Algorithmen und Data-Mining-Verfahren

Pseudo-contractions as Gentle Repairs

Updating a knowledge base to remove an unwanted consequence is a challenging task. Some of the original sentences must be either deleted or weakened in such a way that the sentence to be removed is no longer entailed by the resulting set. On the other hand, it is desirable that the existing knowledge be preserved as much as possible, minimising the loss of information. Several approaches to this problem can be found in the literature. In particular, when the knowledge is represented by an ontology, two different families of frameworks have been developed in the literature in the past decades with numerous ideas in common but with little interaction between the communities: applications of AGM-like Belief Change and justification-based Ontology Repair. In this paper, we investigate the relationship between pseudo-contraction operations and gentle repairs. Both aim to avoid the complete deletion of sentences when replacing them with weaker versions is enough to prevent the entailment of the unwanted formula. We show the correspondence between concepts on both sides and investigate under which conditions they are equivalent. Furthermore, we propose a unified notation for the two approaches, which might contribute to the integration of the two areas