Programming

Логика предикатов

27 фев 2011 02:43
+9
(Текст записи скрыт. Показать...)
Коллеги, подскажите, пожалуйста, может кто сталкивался. Какие есть библиотеки для работы с логическими предикатами, с функциональностью индуктивного и дедуктивного вывода. Язык программирования не важен, важно изучить открытый исходный код.
Отправлено 28.02.2011 в 01:59
Отвечает на сообщение 365388
0
Не совсем понимаю как минусующих, так и плюсущих )

Видимо надо уточнить описание того, что я ищу:
Есть база знаний о мире, оформленная в виде логических высказываний.
Есть оперативная база знаний опыта, тоже в виде логических высказываний.
Есть логическое высказывание, которое нужно доказать.
Нужны алгоритмы, показывающие истинное ли это высказывание на основе вычисления логических предикатов.
Отправлено 28.02.2011 в 19:22
Отвечает на сообщение 365403
0
Спасибо, уже есть интересное. Подожду, может еще кто-нибудь поделится интересным
Списки доступа
  • Подписчики [675]
  • Белый список [19]
  • Черный список [3]
Права доступа
Вы можете читать группу, но не можете отвечать на сообщения и создавать новые темы.
Доступ для остальных:
анонимы : могут читать
новые : могут читать
постоянные : полный доступ

Copyright © 2021 ООО "ДТФ.РУ". Все права защищены.

Воспроизведение материалов или их частей в любом виде и форме без письменного согласия запрещено.

Замечания и предложения отправляйте через форму обратной связи.

Пользовательское соглашение