нанимателем Ричарда?
Employs(х,Richard) Кто является нанимателем Ричарда?
Employs(AIMA.org,у) Для кого является нанимателем
"Научная работа должна открывать завесу тайн и находить новые парадоксы." Георгий Александров
Employs(х,Richard) Кто является нанимателем Ричарда?
Employs(AIMA.org,у) Для кого является нанимателем
Прямой и обратный логический вывод
ЭФФЕКТИВНЫЙ ПРОПОЗИЦИОНАЛЬНЫЙ ЛОГИЧЕСКИЙ ВЫВОД
Трудные задачи определения выполнимости
АГЕНТЫ, ОСНОВАННЫЕ НА ПРОПОЗИЦИОНАЛЬНОЙ ЛОГИКЕ
Слежение за местонахождением и ориентацией
Агенты на основе логических схем
Сопоставление двух описанных типов агентов
БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕТКИ
СИНТАКСИС И СЕМАНТИКА ЛОГИКИ ПЕРВОГО ПОРЯДКА
ИСПОЛЬЗОВАНИЕ ЛОГИКИ ПЕРВОГО ПОРЯДКА
ИНЖЕНЕРИЯ ЗНАНИЙ С ПРИМЕНЕНИЕМ ЛОГИКИ ПЕРВОГО ПОРЯДКА
Проблемная область электронных схем
БИБЛИОГРАФИЧЕСКИЕ И ИСТОРИЧЕСКИЕ ЗАМЕТКИ
ЛОГИЧЕСКИЙ ВЫВОД В ЛОГИКЕ ПЕРВОГО ПОРЯДКА
Правила логического вывода для кванторов
Приведение к пропозициональному логическому выводу
Простой алгоритм прямого логического вывода
Эффективный прямой логический вывод
Инкрементный прямой логический вывод
Эффективная реализация логических программ
Избыточный логический вывод и бесконечные циклы
Логическое программирование в ограничениях
Конъюнктивная нормальная форма для логики первого порядка
Правило логического вывода с помощью резолюции
© 2007 - 2012 All rights reservedPictoris.ru