AI Communications - Volume 5, issue 3

Authors: Meseguer, Pedro

Article Type: Research Article

Abstract: In this paper, we address a number of fundamental questions around the validation of expert systems (ESs), an emerging field that still lacks of a comprehensive treatment in the literature. The final aim is to get a conceptual framework for ES validation, what is a difficult task because of the immaturity of the field. We analyze ES validation from four points of view. First we consider the meaning of validation in ESs, what raises some terminological questions. We propose precise definitions for the terms verification, validation, evaluation and testing, that are in compliance with their respective meanings in software engineering. …Second we consider a number of validation targets, the elements or processes on which some validation activity can be made. Third, we discuss briefly specific techniques to achieve an effective validation for these targets. And fourth, we locate these validation targets in an ES life-cycle. Show more

DOI: 10.3233/AIC-1992-5301

Citation: AI Communications, vol. 5, no. 3, pp. 119-135, 1992

Authors: Balder, John | Akkemans, Hans

Article Type: Research Article

Abstract: COMMONKADS is a well-known methodology for the development of knowledge-based systems. In this methodology one constructs so-called models of expertise as a basis for the development. A new feature with respect to older versions of the KADS methodology is a formal version of these models, whereby models of expertise are expressed in a special logical language called (ML)2 that is tailored to the needs of KBS methodology. Our paper presents TheME, an environment for constructing and manipulating these formal models of expertise. We consider the role of formal methods in conceptual knowledge modelling and briefly introduce the ingredients of …the formal framework. Next, we discuss the rationale behind the TheME environment that supports the formalisation process. The functionality of the environment is described and illustrated in detail and experiences and future developments are discussed. TheME constitutes one of the tools of the COMMONKADS knowledge engineering workbench currently under construction. Show more

Keywords: formal knowledge modelling

DOI: 10.3233/AIC-1992-5302

Citation: AI Communications, vol. 5, no. 3, pp. 136-147, 1992

Authors: Barnard, Yvonne | Sandberg, Jacobijn

Article Type: Research Article

Abstract: Beverly Woolf is an Assistant Professor and a Research Scientist at the University of Massachusetts, Computer and Information Science Department. Her work covers two areas of Artificial Intelligence: knowledge representation and control structures, in relation to the production of effective human-machine communication. Last year Beverly Woolf was interviewed verbally in Canada. However, the fear of every knowledge engineer came true: the tape on which the interview was recorded appeared to be damaged. The second attempt was more successful, this spring we interviewed her by computer. She logged in from Massachusetts at our system in Amsterdam, and with a split screen …we could communicate with each other without a delay. Do not fear that this interview is more formal than an ordinary interview: Beverly Woolf speaks quickly, but she types even quicker. She typed her answers right from the heart. Show more

DOI: 10.3233/AIC-1992-5303

Citation: AI Communications, vol. 5, no. 3, pp. 148-155, 1992

Authors: Slany, Wolfgang

Article Type: Review Article

DOI: 10.3233/AIC-1992-5304

Citation: AI Communications, vol. 5, no. 3, pp. 156-156, 1992

Authors: Michard, Alain

Article Type: Review Article

Abstract: A large international conference was organised on 1-5 June in Tokyo during which the main achievements of the well-known Japanese project were presented and demonstrated. The FGCS Project was launched in 1982 for a ten-year period. A specific laboratory, ICOT, was established to carry out the research activities. This laboratory was created with about 40 researchers and now gather about 200, including some foreign visitors. During the 10 last years, ICOT had several collaborations with European research organisations (mainly in UK, Sweden and France), and with some US laboratories.

DOI: 10.3233/AIC-1992-5305

Citation: AI Communications, vol. 5, no. 3, pp. 157-158, 1992

Article Type: Other

DOI: 10.3233/AIC-1992-5307

Citation: AI Communications, vol. 5, no. 3, pp. 158-158, 1992

Article Type: Other

DOI: 10.3233/AIC-1992-5306

Citation: AI Communications, vol. 5, no. 3, pp. 158-158, 1992

Authors: Wusteman, Judith

Article Type: Book Review

Abstract: Philosophy and AI: Essays at the Interface, by R.Cummins and J.Pollock (eds), MIT Press 1991. ISBN: 0262 031809, Price US$ 40,50.

DOI: 10.3233/AIC-1992-5308

Citation: AI Communications, vol. 5, no. 3, pp. 159-160, 1992

Authors: Mayoh, Brian

Article Type: Book Review

Abstract: Artificial Intelligence and Learning Environments, edited by William J. Clancey and Elliot Solovay. 1991 MIT Press. ISBN 0262 530902, Price: US $26,95. Analogy for Automated Reasoning, by Stephen Owen. 1991, Academic Press. Innovative Applications of Artificial Intelligence 2, edited by Alain Rapaport and Reid Smith (ISBN 0262 680688, price US $33,75. Innovative Applications of Artificial Intelligence 3, edited by Reid Smith and Carlisle Scott (ISBN 0262 691485, price US $33,75). Both: 1991 MIT Press/AAAI Press.

DOI: 10.3233/AIC-1992-5309

Citation: AI Communications, vol. 5, no. 3, pp. 161-166, 1992

Article Type: Other

DOI: 10.3233/AIC-1992-5310

Citation: AI Communications, vol. 5, no. 3, pp. 168-172, 1992