Epistemic logic for rule-based agents

Authors
Mark Jago
Nottingham University
Abstract
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.
Keywords Epistemic logic  Doxastic logic  Rule-based agents  Resource bounds  Artificial intelligence  Logical omniscience
Categories (categorize this paper)
Reprint years 2009
DOI 10.1007/s10849-008-9071-8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,941
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Word and Object.W. V. Quine - 1960 - MIT Press.
Reasoning About Knowledge.Ronald Fagin (ed.) - 1995 - MIT Press.

View all 16 references / Add more references

Citations of this work BETA

The Content of Deduction.Mark Jago - 2013 - Journal of Philosophical Logic 42 (2):317-334.
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.
Chains of Inferences and the New Paradigm in the Psychology of Reasoning.Ulf Hlobil - 2016 - Review of Philosophy and Psychology 7 (1):1-16.

View all 9 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total downloads
100 ( #64,234 of 2,293,856 )

Recent downloads (6 months)
5 ( #108,681 of 2,293,856 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature