Abstract
This paper demonstrates the capability of MODEL-ECS to support domain users in rapid prototyping of executable problem solving methods (PSMs) (i.e., known as inference structures in the KADS models of expertise). MODEL-ECS is a graphically based conceptual modeling language that is made up of Conceptual Graphs [14] and Actors [6]. In addition to being highly formal and considerably sophisticated, the PSMs resulting from modeling using MODEL-ECS is executable (i.e., executable prototypes). This enables the knowledge engineer to immediately test, and if necessary re-design his knowledge model. This is a major advantage to the contemporary approach of performing the modeling process, and then carrying out the prototyping activity (where one builds a prototype knowledge based system). This paper attempts to demonstrate the capabilities of MODEL-ECS by modeling a simple PSM for Audio System Diagnosis.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Chandrasekaran, B., and Johnson, T. Generic tasks and Tasks Structures: History, Critique and New Directions, in J.M. David, J.P. Krivine, and R. Simmons (Eds.), Second Generation Expert Systems, Springer Verlag, Berlin, Germany, 1993.
Fensel, D., Angele, J., and Landes, D. Knowledge Representation and Acquisition Language (KARL), in Proceedings of the 11th International Workshop on Expert Systems and Their Applications (Volume: Tools and Techniques), Avignon, France, 1991.
Kremer, R. A Graphical Meta-Language for Knowledge Representation, PhD Dissertation, University of Calgary, Canada, 1997.
Kremer, R., Lukose, D., and Gaines, B. Knowledge Modeling using Annotated Flow Chart, in Proceedings of the International Conference on Conceptual Structures (ICCS'97), Seattle, August 4–8, 1997.
Linster, M. Using OMOS to Represent KADS Conceptual Model, in Schreiber, G., Wielinga, B., and Breuker, J., (Eds.), KADS. A Principles Approach to Knowledge-Based System Development, Academic Press, London, UK, 1993.
Lukose, D. Executable Conceptual Structures, in G.W. Mineau, B. Moulin and J.F. Sowa (Eds.), Conceptual Graphs for Knowledge Representation, Lecture Notes in Artificial Intelligence (699), Springer-Verlag, Berlin, Germany, 1993.
Lukose, D. Projection Based Invocation Mechanism for Actor Graphs, in Proceedings of the 2nd Australia and New Zealand Conference on Intelligent Information Systems, Brisbane, Queensland, Australia, 1994.
Lukose, D. Using Executable Conceptual Structures for Modeling Expertise, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop (KAW'95), Banff Conference Centre, Banff, Alberta, Canada, 1995.
Lukose, D. MODEL-ECS: Executable Conceptual Modeling Language, in Proceedings of the Knowledge Acquisition for Knowledge Based Systems Workshop (KAW'96), Banff, Canada, 9–14 November, 1996.
Lukose, D. Complex Modeling Constructs in MODEL-ECS, in Proceedings if the Fifth International Conference on Conceptual Structures (ICCS'97), Seattle, USA., August 3–8, 1997.
Schreiber, B. Wielinga, and J. Breuker. KADS: A Principles Approach to Knowledge-Based System Development, Academic Press, 1993.
Moller, J-U. Operationalisation of KADS Models by using Conceptual Graph Modules, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop, Banff Conference Centre, Banff, Alberta, Canada, 1995.
Moller, J-U., and Willems, M. CG-DESIRE: Formal Specification Using Conceptual Graphs, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop, Banff Conference Centre, Banff, Alberta, Canada, 1995.
Sowa, J.F. Conceptual Structures: Information Processing in Mind and Machine, Addison Wesley, Reading, Mass., USA, 1984.
Steels, L. Components of Expertise, AI Magazine, 11(2), 1990.
van Harmelen, F., and Balder, J. (ML)2: A Formal Language for KADS Models of Expertise, in G. Wielinga, B., Schreiber, A.T., and Breuker, J.A. Modeling Expertise, in KADS: A Principled Approach to Knowledge-Based System Development, Academic Press, London, UK, 1993.
VoB, A., and Karbach, W. MODEL-K: Making KADS Run, in G. Schreiber, B. Wielinga, and J. Breuker (Eds.), KADS: A Principles Approach to Knowledge-Based System Development, Academic Press, London, UK, 1993.
Wetter, T. First-Order Logic Foundation of the KADS Conceptual Model. in B. Wielinga, J. Boose, B. Gaines, G. Schreiber, and M. van Someren (Eds.), Current Trends in Knowledge Acquisition, Amsterdam, The Netherlands, IOS Press, 1990.
Wielinga, B., Schreiber, A.T., and Breuker, J.A. KADS: A Modelling Approach to Knowledge Engineering, in The KADS Approach to Knowledge Engineering Special Issue, Knowledge Acquisition, 4(1), Academic Press, London, UK, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lawson, G., Lukose, D. (1997). Rapid prototyping of executable problem solving methods using MODEL-ECS. In: Sattar, A. (eds) Advanced Topics in Artificial Intelligence. AI 1997. Lecture Notes in Computer Science, vol 1342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63797-4_71
Download citation
DOI: https://doi.org/10.1007/3-540-63797-4_71
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63797-4
Online ISBN: 978-3-540-69649-0
eBook Packages: Springer Book Archive