Skip to main content
Springer Nature Link
Log in

Complex modelling constructs in MODEL-ECS

  • Knowledge Modeling
  • Conference paper
  • First Online:
Conceptual Structures: Fulfilling Peirce's Dream (ICCS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1257))

Included in the following conference series:

Abstract

MODEL-ECS is a graphically based executable conceptual modelling language, that is suitable for operationalising the Problem Solving Methods (PSMs) modelled using the Knowledge Analysis and Design Support (KADS) methodology. The main contribution of this paper is in the development of all the necessary constructs for modelling executable Problem Solving Methods (PSMs). These constructs include: the conditional construct; the while loop; the repeat loop; the case construct, and the for construct. Knowledge passing between Knowledge Sources in a PSM is achieved using coreference links, and line of identity. The advantage of using MODEL-ECS comes from the expressibility provided by Conceptual Graphs, and the executability (thus rapid prototyping) that is provided by the Executable Conceptual Structures. With these capabilities, MODEL-ECS can be used not only for knowledge modelling, but also for visual programming.

This paper was written while the author was on sabbatical at the Knowledge Science Institute. University of Calgary, Canada.

To find out more about DAIC. refer to our URL: http://turing.une.edu.au/∼daic/

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Brazier, F.M.T., Langen, P.H.G. van, Treur, J., Wijngaards, N.J.E. and Willems, M., DESIRE: Designing an elevator configuration. In: Schreiber, A.Th., and Birmingham, W.P. (Eds.), Special Issue on Sisyphus-VT. International Journal of Human-Computer Studies, 1996, Volume 44, pp. 469–520.

    Google Scholar 

  2. Cross, T. and Lukose, D., The representation of non-linear hierarchical executable plans, in Proceedings of the 1st Australian Workshop on Conceptual Structures, Armidale, N.S.W., Australia, 1994.

    Google Scholar 

  3. Dieng, R., Specifying a Cooperative System through Agent-Based Knowledge Acquisition, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop, Banff Conference Centre, Banff. Alberta, Canada, 1995.

    Google Scholar 

  4. Fensel, D., Assumptions and Limitations of a Problem Solving Method: A Case Study, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop, Banff Conference Centre, Banff, Alberta. Canada, 1995.

    Google Scholar 

  5. Fikes, R. E., and Nilsson, N. J., STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2(3–4), 1971.

    Google Scholar 

  6. Kremer, R., Lukose, D., and Gaines, B., Knowledge Modeling using Annotated Flow Chart, (in this volume)., 1997.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Lukose, D., Planning Knowledge Acquisition Techniques and Mechanisms, in Proceedings of the ICCS'94 Workshop on Knowledge Acquisition using Conceptual Graphs, M.L. Mugnier, M. Willims, B. Gaines and D. Lukose (Eds.), Maryland, USA., 1994.

    Google Scholar 

  9. Lukose, D., Problem Map: A Hybrid Knowledge Representation Scheme, In Proceedings of the 7th Australian Joint Conference on Artificial Intelligence, C. Zhang, J. Debenham, and D. Lukose (Eds.), Armidale, N.S.W., Australia. 1994.

    Google Scholar 

  10. Lukose, D., MODEL-ECS: Executable Conceptual Modeling Language, in Proceedings of the Knowledge Acquisition for Knowledge Based Systems Workshop (KAW'97), Banff, Canada, 9–14 November, 1996.

    Google Scholar 

  11. Lukose, D., Cross, T., Munday, C., and Sobora, F., Operational KADS Conceptual Model using Conceptual Graphs and Executable Conceptual Structures, in Proceedings of the International Conference on Conceptual Structures (ICCS'95), USA., 1995.

    Google Scholar 

  12. Lukose, D., Mineau, G., Mugnier, M-L., Möller, J-U., Martin, P., Kremer, R., and Zarri, G.P., Conceptual Structures for Knowledge Engineering and Knowledge Modelling, in Proceedings of the International Conference on Conceptual Structures, USA., 1995.

    Google Scholar 

  13. Marcus, S., Stout, J., and McDermott, J., VT: An Expert Elevator Designer that uses Knowledge-Based Backtracking, AI Magazine 9(1), 1988.

    Google Scholar 

  14. Martin, P., Knowledge Acquisition using Documents, Conceptual Graphs and a Semantically Structured Dictionary, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop, Banff Conference Centre, Banff, Alberta, Canada, 1995.

    Google Scholar 

  15. Mineau, G.W., Establishing a Semantic Basis: Toward the Integration of Vocabularies, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop, Banff Conference Centre, Banff, Alberta, Canada, 1995.

    Google Scholar 

  16. Möller, 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.

    Google Scholar 

  17. Möller, 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.

    Google Scholar 

  18. Schreiber, G., Wielinga, B., and Breuker, J., KADS: A Principled Approach to Knowledge-Based System Development, Academic Press, London, UK., 1993.

    Google Scholar 

  19. Sowa, J.F., Conceptual Structures: Information Processing in Mind and Machine, Addison Wesley, Reading, Mass., USA., 1984.

    Google Scholar 

  20. Zdrahal, Z., and Motta, E., An In-Depth Analysis of Propose & Revise Problem Solving Methods, in Proceedings of the 9th Banff Knowledge Acquisition For Knowledge-Based Systems Workshop, Banff Conference Centre, Banff, Alberta, Canada, February 26 — March 3, 1995, Paper No: 38.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Distributed Artificial Intelligence Centre (DAIC*) Department of Mathematics, Statistics, and Computing Science, The University of New England, 2351, Armidale, N.S.W., Australia

    Dickson Lukose

Authors
  1. Dickson Lukose
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dickson Lukose Harry Delugach Mary Keeler Leroy Searle John Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lukose, D. (1997). Complex modelling constructs in MODEL-ECS. In: Lukose, D., Delugach, H., Keeler, M., Searle, L., Sowa, J. (eds) Conceptual Structures: Fulfilling Peirce's Dream. ICCS 1997. Lecture Notes in Computer Science, vol 1257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027873

Download citation

  • DOI: https://doi.org/10.1007/BFb0027873

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63308-2

  • Online ISBN: 978-3-540-69424-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics