A practical approach to revising prioritized knowledge bases

Studia Logica: An International Journal for Symbolic LogicInternational audienc

Propositional fusion rules

Abstract. In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries are restricted to individual words or simple phrases, such as names and domain-specific terminology, and numbers and units. We assume structured news reports do not require natural language processing. In this paper, we present propositional fusion rules as a way of implementing logic-based fusion for structured news reports. Fusion rules are a form of scripting language that define how structured news reports should be merged. The antecedent of a fusion rule is a call to investigate the information in the structured news reports and the background knowledge, and the consequent of a fusion rule is a formula specifying an action to be undertaken to form a merged report. It is expected that a set of fusion rules is defined for any given application. We give the syntax and mode of execution for fusion rules, and explain how the resulting actions give a merged report.

A Modal Framework for Relating Belief and Signed Information

International audienceThe aim of this paper is to propose a modal framework for reasoning about signed information. This modal framework allows agents to keep track of information source as long as they receive information in a multi-agent system. Agents gain that they can elaborate and justify their own current belief state by considering a reliability relation over the sources of information. The belief elaboration process is considered under two perspectives: (i) from a static point of view an agent aggregates received signed information according to its preferred sources in order to build its belief and (ii) from a dynamic point of view as an agent receives information it adapts its belief state about signed information. Splitting the notions of beliefs and signed statement is useful for handling the underlying trust issue: an agent believes some statement because it may justify the statement’s origin and its reliability

Epistemic Logics for Information Fusion

Abstract. In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitration, and general merging. Some modalities corresponding to these fusion operators are added to epistemic logics and the Kripke semantics of these extended logics are presented. While most existing approaches treat information fusion operators as meta-level constructs, these operators are directly incorporated into our object logic language. Thus it is possible to reason about not only the merged results but also the fusion process in our logics

Projet ACACIA - Developpement d'une maquette de la base de donnees. Methode de caracterisation de charge

Available from INIST (FR), Document Supply Service, under shelf-number : AR 16612 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)FRFranc