Cтраница 1
Исчисление предикатов первого порядка является адекватной системой для представления любого знания, которое люди в состоянии формализовать. [1]
Для исчисления предикатов первого порядка не существует общего метода установления общезначимости льЗых формул, т.е. исчисление предикатов первого порядка является неразрешимым. Однако если некоторая формула исчисления предикатов общезначима, то существует процедура для проверки ее общезначимости, т.е. исчисление предикатов можно назвать полуразрешимым. Упомянутые выше метод резолюции [ Робинсон, 1965 ] и обратный метод [ Маслов, 1964 ] являются наиболее известными методами доказательства теорем. [2]
В исчислении предикатов первого порядка для формализации услсвий для всех х или существует х над предметными переменными определены кванторы или квантификаторы ( все) обо ( - HOCIU V и существования Я. В качестве символа квантора ( вес) общности используется перевернутая буква А - первая буква 1емецкого слова Alle ( все), а квантора существования - перевернутая буква Е - первая буква немецкого глагола Existie-геп - существовать. [3]
Напомним, исчисление предикатов первого порядка называется чистым, если в нем нет функциональных символов и предметных констант. Кванторы связывают только предметные переменные. [4]
Так как исчисление предикатов первого порядка полу разрешимо, то для выполнимого множества дизъюнктов S в общем случае процедура, основанная на принципе резолюции, будет работать бесконечно долго. [5]
Проблема истинности исчисления предикатов первого порядка неразрешима. [6]
Дается описание исчисления предикатов первого порядка как сети Петри. [7]
Предлагаемая нами аксиоматизация исчисления предикатов первого порядка исходит по существу от Гильберта и Аккермана. [8]
Речь идет об исчислении предикатов первого порядка. [9]
Известно, что для исчисления предикатов первого порядка не существует общего метода установления общезначимости любых формул, т.е. исчисление предикатов первого порядка является неразрешимым. Однако если некоторая формула исчисления предикатов общезначима, то существует процедура для проверки ее общезначимости, т.е. исчисление предикатов можно назвать полу разрешимым. [10]
Ниже приведены синтаксические правила исчисления предикатов первого порядка. [11]
Как мы уже упоминали, исчисление предикатов первого порядка является примером неразрешимой формальной системы. [12]
Логическая модель основана на системе исчисления предикатов первого порядка. [13]
Система аксиом и правила вывода исчисления предикатов первого порядка не приводятся, так как в последующем материале они не используются. [14]
Логические исчисления в большинстве случаев ограничиваются исчислением предикатов первого порядка. [15]