WIT Press

A Logic Approach To Knowledge-based Engineering

Price

Free (open access)

Paper DOI

10.2495/AI940261

Volume

6

Pages

9

Published

1994

Size

818 kb

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