Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 22
Book Description
A Beginner's Guide to Belief Revision and Truth Maintenance Systems
A Beginner's Guide to Belief Revision and Truth Maintenance Systems
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
ISBN: 9781724973900
Category :
Languages : en
Pages : 36
Book Description
This brief note is intended to familiarize the non-TMS audience with some of the basic ideas surrounding classic TMS's (truth maintenance systems), namely the justification-based TMS and the assumption-based TMS. Topics of further interest include the relation between non-monotonic logics and TMS's, efficiency and search issues, complexity concerns, as well as the variety of TMS systems that have surfaced in the past decade or so. These include probabilistic-based TMS systems, fuzzy TMS systems, tri-valued belief systems, and so on. Mason, Cindy L. Ames Research Center NASA-TM-108117, FIA-92-33, NAS 1.15:108117 ...
Publisher: Createspace Independent Publishing Platform
ISBN: 9781724973900
Category :
Languages : en
Pages : 36
Book Description
This brief note is intended to familiarize the non-TMS audience with some of the basic ideas surrounding classic TMS's (truth maintenance systems), namely the justification-based TMS and the assumption-based TMS. Topics of further interest include the relation between non-monotonic logics and TMS's, efficiency and search issues, complexity concerns, as well as the variety of TMS systems that have surfaced in the past decade or so. These include probabilistic-based TMS systems, fuzzy TMS systems, tri-valued belief systems, and so on. Mason, Cindy L. Ames Research Center NASA-TM-108117, FIA-92-33, NAS 1.15:108117 ...
Monthly Catalog of United States Government Publications
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 900
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 900
Book Description
Scientific and Technical Aerospace Reports
Belief Revision and Update
Monthly Catalogue, United States Public Documents
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 904
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 904
Book Description
Belief Revision
Author: Peter Gärdenfors
Publisher: Cambridge University Press
ISBN: 9780521545648
Category : Computers
Languages : en
Pages : 288
Book Description
Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. This book contains a collection of research articles on belief revision that are right up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory.
Publisher: Cambridge University Press
ISBN: 9780521545648
Category : Computers
Languages : en
Pages : 288
Book Description
Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial intelligence. This book contains a collection of research articles on belief revision that are right up to date and an introductory chapter that presents a survey of current research in the area and the fundamentals of the theory.
Frontiers in Belief Revision
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.
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.
Changes of Mind
Author: Neil Tennant
Publisher: Oxford University Press
ISBN: 0191629049
Category : Mathematics
Languages : en
Pages : 364
Book Description
This is the first logically precise, computationally implementable, book-length account of rational belief revision. It explains how a rational agent ought to proceed when adopting a new belief - a difficult matter if the new belief contradicts the agent's old beliefs. Belief systems are modeled as finite dependency networks. So one can attend not only to what the agent believes, but also to the variety of reasons the agent has for so believing. The computational complexity of the revision problem is characterized. Algorithms for belief revision are formulated, and implemented in Prolog. The implementation tests well on a range of simple belief-revision problems that pose a variety of challenges for any account of belief revision. The notion of 'minimal mutilation' of a belief system is explicated precisely for situations when the agent is faced with conflicting beliefs. The proposed revision methods are invariant across different global justificatory structures (foundationalist, coherentist, etc.). They respect the intuition that, when revising one's beliefs, one should not hold on to any belief that has lost all its former justifications. The limitation to finite dependency networks is shown not to compromise theoretical generality. This account affords a novel way to argue that there is an inviolable core of logical principles. These principles, which form the system of Core Logic, cannot be given up, on pain of not being able to carry out the reasoning involved in rationally revising beliefs. The book ends by comparing and contrasting the new account with some major representatives of earlier alternative approaches, from the fields of formal epistemology, artificial intelligence and mathematical logic.
Publisher: Oxford University Press
ISBN: 0191629049
Category : Mathematics
Languages : en
Pages : 364
Book Description
This is the first logically precise, computationally implementable, book-length account of rational belief revision. It explains how a rational agent ought to proceed when adopting a new belief - a difficult matter if the new belief contradicts the agent's old beliefs. Belief systems are modeled as finite dependency networks. So one can attend not only to what the agent believes, but also to the variety of reasons the agent has for so believing. The computational complexity of the revision problem is characterized. Algorithms for belief revision are formulated, and implemented in Prolog. The implementation tests well on a range of simple belief-revision problems that pose a variety of challenges for any account of belief revision. The notion of 'minimal mutilation' of a belief system is explicated precisely for situations when the agent is faced with conflicting beliefs. The proposed revision methods are invariant across different global justificatory structures (foundationalist, coherentist, etc.). They respect the intuition that, when revising one's beliefs, one should not hold on to any belief that has lost all its former justifications. The limitation to finite dependency networks is shown not to compromise theoretical generality. This account affords a novel way to argue that there is an inviolable core of logical principles. These principles, which form the system of Core Logic, cannot be given up, on pain of not being able to carry out the reasoning involved in rationally revising beliefs. The book ends by comparing and contrasting the new account with some major representatives of earlier alternative approaches, from the fields of formal epistemology, artificial intelligence and mathematical logic.
Belief Revision Aiming at Truth Approximation
Author: Theo A. F. Kuipers
Publisher:
ISBN:
Category : Belief and doubt
Languages : en
Pages : 132
Book Description
Publisher:
ISBN:
Category : Belief and doubt
Languages : en
Pages : 132
Book Description