Author: Nir Friedman Publisher: ISBN: Category : Artificial intelligence Languages : en Pages : 21
Book Description
Abstract: "We propose a general framework in which to study belief change. We begin by defining belief in terms of knowledge and plausibility: an agent believes [symbol] if he knows that [symbol] is true in all the worlds he considers most plausible. We then consider some properties defining the interaction between knowledge and plausibility, and show how these properties affect the properties of belief. In particular, we show that by assuming two of the most natural properties, belief becomes a KD45 operator. Finally, we add time to the picture. This gives us a framework in which we can talk about knowledge, plausibility (and hence belief), and time, which extends the framework of Halpern and Fagin [HF89] for modeling knowledge in multi-agent systems. We show that our framework is quite expressive and lets us model in a natural way a number of different scenarios for belief change. For example, we show how we can capture an analogue to prior probabilities, which can be updated by 'conditioning'. In a related paper, we show how the two best studied scenarios, belief revision and belief update, fit into the framework."
Author: International Business Machines Corporation. Research Division Publisher: ISBN: Category : Artificial intelligence Languages : en Pages : 19
Book Description
Abstract: "The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail. In a companion paper [FH94b] we introduced a new framework to model belief change. This framework combines temporal and epistemic modalities with a notion of plausibility, allowing us to examine the changes of beliefs over time. In this paper we show how belief revision and belief update can be captured in our framework. This allows us to compare the assumptions made by each method and to better understand the principles underlying them. In particular, it allows us to understand the source of Gärdenfors' triviality result for belief revision [Gär86] and suggests a way of mitigating the problem. It also shows that Katsuno and Mendelzon's notion of belief update [KM91a] depends on several strong assumptions that may limit its applicability in AI."
Author: Dov M. Gabbay Publisher: Springer Science & Business Media ISBN: 9401150540 Category : Mathematics Languages : en Pages : 452
Book Description
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive coverage of, and seeks to reconcile, two traditions in the kinematics of belief that often ignore each other - the symbolic and the numerical (often probabilistic) approaches. Moreover, the work encompasses both revision and fusion problems, even though these two are also commonly investigated by different communities. Finally, the book presents the numerical view of belief change, beyond the probabilistic framework, covering such approaches as possibility theory, belief functions and convex gambles. The work thus presents a unified view of belief change operators, drawing from a widely scattered literature embracing philosophical logic, artificial intelligence, uncertainty modelling and database systems. The material is a clearly organised guide to the literature on the dynamics of epistemic states, knowledge bases and uncertain information, suitable for scholars and graduate students familiar with applied logic, knowledge representation and uncertain reasoning.
Author: Eduardo Fermé Publisher: Springer ISBN: 3319605356 Category : Computers Languages : en Pages : 128
Book Description
This book explains how the logic of theory change employs formal models in the investigation of changes in belief states and databases. 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, and criticism of the model.
Author: Rüdiger J. Seitz Publisher: Frontiers Media SA ISBN: 2832529933 Category : Science Languages : en Pages : 238
Book Description
The concept of credition represents an innovative research field at the interface of the natural sciences and the humanities addressing the nature of beliefs and believing. Credition signifies the integrative information processing that is brought about by neurophysiologically defined neural activity in the brain affording decision making. In analogy to cognition and emotion it is mediated by neural processes and constrains behavior by predictive coding. Three categories of beliefs have been defined on the background of evolutionary biology that can be differentiated linguistically. The goal of the collection of research papers is to provide an interdisciplinary discourse on an international level in the emerging field of credition. On this basis individual, group-specific and cultural narratives of secular and non-secular origin can become normative, in particular, when enhanced by ritual acts. Also, the recently defined belief categories can pave the way for novel approaches of empirical research on the formation of civilizations and cultures as well as for new perspectives on the psychopathological understanding of mental disorders. The disciplines of empirical research such as cognitive science, neurophysiology, neuropsychology, social neuroscience shall counteract with theoretical disciplines such as anthropology, philosophy, and theology in order to elaborate premises that are suited to bridge the scientific gap. The potential contributors will submit their abstracts such that they are available for the International meeting, Credition - An Interdisciplinary Challenge, that is going to take place in October 2021 in Hannover, Germany. Following the symposium, the participants shall elaborate their perspective concerning beliefs and believing, based on their expertise, and the information they have learned during the symposium. The authors are expected to submit a concise paper of 2000 words (C Type Article).
Author: Mark Burgin Publisher: World Scientific ISBN: 9814522694 Category : Business & Economics Languages : en Pages : 965
Book Description
This book aims to synthesize different directions in knowledge studies into a unified theory of knowledge and knowledge processes. It explicates important relations between knowledge and information. It provides the readers with understanding of the essence and structure of knowledge, explicating operations and process that are based on knowledge and vital for society.The book also highlights how the theory of knowledge paves the way for more advanced design and utilization of computers and networks.
Author: M. Williams Publisher: Springer Science & Business Media ISBN: 9401598177 Category : Computers Languages : en Pages : 449
Book Description
Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision. It contains the latest innovative ideas of highly respected and pioneering experts in the area, including Isaac Levi, Krister Segerberg, Sven Ove Hansson, Didier Dubois, and Henri Prade. The book addresses foundational issues of inductive reasoning and minimal change, generalizations of the standard belief revision theories, strategies for iterated revisions, probabilistic beliefs, multiagent environments and a variety of data structures and mechanisms for implementations. This book is suitable for students and researchers interested in knowledge representation and in the state of the art of the theory and practice of belief revision.
Author: Salem Benferhat Publisher: Springer ISBN: 3540446524 Category : Computers Languages : en Pages : 832
Book Description
This book constitutes the refereed proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2001, held in Toulouse, France in September 2001. The 68 revised full papers presented together with three invited papers were carefully reviewed and selected from over a hundred submissions. The book offers topical sections on decision theory, partially observable Markov decision processes, decision-making, coherent probabilities, Bayesian networks, learning causal networks, graphical representation of uncertainty, imprecise probabilities, belief functions, fuzzy sets and rough sets, possibility theory, merging, belief revision and preferences, inconsistency handling, default logic, logic programming, etc.
Author: Isaac Levi Publisher: Cambridge University Press ISBN: 0521412668 Category : Mathematics Languages : en Pages : 206
Book Description
Isaac Levi's new book is concerned with how one can justify changing one's beliefs. The discussion is deeply informed by the belief-doubt model advocated by C. S. Peirce and John Dewey, of which the book provides a substantial analysis. Professor Levi then addresses the conceptual framework of potential changes available to an inquirer. A structural approach to propositional attitudes is proposed which rejects the conventional view that a propositional attitude involves a relation between an agent and either a linguistic entity or some other intentional object such as a proposition or set of possible worlds. The last two chapters offer an account of change in states of full belief understood as changes in commitments rather than changes in performance; one chapter deals with adding new information to a belief state, the other with giving up information. The book builds upon topics discussed in some of Levi's earlier work. It will be of particular interest to discussion theorists, epistemologists, philosophers of science, computer scientists, and cognitive psychologists.
Author: Nir Friedman
Author: International Business Machines Corporation. Research Division
Author: International Business Machines Corporation. Research Division
Author: Dov M. Gabbay
Author: Eduardo Fermé
Author: Rüdiger J. Seitz
Author: Mark Burgin
Author: M. Williams
Author: Salem Benferhat
Author: Isaac Levi