Abstract
In this chapter we introduce a common framework for both the logical specification and execution of agents. This logical framework provides the basis for the specification and execution of agents comprising dynamic (temporal) activity, deliberation concerning goals, and reasoning about belief.
We here focus in particular on the ability of this approach to capture an important aspect of practical agents, notably their resource-bounded nature. We present a logic in which resource-boundedness can be specified both in terms of temporal reasoning, and reasoning about belief. Then we consider how specifications within this logic can be directly executed. The mechanism we use to capture finite resources in reasoning about beliefs is to employ a multi-context representation of belief, thus providing tight control over the agent’s reasoning capabilities where necessary. The mechanism we use to capture finite resources in temporal reasoning is to use a linear time temporal logic with both finite past and finite future.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. MetateM: An Introduction. Formal Aspects of Computing, 7(5):533–549, 1995.
M. Benerecetti, F. Giunchiglia, and L. Serafini. Model Checking Multiagent Systems. Journal of Logic and Computation, Special Issue on Computational & Logical Aspects of Multi-Agent Systems, 8(3):401–423, 1998.
M. E. Bratman, D. J. Israel, and M. E. Pollack. Plans and resource-bounded practical reasoning. Computational Intelligence, 4:349–355, 1988.
B. F. Chellas. Modal Logic-an Introduction. Cambridge University Press, 1980.
A. Cimatti and L. Serafini. Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57–64, 1996.
C. Dixon, M. Fisher, and M. Wooldridge. Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation, 8(3):345–372, 1998.
E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.
M. Fisher. Representing and Executing Agent-Based Systems. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents Springer-Verlag, 1995.
M. Fisher. Implementing BDI-like Systems by Direct Execution. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). Morgan-Kaufmann, 1997.
M. Fisher and C. Ghidini. Programming Resource-Bounded Deliberative Agents. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI’99), pages 200–206. Morgan Kaufmann Publ., Inc, 1999.
M. Fisher and C. Ghidini. Specifying and implementing agents with dynamic resource bounds. In working notes of the 2nd International Cognitive Robotics Workshop, 2000.
M. Fisher and C. Ghidini. The abc of rational agent modelling. In Proceedings of the first international joint conference on autonomous agents and multiagent systems (AAMAS’02), Bologna, Italy, July 2002.
C. Ghidini and F. Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221–259, April 2001.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29–70, 1994.
J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense-Papers by John McCarthy, pages 158–166. Ablex Publishing Corporation, 1990.
N. Muscettola, P. Pandurang Nayak, Barney Pell, and Brian Williams. Remote agent: To boldly go where no ai system has gone before. Artificial Intelligence, 103(1–2):5–48, 1998.
A. S. Rao and M. P. Georgeff. Modeling Agents within a BDI-Architecture. In R. Fikes and E. Sandewall, editors, International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, April 1991. Morgan Kaufmann.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fisher, M., Ghidini, C. (2002). Agents with Bounded Temporal Resources. In: d’Inverno, M., Luck, M., Fisher, M., Preist, C. (eds) Foundations and Applications of Multi-Agent Systems. Lecture Notes in Computer Science(), vol 2403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45634-1_11
Download citation
DOI: https://doi.org/10.1007/3-540-45634-1_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43962-2
Online ISBN: 978-3-540-45634-6
eBook Packages: Springer Book Archive