Школы

Школы
НПЦ «Байкал»

Подробнее >

Конкурсы

Конкурсы НПЦ "Байкал"

Все конкурсы >

Результаты >

Работы

Трёхмерная модель
озера Байкал

Видеоролики трехмерной модели >

О Байкале

Вопросы и ответы, музыка названий, фотогалерея...

Подробнее >

Научно-просветительский центр Байкал

Проекты Учебные курсы Библиотека Конференции, семинары Конкурсы

Научно-образовательные проекты

ГИС-технологии и информационные методы в исследованиях Байкала

Публикация

Название: 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.