Obiettivo
Reasoning is an integral part of intelligent systems. In reality any such system has to cope with a changing world. This is certainly true for humans, but also for robots, database management systems, human/computer interfaces, programming environments, etc. Hence reasoning must account for change in order to be truly useful in practice.
Logical approaches to artificial intelligence have the advantage of offering a declarative framework for the representation of knowledge. On the other hand, Classical logic, the generally assumed logical theory in AI, was originally conceived for the static world of mathematics, and is not well equipped to deal with the notions of action and change, which are often crucial in the problems that AI is meant to address. Many of the criticisms against the "logicist" view of AI find one of their main motivations in this inadequacy to deal with change. However, recently the AI community has started to consider alternative logical theories which are better equipped to cope with the problems of change. Among such theories are modal logic, temporal logic, Girard's linear logic and Bibel's linear proofs.
The aim of the project is to bring together researchers looking for a satisfying logical account of change, and to examine ways to mechanise the logic in order to implement systems that perform change and systems that reason about change.
The Group focuses on the joint discussion and analysis of problems and aspects of change as they occur in many application domains, eg planning, concurrent systems, multiagent worlds, non-monotonic reasoning, inheritance with exceptions, change and logic programming, and truth-maintenance. Besides smaller informal meetings, the workplan consists of three internal workshops, mainly aimed at interaction among members, and two open workshops, with a public call for participation, aimed at interaction of the Group with the rest of the research community. Expected results are insights into the nature of change as well as the elaboration of logical frameworks able to provide common views of various aspects of change.
POTENTIAL
This project can potentially foster the foundation of novel programming paradigms, suitable for a declarative approach to complex computational tasks. These paradigms may lead to the design and implementation of concrete programming languages and environments whose declarativity can have a big impact on the reliability and production cost of large software systems.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione intelligenza artificiale
- scienze naturali informatica e scienze dell'informazione basi di dati
- scienze naturali informatica e scienze dell'informazione software software applicativi software di sistema
- scienze naturali matematica
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Dati non disponibili
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Dati non disponibili
Coordinatore
2825 MONTE DA CAPARICA
Portogallo
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.