Requirements Analysis of an Agent’s Reasoning Capability

  • Tibor Bosse
  • Catholijn M. Jonker
  • Jan Treur
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3529)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science in Computer Programming 20, 3–50 (1993)zbMATHCrossRefGoogle Scholar
  2. 2.
    Kontonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York (1998)Google Scholar
  3. 3.
    Sommerville, I., Sawyer, P.: Requirements Engineering: a good practice guide. John Wiley & Sons, Chichester (1997)zbMATHGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Treur, J.: Semantic Formalisation of Interactive Reasoning Functionality. International Journal of Intelligent Systems 17, 645–686 (2002)zbMATHCrossRefGoogle Scholar
  7. 7.
    Leemans, N.E.M., Treur, J., Willems, M.: A Semantical Perspective on Verification of Knowledge. Data and Knowledge Engineering 40, 33–70 (2002)zbMATHCrossRefGoogle Scholar
  8. 8.
    Engelfriet, J., Treur, J.: Temporal Theories of Reasoning. Journal of Applied Non-Classical Logics 5, 239–261 (1995)MathSciNetGoogle Scholar
  9. 9.
    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)zbMATHGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    Bosse, T., Jonker, C.M., Treur, J.: Formalization and Analysis of Reasoning by Assumption. Cognitive Science Journal 30(1), 147–180 (2006)CrossRefGoogle Scholar
  13. 13.
    Jonker, C.M., Treur, J.: Modelling the Dynamics of Reasoning Processes: Reasoning by Assumption. Cognitive Systems Research Journal 4, 119–136 (2003)CrossRefGoogle Scholar
  14. 14.
    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)zbMATHCrossRefGoogle Scholar
  15. 15.
    Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)zbMATHGoogle Scholar
  16. 16.
    Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)CrossRefGoogle Scholar
  17. 17.
    Hölldobler, S., Thielscher, M.: A new deductive approach to planning. New Generation Computing 8, 225–244 (1990)zbMATHCrossRefGoogle Scholar
  18. 18.
    Davis, A.M.: Software Requirements: Objects, Functions, and States. Prentice-Hall, Englewood Cliffs (1993)zbMATHGoogle Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)Google Scholar
  22. 22.
    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)CrossRefGoogle Scholar
  23. 23.
    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)Google Scholar
  24. 24.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Tibor Bosse
    • 1
  • Catholijn M. Jonker
    • 2
  • Jan Treur
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.Nijmegen Institute for Cognition and InformationRadboud Universiteit NijmegenNijmegenThe Netherlands

Personalised recommendations