A Knowledge-based Framework for Belief Change. Part 1: Foundations PDF Download

Author: International Business Machines Corporation. Research Division
Publisher:
ISBN:
Category :
Languages : en
Pages :

View

Book Description

Author: Nir Friedman
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 21

View

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

View

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: G. Grahne
Publisher: IOS Press
ISBN: 9789051993547
Category : Computers
Languages : en
Pages : 312

View

Book Description
The major theme of this book is Intelligent Agents. An agent is a hardware or software system that is autonomous, interactive with and reactive to its environment and other agents. An agent can also be pro-active in taking the initiative in goal-directed behaviour. Intelligent Agents are one of the most important and exciting areas of research and development in computer science today.

Author: Luigia Carlucci Aiello
Publisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 696

View

Book Description

Author: Ronald Fagin
Publisher: Morgan Kaufmann
ISBN: 1483214532
Category : Computers
Languages : en
Pages : 348

View

Book Description
Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in Pacific Grove, California, on March 13-16, 1994. The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in games. Comprised of 23 chapters, this book begins with a review of situation calculus and a solution to the frame problem, along with the use of a regression method for reasoning about the effect of actions. A novel programming language for high-level robotic control is described, along with a knowledge-based framework for belief change. Subsequent chapters deal with consistent belief reasoning in the presence of inconsistency; an epistemic logic of situations; an axiomatic approach to the logical omniscience problem; and an epistemic proof system for parallel processes. Inductive learning, knowledge asymmetries, and convention are also examined. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.

Author: X. Arrazola
Publisher: Springer Science & Business Media
ISBN: 9401589941
Category : Psychology
Languages : en
Pages : 197

View

Book Description
DISCOURSE, INTERACTION, AND COMMUNICATION Co-organized by the Department of Logic and Philosophy of Science and the Institute for Logic, Cognition, Language, and Infonnation (ILCLI) both from the University of the Basque Country, tlle Fourth International Colloquium on Cognitive Science (ICCS-95) gathered at Donostia - San Sebastian ti'om May 3 to 6, 1995, with the following as its main topics: 1. Social Action and Cooperation. 2. Cognitive Approaches in Discourse Processing: Grammatical and Semantical Aspects. 3. Models of Infonnation in Communication Systems. 4. Cognitive Simulation: Scope and Limits. More tllan one hundred researchers from all over the world exchanged their most recent contributions to Cognitive Science in an exceptionally fruitful annosphere. In this volume we include a small though representative sample of tlle main papers. They all were invited papers except the one by Peter Juel Henrichsen, a contributed paper tllat merited tlle IBERDROLA - Gipuzkoako Foru Aldundia: Best Paper Award, set up in ICCS-95 for the first time.

Author: J. Y. Beziau
Publisher: Polimetrica s.a.s.
ISBN: 8876990771
Category : Mathematics
Languages : en
Pages : 442

View

Book Description

Author: Rüdiger J. Seitz
Publisher: Frontiers Media SA
ISBN: 2832529933
Category : Science
Languages : en
Pages : 238

View

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

View

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.