Towards Brokering Problem-Solving Knowledge on the Internet

We describe the ingredients of an intelligent agent (a broker) for configuration and execution of knowledge systems for customer requests. The knowledge systems are configured from reusable problem-solving methods that reside in digital libraries on the Internet. The approach followed amounts to solving two subproblems: (i) the configuration problem which implies that we have to reason about problem-solving components, and (ii) execution of heterogeneous components. We use CORBA as the communication infrastructure.

[1]  Jeannette M. Wing,et al.  Specification matching of software components , 1997 .

[2]  S W Tu,et al.  PROTEGE-II: computer support for development of intelligent systems from libraries of components. , 1995, Medinfo. MEDINFO.

[3]  Samson W. Tu,et al.  Modeling tasks with mechanisms , 1993, Int. J. Intell. Syst..

[4]  Guus Schreiber,et al.  KADS : a principled approach to knowledge-based system development , 1993 .

[5]  Frank van Harmelen,et al.  Construction of problem-solving methods as parametric design , 1998, Int. J. Hum. Comput. Stud..

[6]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[7]  Dieter Fensel,et al.  Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering , 1996, ECAI.

[8]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[9]  Russ B. Altman,et al.  Reuse, CORBA, and knowledge-based systems , 1998, Int. J. Hum. Comput. Stud..

[10]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[11]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[12]  Enrico Motta,et al.  Constructing knowledge-based systems , 1993, IEEE Software.

[13]  Dieter Fensel,et al.  Using Ontologies for Defining Tasks, Problem-Solving Methods and their Mappings , 1997, EKAW.

[14]  V. R. Benjamins,et al.  Problem-Solving Methods for Diagnosis and their Role in Knowledge Acquisition , 1996 .

[15]  Dieter Fensel,et al.  Ontobroker: The Very High Idea , 1998, FLAIRS.

[16]  Johann Schumann,et al.  NORA/HAMMR: making deduction-based software component retrieval practical , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[17]  Christine Golbreich,et al.  Assumptions of Problem-Solving Methods , 1996, EKAW.

[18]  Todd R. Johnson,et al.  Task-structure analysis for knowledge modeling , 1992, CACM.

[19]  Balakrishnan Chandrasekaran,et al.  The Ontology of Tasks and Methods , 1997 .

[20]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[21]  Dieter Fensel,et al.  The Component Model of UPML in a Nutshell , 1999 .

[22]  Frank Puppe.  Knowledge reuse among diagnostic problem-solving methods in the Shell-Kit D3 , 1998, Int. J. Hum. Comput. Stud..

[23]  Van de velde Breuker.  Common KADS Library for Expertise Modelling , 1994 .

[24]  Dieter Fensel,et al.  Model-Based and Incremental Knowledge Engineering: The MIKE Approach , 1992, AIFIPP.

[25]  Bob J. Wielinga,et al.  Using explicit ontologies in KBS development , 1997, Int. J. Hum. Comput. Stud..

[26]  Enrico Motta,et al.  A library of problem-solving components based on the integration of the search paradigm with task and method ontologies , 1998, Int. J. Hum. Comput. Stud..

[27]  James A. Hendler,et al.  Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems , 1997, IJCAI.

[28]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[29]  Samson W. Tu,et al.  Mapping domains to methods in support of reuse , 1994, Int. J. Hum. Comput. Stud..

[30]  Dieter Fensel.  Benjamins: Key Issues for Automated Problem-Solving Methods Reuse , 1998 .

[31]  Dan Harkey,et al.  The Essential Distributed Objects Survival Guide , 1995 .

[32]  Mitsuru Ikeda,et al.  Task Ontology Makes It Easier To Use Authoring Tools , 1997, IJCAI.