Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze informatyka bazy danych
- nauki przyrodnicze informatyka oprogramowanie aplikacje komputerowe oprogramowanie systemowe
- inżynieria i technologia przemysł maszynowy inżynieria pojazdów inżynieria lotnicza i kosmiczna samolot
- nauki przyrodnicze informatyka inżynieria wiedzy
- medycyna i nauki o zdrowiu nauki o zdrowiu choroby zakaźne wirus RNA HIV
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Brak dostępnych danych
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Brak dostępnych danych
Koordynator
3078 EVERBERG
Belgia
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.