The Experts below are selected from a list of 276 Experts worldwide ranked by ideXlab platform
Cornelia Van Daalen - One of the best experts on this subject based on the ideXlab platform.
-
Evaluating medical Knowledge Based Systems
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 1992Co-Authors: Cornelia Van DaalenAbstract:Evaluation should be considered to be a major topic of interest during the design and development of a Knowledge Based system. A number of evaluation procedures may be distinguished: verification, validation, laboratory evaluation, and field evaluation. The evaluation issues which are discussed have been applied to the formal evaluation of the medical Knowledge Based system PLEXUS. PLEXUS is designed to assist physicians with the diagnosis and treatment planning of nerve injuries in the neck.
Mark A. Musen - One of the best experts on this subject based on the ideXlab platform.
-
the evolution of protege an environment for Knowledge Based Systems development
International Journal of Human-computer Studies \ International Journal of Man-machine Studies, 2003Co-Authors: John H Gennari, Mark A. Musen, Ray W Fergerson, William Grosso, Monica Crubezy, Henrik Eriksson, Natalya F NoyAbstract:The Protege project has come a long way since Mark Musen first built the Protege meta-tool for Knowledge-Based Systems in 1987. The original tool was a small application, aimed at building Knowledge-acquisition tools for a few specialized programs in medical planning. From this initial tool, the Protege system has evolved into a durable, extensible platform for Knowledge-Based Systems development and research. The current version, Protege-2000, can be run on a variety of platforms, supports customized user-interface extensions, incorporates the Open Knowledge-Base Connectivity (OKBC) Knowledge model, interacts with standard storage formats such as relational databases, XML, and RDF, and has been used by hundreds of individuals and research groups. In this paper, we follow the evolution of the Protege project through three distinct re-implementations. We describe our overall methodology, our design decisions, and the lessons we have learned over the duration of the project. We believe that our success is one of infrastructure: Protege is a flexible, well-supported, and robust development environment. Using Protege, developers and domain experts can easily build effective Knowledge-Based Systems, and researchers can explore ideas in a variety of Knowledge-Based domains.
-
Mappings for Reuse in Knowledge-Based Systems
Industrial Knowledge Management, 2001Co-Authors: John Y. Park, Mark A. MusenAbstract:By dividing their contents into domain Knowledge and problem-solving methods that reason over that Knowledge, Knowledge-Based Systems seek to promote reusability and shareability of their components. However, to produce a working system, the components must be connected within a global structuring scheme. We present the design for one such structuring scheme: the virtual Knowledge base constructor (VKBC). VKBC enables developers to compose working applications from reusable Knowledge-Based components. The design is Based on the concept of declarative mapping relations, which are explicit specifications of the conversions necessary for the syntactic and semantic connections between entities in the domain Knowledge and the problem-solving method components. The mapping relation types supported by the VKBC enable a broad range of compositions and transformations of the modeled domain Knowledge to match the input expectations of the selected problem-solving methods. This chapter covers the conceptual design and functional implementation of VKBC as a component of the Protégé system. It also describes several evaluation studies applying VKBC to component-Based reuse projects.
-
mappings for reuse in Knowledge Based Systems
2001Co-Authors: John Y. Park, Mark A. MusenAbstract:By dividing their contents into domain Knowledge and problem-solving methods that reason over that Knowledge, Knowledge-Based Systems seek to promote reusability and shareability of their components. However, to produce a working system, the components must be connected within a global structuring scheme. We present the design for one such structuring scheme: the virtual Knowledge base constructor (VKBC). VKBC enables developers to compose working applications from reusable Knowledge-Based components. The design is Based on the concept of declarative mapping relations, which are explicit specifications of the conversions necessary for the syntactic and semantic connections between entities in the domain Knowledge and the problem-solving method components. The mapping relation types supported by the VKBC enable a broad range of compositions and transformations of the modeled domain Knowledge to match the input expectations of the selected problem-solving methods. This chapter covers the conceptual design and functional implementation of VKBC as a component of the Protege system. It also describes several evaluation studies applying VKBC to component-Based reuse projects.
John Debenham - One of the best experts on this subject based on the ideXlab platform.
-
DEXA - Designing Knowledge-Based Systems for Optimal Performance
Lecture Notes in Computer Science, 1996Co-Authors: John DebenhamAbstract:If a Knowledge-Based system contains rules expressed in terms of predicates then some predicates may be stored as relations. Once the rules to be represented in a Knowledge-Based system have been identified, the performance of that system may be tuned by deciding which predicates to actually store. We discuss the problem of tuning a Knowledge-Based system for optimal performance. Two solutions for unconstrained Knowledge-Based Systems are given. When realistic constraints are present it is shown that this problem is NP-complete. A sub-optimal algorithm is given which operates in polynomial time when the Knowledge-Based system is not heavily constrained.
D.p. De Bono - One of the best experts on this subject based on the ideXlab platform.
-
Knowledge-Based Systems and Neural Networks for Clinical Decision Making
Control Engineering Practice, 1995Co-Authors: N.b. Jones, J.t. Wang, A.s. Sehmi, D.p. De BonoAbstract:Abstract This paper presents two Knowledge-Based Systems (KBS) and an artificial neural network (ANN) system for clinical decision-making in electrocardiogram (ECG) signal interpretation. Among these Systems, a KBS contains “shallow” Knowledge in declarative forms and employs fuzzy set theory to deal with vagueness in the encoded Knowledge and imprecise ECG measurements. The other KBS uses “deep” Knowledge encoded in a qualitative simulation model for ECG simulation and interpretation. An experimental ANN was constructed to test its usefulness for ECG interpretation. Preliminary results show that each system has its own usefulness in ECG interpretation and simulation. Brief comparisons are also given in the paper.
Alejandro Fernández Margarit - One of the best experts on this subject based on the ideXlab platform.
-
A formal model for Knowledge‐Based Systems verification
International Journal of Intelligent Systems, 1994Co-Authors: Luis M. Laita, Julia Couto, Luis De Ledesma, Alejandro Fernández MargaritAbstract:A logico-algebraic model for verification of Knowledge Based Systems, Based on Abraham Robinson's meta-algebra, is presented in this article. the set of rules of Knowledge Based System is considered to be the set of axioms of a theory “T”. the model consists of: (i) the collection “P” of all well formed formulas of the language of T, (ii) a subset P0 of P that has as its elements the axioms of a given logic (bivalued, intuitionistic, or other), plus all the theorems that can be deduced from this logic inside the language of T, (iii) some distinguished subsets of P, to be called m-ideals and m-filters, that depend on T and P0. Important concepts that are involved in the verification of Knowledge Based Systems are considered, such as forward and backward reasoning consistencies. Appropriate characterizations are obtained by using properties of m-ideals and m-filters. © 1994 John Wiley & Sons, Inc.
