Значение - предложение
Cтраница 2
Здесь английская отрицательная конструкция передается русской утвердительной, а глагол say сказать заменяется его русским антонимом промолчать. Такая двойная замена знака дает в итоге то же самое значение предложения в целом. [16]
Данн [1975] показал, что достаточно рассматривать сохранение истинности, так как если некоторый вывод не всегда сохраняет не-ложность, то, как это может быть показано с помощью несложных технических приемов, он также не может сохранить истинность. Для этого достаточно взять оценку пропозициональных переменных с взаимной заменой Both и None, оставляя без изменений Т и F, и показать, что значение любого составного предложения изменяется таким же образом. [17]
Во-первых, подцели устанавливаются не в той форме, в которой они появились в предпосылке, а в некоторой обобщенной форме. Если, например, неизвестно значение предложения идентифицирован ли микроорганизм как E. При установлении обобщенной цели выбираются сразу все возможные значения атрибута. Правомерность такого подхода обусловлена тем, что в ходе исчерпывающего поиска системе все равно придется рассмотреть все варианты. При этом могут выполняться лишние вычисления, однако в случае запрашивания значения параметра у пользователя ( см. ниже) поведение системы выглядит более разумным с точки зрения человека. Действительно, система вместо серии вопросов: Значение атрибута X равно значению У. [18]
После проверки значения переменной JobTitle управление программой переходит к первому предложению CASE. Если значение истинно ( т.е. JobTitle Office Clerk), выполняется указанное действие. В случае, если первое предложение CASE не истинно, проверяется следующее предложение, пока не встретится правильное значение. Когда значение предложения CASE удовлетворяет тестовому выражению и указанные действия выполнены, управление программой переходит к следующему после END CHOOSE оператору. [19]
 |
Испорченный телефон при формировании поля знаний. [20] |
Структура Sf включает понятия предметной области А и моделирует основные функциональные связи RA или отношения между понятиями, образующими Sk. Эти связи отражают модель или стратегию принятия решения в выбранной ПО. Семантика, придающая определенное значение предложениям любого формального языка, определяется на некоторой области. Фактически это набор правил интерпретации предложений и формул языка. Семантика L должна быть композиционной, то есть значение предложения определяется как функция значений его составляющих. [21]
Вывод, который следует сделать из такой нелепой ситуации, сводится к тому, что предложение такого рода принципиально не может быть ни доказано, ни опровергнуто в пределах того языка, на котором оно изложено. А ведь люди, гордящиеся своим здравым смыслом, часто говорят, что единственным мерилом того, заслуживает ли какое-либо предложение внимания, является то, выполнимо ли это предложение так, как оно утверждает. А что, если это предложение является предложением Геделя. По существу, вполне вероятно, что некоторые на первый взгляд безупречные рассуждения, которые практически мыслящий человек считает выражением здорового здравого смысла, в терминах логики являются громадными, разветвленными предложениями Геделя. Но эта крамольная мысль высказана здесь нами лишь попутно. Практическая иллюстрация значения предложения Геделя для сферы производства дана в начале следующей главы. [22]
Страницы: 1 2