|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|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jens Christian Bjerring (forthcoming). Impossible Worlds and Logical Omniscience: An Impossibility Result. Synthese.
Mark Jago (2007). Hintikka and Cresswell on Logical Omniscience. Logic and Logical Philosophy 15 (3).
Jens Christian Bjerring (2010). Non-Ideal Epistemic Spaces. Dissertation, Australian National University
Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott (1998). Using Abstract Resources to Control Reasoning. Journal of Logic, Language and Information 7 (1):77-101.
Thomas Ågotnes & Dirk Walther (2009). A Logic of Strategic Ability Under Bounded Memory. Journal of Logic, Language and Information 18 (1).
Brian Logan, Mark Jago & Natasha Alechina (2006). Modelling Communicating Agents in Timed Reasoning Logics. In U. Endriss & M. Baldoni (eds.), Declarative Agent Languages and Technologies 4. Springer.
Michael Fisher & Chiara Ghidini (2009). Exploring the Future with Resource-Bounded Agents. Journal of Logic, Language and Information 18 (1).
Natasha Alechina & Brian Logan (2009). A Logic of Situated Resource-Bounded Agents. Journal of Logic, Language and Information 18 (1).
Mark Jago (2009). Epistemic Logic for Rule-Based Agents. Journal of Logic, Language and Information 18 (1).
Added to index2010-07-25
Total downloads10 ( #106,239 of 549,065 )
Recent downloads (6 months)4 ( #19,186 of 549,065 )
How can I increase my downloads?