Signature-Based Abduction for Expressive Description Logics -- Technical Report

• URL: http://arxiv.org/abs/2007.00757v2
• Date: Wed, 8 Jul 2020 12:32:36 GMT
• Title: Signature-Based Abduction for Expressive Description Logics -- Technical Report
• Authors: Patrick Koopmann, Warren Del-Pinto, Sophie Tourret and Renate A. Schmidt
• Abstract summary: We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.
• Score: 20.882083414450882
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC, which can include TBox and ABox axioms, thereby solving the knowledge base abduction problem. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.

Related papers

• PRIME: Prioritizing Interpretability in Failure Mode Extraction [49.93565079216376]
  We study the challenge of providing human-understandable descriptions for failure modes in trained image classification models. We propose a novel approach that prioritizes interpretability in this problem. Our method successfully identifies failure modes and generates high-quality text descriptions associated with them.
  arXiv  Detail & Related papers  (2023-09-29T22:00:12Z)
• Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation [85.12429517510311]
  LogicDiag is a neural-logic semi-supervised learning framework for semantic segmentation. Our key insight is that conflicts within pseudo labels, identified through symbolic knowledge, can serve as strong yet commonly ignored learning signals. We showcase the practical application of LogicDiag in the data-hungry segmentation scenario, where we formalize the structured abstraction of semantic concepts as a set of logic rules.
  arXiv  Detail & Related papers  (2023-08-24T06:50:07Z)
• KNSE: A Knowledge-aware Natural Language Inference Framework for Dialogue Symptom Status Recognition [69.78432481474572]
  We propose a novel framework called KNSE for symptom status recognition (SSR) For each mentioned symptom in a dialogue window, we first generate knowledge about the symptom and hypothesis about status of the symptom, to form a (premise, knowledge, hypothesis) triplet. The BERT model is then used to encode the triplet, which is further processed by modules including utterance aggregation, self-attention, cross-attention, and GRU to predict the symptom status.
  arXiv  Detail & Related papers  (2023-05-26T11:23:26Z)
• A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration [26.500149465292246]
  We generate explanations to locally explain a single prediction by analyzing the relationship between the features and the output. Our approach uses a propositional encoding of the predictive model and a SAT-based setting to generate two types of symbolic explanations Sufficient Reasons and Counterfactuals.
  arXiv  Detail & Related papers  (2022-06-23T08:35:47Z)
• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
  We introduce the methodology of Faithfulness-through-Counterfactuals. It generates a counterfactual hypothesis based on the logical predicates expressed in the explanation. It then evaluates if the model's prediction on the counterfactual is consistent with that expressed logic.
  arXiv  Detail & Related papers  (2022-05-25T03:40:59Z)
• Connection-minimal Abduction in EL via Translation to FOL -- Technical Report [12.90382979353427]
  We show how to compute a class of connection-minimal hypotheses in a sound and complete way. Our technique is based on a translation to first-order logic, and constructs hypotheses based on prime implicates.
  arXiv  Detail & Related papers  (2022-05-17T15:50:27Z)
• The Familiarity Hypothesis: Explaining the Behavior of Deep Open Set Methods [86.39044549664189]
  Anomaly detection algorithms for feature-vector data identify anomalies as outliers, but outlier detection has not worked well in deep learning. This paper proposes the Familiarity Hypothesis that these methods succeed because they are detecting the absence of familiar learned features rather than the presence of novelty. The paper concludes with a discussion of whether familiarity detection is an inevitable consequence of representation learning.
  arXiv  Detail & Related papers  (2022-03-04T18:32:58Z)
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Version) [12.107259467873092]
  ABox abduction aims at computing a hypothesis that, when added to the knowledge base, is sufficient to entail the observation. In signature-based ABox abduction, the hypothesis is further required to use only names from a given set. It is possible that hypotheses for a given observation only exist if we admit the use of fresh individuals and/or complex concepts built from the given signature.
  arXiv  Detail & Related papers  (2021-05-01T14:55:46Z)
• A Diagnostic Study of Explainability Techniques for Text Classification [52.879658637466605]
  We develop a list of diagnostic properties for evaluating existing explainability techniques. We compare the saliency scores assigned by the explainability techniques with human annotations of salient input regions to find relations between a model's performance and the agreement of its rationales with human ones.
  arXiv  Detail & Related papers  (2020-09-25T12:01:53Z)
• Evaluating text coherence based on the graph of the consistency of phrases to identify symptoms of schizophrenia [0.0]
  State-of-the-art methods of the detection of schizophrenia symptoms based on the estimation of text coherence have been analyzed. The method based on the graph of the consistency of phrases has been proposed to evaluate the semantic coherence and the cohesion of a text.
  arXiv  Detail & Related papers  (2020-05-06T08:38:20Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.