|
|
|
|
|
|
|
|
|
Пресупозиция
Глоссарий по искусственному интеллекту |
Высказывание, истинность которого является предпосылкой истинности или ложности другого высказывания. например, два высказывания "кеплер умер в нищете" и "кеплер умер не в нищете" имеют одну и ту же пресуппозицию, что кеплер существовал.
|
|
Высказывание, русский
- Оформленная в речи законченная мысль, смысл которой находится в зависимости от конкретной или воображаемой ситуации.
- , мысль, выраженная повествовательным предложением и могущая быть истинной или ложной; в языкознании - единица речевого общения, оформленная по законам данного языка.
- – передача, воспроизведение в словесной форме тех или иных обстоятельств дела, которые всегда бывают обусловлены временем, интересом, воображением, намерением, аффектом, окружающей средой, возрастом, полом и т.д. (см. также предикат, предложение). в логистике высказыванием называют языковое выражение, которое может высказываться (утверждаться) самостоятельно и предполагает наличие содержания, определяющего характер высказывания, т.е. его истинность или ложность. функтор высказывания – функтор, аргументами которого могут быть только высказывания или формы высказывания. и счисление высказываний- см. логистика.
- Логическое выражение, относительно которого всегда можно утверждать, что оно либо истинно, либо ложно.
- Повествовательное предложение, взятое вместе с выражаемым им смыслом, к которому могут быть применимы критерии истинности
Истинность, русский
|
Высказывание атомарное, русский
Высказывание, структура которого далее не расчленяема. в формальных системах в.а. соответствуют базовые элементы. интерпретация истинности в.а. задается для формальной системы извне и на этой основе определяется интерпретация всех правильно построенных формул формальной системы.
Формула атомарная, русский
Выражение вида н(t1, t2,..., tm), где н - m-местный предикат, ti - термы.
|
|
|
|
|
|
|