Obiettivo This Action aimed to develop the foundations of an integrated logic-based software environment for developing knowledge-rich applications. Such an environment should include a language suitable for databases, programming and problem-solving together with logic-based tools for incremental development (including integrity checking and program transformation), as well as for assembling new knowledge bases from existing ones.A range of logic based computer languages and associated development tools were developed. The lanuages extend logic programming by incorporating features from computer algebra, deductive databases, artificial intelligence and mathematical logic. The development tools include integrity checking, belief revision, metaprogramming, and program transformation.Progress has been made in the following areas:language extensions (several numerical problems previously unsolved by computer algebra techniques alone have been solved by Prolog III, and several previously open complexity problems have been solved for structured typed languages);knowledge assimilation (previously disconnected methods for view updates, belief revision, default reasoning and abduction have been shown to be closely connected and logic programs have been extended to include both explicit and implicit negation);metalevel reasoning (the first steps have been taken to clarify the semantics of different ways of combining object languages and metalanguages in logic programming and a programming language, Goedel, with declarative metaprogramming facilities has been defined);program development, analysis and transformation (connections have been found between program transformation methods using specialisation of metainterpreters, compiling control, and proofs as programs).A number of new research opportunities have also been identified involving the possiblity of developing object oriented deductive databases using the work on structured types. Links between theory construction techniques and the transformation of rules and exceptions into ordinary logic programs have been identified, as well as links between inductive proof methods used in proof plans and the methods used in program transformation and in program derivation by integrity checking.APPROACH AND METHODS To improve knowledge representation and problem-solving power, a number of extensions of logic programming were developed. These include the use of constraints, structured types, hypothetical reasoning, and meta-level reasoning. The techniques of knowledge assimilation, meta-level reasoning and of program analysis and transformation are being advanced to improve the development and maintenance of programs, databases, and knowledge represented as extended logic programs. PROGRESS AND RESULTS Progress has been made in the following areas: -Language extensions: several numerical problems previously unsolved by computer algebra techniques alone have been solved by Prolog III, and several previously open complexity problems have been solved for structured typed languages. -Knowledge assimilation: previously disconnected methods for view updates, belief revision, default reasoning and abduction have been shown to be closely connected. Logic programs have been extended to include both explicit and implicit negation. -Meta-level reasoning: the first steps have been taken to clarify the semantics of different ways of combining object languages and metalanguages in logic programming. A programming language, Gdel, with declarative metaprogramming facilities has been defined. -Program development, analysis and transformation: connections have been found between program transformation methods using specialisation of meta-interpreters, compiling control, and proofs as programs. A number of new research opportunities have also been identified. For example, the possibility of developing object-oriented deductive databases using the work on structured types is being investigated. Links between theory construction techniques and the transformation of rules and exceptions into ordinary logic programs have been identified, as well as links between inductive proof methods used in proof plans and the methods used in program transformation and in program derivation by integrity checking. POTENTIAL COMPULOG is extending the logic programming paradigm using enhancements from computer algebra, database systems, artificial intelligence and mathematical logic. The outcome of the Action will lead to the development of an improved computer language combining programs, databases and knowledge representation. Plans have begun to integrate a number of different techniques within a unified framework, based upon a prototype of the Gdel language. Campo scientifico natural sciencescomputer and information sciencessoftwarenatural sciencescomputer and information sciencesdatabasesnatural sciencesmathematicspure mathematicsdiscrete mathematicsmathematical logicnatural sciencescomputer and information sciencesknowledge engineeringnatural sciencesmathematicspure mathematicsalgebra Programma(i) FP2-ESPRIT 2 - European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992 Argomento(i) Data not available Invito a presentare proposte Data not available Meccanismo di finanziamento Data not available Coordinatore IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE Contributo UE Nessun dato Indirizzo Queens Gate 180 SW7 2BZ LONDON Regno Unito Mostra sulla mappa Costo totale Nessun dato Partecipanti (14) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto ADER Francia Contributo UE Nessun dato Indirizzo 118 rue Edmond Rostand 13006 Marseille Mostra sulla mappa Costo totale Nessun dato EUROPEAN COMPUTER IRC Germania Contributo UE Nessun dato Indirizzo ARABELLASTRAßE 17 81925 München Mostra sulla mappa Costo totale Nessun dato KATHOLIEKE UNIVERSITEIT LEUVEN Belgio Contributo UE Nessun dato Indirizzo CELESTIJNENLAAN, 200D 3030 HEVERLEE Mostra sulla mappa Costo totale Nessun dato RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN (RWTH) Germania Contributo UE Nessun dato Indirizzo ROLANDSTRAßE 7-9 52070 AACHEN Mostra sulla mappa Costo totale Nessun dato TECHNISCHE UNIVERSITAET KAISERSLAUTERN Germania Contributo UE Nessun dato Indirizzo Erwin Schroedinger Strasse 46 67663 KAISERSLAUTERN Mostra sulla mappa Costo totale Nessun dato UNIVERSIDAD NOVA DE LISBOA Portogallo Contributo UE Nessun dato Indirizzo QUINTA DA TORRE 2825 MONTE DA CAPARICA Mostra sulla mappa Costo totale Nessun dato UNIVERSITY OF EDINBURGH Regno Unito Contributo UE Nessun dato Indirizzo OLD COLLEGE, SOUTH BRIDGE EH8 9YL EDINBURGH Mostra sulla mappa Costo totale Nessun dato UNIVERSITÄT PASSAU Germania Contributo UE Nessun dato Indirizzo INNSTRAßE 33 94032 PASSAU Mostra sulla mappa Costo totale Nessun dato UNIVERSITÄT TÜBINGEN Germania Contributo UE Nessun dato Indirizzo AUF DER MORGENSTELLE 10C9 72076 TÜBINGEN Mostra sulla mappa Costo totale Nessun dato University of Bristol Regno Unito Contributo UE Nessun dato Indirizzo Tyndall Avenue BS8 1TH Bristol Mostra sulla mappa Costo totale Nessun dato University of Uppsala Svezia Contributo UE Nessun dato Indirizzo 75121 Uppsala Mostra sulla mappa Costo totale Nessun dato Università degli Studi di Pisa Italia Contributo UE Nessun dato Indirizzo Lungarno Pacinotti 43 56100 Pisa Mostra sulla mappa Costo totale Nessun dato Università degli Studi di Roma 'La Sapienza' Italia Contributo UE Nessun dato Indirizzo Via Eudossiana 18 00184 Roma Mostra sulla mappa Costo totale Nessun dato Université d'Aix-Marseille II Francia Contributo UE Nessun dato Indirizzo ROUTE LEON LACHAMP LUMINY 13288 MARSEILLE Mostra sulla mappa Costo totale Nessun dato