Syntax and semantics for intelligent knowledge acquisition and information handling formalisms with tractable applications to software design
4РП — Обучение и мобилност на изследователи
- Период
- 1996-02-05 → 1997-08-04
- Финансиране от ЕС
- —
- Участници
- 2
- Схема
- RGI
Линиите свързват координатора с партньорите. За проекти отпреди 2014 г. CORDIS не винаги дава точни координати. Тези точки са на ниво град или държава.
Накратко на български
Логическите структури за обработка на информация се изследват чрез нови математически модели, за да се подобри работата на интелигентни системи при планиране и диагностика. Това помага за създаването на по-ефективен софтуер, който отчита приоритетите на потребителя и разполага с ограничени ресурси.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
Recent research results in Theory of Actions, Database Updating, Belief Revision and Abduction employ stronger, more reasonable and constructive forms of Nonmonotonic Reasoning. However these results do not account for a plethora of basic features of an intelligent system or agent. We propose the study of these formalisms and their extensions by means of more conceptually satisfactory structures, such as metric spaces, and syntactical representations of them. We believe that this study will bring us closer to a description of an intelligent system by taking into account its global preferences. Our approach will b resource-conscious by studying its complexity and by logically characterising it with simple rules. Links with applications to Artificial Intelligence and Knowledge Engineering, such as Planning and Diagnosis, will be investigated.
Оригинален текст от CORDIS (на английски).
Участници
Връзки
Данни: CORDIS, © Европейски съюз