Solving VT in VITAL: A study in model construction and knowledge reuse

International Journal of Human Computer Studies

Volumn 44, Issue 3-4, 1996, Pages 333-371

  Motta, Enrico ^a   Stutt, Arthur ^a   Zdrahal, Zdenek ^a   O'Hara, Kieron ^b   Shadbolt, Nigel ^b  

^a OPEN UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF NOTTINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; ELEVATORS; KNOWLEDGE ENGINEERING; LEARNING SYSTEMS; PERFORMANCE; PROBLEM SOLVING;

OPERATIONAL CONCEPTUAL MODELLING LANGUAGE; REUSABLE ONTOLOGIES;

KNOWLEDGE BASED SYSTEMS;

EID: 0030104823     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1996.0018     Document Type: Article

References (30)

1. ALLEMANG, D. & VAN HEIJST, G. (1993). Generic tasks in KEW. In N. AUSSENAC, G. BOY, B. GAINES, M. LINSTER, J. G. GANASCIA & Y. KODRATOFF, Eds. Knowledge Acquisition for Knowledge-Based Systems. Proceedings of the 1993 European Knowledge Acquisition Workshop. Berlin: Springer-Verlag.
2. ANJEWIERDEN, A., WIELINGA, B. & SHADBOLT, N. (1992) Supporting knowledge acquisition: the ACKnowledge project. In L. STEELS & B. LEPAPE, Eds. ESPRIT-92 Knowledge Engineering. Amsterdam: Elsevier Science.
3. DOMINGUE, J. (1995). Using software visualization technology in validation of knowledge based systems. Proceedings of the 9th KA Workshop. Vol. 1. Banff, Alberta, Canada.
4. FASSERT, C., LHEPT, M., LOZINGUEZ, Y. & ROUGE, A. (1994). ERUDITE, the VITAL approach to expertise reuse-driven requirements engineering. VITAL Project Report DD251, Syseca, Paris, October.
5. GIARRATANO, J. & RILEY, G. (1993). Expert Systems Principles and Programming. Boston, MA: PWS.
6. GRUBER, T. R. (1993a). A translation approach to portable ontology specifications. Knowledge Acquisition, 5, 199-220.
7. GRUBER, T. R. (1993b). Toward principles for the design of ontologies used for knowledge sharing. Technical Report KSL 93-04 Knowledge Systems Laboratory, Computer Science Department, Stanford University, USA.
8. GRUBER, T. R., RUNKEL, J. T. & OLSEN, G. R. (1994). VT domain ontology. Available by FTP from ksl.stanford.edu/pub/knowledge-sharing/ontologies/. Knowledge Systems Laboratory, Computer Science Department, Stanford University, USA.
9. JONKER, W. & SPEE, J. W. (1992). Yet another formalization of KADS conceptual models. In T. WETTER, K. D. ALTHOFF, J. BOOSE, B. GAINES, M. LINSTER & F. SCHMALHOFER, Eds. Current Developments in Knowledge Acquisition. Lecture Notes in Artificial Intelligence 599. Berlin: Springer-Verlag.
10. KEENE, S. E. (1989). Object-Oriented Programming in Common Lisp: A Programmers Guide to CLOS. Reading, MA: Addison-Wesley.
11. MARCUS, S. & MCDERMOTT, J. (1989). SALT: a knowledge acquisition language for propose-and-revise systems. Journal of Artificial Intelligence, 39, 1-37.
12. MINTON, S., JOHNSON, M. D., PHILIPS, A. B. & LAIRD, P. (1992). Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58, 161-205.
13. MOTTA, E. (1995). KBS modelling in OCML. Proceedings on the Workshop on Modelling Languages for KBS. Vrije Universiteit Amsterdam, The Netherlands. January 30-31.
14. MOTTA, E., O'HARA, K., SHADBOLT, N., STUTT, A. & ZDRAHAL, Z. (1994). A VITAL solution to the sisyphus II elevator design problem. Proceedings of the 8th KA workshop. Vol 3. Banff, Alberta, Canada.
15. MOTTA, E. & ZDRAHAL, Z. (1995). The trouble with what: issues in method-independent task specification. Proceedings of the 9th Knowledge Acquisition Workshop. Banff, Canada.
16. O'HARA, K. (1993). A representation of KADS-I interpretation models using a decompositional approach. In C. LÖCKENHOEF, D. FENSEL & R. STUDER Eds. 3rd KADS Meeting, pp. 147-169. Siemens AG, Munich, Germany.
17. O'HARA, K. (1995). The GDM grammar, v.4.6. VITAL project report NOTT/T252.3.3.
18. O'HARA, K. & SHADBOLT, S. (1993a). All models as a variety of psychological explanation. Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI '93, pp. 188-193. vol. 1. San Mateo, CA: Morgan Kaufmann.
19. O'HARA, K. & SHADBOLT, S. (1993b). Locating generic tasks. Knowledge Acquisition, 5, 449-481.
20. QUINLAN, J. R. (1986). Induction of decision trees. Machine Learning 1, 81-106.
21. RUNKEL, J. T. & BIRMINGHAM, W. B. (1994). Solving VT by reuse. Proceedings of the 8th Banff Knowledge Acquisition Workshop. Banff, Canada.
22. SCHREIBER, G. & BIRMINGHAM, W. B. (1994). Sisyphus II-VT elevator design problem. Proceedings of the 8th Banff Knowledge Acquisition Workshop. Vol III. Banff, Canada.
23. SHADBOLT, N., MOTTA, E. & ROUGE, A. (1993). Constructing knowledge based systems. IEEE Software, November, 34-38.
24. STEELS, L. (1990). Components of Expertise. AI Magazine Summer 1990.
25. TERPSTRA, P., VAN HEIJST, G., SHADBOLT, N. & WIELINGA, B. (1993). Knowledge acquisition process support through generalized directive models. In J-M. DAVID, J-P. KREVINE & R. SIMMONS, Eds. Second Generation Expert Systems, pp. 428-454. Berlin: Springer-Verlag.
26. VAN HEIJST, G., TERPSTRA, P., WIELINGA, B. & SHADBOLT, N. (1992). Using generalized directive models in knowledge acquisition. In TH. WETTER, K.-D. ALTHOFF, J. BOOSE, B. R. GAINES, M. LINSTER & F. SCHMALHOFER, Eds. Current Developments in Knowledge Acquisition - EKAW '92 pp. 112-132. Berlin: Springer-Verlag.
27. WIELINGA, B. J., SCHREIBER, A. TH. & BREUKER, J. (1992a). KADS: a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 5-53.
28. WIELINGA, B. J., VAN DE VELDE, W., SCHREIBER, G. & AKKERMANS, H. (1992fe). The CommonKADS framework for knowledge modelling. Proceedings of the 7th KA workshop. Banff, Alberta, Canada.
29. YOST, G. R. (1994). Configuring elevator systems. DEC Project Report. Available through anonymous ftp from ftp://camis.stanford.edu/pub/protege/s2-word.sea.hqx.
30. ZDRAHAL, Z. & MOTTA, E. (1995). An in-depth study of propose & revise problem solving. Proceedings of the 9th Knowledge Acquisition Workshop. Banff, Canada.