Knowledge modeling directed by situation-specific models

International Journal of Human Computer Studies

Volumn 49, Issue 2, 1998, Pages 121-157

  Benaroch, Michel ^a  

^a SYRACUSE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DIAGNOSIS; MATHEMATICAL MODELS;

DIRECT KNOWLEDGE MODELING (DKM); ONTOLOGY; SITUATION-SPECIFIC MODELS (SSM);

KNOWLEDGE BASED SYSTEMS;

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

References (44)

1. AKKERMANS, J. M., WIELINGA, B. & SCHREIBER, T. H. (1993). Steps in constructing problem-solving methods. In A. AUSSENAC et al., Eds. Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in Artificial Intelligence, Vol. 723. London: Springer.
2. ALLEMANG, D. & ROTHENFLUH, T. E. (1992). Acquiring knowledge of knowledge acquisition: A self study of generic tasks. In T. WETTER, A. D. ALTHOFF, J. BOOSE, B. R. GAINS, M. LINSTER & F. SCHMALHOFER, Eds. Current Developments in Knowledge Acquisition, pp. 353-372. London: Springer.
3. BENAROCH, M. (1998). Goal-directed reasoning with ACE-SSM. IEEE Transactions on Knowledge and Data Engineering, (forthcoming). http://sominfo.syr.edu/facstaff/mbenaroc/resume/publications.htm.
4. BENAROCH, M. (1997). Knowledge modeling research: a critical analysis. Working Paper, School of Management, Syracuse University.
5. BENAROCH, M. (1996). Roles of design knowledge in knowledge-based systems. International Journal of Human-Computer Studies, 44, 689-721.
6. BENAROCH, M. & TANNIRU, M. (1996). Conceptualizing structurable tasks in the development of knowledge-based systems. Decision Sciences, 27, 415-449.
7. BENJAMINS, V. R. (1994). On the role of problem solving methods in knowledge acquisition-experiments with diagnostic strategies. In L. STEELS, G. SCHREIBER & W. VAN DE VELDE, Eds. A Future for Knowledge Acquisition, pp. 137-157. London: Springer.
8. BENJAMINS, V. R. & JANSWEIJER, W. (1994). Towards a competence theory of diagnosis. IEEE Expert, 9, 43-52.
9. BOOSE, J. H. (1985). A knowledge acquisition program for expert systems based on personal construct psychology. International Journal of Man-Machine Studies, 23, 495-525.
10. BREUKER, J. (1997). Problems in indexing problem solving methods. In D. FENSEL, Ed. Problem Solving Methods for Knowledge Based Systems, 19-36. Nagayo, Japan: IJCAI Press.
11. CHANDRASEKARAN, B. & JOHNSON, T. R. (1993). Generic tasks and task structures: history, critique and new directions. In J. M. DAVID, J. P. KRIVINE & R. SIMMONS, Eds. Second Generation Expert Systems, pp. 233-272. London: Springer.
12. CHANDRASEKARAN, B., JOHNSON, T. R. & SMITH, J. W. (1992). Task-structure analysis for knowledge modeling. Communications of the ACM, 35, 124-137.
13. CLANCEY, W. J. (1992). Model construction operators. Artificial Intelligence, 53, 1-115.
14. CLANCEY, W. J. (1988). Acquiring, representing and evaluating a competence model of diagnostic strategy. In M. CHI, R. GLASER & M. J. FARR, Eds. The Nature of Expertise, pp. 343-418. Hillsdale, NJ: Lawrence Erlbaum Associated.
15. COELHO, E. & LAPALME, G. (1996). Describing reusable problem-solving methods with an ontology of roles. 10th KA for KBSs Workshop, KAW'96. ftp://ksi.cpsc.ucalgary.ca/ KAW/KAW96/34coelho.ps.Z.
16. CRAGUN, B. & STEUDEL, H. (1987). A decision-table-based processor for checking completeness and consistency in rule-based expert systems. International Journal of Man-Machine Studies, 26, 633-648.
17. ERIKSSON, H., SHAHAR, Y., TU, S. W., PUERTA, A. R. & MUSEN, A. (1995). Task modeling with reusable problem-solving methods. Artificial Intelligence, 79, 293-326.
18. FENSEL, D. & SCHOENEGGE, A. (1997). Using KIV to specify and verify architectures of knowledge-based systems. Proceedings of the 12th IEEE International Conference on Automated Software Engineering, ASEC-97, Incline Village, Nevada.
19. FENSEL, D. & STRAATMAN, R. (1998). The essence of problem-dolving methods: making assumptions to gain efficiency. International Journal of Human-Computer Studies, 48, 181-215.
20. FENSEL, D. & VAN HARMELEN, F. (1994). A comparison of languages which operationalise and formalise KADS models of expertise. The Knowledge Engineering Review, 9, 105-146.
21. GELDOF, S. & SLODZIAN, A. (1994). From verification to modeling guidelines. In L. STEELS, G. SCHREIBER & W. VAN DE VELDE, Eds. A Future for Knowledge Acquisition, pp. 226-243. London: Springer.
22. GENESERETH, M. R. & NILSSON, N. J. (1987). Logical Foundations of Artificial Intelligence. CA: Morgan Kauffmann Publishers.
23. GENNARI, J. H., TU, S. W., ROTHENFLUH, T. E. & MUSEN, M. A. (1994). Mapping domains to methods in support of reuse. International Journal of Human-Computer Studies, 41, 399-424.
24. GRUBER, T. R. (1993). A translation approach to portable ontology specifications. Knowledge Acquisition, 5, 199-220.
25. MARCUS, S. & MCDERMOTT, J. (1989). SALT: a knowledge acquisition language for propose-and-revise systems. Artificial Intelligence, 39, 1-38.
26. MENZIES, T. (1998). Evaluation issues for problem solving methods, 11th KA for KBSs Workshop, KAW'98. http://ksi.ucalgary.ca/KAW/KAW98/menzies2/.
27. MOTTA, E. & ZDRAHAL, Z. (1998). A principled approach to the construction of a task-specific library of problem solving components, 11th KA for KBSs Workshop, KAW'98. http:// ksi.ucalgary.ca:80/KAW98S/motta/.
28. MUSEN, M. A. (1989). Automated Generation of Model-Based Knowledge-Acquisition Tools. London: Pitman.
29. NEWELL, A. (1990). Unified Theories of Cognition. Boston, MA: Harvard Press.
30. NEWELL, A. (1982). The knowledge level. Artificial Intelligence, 18, 82-127.
31. ORSVARN, K. (1996). Principles for libraries of task decomposition methods - conclusions from a case-study. 10th KA for KBSs Workshop, KAW'96. ftp://ksi.cpsc.ucalgary.ca/ KAW/KAW96/55orsvarn.ps.Z.
32. RADEMAKERS, P. & VANWELKENHUYSEN, J. (1993). Generic models and their support in modeling problem solving behavior. In J. DAVID, J. P. KRIVINE & R. SIMMONS, Eds. Second Generation Expert Systems. London: Springer.
33. STACHOWITZ, R. A. (1990). Verification and validation of knowledge-based systems. Tutorial Notes. Hawaii International Conference on Systems Science, Kailua-Kona, Hawaii.
34. STEELS, L. (1993). The componential framework and its role in reusability. In J. M. DAVID, J. P. KRIVINE & R. SIMMONS, Eds. Second Generation Expert Systems, pp. 273-298. London: Springer.
35. STEELS, L. (1990). Components of expertise. AI Magazine, 11, 30-49.
36. THAYSE, A. (1988). From Standard Logic to Logic Programming. England: Wiley.
37. VAN DE VELDE, W. (1994). An overview of CommonKADS. In J. BRUEKER & W. VAN DE VELDE, Eds. CommonKADS Library for Expertise Modeling, pp. 9-29. Amsterdam, Netherlands: IOS Press.
38. VAN DE VELDE, W. (1993). Issues in knowledge level modeling. In J. M. DAVID, J. P. KRIVINE & R. SIMMONS, Eds. Second Generation Expert Systems, pp. 211-231. London: Springer.
39. VAN HARMELEN, F. & ABEN, M. (1996). Structure-preserving specification languages for knowledge-based systems. International Journal of Human-Computer Studies, 44, 187-212.
40. VAN HARMELEN, F., ABEN, M., RUIZ, F. & VAN DE PLASSCHE, J. (1996). Evaluating a formal KBS specification language. IEEE Expert, 11, 56-62.
41. VERMASEN, A. & WERGELAND, T. (1994). A formally-based methodology for deriving verifiable expert systems from specifications. Proceedings of the AAAI'94 Workshop on Validation and Verification of Knowledge-Based Systems, Seattle, WA.
42. VOSS, A. & KARBACH, W. (1993). Implementing KADS expertise models with Model-K. IEEE Expert, 8, 74-81.
43. WIELINGA, B., VAN DE VELDE W., SCHREIBER G. & AKKERMANS H. (1993). Towards a unification of knowledge modeling approaches. In J. M. DAVID, J. P. KRIVINE & R. SIMMONS, Eds. Second Generation Expert Systems, pp. 299-331. London: Springer.
44. WIELINGA, B. J., SCHREIBER, A. T. & BREUKER, J. A. (1992). KADS: a modeling approach to knowledge engineering. Knowledge Acquisition, 4, 5-53.