A Logic-Oriented Approach to Knowledge and Data Bases Supporting Natural User Interaction

Información del proyecto

LOKI

Identificador del acuerdo de subvención: 1522

Proyecto cerrado

Fecha de inicio 1 Agosto 1984

Fecha de finalización 1 Agosto 1989

Financiado con arreglo a

• European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Coste total

Sin datos

Aportación de la UE

Sin datos

Coordinado por

BIM SA
Belgium

Objetivo

LOKI aimed to provide the technology for the development of knowledge representation, knowledge use, knowledge consultation systems and other aids to the development of knowledge and database systems. User-friendly graphics and natural language were to becombined in a single interface.
LOKI applied logic programming in a number of novel ways to systems software and to knowledge-based applications. The systems software work was based on a new Prolog and on special tools allowing access to databases at source level by a variety of Prolog-type languages. These tools formed the implementation language for a high-level knowledge representation formalism. A conceptual modelling language (CML) was developed for general real-world application, based on frames definable within predicate calculus. Two application domains were considered: project management and aircraft design.
LOKI aimed to provide the technology for the development of knowledge representation, knowledge use, knowledge consultation systems and other aids to the development of knowledge and databases systems. User friendly graphics and natural language were to be combined in a single interface. LOKI applied logic programming in a number of novel ways to systems software and to knowledge based applications. The systems software work was based on a new Prolog and on special tools allowing access to databases at source level by a variety of Prolog type languages. These tools formed the implementation language for a high level knowledge representation formalism. A conceptual modelling language (CML) was developed for general real world application based on frames definable within predicate calculus. 2 application domains were considered: project management the aircraft design.
The following results were achieved: knowledge representation with the development of 3 formalisms (LOLA and CML to support natural language interfaces and STRUDEL to support a computer aided design (CAD) system for aircraft design); knowledge use with the development of parser generator pair (LOQUI) for English and German to support access to databases in natural language, and of a constraint propagator mechanism used for the aircraft design application (ADROIT). The natural language interface is loosely coupled with graphics interface facilities; knowledge consultation with the development of tools to support inspection of knowledge structures suitable for the project management application and to support explanation facilities in ADROIT. A first prototype of the aircraft design system, restricted to wing design, was completed.
The following results were achieved:
-Knowledge Representation: development of three formalisms (LOLA and CML to support natural language interfaces and STRUDEL to support a CAD system for aircraft design).
-Knowledge Use: development of a parser-generator pair (LOQUI) for English and German to support access to databases in natural language, and of a constraint propagator mechanism used for the aircraft design application (ADROIT). The natural language int erface is loosely coupled with graphics interface facilities.
-Knowledge Consultation: development of tools to support inspection of knowledge structures suitable for the project management application and to support explanation facilities in ADROIT.
A first prototype of the aircraft design system, restricted to wing design, was completed.
Exploitation
The partners are lining up concrete prospects for the exploitation of the work done. BIM-Prolog is already on the market and benefiting from the comprehensive testing afforded by the project. LOQUI will lend itself as an immediate enhancement of the SCS project management materials, and independent developments are already in train within Scicon International Ltd.
The technology developed has been embedded in CARMEN, an MMI tool generator which is being commercially distributed by BIM.
The constraint propagation tools being developed for aircraft design are being evaluated for use in other contexts.

Ámbito científico (EuroSciVoc)

• ciencias naturales › informática y ciencias de la información › base de datos
• ciencias naturales › informática y ciencias de la información › software › software de aplicación › software de sistemas
• ingeniería y tecnología › ingeniería mecánica › ingeniería de vehículos › ingeniería aeroespacial › aeronave
• ciencias naturales › informática y ciencias de la información › ingeniería del conocimiento
• ciencias médicas y de la salud › ciencias de la salud › enfermedad infecciosa › virus de ARN › VIH

Programa(s)

• FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988

Tema(s)

Datos no disponibles

Convocatoria de propuestas

Datos no disponibles

Régimen de financiación

Datos no disponibles

Coordinador

BIM SA

• Aportación de la UE: Sin datos
• Dirección: KWIKSTRAAT 4B ; 3078 EVERBERG ; Bélgica
• Coste total: Sin datos

Participantes (4)

CRETAN COMPUTER INSTITUTE

Grecia

• Aportación de la UE: Sin datos
• Dirección: DAIDALOU, 36 P.O.Box 1385 ; 71110 IRAKLION
• Coste total: Sin datos

Fraunhofer-Gesellschaft zur Förderung der Angewandten Forschung eV (FhG)

Alemania

• Aportación de la UE: Sin datos
• Dirección: Holzgartenstraße 17 ; 70174 Stuttgart
• Coste total: Sin datos

Scicon Ltd

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: Sanderson House Berners Street ; W1P 4AQ London
• Coste total: Sin datos

Scientific Control Systems Informationstechnik Gmbh

Alemania

• Aportación de la UE: Sin datos
• Dirección: Oehleckerring 40 ; 22419 Hamburg
• Coste total: Sin datos