Objective
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.
Fields of science (EuroSciVoc)
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.
- natural sciences computer and information sciences databases
- natural sciences computer and information sciences software software applications system software
- engineering and technology mechanical engineering vehicle engineering aerospace engineering aircraft
- natural sciences computer and information sciences knowledge engineering
- medical and health sciences health sciences infectious diseases RNA viruses HIV
You need to log in or register to use this function
We are sorry... an unexpected error occurred during execution.
You need to be authenticated. Your session might have expired.
Thank you for your feedback. You will soon receive an email to confirm the submission. If you have selected to be notified about the reporting status, you will also be contacted when the reporting status will change.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Data not available
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Data not available
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Data not available
Coordinator
3078 EVERBERG
Belgium
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.