Author(s)

A. Tomer & C.J. Hogged

Abstract

A logic approach to knowledge-based engineering A. Tomer" & C.J. Hogged "Digital Systems Department, RAFAEL, P.O. Box 2250(83), Haifa, Israel ^Department of Computing, Imperial College of Science, Technology & Medicine, 180 Queen's Gate, London, SW7, UK 1. Introduction Engineering is the art of applying available technologies to arbitrary specifications in attempt to implement them as products. Implementation may be viewed as mapping concepts from a specification domain onto a technology domain. For example, a specification of a banking system is written in a language whose vocabulary contains clients, statements, transactions, branches etc. and is expected to be implemented in a database technology based on files, records, updates, reports etc. This same technology is also expected to implement a hospital management system with a significantly disjoint terminology, including patients, medical notes, laboratory tests and results, departments and more. A skill

Keywords