|
|
|
|
|
|
|
|
|
Логика второго порядка
Глоссарий по искусственному интеллекту |
Формальная система, в которой допускается, что кванторы общности и существования могут связывать не только индивидные переменные, но и предикатные или иные функциональные символы.
|
|
Существования, русский
Пищи, воды, воздуха, тепла, света и др
|
Логика пространственная, русский
Формальная система, в которой использованы аксиомы, характерные для описания возможных расположений объектов в трехмерном (или двумерном) пространстве, расстояний между ними и локов. л.п. позволяют проводить рассуждения о пространственном расположении и взаимосвязи объектов для случая абсолютной и относительной системы координат и для случая, когда такие переменные, как расстояние, размер лока или характеристики взаимного расположения предметов, заданы в виде лингвистических переменных. в л.п. выделяют логику расстояний и логику взаимного положения предметов в метрическом и топологическом (размытом) вариантах.
Исчисление пропозициональное, русский
Формальная система, базовыми элементами которой являются высказывания - нерасчлененные предложения, относительно которых в каждый данный момент можно утверждать, что они являются либо абсолютно истинными, либо абсолютно ложными. и.п. изучает связи между этими высказываниями, которые задаются логическими связками: отрицанием, дизъюнкцией, конъюнкцией, импликацией и др. и.п. является аксиоматической системой, и для классического и.п. все аксиомы являются тождественно истинными высказываниями, а правила вывода не меняют этого свойства. с помощью и.п. порождаются все тождественно истинные высказывания и только они.
|
|
|
|
|
|
|