Rule-based and Resource-bounded: A New Look at Epistemic Logic

Authors
Mark Jago
Nottingham University
Abstract
Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.
Keywords Modal epistemic logic  Resource bounded agents  Rule-based agents  Logic in AI
Categories (categorize this paper)
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,812
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

No references found.

Add more references

Citations of this work BETA

Inference and Update.Fernando Velázquez-Quesada - 2009 - Synthese 169 (2):283-300.

Add more citations

Similar books and articles

Hintikka and Cresswell on Logical Omniscience.Mark Jago - 2006 - Logic and Logical Philosophy 15 (3):325-354.
Non-Ideal Epistemic Spaces.Jens Christian Bjerring - 2010 - Dissertation, Australian National University
Using Abstract Resources to Control Reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.
A Logic of Strategic Ability Under Bounded Memory.Thomas Ågotnes & Dirk Walther - 2009 - Journal of Logic, Language and Information 18 (1):55-77.
Exploring the Future with Resource-Bounded Agents.Michael Fisher & Chiara Ghidini - 2009 - Journal of Logic, Language and Information 18 (1):3-21.
A Logic of Situated Resource-Bounded Agents.Natasha Alechina & Brian Logan - 2009 - Journal of Logic, Language and Information 18 (1):79-95.
Epistemic Logic for Rule-Based Agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.

Analytics

Added to PP index
2010-07-25

Total downloads
397 ( #9,430 of 2,293,670 )

Recent downloads (6 months)
5 ( #107,133 of 2,293,670 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature