WPI Worcester Polytechnic Institute

Computer Science Department
------------------------------------------

CS 538 - Expert Systems

PSM References

** Under continual construction **

------------------------------------------

A. Balkany, Birmingham W.P. and Tommelein J. (1993). An Analysis of Several Configuration Design Systems. Artificial Intelligence in Engineering, Design, and Manufacturing, 7(1), pp. 1-17.

V. R. Benjamins, D. Fensel, C. Pierret, E. Motta, R. Studer, B. Wielinga (1997) Making Knowledge Engineering Technology Work. Proceedings 9th Int. Conf. on Software Engineering and Knowledge Engineering, SEKE'97, pp. 56-61.
http://www.iiia.csic.es/~richard/postscripts/seke97.ps

V. Richard Benjamins, Enric Plaza, Enrico Motta, Dieter Fensel, Rudi Studer, Bob Wielinga, Guus Schreiber, Zdenek Zdrahal and Stefan Decker (1998) IBROW3: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web, Proceedings of KAW'98, 11th Workshop on Knowledge Acquisition, Modeling and Management. [IBROW]
http://ksi.cpsc.ucalgary.ca/KAW/KAW98/benjamins3/

F. M. T. Brazier, Jonker, C.M., Treur, J., and Wijngaards, N.J.E., Compositional Design of a Generic Design Agent. In: G. Luger, L. Interrante (eds.), Proc. of the AAAI Workshop on Artificial Intelligence and Manufacturing: State of the Art and State of Practice, AAAI Press, 1998, pp. 30-39.
http://www.cs.vu.nl/~wai/Papers/AIMAN98.designagent23.ps

Joost Breuker and Alexander Boer (1998) So you want to validate your PSMs?, Proceedings of KAW'98. [CommonKADS]
http://ksi.cpsc.ucalgary.ca/KAW/KAW98/breuker/

J. A. Breuker and W. Van de Velde, editors. The CommonKADS Library for Expertise Modelling. IOS Press, Amsterdam, The Netherlands, 1994. [CommonKADS]

J. Breuker, & Wielinga, B., Models of Expertise in Knowledge Acquisition, in G. Guida & C. Tasso, editors, Topics in Expert Systems Design: Methodologies and Tools, Amsterdam: North Holland Publishing Company, 1989. [KADS]

B. Chandrasekaran, (1986). Generic tasks in knowledge based reasoning: High level building blocks for expert system design. IEEE Expert, 1(3):23--30. [GTs]
http://www.cse.ohio-state.edu/~chandra/gt-ieee-expert.pdf

B. Chandrasekaran, "Design Problem Solving: A Task Analysis," AI Magazine, Vol. 11, No. 4, Winter 1990, pp. 59-71. {Also appears Knowledge Aided Design, M. Green, ed., Academic Press, London, 1992, pp. 25-46.} [GTs]
http://www.cse.ohio-state.edu/~chandra/ai-mag-design-ps.pdf

B. Chandrasekaran and T.R. Johnson, "Generic Tasks And Task Structures: History, Critique and New Directions," Second Generation Expert Systems, eds., J.M. David, J.P. Krivine, and R. Simmons, Springer-Verlag, 1993, pp. 239-280. [GTs]
http://www.cse.ohio-state.edu/~chandra/gt-paper-2nd-gen-book.pdf

B. Chandrasekaran , J. R. Josephson and V. R. Benjamins, "Ontology of Tasks and Methods," Proceedings of KAW'98, Eleventh Workshop on Knowledge Acquisition, Modeling and Management, Inn, Banff, Alberta, Canada, April, 1998.
http://www.cse.ohio-state.edu/~chandra/Ontology-of-Tasks-Methods.PDF

    Related versions of the paper, "What are ontologies and why do we need them?," IEEE Intelligent Systems, Jan/Feb 1999, 14(1), pp. 20-26; "Ontology of Task and Methods," IEEE Intelligent Systems, May/June, 1999

W.J. Clancey, (1985). "Heuristic classification". Artificial Intelligence, 27:289--350.
{Also in: Knowledge Based Problem Solving, (Ed.) Janusz S. Kowalik, Prentice-Hall, 1986}.

    shorter version is:
    W.J. Clancey "Classification Problem Solving" Proc. AAAI-84, 1984, pp. 49-55.

Clancey, W.J. (1989) Viewing knowledge bases as qualitative models. IEEE/Expert, Summer.

Clancey, W.J. and Barbanson, M. (1991) TOPO: Implications of the Systems-Model-Operator Metaphor for Knowledge Acquisition, IEEE Expert, 6(5): 61-65.

W.J. Clancey (1992) "Model Construction Operators" AI Jnl., 53(1): 1-115.

W.J. Clancey (1993) "Notes on `Heuristic classification'", Artificial Intelligence, 59:191-196.
http://cogprints.org/293/0/127.htm

E. Coelho & G. Lapalme (1996) Describing Reusable Problem-Solving Methods with a Method Ontology. Proc. Wkshp. Knowledge Acquisition for Knowledge-Based Systems.
http://ksi.cpsc.ucalgary.ca/KAW/KAW96/coelho/kaw.html

M. Crubezy, E. Motta, W. Lu, M. A. Musen. (2003) Configuring Online Problem-Solving Resources with the Internet Reasoning Service. IEEE Intelligent Systems,2(March-April):34-42. [Protege-II]
http://smi.stanford.edu/smi-web/reports/SMI-2003-0958.pdf

H Eriksson, Y Shahar, S W. Tu, A R. Puerta, M A. Musen (1995) Task Modeling with Reusable Problem-Solving Methods, Artificial Intelligence, 79(2), pp. 293-326. [Protege-II]
paper

D. Fensel, (1997). The tower-of-adapters method for developing and reusing problem-solving methods. In Plaza, E. & Benjamins, V. R., (Eds.) , Knowledge Acquisition, Modeling and Management, pp. 97-112. Springer-Verlag.

D. Fensel (2000) Problem-Solving Methods: Understanding, Description, Development, and Reuse, Lecture Notes in AI (LNAI) 1791, Springer.

D. Fensel, & Benjamins, V. R. (1996). Assumptions in model-based diagnosis. In Gaines, B. R. & Musen, M. A., (Eds.) , Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 5.1-5.18, Alberta, Canada. SRDG Publications, University of Calgary.
http://ksi.cpsc.ucalgary.ca/KAW/KAW96/KAW96Proc.html
http://www.iiia.csic.es/~richard/postscripts/banff96-ambd.ps
http://ksi.cpsc.ucalgary.ca/KAW/KAW96/fensel/ambd.html

D. Fensel & E. Motta (1998) Structured Development of Problem Solving Methods. Proceedings of KAW'98, Eleventh Workshop on Knowledge Acquisition, Modeling and Management, April, Banff, Alberta, Canada.
http://ksi.cpsc.ucalgary.ca/KAW/KAW98/KAW98Proc.html

D. Fensel & R. Straatman (1998) The essence of problem-solving methods: making assumptions to gain efficiency. Int. Jnl. Human-Computer Studies, V.48, pp. 181-215.

D. Fensel & F. van Harmelen (1994) A comparison of languages which operationalize and formalize KADS models of expertise. Knowl. Eng. Rev. 9, pp. 105-147.

D. Fensel, Benjamins, V. R., Motta, E. and Wielinga, B. (1999). UPML: A Framework for knowledge system reuse. In Proceedings of the International Joint Conference on AI (IJCAI-99), Stockholm, Sweden, July 31 - August 5, 1999. [UPML]
http://kmi.open.ac.uk/~enrico/papers/upml.ijcai.pdf

D. Fensel, Motta, E., Decker, S., & Zdrahal, Z. (1997). Using ontologies for defining tasks, problem-solving methods and their mappings. In Plaza, E. & Benjamins, V. R., (Eds.) , Knowledge Acquisition, Modeling and Management, pp. 113--128. Springer-Verlag.

D. Fensel, E. Motta, V. R. Benjamins, M. Crubezy, S. Decker, M. Gaspari, R. Groenboom, W. Grosso, F. van Harmelen, M. Musen, E. Plaza, G. Schreiber, R. Studer, B. Wielinga (2002) The Unified Problem-solving Method Development Language UPML. Knowledge and Information Systems, 5(1), pp.83-131. [UPML]
http://www.cs.vu.nl/~frankh/postscript/KAIS02.pdf

  • B. Omelayenko, M. Crubezy, D. Fensel, R. Benjamins, B. Wielinga, E. Motta, M. Musen, Y. Ding (2003) UPML: The Language and Tool Support for Making the Semantic Web Alive, In: Spinning the Semantic Web, MIT Press, p. 141-170 [UPML]
    paper with no figs

J H. Gennari, S W. Tu, T E. Rothenfluh & M A. Musen (1994) Mapping Domains to Methods in Support of Reuse, Int. J. Human Computer Studies, v. 41, 1994, pp. 399-424. [Protege-II]
paper

J. Gennari, M. A. Musen, R. W. Fergerson, W. E. Grosso, M. Crubezy, H. Eriksson, N. F. Noy, S. W. Tu. (Jan 2003) The Evolution of Protégé: An Environment for Knowledge-Based Systems Development. International Journal of Human-Computer Studies Volume 58 , Issue 1, Pages: 89 - 123.
http://smi.stanford.edu/smi-web/reports/SMI-2002-0943.pdf

P. Groot, A. ten Teije & F. van Harmelen (2003) A quantitative analysis of the robustness of Knowledge-Based Systems through degradation studies, Knowledge and Information Systems, 7(2), pp. 224-245.
http://www.cs.vu.nl/~frankh/abstracts/KAIS03.html

W E. Grosso, H Eriksson, R W. Fergerson, J H. Gennari, S W. Tu, & M A. Musen, (1999) "Knowledge Modeling at the Millennium (The Design and Evolution of Protégé-2000)". KAW'99: Twelfth Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada. [Protege-2000]
http://citeseer.ist.psu.edu/grosso99knowledge.html

M Ikeda, K Seta, O Kakusho & R Mizoguchi (1998) Task ontology: Ontology for building conceptual problem solving models, (Knowledge and Information Systems?). KAIS98. http://www.ei.sanken.osaka-u.ac.jp/pub/ikeda/ikeda-KAIS98.pdf

  • Ikeda, M., Seta, K., Kakusho, O., and Mizoguchi, R. (1998) An Ontology for Building A Conceptual Problem Solving Model, Proc. of ECAIÇ98 Workshop on applications of ontologies and problem-solving model, pp. 126-133
  • Mizoguchi, R., et. al. (1995) Task ontology for Reuse of Problem Solving Knowledge, Proc. of 2nd International Conference on Very L:arge-Scale Knowledge Bases, Tnschede, The Netherland, pp.46-59

Y-S Jeon, Y-S Jeong, S-K Han, S Arroyo (2006) PSM Approach to Web Service Composition, Proc 4th IEEE Wkshp on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS-WCCIA'06), pp. 181-189.
http://ieeexplore.ieee.org/iel5/10729/33850/01611733.pdf?tp=&isnumber=33850&arnumber=1611733

Josephson, J. R. and S. G. Josephson, Eds. (1994). Abductive Inference: Computation, Philosophy, Technology, Cambridge University Press.

J. McDermott (1988) Preliminary steps towards a taxonomy of problem-solving methods. In Automating Knowledge Acquisition for Expert Systems, Marcus, S., Kluwer Academic Publishers, Boston, pp. 225-256. [Role Limiting]

Enrico Motta, Reusable Components for Knowledge Modelling, IOS Press, Amsterdam, The Netherlands, October 1999.

E. Motta, and Zdrahal, Z. (June 1996) Parametric Design Problem Solving. Submitted to the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop.
http://kmi.open.ac.uk/~enrico/papers/Pardes_abstract.html

E. Motta, Dieter Fensel, M. Gaspari, and V. Richard Benjamins (1999) Specifications of Knowledge Component Reuse. To apear in SEKE-99
ftp://ftp.aifb.uni-karlsruhe.de/pub/mike/dfe/paper/seke99.pdf

A. Newell, (1982). "The knowledge level". Artificial Intelligence, 18, pp. 87-127.
http://www.aaai.org/AITopics/assets/PDF/AIMag02-02-001.pdf

K. O'Hara and N. Shadbolt (1993) "Locating Generic Tasks", Knowledge Acquisition, Vol. 5, pp. 449-481. [GTs]

W. Punch and B. Chandrasekaran, "An Investigation of the Roles of Problem-Solving Methods in Diagnosis," Second Generation Expert Systems, eds., J. M. David, J. P. Krivine, and R. Simmons, Springer-Verlag, 1993, pp. 687-702. [GTs]

J. T. Runkel, W. P. Birmingham, T. P. Darr, B.R. Maxim, and I.D. Tommelein, (1992). "Domain Independent Design System: Environment for Rapid Prototyping of Configuration Design Systems." in J.S. Gero (ed.) Proc. 2nd Int. Conf. on AI in Design, AID 92, 22-25 June, Pittsburgh, PA, Kluwer Acad. Pub., pp. 21-40. [DIDS]

Schreiber, A. T., Wielinga, B. J., de Hoog, R., Akkermans, J. M., & Van de Velde , W. (1994). CommonKADS: A comprehensive methodology for KBS development. IEEE Expert, 9(6):28--37. [CommonKADS]
http://ieeexplore.ieee.org/iel3/64/8327/00363263.pdf?tp=&arnumber=363263&isnumber=8327

Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R, Shadbolt, N., Van de Velde, W., and Wielinga, B. (1999) Knowledge Engineering and Management The CommonKADS Methodology. The MIT Press. [CommonKADS]

L. Steels, (1990). Components of expertise. AI Magazine, 11(2):28--49.

L. Steels & J. McDermott (Eds.) (1994) The Knowledge Level in Expert Systems: Conversations and Commentary, Academic Press. {Chapter 1, "The Two Dogmas"}.

Rudi Studer, Dieter Fensel, Stefan Decker, and V. Richard Benjamins: Knowledge Engineering: Survey and Future Directions. In F. Puppe et al. (eds.), Lecture Notes in Artificial Intelligence (LNAI), Springer-Verlag, 1999.
ftp://ftp.aifb.uni-karlsruhe.de/pub/mike/dfe/paper/studeretal.pdf

B. J. Wielinga and Schreiber, A.,Th. (1997). Configuration-design problem solving. IEEE Expert, 12(2), pp. 49-56, 1997.
http://ieeexplore.ieee.org/iel3/64/12681/00585104.pdf?tp=&arnumber=585104&isnumber=12681

B. J. Wielinga, & Breuker, J. A. (1986). Models of expertise. In Proceedings ECAI-86, pp. 306-318.

B. J. Wielinga, A. Th. Schreiber, and J. A. Breuker (1992) KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1):5-53. [KADS]

    Reprinted in: Buchanan, B. and Wilkins, D. editors (1992), Readings in Knowledge Acquisition and Learning, San Mateo, California, Morgan Kaufmann, pp. 92-116.


dcb@cs.wpi.edu / Tue May 1 20:43:02 EDT 2007