English
Related papers

Related papers: A Rational and Efficient Algorithm for View Revisi…

200 papers

The relationship between belief networks and relational databases is examined. Based on this analysis, a method to construct belief networks automatically from statistical relational data is proposed. A comparison between our method and…

Artificial Intelligence · Computer Science 2013-03-26 Wilson X. Wen

The advent and proliferation of social media have led to the development of mathematical models describing the evolution of beliefs/opinions in an ecosystem composed of socially interacting users. The goal is to gain insights into…

Social and Information Networks · Computer Science 2017-10-04 Alessandro Nordio , Alberto Tarable , Carla Fabiana Chiasserini , Emilio Leonardi

AGM's belief revision is one of the main paradigms in the study of belief change operations. In this context, belief bases (prioritised bases) have been largely used to specify the agent's belief state - whether representing the agent's…

Logic in Computer Science · Computer Science 2019-02-19 Marlo Souza , Álvaro Moreira , Renata Vieira

While belief functions may be seen formally as a generalization of probabilistic distributions, the question of the interactions between belief functions and probability is still an issue in practice. This question is difficult, since the…

Logic in Computer Science · Computer Science 2011-10-03 Frederic Dambreville

We study the stability of posterior predictive inferences to the specification of the likelihood model and perturbations of the data generating process. In modern big data analyses, useful broad structural judgements may be elicited from…

Methodology · Statistics 2024-04-30 Jack Jewson , Jim Q. Smith , Chris Holmes

A {\it dynamic reasoning system} (DRS) is an adaptation of a conventional formal logical system that explicitly portrays reasoning as a temporal activity, with each extralogical input to the system and each inference rule application being…

Artificial Intelligence · Computer Science 2013-08-27 Daniel G. Schwartz

Frequently we revise our first opinions after talking over with other individuals because we get convinced. Argumentation is a verbal and social process aimed at convincing. It includes conversation and persuasion. In this case, the…

Physics and Society · Physics 2017-04-26 Juan Pablo Pinasco , Viktoriya Semeshenko , Pablo Balenzuela

Theory refinement is the task of updating a domain theory in the light of new cases, to be done automatically or with some expert assistance. The problem of theory refinement under uncertainty is reviewed here in the context of Bayesian…

Artificial Intelligence · Computer Science 2013-03-26 Wray L. Buntine

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…

Logic in Computer Science · Computer Science 2007-05-23 Ofer Arieli , Marc Denecker , Bert Van Nuffelen , Maurice Bruynooghe

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…

Artificial Intelligence · Computer Science 2007-05-23 Nir Friedman , Joseph Y. Halpern

The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantics for hybrid knowledge…

Artificial Intelligence · Computer Science 2011-07-27 Martin Slota , João Leite

Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent…

Artificial Intelligence · Computer Science 2014-01-17 Richard Booth , Thomas Meyer , Ivan Varzinczak , Renata Wassermann

Belief dynamics are fundamental to human behavior and social coordination. Individuals rely on accurate beliefs to make decisions, and shared beliefs form the basis of successful cooperation. Traditional studies often examined beliefs in…

Physics and Society · Physics 2024-10-11 Joshua T. S. Hewson , Ke Fang

We address the problem of belief change in (nonmonotonic) logic programming under answer set semantics. Unlike previous approaches to belief change in logic programming, our formal techniques are analogous to those of distance-based belief…

Artificial Intelligence · Computer Science 2009-12-31 James Delgrande , Torsten Schaub , Hans Tompits , Stefan Woltran

Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to incorporate (sequences of) sets of rules into a logic program, to more elaborate methods which…

Artificial Intelligence · Computer Science 2007-05-23 T. Eiter , M. Fink , G. Sabbatini , H. Tompits

Object-oriented database systems proved very valuable at handling and administrating complex objects. In the following guidelines for embedding neural networks into such systems are presented. It is our goal to treat networks as normal data…

Databases · Computer Science 2008-02-26 Erich Schikuta

We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle…

Artificial Intelligence · Computer Science 2007-05-23 T. Eiter , M. Fink , G. Sabbatini , H. Tompits

Knowledge bases are employed in a variety of applications from natural language processing to semantic web search; alas, in practice their usefulness is hurt by their incompleteness. Embedding models attain state-of-the-art accuracy in…

Artificial Intelligence · Computer Science 2018-06-26 Arthur Colombini Gusmão , Alvaro Henrique Chaim Correia , Glauber De Bona , Fabio Gagliardi Cozman

Opinion Dynamics lacks a theoretical basis. In this article, I propose to use a decision-theoretic framework, based on the updating of subjective probabilities, as that basis. We will see we get a basic tool for a better understanding of…

Physics and Society · Physics 2012-11-21 Andre C. R. Martins

Within the research area of deductive databases three different database tasks have been deeply investigated: query evaluation, update propagation and view updating. Over the last thirty years various inference mechanisms have been proposed…

Databases · Computer Science 2011-08-30 Andreas Behrend