Abstract
The aim of requirements analysis for an agent that is to be designed is to identify what characteristic capabilities the agent should have. One of the characteristics usually expected for intelligent agents is the capability of reasoning. This paper shows how a requirements analysis of an agent’s reasoning capability can be made. Reasoning processes may involve dynamically introduced or retracted assumptions: ‘reasoning by assumption’. It is shown for this type of reasoning how relevant dynamic properties at different levels of aggregation can be identified as requirements that characterize the reasoning capability. A software agent has been built that performs this type of reasoning. The dynamic properties have been expressed using the temporal trace language TTL and can and have been checked automatically for sample traces.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science in Computer Programming 20, 3–50 (1993)
Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York (1998)
Sommerville, I., Sawyer, P.: Requirements Engineering: a good practice guide. John Wiley & Sons, Chichester (1997)
Dubois, E., Du Bois, P., Zeippen, J.M.: A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS 1995 (1995)
Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 8–27. Springer, Heidelberg (1999)
Treur, J.: Semantic Formalisation of Interactive Reasoning Functionality. International Journal of Intelligent Systems 17, 645–686 (2002)
Leemans, N.E.M., Treur, J., Willems, M.: A Semantical Perspective on Verification of Knowledge. Data and Knowledge Engineering 40, 33–70 (2002)
Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5, 239–261 (1995)
Meyer, J.-J.C., Treur, J. (eds.): Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems (Gabbay, D., Smets, Ph., series eds.). Kluwer Acad. Publishers, Dordrecht (2001)
Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press Ltd. and John Wiley & Sons (1996)
Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol. 3550, pp. 165–178. Springer, Heidelberg (2005)
Bosse, T., Jonker, C.M., Treur, J.: Formalization and Analysis of Reasoning by Assumption. Cognitive Science Journal 30(1), 147–180 (2006)
Jonker, C.M., Treur, J.: Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption. Cognitive Systems Research Journal 4, 119–136 (2003)
Brazier, F.M.T., Jonker, C.M., Treur, J.: Principles of Component-Based Design of Intelligent Agents. Data and Knowledge Engineering 41, 1–28 (2002)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)
Hölldobler, S., Thielscher, M.: A new deductive approach to planning. New Generation Computing 8, 225–244 (1990)
Davis, A.M.: Software Requirements: Objects, Functions, and States. Prentice-Hall, Englewood Cliffs (1993)
Bosse, T., Hoogendoorn, M., Treur, J.: Automated Evaluation of Coordination Approaches. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 44–62. Springer, Heidelberg (2006)
Bosse, T., Jonker, C.M., Treur, J.: Analysis of Design Process Dynamics. In: Lopez de Mantaras, R., Saitta, L. (eds.) Proceedings of the 16th European Conference on Artificial Intelligence, ECAI 2004, pp. 293–297. IOS Press, Amsterdam (2004)
Brazier, F.M.T., van Langen, P.H.G., Treur, J.: Strategic knowledge in design: a compositional approach. In: Hori, K. (ed.) Knowledge-Based Systems; Special Issue on Strategic Knowledge and Concept Formation 11(7–8), 405–416 (1998)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agent and Multi-Agent Systems 8, 203–236 (2004)
Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering. In: Proc. ICSE 1998 - 20th International Conference on Software Engineering, Kyoto, vol. 2, pp. 58–62 (1998)
Antón, A.I.: Goal-based Requirements Analysis. In: Proc. of the International Conference on Requirements Engineering (ICRE 1996), pp. 136–144. IEEE Computer Soc. Press, Colorado Springs (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosse, T., Jonker, C.M., Treur, J. (2006). Requirements Analysis of an Agent’s Reasoning Capability. In: Kolp, M., Bresciani, P., Henderson-Sellers, B., Winikoff, M. (eds) Agent-Oriented Information Systems III. AOIS 2005. Lecture Notes in Computer Science(), vol 3529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11916291_4
Download citation
DOI: https://doi.org/10.1007/11916291_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48291-8
Online ISBN: 978-3-540-48292-5
eBook Packages: Computer ScienceComputer Science (R0)