publication . Article . 2003

The Unified Problem-Solving Method Development Language UPML

Fensel, Dieter; Motta, Enrico; van Harmelen, Frank; Benjamins, V. Richard; Crubezy, Monica; Decker, Stefan; Gaspari, Mauro; Groenboom, Rix; Grosso, William; Musen, Mark; ...
Open Access English
  • Published: 01 Feb 2003
Abstract
Problem-solving methods provide reusable architectures and components for implementing the reasoning part of knowledge-based systems. The UNIFIED PROBLEM-SOLVING METHOD DESCRIPTION LANGUAGE (UPML) has been developed to describe and implement such architectures and components to facilitate their semi-automatic reuse and adaptation. In a nutshell, UPML is a framework for developing knowledge-intensive reasoning systems based on libraries ofg eneric problem-solving components. The paper describes the components and adapters, architectural constraints, development guidelines, and tools provided by UPML. UPML is developed as part of the IBROW project, which provides ...
Subjects
free text keywords: Human-Computer Interaction, Hardware and Architecture, Software, Artificial Intelligence, Information Systems
Related Organizations
20 references, page 1 of 2

3.39 1. IBROW started with a preliminary phase under the 4th European Framework and has become a full-fledged 3.40 Information Society Technologies (IST) project under the 5th European Framework Program since January 2000. Results of its initial phase are described in [Benjamins et al., 1999], [Benjamins & Fensel, 1998], and [Fensel et al., 1999b].

http://www.swi.psy.uva.nl/projects/IBROW3/home.html [Akkermans et al., 1993] J. M. Akkermans, B. Wielinga, and A. Th. Schreiber: Steps in Constructing Problem-Solving Methods. In N. Aussenac et al. (eds.), Knowledge-Acquisition for Knowledge-Based Systems, Lecture Notes in Artificial Intelligence (LNAI) 723, SpringerVerlag, Berlin, 1993.

56.2 [Keisler, 1977] H. J. Keisler: Fundamentals of Model Theory. In John Barwise (ed.), Handbook of 56.3 Mathematical Logic, North Holland 1977.

56.4 [KIF] KIF: http://logic.stanford.edu/kif/kif.html.

56.5 [Kifer et al., 1995] M. Kifer, G. Lausen, and J. Wu: Logical Foundations of Object-Oriented and 56.6 Frame-Based Languages, Journal of the ACM, vol 42, 1995.

56.7 [KQML] KQML: http://www.cs.umbc.edu/kqml/.

56.8 [van Langevelde et al., 1993] I. van Langevelde, A. Philipsen, and J. Treur: A Compositional 56.9 Architecture for Simple Design Formally Specified in DESIRE. In J. Treur and Th. Wetter 56.10 (eds.): Formal Specification of Complex Reasoning Systems, Ellis Horwood, New York, 1993.

56.11 [Lloyd, 1987] J. W. Lloyd: Declarative Error Diagnosis, New Generation Computing, 5:133-154, 56.12 1987.

56.13 [Marcus, 1988] S. Marcus (ed.): Automating Knowledge Acquisition for Experts Systems, Kluwer 56.14 Academic Publisher, Boston, 1988.

56.15 [Mevidovic & Rosenblum, 1999] N. Mevidovic and D. S. Rosenblum: Accessing the Suitability of 56.16 a Standard Design Method for Modeling Software Architectures. In P. Donohoe (eds.), 56.17 Software Architecture, Kluwer Academic Publ., 1999.

56.18 [Minton, 1995] S. Minton: Quantitative Results Concerning the Utility of Explanation-Based 56.19 Learning. In A. Ram and D. B. Leake (eds.): Goal-Driven Learning, The MIT Press, 1995.

56.20 [Minton et al., 1989] S. Minton, S. Carbonell, C. Knoblock, D. R. Kuokka, O. Etzioni, and Y. Gil: 56.21 Explanation-based Learning: A Problem Solving Perspective, Artificial Intelligence, 40:63- 56.22 118, 1989. [OpenAIRE]

56.23 [Mizoguchi et al., 1995] R. Mizoguchi, J. Vanwelkenhuysen, and M. Ikeda: Task Ontologies for 56.24 reuse of Problem Solving Knowledge. In N. J. I. Mars (ed.), Towards Very Large Knowledge 56.25 Bases, IOS Press, 1995.

56.26 [Motta, 1999] E. Motta: Reusable Components for Knowledge Modeling, IOS Press, 56.27 Amsterdam, 1999.

56.28 [Motta et al., 1998] E. Motta, M. Gaspari, and D. Fensel: UPML Specification of a Parametric 56.29 Design Library, Deliverable D4.1. Esprit Project 27169, IBROW3, 1998.

20 references, page 1 of 2
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Article . 2003

The Unified Problem-Solving Method Development Language UPML

Fensel, Dieter; Motta, Enrico; van Harmelen, Frank; Benjamins, V. Richard; Crubezy, Monica; Decker, Stefan; Gaspari, Mauro; Groenboom, Rix; Grosso, William; Musen, Mark; ...