Dynamic belief analysis
Lecture notes in computer sciencePublished 1 January 1997
Antonio Moreno, Ton Sales
Citations10
SJR quartileQ2
SJR score0.35
SNIP0.55
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A class of non-ideal agents is described, and it is shown how the process of rational inquiry in which these agents are permanently engaged may be modelled in the proposed setting.
Abstract
The standard possible worlds model and its associated Kripke semantics provide an intuitive way of modelling the reasoning processes that an ideal agent may perform on its beliefs. In this paper a way of modelling non-ideal agents (within the possible worlds framework) is considered. A class of non-ideal agents is described, and it is shown how the process of rational inquiry in which these agents are permanently engaged may be modelled in the proposed setting.
Keywords
Computer Science
The Logic of Scientific Discovery
7,796 Citations2013
The MIT Press eBooksReasoning About Knowledge
2,594 Citations1995Ronald Fagin, Joseph Y. Halpern +2 more
Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.
An Introduction to Modal Logic
1,842 Citations1968M. J. Cresswell, G. E. Hughes
Knowledge and belief
1,457 Citations1962Jaakko Hintikka
Four cases are reported here in which a large branch or a central venous thrombosis, associated with marked disturbances of the local artery, gave rise to the retinopathy of detachment, with subsequent detachment in three of them.
Artificial IntelligenceBelief, awareness, and limited reasoning
892 Citations1987Ronald Fagin, Joseph Y. Halpern
In these logics, the set of beliefs of an agent does not necessarily contain all valid formulas, which makes them more suitable than traditional logics for modelling beliefs of humans (or machines) with limited reasoning capabilities.
Artificial IntelligenceA guide to completeness and complexity for modal logics of knowledge and belief
838 Citations1992Joseph Y. Halpern, Yoram Moses
It is shown that while the problem of deciding satisfiability of an S5 formula with one agent is NP-complete, the problem for many agents is PSPACE-complete and the problem becomes complete for exponential time once a common knowledge operator is added to the language.
First-Order Logic
677 Citations1968Raymond M. Smullyan
A logic of implicit and explicit belief
537 Citations1984Hector J. Levesque
This paper point out deficiencies in current semantic treatments of knowledge and belief and suggest a new analysis in the form of a logic that avoids these shortcomings and is also more viable computationally.
A deduction model of belief
402 Citations1986Kurt Konolige
This paper develops a belief model based on the notion of deduction, and contrast it with current AI formalisms for belief derived from Hintikka/Kripke possible-worlds semantics for knowledge.
Choice Reviews OnlineA course on mathematical logic
257 Citations2008
This chapter discusses first-Order Logic, which is concerned with the construction of Boolean Algebras, and its application to Mathematical Logic.
The Philosophical QuarterlyThe Logic of Inconsistency.
121 Citations1981Chris Mortensen, Nicholas Rescher +1 more
Lecture notes in computer scienceA rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction
94 Citations1997P. Bretier, David Sadek
The basic components of ARTIMIS, a rational agent based on the implementation of a formal theory of interaction which models, in a homogeneous logical framework, principles of rational behaviour, communication, and cooperation, are presented.
Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logic
33 Citations1989Jaakko Hintikka, Merrill B. Hintikka
Theories of knowledge representation and reasoning about knowledge in philosophy are considered from the vantage point of epistemic logic, primarily a logic of knowing that, and its semantics can be considered an explication of the well-known idea that "information means elimination of uncertainty".
Computational IntelligenceReasoning about knowledge and belief: a survey
33 Citations1988G. McArthur
This work examines a number of logics of knowledge and belief from the perspective of knowledge‐based systems, and considers whether belief should be represented by a predicate or a sentential operator and the boundary between self‐referential and inconsistent systems.
Lecture notes in computer scienceA knowledge-theoretic semantics for concurrent MetateM
29 Citations1997Michael Wooldridge
The aim of this paper is to develop a semantics for the multi-agent programming language Concurrent MetateM, by using the tools of knowledge theory, and shows that certain formulae of this logic correspond to properties of ConcurrentmetateM systems.
Computational IntelligenceA FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF
19 Citations1995James P. Delgrande
A general framework is developed for the specification of logics of explicit belief using a generalization of possible worlds, called situations, and provides a uniform and flexible basis from which various issues of explicitly belief may be addressed and from which systems may be contrasted and compared.
Elsevier eBooksREASONING ABOUT KNOWLEDGE IN PHILOSOPHY: THE PARADIGM OF EPISTEMIC LOGIC
17 Citations1986Jaakko Hintikka
Lecture notes in computer scienceQLB: A quantified logic for belief
16 Citations1997Alessio Lomuscio, Marco Colombetti
QLB is constructed as a partial logic with a monotonic semantics on ordered sets, and its semantic theorems are defined as the formulae that are sometimes true and never false.
The Knowledge Engineering ReviewLogics for reasoning about knowledge and belief
10 Citations1989Han Reichgelt
This paper introduces epistemic logic, a logic designed specifically for this type of reasoning, and discusses some of the philosophical problems associated with it, and compares two different styles of implementing theorem provers for epistemic Logic.
Lecture notes in computer scienceLimited logical belief analysis
5 Citations1997Antonio Moreno, Ton Sales
It is shown how non-perfect reasoning can be modelled in two ways: on one hand, the agent's deductive abilities can be controlled by restricting the tautologies that may be used in the course of this logical analysis; on the other hand, it is not compulsory to perform an exhaustive analysis of the initial tableau.