Validation of knowledge-based systems: Current trends and issues

1995 ◽  
Vol 10 (1) ◽  
pp. 69-71 ◽  
Author(s):  
Alun D. Preece
Keyword(s):  
Artificial Intelligence ◽  
Knowledge Engineering ◽  
Knowledge Based Systems ◽  
Short Article ◽  
European Conference ◽  
Knowledge Based ◽  
Engineering Discipline ◽  
Current Trends ◽  
European Institutions ◽  
Area Of Concern

Assuring the reliability of knowledge-based systems has become an important issue in the development of the knowledge engineering discipline. There has been a workshop devoted to these topics at most of the major AI conferences (IJCAI, AAAI and ECAI) for the last five years, and the 1994 European Conference on Artificial Intelligence (ECAI-94) in Amsterdam was no exception. The focus of the meeting was on validation techniques for KBS, where validation is defined as the process of determining if a KBS meets its users' requirements; implicitly, validation includes verification, which is the process of determining if a KBS has been constructed to comply with certain formally-specified properties, such as consistency and irredundancy. The Amsterdam workshop was an intimate meeting, and the fifteen attendees were predominantly from European institutions. In spite of—or perhaps because of—this intimacy, the workshop succeeded in highlighting many of the significant trends and issues within its area of concern. The purpose of this short article is to review the trends and issues in question, drawing upon the contributions made during the workshop.

ECAl'94 Workshop on Formal Specification Methods for Knowledge-bassed Systems

1994 ◽  
Vol 9 (4) ◽  
pp. 417-420 ◽  
Author(s):  
Dieter Fensel
Keyword(s):  
Artificial Intelligence ◽  
Formal Specification ◽  
Knowledge Based Systems ◽  
Specification Languages ◽  
Research Groups ◽  
European Conference ◽  
Knowledge Based ◽  
Executable Specification ◽  
The University ◽  
First Time

The Workshop on Formal Specification Methods for Knowledge-based Systems (KBS) took place in Amsterdam on August 8 1994 as part of the workshop program of the 11th European Conference on Artificial Intelligence (ECAI'94). It was the sixth workshop in a series concerned with the development and application of formal and executable specification languages for KBSs. Starting from the first familiarization workshop at GMD in Bonn 1992, where the different research groups met for the first time, further successor workshops were held at the University of Karlsruhe, the University of Amsterdam, and again at GMD in Bonn. Additionally, at ECAI'92 in Vienna, a workshop was held to compare different specification approaches for complex multi-layered KBSs.

scholarly journals Review of Artificial Intelligence

2020 ◽  
pp. 143-171
Author(s):  
K. P. V. Sai Aakarsh ◽  
Adwin Manhar
Keyword(s):  
Artificial Intelligence ◽  
Computational Intelligence ◽  
Medical Diagnosis ◽  
Computer Application ◽  
Knowledge Based Systems ◽  
Human Race ◽  
Knowledge Based ◽  
Ordinary Person ◽  
Digital Computers

Over many centuries, tools of increasing sophistication have been developed to serve the human race Digital computers are, in many respects, just another tool. They can perform the same sort of numerical and symbolic manipulations that an ordinary person can, but faster and more reliably. This paper represents review of artificial intelligence algorithms applying in computer application and software. Include knowledge-based systems; computational intelligence, which leads to Artificial intelligence, is the science of mimicking human mental faculties in a computer. That assists Physician to make dissection in medical diagnosis.

RIGOROUS ENGINEERING PRACTICE AND FORMAL REASONING OF DEEP DOMAIN KNOWLEDGE—THE BASIS OF DEPENDABLE KNOWLEDGE BASED SYSTEMS FOR PROCESS PLANT CONTROL

1993 ◽  
Vol 03 (01) ◽  
pp. 53-98 ◽  
Author(s):  
SANDRO BOLOGNA ◽  
TERJE SIVERTSEN ◽  
HEIKKI VÄLISUO
Keyword(s):  
Artificial Intelligence ◽  
Domain Knowledge ◽  
Engineering Practice ◽  
Knowledge Based Systems ◽  
Control Engineering ◽  
Engineering Software ◽  
Knowledge Based ◽  
Process Plant ◽  
Verification Process ◽  
The Many

Knowledge based systems are often used to replace humans in solving problems for which only heuristic knowledge on the solution is available. However, there are also important application areas where nonheuristic knowledge is available e.g. in technical documents but where efficient use of the knowledge is impossible without the techniques provided by artificial intelligence. High dependability of these kinds of applications can be achieved if domain knowledge can be represented in a language providing both adequate representational constructs and the required level of formality. In addition, the language should be supported by powerful tools assisting in the verification process. Knowledge Based Systems, despite the different technology employed, are still nothing more than a computer program. Unfortunately, quite a few people building knowledge based systems seem to ignore the many good programming practices that have evolved over the years for producing traditional computer programs. What we need is a framework for the modelling of the KBSs development. In our work, it is claimed that these requirements can be met by utilizing and combining ideas from control engineering, software engineering and artificial intelligence.

Evaluation of workbenches which support the CommonKADS methodology

1995 ◽  
Vol 10 (3) ◽  
pp. 269-300 ◽  
Author(s):  
John K. C. Kingston ◽  
Jim G. Doheny ◽  
Ian M. Filby
Keyword(s):  
Knowledge Engineering ◽  
Good Knowledge ◽  
Knowledge Based Systems ◽  
Considerable Effort ◽  
Case Tools ◽  
Knowledge Based ◽  
Specific Support ◽  
Modelling Techniques ◽  
Software Engineers ◽  
Automated Support

AbstractThe KADS methodology and its successor, CommonKADS, have gained a reputation for being useful approaches to building knowledge-based systems in a manner which is both systematic and well documented. However, these methods require considerable effort to use them completely. It has been suggested that automated support for KADS or CommonKADS users, in the form of “knowledge engineering workbenches”, could be very useful. These tools would provide computerised assistance to knowledge engineers in organising and representing knowledge, in a similar fashion to the support which CASE tools provide for software engineers. To provide support for KADS or CommonKADS, the workbenches should provide specific support for the modelling techniques recommended by these methods, which are very detailed in the representation and analysis stages of knowledge engineering. A good knowledge engineering workbench should also be easy to use, should be robust and reliable, and should generate output in a presentable format.This paper reports on an evaluation of two commercially available workbenches for supporting the KADS approach: KADS Tool from ILOG and Open KADS Tool from Bull. This evaluation was carried out by AIAI as part of the CATALYST project, funded by the European Community's ESSI programme, which aimed to introduce CommonKADS to two technology-oriented companies. Information is also presented on two other workbenches: the CommonKADS workbench (which will soon become commercially available) and the VITAL workbench. The results show various strengths and weaknesses in each tool.

Overview of Intelligent Design on Mold

2012 ◽  
Vol 459 ◽  
pp. 394-397
Author(s):  
Bin Wang ◽  
Jian Jun Chen ◽  
Jie Tao
Keyword(s):  
Artificial Intelligence ◽  
Intelligent Design ◽  
Knowledge Engineering ◽  
Design Method ◽  
Mold Design ◽  
Engineering Technology ◽  
Knowledge Based ◽  
Knowledge Reasoning ◽  
Artificial Intelligence Technology ◽  
Development Tendency

Applying Artificial Intelligence technology on mold design can help realize the design automation of mold. Because knowledge-based engineering is an effective intelligent design method, the paper systematically introduced the application and development of knowledge representation, knowledge reasoning, knowledge acquisition and other key technologies of knowledge engineering technology used in mold design field. Finally, the development tendency of mold design based on artificial intelligence was analyzed in detail

Sign in / Sign up

Export Citation Format

Share Document