中文
相关论文

相关论文: Merging Locally Correct Knowledge Bases: A Prelimi…

200 篇论文

Consider the following belief change/merging scenario. A group of information sources gives a sequence of reports about the state of the world at various instances (e.g. different points in time). The true states at these instances are…

人工智能 · 计算机科学 2022-05-03 Joseph Singleton , Richard Booth

Belief systems are often treated as globally consistent sets of propositions or as scalar-valued probability distributions. Such representations tend to obscure the internal structure of belief, conflate external credibility with internal…

人工智能 · 计算机科学 2025-08-06 Saleh Nikooroo

In this paper we consider two points of views to the problem of coherent integration of distributed data. First we give a pure model-theoretic analysis of the possible ways to `repair' a database. We do so by characterizing the…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe

Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead--an inherently interesting problem that is…

人工智能 · 计算机科学 2016-04-05 Zhiqiang Zhuang , James Delgrande , Abhaya Nayak , Abdul Sattar

Over the last decade, there has been growing interest in the use or measures or change in belief for reasoning with uncertainty in artificial intelligence research. An important characteristic of several methodologies that reason with…

人工智能 · 计算机科学 2014-07-29 Eric J. Horvitz , David Heckerman

In human-aware planning, a planning agent may need to provide an explanation to a human user on why its plan is optimal. A popular approach to do this is called model reconciliation, where the agent tries to reconcile the differences in its…

人工智能 · 计算机科学 2023-09-28 Stylianos Loukas Vasileiou , Alessandro Previti , William Yeoh

Belief revision is an operation that aims at modifying old beliefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the…

人工智能 · 计算机科学 2014-05-06 Valmi Dufour-Lussier , Alice Hermann , Florence Le Ber , Jean Lieber

The capability to reason from text is crucial for real-world NLP applications. Real-world scenarios often involve incomplete or evolving data. In response, individuals update their beliefs and understandings accordingly. However, most…

计算与语言 · 计算机科学 2024-10-18 Bryan Wilie , Samuel Cahyawijaya , Etsuko Ishii , Junxian He , Pascale Fung

Knowledge bases (KBs) are often incomplete and constantly changing in practice. Yet, in many question answering applications coupled with knowledge bases, the sparse nature of KBs is often overlooked. To this end, we propose a case-based…

We examine carefully the rationale underlying the approaches to belief change taken in the literature, and highlight what we view as methodological problems. We argue that to study belief change carefully, we must be quite explicit about…

人工智能 · 计算机科学 2007-05-23 Nir Friedman , Joseph Y. Halpern

In an earlier work, we have presented operations of belief change which only affect the relevant part of a belief base. In this paper, we propose the application of the same strategy to the problem of model-based diangosis. We first isolate…

人工智能 · 计算机科学 2007-05-23 Renata Wassermann

Knowledge base construction (KBC) is the process of populating a knowledge base, i.e., a relational database together with inference rules, with information extracted from documents and structured sources. KBC blurs the distinction between…

数据库 · 计算机科学 2014-09-19 Christopher Ré , Amir Abbas Sadeghian , Zifei Shan , Jaeho Shin , Feiran Wang , Sen Wu , Ce Zhang

As belief networks are used to model increasingly complex situations, the need to automatically construct them from large databases will become paramount. This paper concentrates on solving a part of the belief network induction problem:…

人工智能 · 计算机科学 2013-03-08 Ron Musick

Multiple web-scale Knowledge Bases, e.g., Freebase, YAGO, NELL, have been constructed using semi-supervised or unsupervised information extraction techniques and many of them, despite their large sizes, are continuously growing. Much…

数据库 · 计算机科学 2019-04-23 Xiaofeng Zhou , Ali Sadeghian , Daisy Zhe Wang

We revisit integrity checking in relational and deductive databases with an approach that tolerates erroneous, inconsistent data. In particular, we relax the fundamental prerequisite that, in order to apply any method for simplified…

数据库 · 计算机科学 2024-11-08 Hendrik Decker , Davide Martinenghi

A conceptual foundation for approximation of belief functions is proposed and investigated. It is based on the requirements of consistency and closeness. An optimal approximation is studied. Unfortunately, the computation of the optimal…

人工智能 · 计算机科学 2013-01-30 David Harmanec

Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs. In this study here, we present two new sets of belief change operators for logic programs. They…

人工智能 · 计算机科学 2017-03-20 Sebastian Binnewies , Zhiqiang Zhuang , Kewen Wang , Bela Stantic

Multi-Context Systems are an expressive formalism to model (possibly) non-monotonic information exchange between heterogeneous knowledge bases. Such information exchange, however, often comes with unforseen side-effects leading to violation…

人工智能 · 计算机科学 2015-03-19 Antonius Weinzierl

Many information sources are considered into data fusion in order to improve the decision in terms of uncertainty and imprecision. For each technique used for data fusion, the asumption on independance is usually made. We propose in this…

人工智能 · 计算机科学 2015-01-23 Mouloud Kharoune , Arnaud Martin

A common practice of ML systems development concerns the training of the same model under different data sets, and the use of the same (training and test) sets for different learning models. The first case is a desirable practice for…

计算机科学中的逻辑 · 计算机科学 2025-06-06 Leonardo Ceragioli , Giuseppe Primiero