О стратегии поиска доказательства теорем в искусственных системах. Сообщение 1.
Завантаження...
Дата
1981
Автори
Ловицкий, В. А.
Баренбойм, М. С.
Назва журналу
ISSN журналу
Назва тому
Видавець
Анотація
В последние годы интенсивно развивается подход, основанный на использовании узкого исчисления предикатов при построении естественно-языковых искусственных систем. В настоящей работе предлагаются новые приемы автоматизированного поиска решения задач из исчисления предикатов 1-го порядка.
Опис
Ключові слова
предикаты, естественно-языковая искусственная система
Цитування
Ловицкий В. А. О стратегии поиска доказательства теорем в искусственных системах. Сообщение 1. / В. А. Ловицкий, М. С. Баренбойм // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1981. – Вып. 27. – С. 28-33.