Towards knowledge-based infolog specifications A case study of information engineering |
| |
Authors: | Helder Coelho António Rodrigues Amilcar Sernadas |
| |
Affiliation: | 1. Centro de Informatica, Laboratorio Nacional de Engenharia Civil, 101 Av. do Brasil, 1799 Lisboa Cedex, Portugal;2. DEIOC, Faculdade de Ciencias, 58 Rua da Escola Politecnica, 1294 Lisboa Codex, Portugal;3. DICC, Faculdade de Ciencias, 58 Rua da Escola Politecnica, 1294 Lisboa Codex, Portugal |
| |
Abstract: | A radically new approach to computing, the so-called knowledge-based information processing is achieving striking success in supporting activities needing logical power, human judgement, reasoning and expertise. It offers universal applicability for problem-solving, in particular in more complex tasks than those presently handled by computer systems. The current state of the art and future prospects for the development of a computer system which either performs expert tasks automatically or is used interactively by experts to increase their productivity are reviewed. The weak points we need to look at, namely the lack of guidelines for building such systems, and some dead ends are indicated. Some new results are expected by applying this key technology to our case study, the construction of a Systems Specification Support System (S4). Its knowledge base written in PROLOG captures and encodes human expertise about the INFOLOG model and INFOLOG specifications, which is made available via consultation to formulate specifications and, possibly, advice. The architecture of the knowledge base is presented by discussing its abstraction levels. This investigation provides also a methodology in structuring a systems analyst's knowledge about an application. This means how to find out the main kinds of objects, including their relationships, in some problem domain. |
| |
Keywords: | Infolog Knowledge-base Knowledge engineering Information system design Logic programming Prolog |
本文献已被 ScienceDirect 等数据库收录! |
|