Cтраница 3
Рассмотрим основные проблемы, характерные для процедур вывода, и покажем преимущество процедуры дедуктивного вывода на графе связей над другими методами. [31]
Структурирование типов ( сортов) позволяет сократить область определения терма и тем самым увеличить эффективность дедуктивного вывода. [32]
Я вообще думаю, что мысленный опыт - это примерно та единица правополушарного мышления, которая отвечает дедуктивному выводу левополушарного мышления. Вы, вероятно, слышали об открытиях Сперри в его экспериментах с расщепленным мозгом. Эффективно работающий целостный мозг строит образы, избегая механичности логики, и поверяет логикой соответствие образной картины с действительностью, чтобы не впасть в сон разума. К сожалению, в монографии и учебники все это не попадает, и понятно почему. Успех теории измеряется ее способностью описать не мысленные, а реальные опыты. Книги с некоторого момента излагают расчетную схему теории ( скажем, КЭД) и сопоставляют вычисления с опытом. Потом и это перестают делать. Узнать из учебника теоретической механики даже то, с какой точностью механика описывает, например, движения планет, невозможно. Дело в том, что когда уже все знают, что механика верна, то уже никого не интересует, с какой точностью она верна. [33]
В этих работах Е. Ю. Головиной развит синтаксис многоуровневой логики, разработаны механизмы вывода для модифицированного синтаксиса, позволяющие увеличить эффективность процедуры дедуктивного вывода. Приведены также результаты моделирования сложноструктурированной проблемной области Аэропорт и дано описание разработанного программного средства моделирования сложноструктурированной проблемной области ИН-ФОЛОГ, в основе которого лежит аппарат многоуровневой логики и механизмы вывода в ней. [34]
При использовании же нескольких ЭВМ или при использовании ЭВМ параллельной организации алгоритмы параллельного дедуктивного вывода имеют заведомое преимущество над алгоритмами последовательного дедуктивного вывода. [35]
Процедурная составляющая БЗ содержит процедуры для вычисления экстенсионалов ( фактов) отношений и атрибутов и процедуры, которые могут вызываться в процессе дедуктивного вывода для изменения информации, в ней хранящейся. [36]
Тогда все h формул ( 11), получившихся в результате редукции, являются истинными, и наше предположение о том, что данный дедуктивный вывод заканчивается ложной формулой 0 0, приводит ad absurdura. Если мы ошибемся в выборе представителя, например, выберем не Аристида, а Алкивиада как олицетворение неподкупности, то ошибка не причинит нам вреда, покуда все те немногие люди ( из бесконечной толпы афинян), с которыми мы непосредственно имеем дело, будут падки на подкуп. [37]
В [351, 352] предложено расширить даталогические представления, рассматриваемые в связи с проблемами построения отображений, и обсуждаются вопросы придания базе данных механизмов получения дедуктивных выводов. Последнее позволяет ввести понятие виртуальных элементарных записей, содержимое которых не хранится, а выводится системой. [38]
При обработке большого объема данных, а также при решении задач, характеризующихся экспоненциальным ростом пространства поиска, особое значение приобретает проблема эффективности процедур дедуктивного вывода. [39]
Конечно, доминирующий в автоматическом доказательстве теорем метод резолюции не является панацеей от всех бед, сопровождающих процедуры доказательства теорем, и мы вправе надеяться на появление более совершенных процедур дедуктивного вывода. Это касается и языка Пролог, неплохо зарекомендовавшего себя при решении логических проблем. Здесь можно согласиться с точкой зрения Н. Н. Непейводы, утверждавшего, что есть смысл использовать Пролог для кусков программ, обладающих исключительно сложной логикой при явном задании вариантов. [40]
Схема ИнС, в которой реализуется понимание третьего уровня, внешне не отличается от схемы, показанной на рис. 4.4. Однако в логическом блоке должны быть предусмотрены средства не только для чисто дедуктивного вывода, но и для вывода по сценариям. [41]
Таким образом, подтверждается правильность сделанного дедуктивным путем предположения об атомном весе бериллия, а тем самым и правильность того обобщения, которое с помощью индукции было намечено ранее и из которого гипотетически был сделан дедуктивный вывод относительно бериллия. В итоге была изменена группа, в которую зачислялся бериллий: из аналога алюминия он стал аналогом магния. [42]
Сформулируем более четко понятие дедукции. Под дедуктивным выводом понимается такое отношение между предложениями А и В, в котором из истинности А следует истинность 5, а из ложности В следует ложность А. При этом А называется посылкой вывода, & В - заключением. [43]
Рассматриваются методы достоверного ( дедуктивного) и правдоподобного ( абдуктивного, индуктивного) выводов в интеллектуальных системах различного назначения. Приводятся методы дедуктивного вывода на графовых структурах: вывод на графе связей, графе дизъюнктов, вывод на иерархических структурах. Даются различные виды параллелизма при выводе на графовых структурах. Описываются как классические, так и немонотонные модальные логики: логики убеждения и знания, немонотонные логики Мак-Дермотта и Доила, автоэпистемические логики Мура, логики умолчания Рейтера. Приводятся основы теории аргументации и методы абдуктивного вывода. Рассматриваются базовые принципы построения систем обучения и принятия решений и даются задачи обучения без учителя и с учителем. Излагаются индуктивные методы для случая с неполной информацией и методы теории приближенных множеств. [44]
Необходимо предусмотреть работу дедуктивного вывода в открытой проблемной области. Рассмотрим процесс дедуктивного вывода более подробно. В процесс дедуктивного вывода вовлекаются два важных алгоритма: алгоритм сколемизации и алгоритм унификации. Эти алгоритмы в MLL являются дальнейшим развитием соответствующих алгоритмов исчисления предикатов первого порядка. Исходная формула для алгоритма сколемизации должна быть представлена в пренексной нормальной форме. [45]