Ловицкий, В. А.Баренбойм, М. С.2020-01-242020-01-241981Ловицкий В. А. О стратегии поиска доказательства теорем в искусственных системах. Сообщение 2. / В. А. Ловицкий, М. С. Баренбойм // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1981. – Вып. 27. – С. 33-40.http://openarchive.nure.ua/handle/document/10625В последние годы интенсивно развивается подход, основанный на использовании узкого исчисления предикатов при построении естественно-языковых искусственных систем. В настоящей работе предлагаются новые приемы автоматизированного поиска решения задач из исчисления предикатов 1-го порядка.ruискусственная системаестественно-языковая системаArticle