Abstract
Anticipatory agents are agents, which are capable of somehow make predictions in advance based on their own knowledge at present and use the predictions about future to guide their current actions. To construct such an agent, we propose an approach based on temporal relevant logic. We analyze the requirements for logic systems to underlie anticipatory reasoning at first. Secondly, we present a logic family, named “temporal relevant logic,” which can satisfy these requirements. And then we propose a conceptual architecture based on anticipatory reasoning in the framework of temporal relevant logic. At last, we present solutions to some issues about automation of anticipatory reasoning.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)
Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)
Burgess, J.P.: Basic Tense Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 7, pp. 1–42. Kluwer Academic, Dordrecht (2002)
Cheng, J.: The Fundamental Role of Entailment in Knowledge Representation and Reasoning. Journal of Computing and Information 2(1); Special Issue: Proc. of the 8th International Conference of Computing and Information. Waterloo, pp. 853-873 (1996)
Cheng, J.: EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus. In: Terashima, N., Altman, E. (eds.) Advanced IT Tools, Proc. IFIP World Conference on IT Tools, IFIP 96 14th World Computer Congress, pp. 507–514. Chapman & Hall, Boca Raton (1996)
Cheng, J.: A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In: Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I.A. (eds.) Information Modelling and Knowledge Bases XI, pp. 136–159 (2000)
Cheng, J.: Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems. In: Dubois, D.M. (ed.) Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference. AIP Conference Proceedings, vol. 718, pp. 362–375. American Institute of Physics, Melville (2004)
Davidsson, P., Astor, E., Ekdahl, B.: A Framework for Autonomous Agents Based On the Concept of Anticipatory Systems. In: Trappl, R. (ed.) Cybernetics and Systems 1994, pp. 1427–1434. World Scientific, Singapore (1994)
Davidsson, P.: Linearly Anticipatory Autonomous Agents. In: Dubios, D. (ed.) Proc. of 1st International Conference on Computing Anticipatory Systems, CASYS 1997, pp. 490–491. American Institute of Physics, NY (1997)
Dunn, J.M., Restall, G.: Relevance Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 1–128. Kluwer Academic, Dordrecht (2002)
Egenhoger, M.J., Golledge, R.G. (eds.): Spatial and Temporal Reasoning in Geographic Information Systems. Oxford University Press, Oxford (1998)
Ekdahl, B., Astor, E., Davidsson, P.: Towards Anticipatory Agents. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS (LNAI), vol. 890, pp. 191–202. Springer, Heidelberg (1995)
Ekdahl, B.: Agent as Anticipatory Systems. In: 4th World Multiconference on Systemic, Cybernetics and Informatics(SCI 2000) and 6th International Conference on Information Systems Analyis and Synthesis(ISAS 2000), Orlando, Florida, USA, July 23-26 (2000)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1999)
Gabbary, D.M., Hodkinson, I., Reynolds, M.: Temporal logic: Mathematical Foundations and Computational Aspects, vol. 1. Oxford Science Publications, Oxford (1994)
Mares, E.D., Meyer, R.K.: Relevant Logics. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 280–308. Blackwell, Oxford (2001)
Read, S.: Relevant Logic: A Philosophical Examination of Inference. Basil Blackwell, Oxford (1988)
Riegler, A.: The Role of Anticipation in Cognition. In: Dubois, D.M. (ed.) Proc. of 4th International Conference on Computing Anticipatory Systems, CASYS 2000, pp. 534–541. The American Institute of Physics, NY (2000)
Rosen, R.: Anticipatory Systems. Pergamon Press, Oxford (1985)
Stock, O. (ed.): Spatial and Temporal Reasoning. Kluwer Academic, Dordrecht (1997)
van Benthem, J.: Temporal Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 241–350. Oxford University Press, Oxford (1995)
Venema, Y.: Temporal Logic. In: Goble, L. (ed.) The Blackwell Guide to Philosophical Logic, pp. 203–223. Blackwell, Oxford (2001)
Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shang, F., Cheng, J. (2005). Anticipatory Agents Based on Anticipatory Reasoning. In: Hacid, MS., Murray, N.V., Raś, Z.W., Tsumoto, S. (eds) Foundations of Intelligent Systems. ISMIS 2005. Lecture Notes in Computer Science(), vol 3488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11425274_46
Download citation
DOI: https://doi.org/10.1007/11425274_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25878-0
Online ISBN: 978-3-540-31949-8
eBook Packages: Computer ScienceComputer Science (R0)