Научно-просветительский центр “Байкал“
 Проекты |
Учебные курсы |
Библиотека |
Конференции, семинары |
Конкурсы |
Научно-образовательные проекты
ГИС-технологии и информационные методы в исследованиях Байкала
Публикация
Название: Logic Programming in Knowledge Domains
Автор(ы): Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh
Аннотация: We propose an approach to combining logic programming and knowledge representation paradigms. This approach is based on the conception of description terms. LP and KR are integrated in such a way that their underlying logics are carefully separated. A core idea here is to push the KR techniques on the functional level. On the LP level the knowledge base is considered as a constraint store, in which special propagation methods are ruling. ANCC calculus that handles description terms is developed as an underlying inference system for propagation. On the basis of this formalism, a constraint logic programming language integrating both LP and KR approaches is designed.
Библиографическое описание: Logic Programming in Knowledge Domains / Andrei Mantsivoda, Vladimir Lipovchenko, Anton Malykh // ICLP 2006, LNCS 4079 - 0451.
Тип публикации: статья
Загрузить документ iclp06l.ps (0.27 Mb)
Внимание! Если Вы обнаружили ошибку в тексте, пожалуйста, выделите ее и нажмите Ctrl+Enter.
