Combining action and process specification for high-level agent control
4РП — Обучение и мобилност на изследователи
- Период
- —
- Финансиране от ЕС
- —
- Участници
- 1
- Схема
- —
Линиите свързват координатора с партньорите.
Накратко на български
Езиците за управление на автономни агенти се развиват, за да описват непрекъснати промени, като например движението на робот в пространството. Това помага за по-точното планиране на повтарящи се действия и по-доброто представяне на реални процеси в компютърните системи.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
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.
Оригинален текст от CORDIS (на английски).
Участници
- Aristotle University of Thessaloniki · ThessalonikiКоординаторГърция
Връзки
Данни: CORDIS, © Европейски съюз