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.

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.

scholarly journals Formal specification languages in knowledge and software engineering

1995 ◽  
Vol 10 (4) ◽  
pp. 361-404 ◽  
Author(s):  
Dieter Fensel
Keyword(s):  
Formal Specification ◽  
Formal Languages ◽  
Software Systems ◽  
Knowledge Based Systems ◽  
Specification Languages ◽  
Dynamic Reasoning ◽  
Knowledge Based ◽  
The Subject ◽  
Complex Knowledge ◽  
Amount Of Knowledge

AbstractDuring the last few years, a number of formal specification languages for knowledge-based systems (KBS) have been developed. Characteristics of such systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem. Languages for KBS have to cover both these aspects. They have to provide a means to specify a complex and large amount of knowledge and they have to provide a means to specify the dynamic reasoning behaviour of a KBS. Nevertheless, KBS are just a specific type of software system. Therefore, it seems quite natural to compare formal languages for specifying KBS with formal languages which were developed by the software community for specifying software systems. That is the subject of this paper.

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.

Sign in / Sign up

Export Citation Format

Share Document