Abstract
A most common requirement in the development of Knowledge Based Systems in dynamic environments is the capability of expressing time. This paper presents how it is possible to express time related requirements on KBS tasks and to include time explicitly in rules. Such kind of facilities is attained using UML diagrams embedded in the usual CommonKADS notation preserving the methodology. A continuous monitoring task is used to illustrate thorough the paper. Some specific lacks, in CommonKADS, for the accurate analysis of these tasks in the time domain are identified, and the corresponding adaptations are presented. Finally, in order to express temporal elicited knowledge, a notation to include time in rules, focused on instants and intervals, is added.
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
Alonso, C., Pulido, B., Acosta, G.: On Line Industrial Diagnosis: an attempt to apply Artificial Intelligence techniques to process control. In: Moonis, A., Mira, J., de Pobil, A.P. (eds.) IEA/AIE 1998. LNCS (LNAI), vol. 1415, pp. 804–813. Springer, Heidelberg (1998)
Alonso, C., Acosta, G., Mira, J., Prada, C.: Knowledge based process control supervision and diagnosis: the AEROLID approach. Expert Systems with Applications 14, 371–383 (1998)
Alonso, C., Pulido, B., Acosta, G., Llamas, C.: On-line Industrial supervision and diagnosis, knowledge level description and experimental results. Expert Systems with Applications 20, 117–132 (2001)
Acosta, G., Alonso, C., Pulido, B.: Basic Tasks for Knowledge Based Supervision in Process Control. Engineering Applications of Artificial Intelligence 14, 441–455 (2002)
Henao, M.: CommonKADS-RT: Una Metodología para el Desarrollo de Sistemas Basados en el Conocimiento de Tiempo Real. PhD Thesis, Univ. Pol. de Valencia, Spain (2001)
Henao, M., Soler, J., Botti, V.: Developing a Mobile Robot Control Application with CommonKADS-RT. In: Monostori, L., Váncza, J., Ali, M. (eds.) IEA/AIE 2001. LNCS (LNAI), vol. 2070, pp. 651–660. Springer, Heidelberg (2001)
Selic, B., Bullekson, G., Ward, P.T.: Real Time Object-Oriented Modeling. Software Engineering Practice Series. John Wiley & Sons, New York (1994)
Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems. Whitepaper, ObjecTime Limited (1998)
Douglass, B.P.: Real-Time Uml: developing efficient objects for embedded systems, 3rd edn. Addison-Wesley Logman, Amsterdam (1998)
Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., Van de Velde, W., Wielinga, B.: Knowledge Engineering and Management, The CommonKADS Methodology. The MIT Press, Cambridge (1999)
OMG: UML Profile for Schedulability, Performance and Time Specification. OMG Specification ptc/02-03-02 (2002)
Schreiber, G., Wielinga, B., Breuker, J.: KADS. In: A Principled Approach to Knowledge-Based System Development, Academic Press, London (1993)
Breuker, J., Van de Velde, W. (eds.): CommonKADS Library for Expertise Modelling. Reusable problem solving components. Frontiers in Artificial Intelligence and Applications, vol. 21. IOS Press, Amsterdam (1994)
Dressler, O., Struss, P.: The consistency based approach to automated diagnosis of devices. In: Principles of knowledge representation, pp. 269–314. CSLI publications, Stanford (1996)
Maestro, J.A., Llamas, C., Alonso, C.: Anotación de aspectos temporales en la especificación de la tarea en CommonKADS: Aplicación a la monitorización. In: IX Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA-TTIA 2001), Gijón, Spain, pp. 449–458 (2001)
Burns, A., Wellings, A.: Real-Time Systems and Their Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)
Galton, A.: Time and Change for AI. In: Epistemic and Temporal Reasoning. Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 4, pp. 175–240. Oxford Science Publications (1995)
Alonso, C.J., Llamas, C., Maestro, J.A., Pulido, B.: Diagnosis of Dynamic Systems: A Knowledge Model that Allows Tracking the System during the Diagnosis Process. In: Chung, P.W.H., Hinde, C.J., Ali, M. (eds.) IEA/AIE 2003. LNCS, vol. 2718, pp. 208–218. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maestro, J.A., Llamas, C., Alonso, C.J. (2004). A Representation of Temporal Aspects in Knowledge Based Systems Modelling: A Monitoring Example. In: Orchard, B., Yang, C., Ali, M. (eds) Innovations in Applied Artificial Intelligence. IEA/AIE 2004. Lecture Notes in Computer Science(), vol 3029. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24677-0_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-24677-0_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22007-7
Online ISBN: 978-3-540-24677-0
eBook Packages: Springer Book Archive