- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Exploring the future with resource-bounded agents
Journal of Logic, Language and Information 18 (1):3-21 (2009)
Abstract
We here describe research into the formal specification and implementation of resource-bounded agents. In particular, we provide an overview of our work on incorporating resource limitations into executable agent specifications. In addition, we outline future directions, highlighting both their promise and their problems.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Belief ascription under bounded resources.Natasha Alechina & Brian Logan - 2010 - Synthese 173 (2):179 - 197.
A logic of situated resource-bounded agents.Natasha Alechina & Brian Logan - 2009 - Journal of Logic, Language and Information 18 (1):79-95.
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.
Evaluating new options in the context of existing plans.John F. Horty & Martha E. Pollack - unknown - Artificial Intelligence 127 (2):199-220.
Verifying Space and Time Requirements for Resource-Bounded Agents.Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan & Luciano Serafini - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer.
Analytics
Added to PP
2009-01-28
Downloads
59 (#266,556)
6 months
7 (#411,886)
2009-01-28
Downloads
59 (#266,556)
6 months
7 (#411,886)
Historical graph of downloads
Citations of this work
Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.
References found in this work
A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
Foundations of Rational Agency.Michael J. Wooldridge & Anand Rao (eds.) - 1999 - Dordrecht, Netherland: Springer.
Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. [REVIEW]Chiara Ghidini & Fausto Giunchiglia - 2001 - Artificial Intelligence 127 (2):221-259.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-5tf24 uwo