Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
November 02 2024 03:09:58   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 34103
Учимся удалять!... 32253
Примеры, синони... 23560
Просмотр готовы... 22852
Декартовы коорд... 22532
FAST (методика ... 21598
содержание - се... 20899
Просмотр готовы... 19600
Работа с инстру... 15055
Сейчас на сайте
Гостей: 1
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi
Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
Общая схема вывода
Опишем общую схему выводов, лежащую в основе большого количества моделей человеческих достоверных рассуждений. Она приведена на рис. 19. Обратим сначала внимание на рис. 19, а . На нем показано некоторое дерево вывода . Вершинам этого дерева соответствуют определенные утверждения F i , а дуги определяют порядок получения новых утверждений. Те дуги, которые сходятся в зачерненные точки, образуют конъюнктивные условия вывода , а те дуги, которые между собой соединены «дужкой», образуют дизъюнктивные условия вывода . Например, получение утверждения F 9 возможно двумя путями. Если доказаны утверждения F 2 и F 3 , то F 7 следует из их доказанности, F 6 из доказанности F 2 и F 9 из доказанности F 6 и F 7 . Другой путь доказательства F 9 вытекает из априорной доказанности F 3 или F 4 . Любого из этих фактов достаточно для вывода F 8 , который обеспечивает выводимость F 9 .
Рис. 19.
Дерево вывода с такими условиями переходов от вершины к вершине носит название И-ИЛИ дерева . В И-ИЛИ дереве ориентация дуг показывает направление вывода. Естественное разбиение вершин дерева по ярусам отражает глубину вывода (число шагов, необходимых для получения утверждений данного яруса). Первый ярус дерева образуют вершины (на рис. 19, а это вершины F 1 , F 2 , F 3 , F 4 ), играющие роль аксиом или утверждений, истинность которых задается извне.
Схема вывода не обязательно описывается в виде дерева. Она может иметь вид произвольной сети, ориентированной, неориентированной или частично ориентированной. На рис. 19, б показан пример неориентированной сети. Такая сеть (наличие или отсутствие ориентации не играет здесь роли) называется И-ИЛИ сетью . Процесс вывода на И-ИЛИ сети протекает следующим образом. Пусть мы хотим доказать утверждение ? 6 (на рис. 19, б этому соответствует целевая вершина ). В качестве априорно доказанного задано утверждение ? 1 (ему соответствует начальная вершина, которая на рис. 19, б заштрихована). Как из ? 1 можно получить ? 6 ? Если считать, что все связи допускают ориентацию в нужную сторону, то из ? 1 можно получить ? 3 , затем ? 5 и, наконец, ? 6 . Но этот путь нам удалось отыскать потому, что сеть, показанную на рис. 19, б , мы видим «с птичьего полета». Лабиринт поиска лежит в виде чертежа перед нами. Именно это позволяет нам не делать лишних попыток, не двигаться в ненужную сторону, а идти кратчайшим путем к цели.
Подобная ситуация приятна, но редко встречается в действительности. При решении любой задачи, даже если заранее известен ее ответ, к которому надо стремиться (для школьника эта ситуация с подглядыванием в ответ до решения задачи весьма типична), мы не видим перед собой полного лабиринта возможностей. Мы пытаемся построить этот лабиринт, видя лишь начальные «площадки лабиринта» и не зная, что лежит между ними и «целевыми площадками». В нашем примере мы стоим на начальной площадке, в вершине ? 1 , и не знаем, куда идти. Мы делаем попытку перейти в ? 2 (т.е. вывести утверждение), но видим, что этого нельзя сделать. Тогда мы движемся в сторону утверждения ? 3 и обнаруживаем, что его доказательство возможно. Теперь в нашем распоряжении две площадки лабиринта: ? 1 и ? 3 . Из ? 3 можно двигаться в четырех направлениях. Одно из них, ведущее назад к ? 1 , интереса не представляет. Попытка продвинуться к ? 2 и ? 5 оказывается успешной. Возникает новый фронт достигнутых площадок (доказанных утверждений). Теперь его образуют ? 2 , ? 3 и ? 5 . Площадка ? 1 исключается из активного фронта, так как использованы все связи этой площадки с другими площадками лабиринта. На следующем шаге достигаются площадки ? 4 и ? 6 . Наличие среди доказанных выражений целевого ? 6 позволяет завершить процесс доказательства. После этого можно произвести «чистку», в результате которой останется лишь тот путь, который кратчайшим образом приводит от начального утверждения ? 1 к целевому ? 6 .
На примере мы описали процедуру, которая, как легко видеть, носит универсальный характер и пригодна для поиска пути вывода в лабиринтах произвольного типа. Эта процедура известна среди специалистов под названием метода прямой волны . Волна поиска путей к целевой площадке распространяется от всех площадок, играющих роль начальных.
Возможен и другой способ поиска доказательства. Он носит название метода обратной волны . В этом методе волна начинает свое движение от целевых площадок и движется в направлении начальных площадок лабиринта. Для нашего случая на первом шаге была бы порождена площадка, соответствующая ? 5 , вслед за этим ? 3 и ? 1 . На этом движение волны прекратилось бы, так как ее фронт достиг всех (в данном случае единственной ? 1 ) начальных площадок.
Различие между прямой и обратной волной состоит в том, что они порождают в процессе своего движения различные промежуточные «фронты» площадок, что приводит к различному числу шагов при поиске. Часто используется смешанный метод вывода, при котором одновременно движутся прямая и обратная волны. При встрече этих волн формируется путь вывода от начальных аксиом к целевым выражениям.
Несколько иной разновидностью схем вывода являются так называемые альтернативные деревья или альтернативные сети . В этих схемах выбор дальнейшего пути движения зависит от того, достигнут или не достигнут вывод некоторого выражения. Другими словами, попытки продвижения по лабиринту, которые мы демонстрировали на методе прямой волны при удачах и неудачах, могут влиять на стратегию дальнейшего движения. Такие схемы вывода мы более подробно рассмотрим в пятой главе. Здесь же лишь проиллюстрируем рассуждение такого типа на примере.
В знаменитом рассказе «Убийство на улице Морг» Эдгара По сыщик-любитель Огюст Дюпен помещает в газете объявление о находке орангутанга, который, по слухам, принадлежит матросу мальтийского корабля. На вопрос о причинах такого объявления Огюст Дюпен отвечает следующим образом:

«Но вот обрывок ленты, посмотрите, как она засалена, да и с виду напоминает те, какими матросы завязывают волосы. К тому же таким узлом мог завязать ее только моряк, скорее всего мальтиец. Я нашел эту ленту под громоотводом. Вряд ли она принадлежала одной из убитых женщин. Но даже если я ошибаюсь и хозяин ленты не мальтийский моряк, то нет большой беды в том, что я сослался на это в моём объявлении. Если я ошибся, матрос подумает, что кто-то ввел меня в заблуждение, и особенно задумываться тут не станет. Если же я прав, – это козырь в моих руках. Как очевидец, хоть и не соучастник убийства, француз, конечно, не раз подумает, прежде чем пойти по объявлению. Но вот он станет рассуждать: „Я не виновен, к тому же я человек бедный; орангутанг и вообще-то в большой цене, а для меня это целое состояние, зачем же терять его из-за пустой мнительности. Вот он, рядом, только руку протянуть. Его нашли в Булонском лесу, далеко от места, где произошло убийство. Никому в голову не придет, что такие страсти мог натворить дикий зверь. Полиции ввек не догадаться, как это случилось. Но хотя бы обезьяну и выследили – попробуй докажи, что я что-то знаю; а хоть бы и знал, я не виноват. Главное, кому-то я уже известен. В объявлении меня так и называют владельцем этой твари. Кто знает, что этому человеку еще про меня порассказали. Если я не приду за моей собственностью, а ведь она больших денег стоит, да известно, что хозяин – я, на обезьяну падет подозрение. А мне ни к чему навлекать подозрение, что на себя, что на эту бестию. Лучше уж явлюсь по объявлению, заберу орангутанга и спрячу, пока все не порастет травой“».

Читателю предлагается построить по этому тексту альтернативное дерево рассуждений владельца орангутанга.
И последнее замечание к тексту этой главы. Конечно, не надо считать дедуктивные схемы рассуждений панацеей для всех случаев. Метод, обычно приписываемый Шерлоку Холмсу, не всегда ведет к успеху.
Для многих читателей имя Шерлока Холмса навсегда связано с изяществом и неоспоримостью дедуктивного метода рассуждений. Но при внимательном чтении произведений Конан-Дойля легко обнаружить, что знаменитый сыщик пользовался не только дедуктивными рассуждениями. Шерлок Холмс никогда не забывал и об индукции.
Всякое порождение новой версии – это индуктивный шаг. Дедукцией является лишь обоснование выдвинутой версии. А выдвижение новых версий тесно связано с переходом от некоторых частных фактов к общим утверждениям относительно их, т.е. с правдоподобными рассуждениями. И настало время перейти к их обсуждению.
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Настройки телефона...
Одометр
Строка текущего со...
Непосредственный в...
12.3.2 Реализация ...
9.1.2.2 Выгрузка с...
9.1 СВОПИНГ
Благодарности
3. SADT-технология...
Как правильно уста...
10.3.1 Символьные ...
Опции QoS
Протоколы канально...
Иерархическая база...
Выполняемые операции
5.14 МОНТИРОВАНИЕ ...
10.6 УПРАЖНЕНИЯ
7.3.3. Концепции, ...
Программное обеспе...
Квадратурно-амплит...
4.10 Технология fr...
Всем ребятам — при...
Спидометр
Функциональный пример
10.3.7 Вход в систему
4.7 ВЫДЕЛЕНИЕ ДИС...
ССЫЛКИ НА ИСПОЛЬЗУ...
Дисплей
Великолепный Linux...
Измерения и анализ
11.6 УПРАЖНЕНИЯ
2.5 ВЫВОДЫ И ОБЗОР...
Своя игра
1.5.3 Распределени...
Декартовы координа...
9. Продукции типа...
Просмотр готовых м...
Носимые аппараты
Дополнительные уст...
Глава 15. FF2112
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009