Cтраница 4
Каждому правительству следует руководствоваться конкретными ( количественными) данными, осуществляя управление обществом. Так, если даются сведения, отражающие число рабочих, которые должны потерять работу, то это число может быть получено использованием некоторой цепочки рассуждений. Конечно, нам не известно, была ли на самом деле использована такая цепочка рассуждений, или это число просто согласуется с ней. Но мы можем быть уверены в том, что если у некоторого политического деятеля затребуют оправдания проводимой им политики, то ответ должен содержать нечто более серьезное в ее поддержку, чем просто соображения морального или политического характера. [46]
Вполне возможно, что читатель придет к тому же ответу другим путем. В этом случае ему необходимо тщательно сравнить свое решение с нашим и попытаться выяснить, правильно ли предлагаемое им решение и не содержит ли оно каких-либо пробелов. Сравнивая решения, следует обращать особое внимание на то, длинна или коротка цепочка рассуждений, ведущая от исходных данных к ответу задачи. [47]
Нейронные сети применимы для решения целого класса задач, где используются не уравнения динамики и даже не столько правила, как в традиционных экспертных системах, сколько опыт. Опытный врач поставит диагноз даже, если симптоматика заболевания искажена и ему не доводилось ранее ее наблюдать или абстрактно осмысливать. Механизм диагностики при этом иногда напоминает скорее распознавание на подсознательном уровне, чем цепочку рассуждений на логическом уровне. Построение экспертных систем, основанных на правилах, или использование логических исчислений для решения указанного класса задач упираются в сложность учета всех мыслимых сочетаний факторов и формализации закономерностей, связывающих условия задачи с результатом. [48]
Изучение хороших программных примеров дает, как. В данной книге такой научной областью, стоящей за большинством примеров, является искусственный интеллект. Читатель узнает о таких идеях в области автоматического решения задач, как сведение задач к подзадачам, прямое и обратное построение цепочки рассуждений, ответы на вопросы как и почему, а также разнообразные методы поиска. [49]
Исходя из второго начала, была доказана теорема Карно и неравенство Клаузиуса. Затем, на основе неравенства Клаузиуса был получен закон возрастания энтропии в адиабатически изолированной системе. Цепочку рассуждений можно провести в обратной последовательности и показать, что из закона возрастания энтропии следует справедливость второго начала термодинамики в формулировках Томсона и Клаузиуса. Необходимо иметь ввиду, что закон возрастания энтропии и постулат второго начала термодинамики равносильны. [50]
Что касается потенциального влияния на окружающую среду, я считаю возражения против трансгенных сортов, содержащих ген Bacillus thuringiensis ( Bt), особенно смехотворными. Не только в научной, но и в популярной литературе не раз описаны удивительные свойства этой бактерии - непревзойденного натурального инсектицида. Однако активисты борьбы с ГМО неустанно поносят введение гена Bt в любые растения, даже невзирая на то, что это позволяет резко сократить применение химикатов и, в отличие от последних, абсолютно безвредно для других животных и человека. Отчасти их возражения сводятся к опасениям, что широкое распространение растений, устойчивых к насекомым-вредителям благодаря введению в их геном гена Bt, вызовет мутацию насекомых, которая в итоге сделает применение подобных биологических инсектицидов неэффективным. Но эта цепочка рассуждений выглядит наивной. Нет никаких научных данных, которые бы заставили усомниться в том, что эта способность гена бактерии даровать растениям защищенность от насекомых-вредителей может быть утрачена, поскольку изменение таких свойств определяется программами динамического скрещивания, в которых участвуют как обычные, так и рекомбинантные ДНК, что надежно избавляет от приобретения вредных для организма качеств при мутациях. Это остается основой всех программ скрещивания и селекции растений на протяжении вот уже 70 лет. [51]
Поскольку мы предполагаем, что оно ложно, то в первых шести утверждениях спортсменке С принадлежит больше ложных высказывании, чем спортсменке В. Но именно в этой части доказательства С говорит только правду. Следовательно, мы приходим ко второму противоречию. Оно возникает гораздо быстрее чем прежнее противоречие, обнаруженное при сравнении одного из полученных выводов с утверждением ( 3): после того как правдивость С установлена, мы получаем возможность сравнивать выводы с утверждением ( 7), а не с утверждением ( 3), и последнее становится лишним. На рис. 236 хорошо видно, сколь длинна цепочка рассуждений, позволяющая утверждать, что С родом из Правдычина. [52]