Cтраница 1
Внешние вопросы устанавливают действительное содержимое базы знаний. Утверждения типа: температура является признаком лихорадки и значение температуры может быть 102 градуса по Фаренгейту являются примерами внешнего знания. Внутренние вопросы, напротив, фокусируются на ходе событий - взаимосвязях между объектами, атрибутами и значениями. Утверждение Если температура 102 градуса, то у пациента лихорадка представляет внутреннее знание. [1]
Сначала я опишу, как выглядит внешний вопрос: система не высвечивает сообщение на дисплее и из ответа пользователя не получает его значение, а вызывает процедуру на языке Паскаль, которая и дает вероятность или число, помещаемое - системой в качестве текущего значения для этого вопроса. Внешние вопросы могут использоваться многими способами. Они могут употребляться для переговоров с каким-то блоком оборудования или для обеспечения иктерфейса с некоторой базой данных. [2]
Естественно, что эти внутренние вопросы связаны в значительной степени с рассмотренными выше внешними вопросами о характере выполняемых ХП функций, отражающими подход потребителя этих приборов, и характере выдаваемой ими хронометрической информации. [3]
Будучи убежден в том, что люди верят в преодоление всяких препятствий, существующих для безграничного умножения рода человеческого, я уже в своих Заветных мыслях ставлю вопросы о народонаселении на первый план между всеми другими внешними вопросами человеческого общения и полагаю, что не только наука ( особенно же науки экономические), но и политика, даже религия и понятия о прекрасном должны поставить задачу народонаселения на первейший план. Ее забве-ние составляет одну из ошибок мышления, которая, по моему мнению, объясняет немалое число мировых погрешностей. [4]
Сначала я опишу, как выглядит внешний вопрос: система не высвечивает сообщение на дисплее и из ответа пользователя не получает его значение, а вызывает процедуру на языке Паскаль, которая и дает вероятность или число, помещаемое - системой в качестве текущего значения для этого вопроса. Внешние вопросы могут использоваться многими способами. Они могут употребляться для переговоров с каким-то блоком оборудования или для обеспечения иктерфейса с некоторой базой данных. [5]
Однако на практике мы обнаружили, что время от времени конструктор модели выдвигает некоторые уникальные требования, которые не могут быть удовлетворены в том варианте системы, который мы описали. Поэтому мы включили в систему средство, позволяющее пользователю писать то, что известно под названием внешних функций или внешних вопросов. Они представляют собой процедуры, составляемые конструктором модели обычно на языке Паскаль, которые подсоединяются к системе на этапе ее работы. [6]
Однако Менделеев, гениально угадав роль материальных условий в жизни общества, не дошел до марксистского понимания закономерностей исторической смены ступеней в его развитии. В трудах Менделеева можно найти в отдельных случаях переоценку роли народонаселения в развитии общества. Ставя на первый план производство материальных благ, он в то же время писал: Будучи убежден в том, что люди верят в преодоление всяких препятствий, существующих для безграничного умножения рода человеческого, я уже в своих Заветных мыслях ставлю вопросы о народонаселении на первый план между всеми другими внешними вопросами человеческого общения и полагаю, что не только наука... [7]
С другой стороны, мы проверяем ( доказываем. Таким образом, рассматриваются исключительно внутренние вопросы теории. Вопрос же о справедливости аксиом для единственного интересующего нас объекта - идеализированной модели нашего реального пространства - является внешним для теории и решается исходя из наших интуитивных представлений. В случае же, например, теории булевых алгебр эти внешние вопросы возникают для различных конкретных объектов, причем проверка аксиом каждый раз осуществляется строгими математическими средствами, хотя и лежит за пределами теории. Другими словами, понятие системы аксиом приобретает новый оттенок. Это уже не набор истин, которые мы по каким-то соображениям принимаем без доказательства, а набор тестов, выполнимость которых для какого-нибудь объекта автоматически влечет справедливость целого набора теорем, составляющих данную аксиоматическую теорию. Эта эволюция взгляда на аксиомы лежит в основе широкого применения аксиоматического метода в современной математике. [8]