Cтраница 1
Логика предикатов представляет собой развитие алгебры высказываний. [1]
Логика предиката конфликтное назначение / 2 состоит в том, что противоречие проявляется, если Существующая нагрузка определена для периода Р, а Р перекрывается с периодом для нового поручения. Процедура несовпадение / 2 говорит о том, что новая нагрузка перекрывает существующую, если время ее начала наступает раньше времени окончания существующей нагрузки, а время ее окончания наступает после времени начала существующей нагрузки. [2]
Логика предикатов - это язык, который можно интерпретировать в терминах области рассуждений ( экспертизы): логические формулы представляют Фразы метаязыка. [3]
Логика предикатов применима для представления знаний, используемых некоторыми системами ИИ. Однако существуют специфические виды знаний, с трудом представимые языком логики предикатов. Поэтому мы ввели неклассические ( модальную и временную) логики и альтернативные ( сетевое и объектное) представления. [4]
Логика предикатов уже была использована в языках описания данных для определения агрегатов данных, что позволило организовать обращение только к действительно необходимым данным. [5]
Логика предикатов представляет собой расширение логики высказываний, которое позволяет, в частности, учитывать структуру атомарных формул. [6]
Логика предикатов [36] представляет собой дальнейшее развитие алгебры высказываний, при котором исследуются операции с высказываниями, отнесенные к предметам. [7]
Логика предикатов / / Большая Советская Энциклопедия, 3 - е издание. [8]
Переменные логики предикатов бывают свободные и связанные. Первые могут быть заменены некоторыми константами, вторые - не могут. Например, в формуле А ( х) - - В ( х) переменная А является свободной, а в формуле V.i H / / P ( x, у), обозначаю-ще. Суиественное свойство кванторов состоит в преобразовании свободных переменных в связанные. [9]
Предметной переменной логики предикатов называется переменная, принимающая значения, принадлежащие некоторой области переменных D, называемой предметной областью. Например, в системах логического управления предметную область могут образовать дискретные моменты времени. [10]
Для логики предикатов определим понятия терма, атома и формулы. [11]
Язык логики предикатов, используя содержащиеся в нем логические связки и кванторы, позволяет формализовать большинство разговорных фраз. [12]
Целью логики предикатов является описание класса всех общезначимых формул. При этом в качестве аксиом выбираются нек-рые общезначимые формулы, а правила вывода позволяют из общезначимых формул получать новые общезначимые формулы. [13]
Основы логики предикатов 1-го порядка и фразы Хорна. [14]
В логике предикатов большой интерес вызывает теорема дедукции. PrL может привести к неожиданным результатам. [15]