Objectif
Research objectives and content With my doctoral work I believe to have proposed advancements to the theory of actions and change in the field of knowledge representation: i) the definition of specification languages that capture increasingly-complex aspects of reasoning about actions, in particular the treatment of actions actually occurred in the domain and hypothetical actions was reconciled; ii)the discussion and formalization of causal explanations. These specification languages may be seen as logics of actions, in the sense that they have an ad hoc model theory and a notion of entailment. The emphasis, however, was on the computer science aspects, e.g. the ability of a formalization to assimilate a change in the domain by simple addition of facts and the ability to describe actions intended to be performed by an autonomous agent. Yet these languages have a rather limited expressive power. Two notable limitations are: i) only fluents with boolean values are allowed, and therefore representing continuously changing values, e.g. position, becomes impractical; ii) there is no direct way to specify the performance of a repetition of actions so as to achieve/maintain a certain state. The latter, which is instead unproblematic in process specification languages, has not yet suggested a cross-fertilization of ideas between knowledge representation and concurrency. In my stay at Queen Mary and Westfield college I intend to study solutions to the two issues above. This undertake involves also a change in methodology, as I am going to follow a more a experimental track, i.e. to draw a research agenda which is based on experiences in specifying small-scale realistic agents. Training content (objective, benefit and expected impact) The time allocated for the project seems sufficient to bring us to the definition of the extended language, implementation of a prototype interpreter and experimental application to governing of a wandering robot that should already be available at Queen Mary and Wetsfield.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles mathématiques mathématiques pures mathématiques discrètes logique mathématique
- sciences naturelles informatique et science de l'information ingénierie de la connaissance
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Données non disponibles
Coordinateur
54006 Thessaloniki
Grèce
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.