|
Автоматика и телемеханика, 1993, выпуск 9, страницы 136–153
(Mi at3019)
|
|
|
|
Моделирование поведения и интеллекта
Дедуктивный вывод с использованием необходимых и достаточных условий выводимости в исчислении предикатов первого порядка
С. И. Тищенко Москва
Аннотация:
Даются необходимые и достаточные условия выводимости в рамках исчисления предикатов первого порядка. С использованием этих условий формируются конечные алгоритмы проверки существования строгого логического вывода заключения из группы посылок, пригодные для создания прикладных машин вывода.На примере доказательства известных силлогизмов демонстрируется работоспособность предложенных алгоритмов.
Поступила в редакцию: 07.09.1992
Образец цитирования:
С. И. Тищенко, “Дедуктивный вывод с использованием необходимых и достаточных условий выводимости в исчислении предикатов первого порядка”, Автомат. и телемех., 1993, № 9, 136–153; Autom. Remote Control, 54:9 (1993), 1416–1430
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at3019 https://www.mathnet.ru/rus/at/y1993/i9/p136
|
Статистика просмотров: |
Страница аннотации: | 123 | PDF полного текста: | 68 | Первая страница: | 2 |
|