Логический вывод

Cтраница 3

Подсистема логического вывода ( решатель) является системой манипулирования знаниями и выполняет периодическое заполнение значений характеристик, отображающих основные параметры технологического процесса и состояния оборудования энергоблока. [31]

Методика логического вывода на основе прецедентов, которой была посвящена глава 22, позволяет решить новую проблему, адаптируя ранее полученные решения аналогичных проблем. Эта же методика может быть использована и для обучения, поскольку если уж ранее сформированное решение адаптировано применительно к новой проблеме, его можно добавить в базу прецедентов для использования в будущем. [32]

Правила логического вывода, теория ориентированных графов и математическая логика были изобретены задолго до появления такой области исследований, как искусственный интеллект. Но именно исследования в этой области позволили адаптировать формальный аппарат этих теорий к задачам представления знаний и отыскать высокоэффективные средства их реализации. Развитие современных продукционных, объектно-ориентированных систем и систем процедурной дедукции в значительной мере определяется такими приложениями искусственного интеллекта, как проблемы классификации и конструирования, описанные в ряде глав данной книги. [33]

Процедура логического вывода обычно представляет совокупность процедур обработки сети. [34]

Структура системы пополнения знаний. [35]

Методы логического вывода являются одними из основных компонентов интеллектуализированных систем пополнения знаний. [36]

Механизм логического вывода строится на основе теории принятия решений и анализа экспертной информации. [37]

Блоки логического вывода в таких системах порождают новые суждения, которые компьютер предъявляет эксперту, объясняя логическую последовательность их получения. Оценка экспертом этих новых суждений дает дополнительную информацию, которую программа может использовать для коррекции построенных ею наборов формальных предпочтений. [38]

Механизм логического вывода в этой системе осуществляется путем анализа содержания базы знаний. [39]

Машина логического вывода CLIPS сопоставляет эти факты и правила и выясняет, какие из правил можно активизировать. [40]

Далее идет логический вывод: наступит момент, когда машина вообще лишится колес. [41]

На один логический вывод компьютер обычно затрачивает 100 - 1000 операций. А так как таких выводов приходится делать очень много, то производительность компьютеров удобно исчислять количеством логических выводов в секунду. Так, компьютеры пятого поколения должны делать до 1 млрд. логических выводов. Очевидно, что для создания программ с большим числом логических выводов необходим специальный язык программирования, ориентированный на логические выводы. Такими языками являются Пролог ( именно он был положен в основу японского проекта компьютеров пятого поколения) и Лисп ( о них мы расскажем в гл. [42]

Напротив, логический вывод в экспертной системе иногда осуществляется весьма прямолинейно. И наоборот, устройство доказательства теорем, основанное на анализе предикатов, способно к нефокусированному логическому выводу, когда процесс логического вывода не совсем известен. [43]

Математика как логический вывод и средство познания природы - творение древних греков, которым они начали всерьез заниматься примерно за шесть веков до новой эры. [44]

Противоположным является прямой логический вывод В этом случае проверка выполнения правил начинается с тех переменных, которые известны системе. Если конечная цель вывода неизвестна, то такой поиск легко может завести нас в тупик. Так, пользуясь прямым выводом, мы можем найти напряжения в наборе узлов схемы, но не определим факта неисправности. Прямой вывод, однако полезен с той точки зрения, что он позволяет определить все переменные, которые могут быть получены исходя из начальных. [45]

Страницы: 1 2 3 4