The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as (...) opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of several basic results concerning LP. In particular, the realization of S4 into LP is established in a way that carefully examines and explicates the role of the + operator. Finally connections are made with the conventional approach, via soundness and completeness results.

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

In Context and Content Robert Stalnaker develops a philosophical picture of the nature of speech and thought and the relations between them. Two themes in particular run through these collected essays: the role that the context in which speech takes place plays in accounting for the way language is used to express thought, and the role of the external environment in determining the contents of our thoughts. Stalnaker argues against the widespread assumption of the priority of linguistic over mental representation, (...) which he suggests has had a distorting influence on our understanding. The first part of the book develops a framework for representing contexts and the way they interact with the interpretation of what is said in them. This framework is used to help to explain a range of linguistic phenomena concerning presupposition and assertion, conditional statements, the attribution of beliefs, and the use of names, descriptions, and pronouns to refer. Stalnaker then draws out the conception of thought and its content that is implicit in this framework. He defends externalism about thought--the assumption that our thoughts have the contents they have in virtue of the way we are situated in the world--and explores the role of linguistic action and linguistic structure in determining the contents of our thoughts. Context and Content offers philosophers and cognitive scientists a summation of Stalnaker's important and influential work in this area. His new introduction to the volume gives an overview of this work and offers a convenient way in for those who are new to it. The Oxford Cognitive Science series is a new forum for the best contemporary work in this flourishing field, where various disciplines--cognitive psychology, philosophy, linguistics, cognitive neuroscience, and computational theory--join forces in the investigation of thought, awareness, understanding, and associated workings of the mind. Each book constitutes an original contribution to its subject, but will be accessible beyond the ranks of specialists, so as to reach a broad interdisciplinary readership. The series will be carefully shaped and steered with the aim of representing the most important developments in the field and bringing together its constituent disciplines. (shrink)

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...