Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información inteligencia artificial
- 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
- ciencias naturales matemáticas
Para utilizar esta función, debe iniciar sesión o registrarse
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Datos no disponibles
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Datos no disponibles
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Datos no disponibles
Coordinador
2825 MONTE DA CAPARICA
Portugal
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.