GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.20 (52)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Об одном подходе к решению задачи создания СИИ
гость
78.25.122.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 2:50
м.> Вы задачи по математической индукции не решали?

при индукции формулируется индуктивная гипотеза, при математической индукции гипотеза возводится в ранг математического закона, - в общем случае матиндуктия это частный вид индукции. 'Все лебеди белые' это индуктивное обобщение (эмпирический закон/закономерность) не возводится в ранг математического, логического или семантического закона.

> X,Y,H->R(H) - абдукция,

ну, по пирсу абдукция это силлогизм когда по правилу (главная посылка) и результату (заключение при дедуктивной переформулировке силлогизма) получается случай (меньшая посылка).

все люди смертны (если чел, то смертен), cократ смертен -> cократ - человек. Вывод недостоверен (гипотетичен), сократ может быть собакой (подпадая под обобщенное правило). Вывод 'от частного к частному', но более слабый чем дедуктивный.
вы только расширили формулу для индукции, а не определили абдукцию (классическую). Правдоподобное обобщение (т.е. над неполным набором данных) это тоже индукция.
[Ответ][Цитата]
гость
78.25.122.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 3:02
для абдуции нужно исключить из посылок Х, тогда получится двухшаговый абдуктивный вывод: Y,H->R(H),Y->X
[Ответ][Цитата]
Михайло
Сообщений: 931
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 3:21
Изменено: 16 мар 17 3:23
Так правильнее проводить абдукцию:

Сократ - человек (X)
Сократ смертен (Y)
Остальные люди такие же как Сократ (H)
================>
Все люди смертны (R)

Заметьте - это чистая индукция, так как дополнение посылок X, Y гипотезой H образует полный набор частностей.

Не надо абдукцию представлять как дедукцию, это совершенно разные вещи. При дедукции в принципе не может генерироваться гипотеза.

Привет древнегреческим логикам и философам.
[Ответ][Цитата]
гость
78.25.122.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 5:03
нет, это таки индукция ('от частного к общему').
абдукция схожа с дедукцией тем, что оперирует общим правилом, но в сочетании не с его аргументом, а с результатом его применения, гипотетически восстанавливая аргумент.
[Ответ][Цитата]
Михайло
Сообщений: 931
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 7:19
То, что Вы процитировали про Сократа из википедии, это сложное преобразование, состоящее из двух операций:

1. Нахождение обратной операции X = R'(Y);
2. Дедукция, то есть подстановка конкретного Y в операцию R'(Y) для вычисления X.

Так как не всякая функция R имеет однозначную обратную функцию R', то это ведет к неудобным последствиям (то Вася, то не Вася), отсюда: считать это абдуктивным выводом ошибочно. Именно поэтому я передавал привет древнегреческим философам, не надо мыслить также как они.

Если быть точным, то вот это индукция

Цитата:
Автор: Михайло

Сократ - человек (X)
Сократ смертен (Y)
Остальные люди такие же как Сократ (H)
================>
Все люди смертны (R)


Абдукция - это вот это:
0 -> H, то есть генерация гипотезы на пустом месте, но не всякой, а той, которая дополняет информацию до полноты.

[нет сведений]
===================>
Остальные люди такие же как Сократ (H)

Далее логично произвести индукцию X,Y,H -> R(H), хотя это необязательно.
[Ответ][Цитата]
kondrat
Сообщений: 2563
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 7:35
Изменено: 16 мар 17 7:36
Есть шанс, что вы никогда не докажете ничего друг-другу, потому что по-разному понимаете и используете методы доказательств.
[Ответ][Цитата]
kondrat
Сообщений: 2563
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 7:43
[Ветхие философы]: Тавтологии мы тоже уважаем.
[Ответ][Цитата]
Михайло
Сообщений: 931
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 12:31
Есть великий шанс, что можно бесконечно следовать теориям древних ученых и оказаться вечным философером.
[Ответ][Цитата]
гость
78.25.120.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 0:42
М.> считать это абдуктивным выводом ошибочно

нет, это вы просто не знаете определения абдукции. Пирс это не древнегреческий философ, хотя определение абдукции он дал на основе силлогистики. Проконсультируйтесь по кн. Вагина и др. 'Достоверный и правдоподобный вывод в интелл. системах'.
эта табличка ХУR-дедукция/абдукция/индукция из фогеля. Про генерацию гипотезы из нуля это вы загнули, всегда (ре)комбинация каких-то элементов.
[Ответ][Цитата]
гость
78.25.120.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 1:03
вывод меньшей посылки при абдукции можно назвать и выводом объяснительной гипотезы, что не меняет структурное определение абдукции по фогелю. Что сократ человек можно считать объяснительной гипотезой того, что он смертен (что можно рассматривать как требующий объяснения факт).
[Ответ][Цитата]
гость
78.25.120.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 2:34
котобаран хотя и лишинец разума, но все-таки мог бы хотя бы хоть что-то промякуать по предмету топика (проблема индукции, абдукция, оправдание индукции, подход траяна). но котэ может только мяукать про свою обделенность даром разума..
[Ответ][Цитата]
Михайло
Сообщений: 931
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 2:37
Изменено: 17 мар 17 2:38
Абдукция по Пирсу была придумана 100 лет назад, с тех пор много времени утекло... Существует несколько трактовок абдукции.

А трактовка на основе силлогизмов из вики - так себе, неглубокомысленная проработка. Поэтому и говорят "Пирс считал...", "Пирс представлял себе...".
[Ответ][Цитата]
гость
78.25.120.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 2:46
нет, трактовка по фогелю это минимальная структурно полная интерпретация, модус поненс тоже придуман две тысячи лет назад, что не мешает ему быть реализуемым в современных продукционных системах (когда общая схема дедукции дополняется массой нюансов). Современный ДСМ-метод реализует индуктивную логику, хотя тоже много воды утекло со времен милля. 'Другие трактовки' сводится к базовым представлениям по фогелю. вы просто абдукцией называли то, что ею не является.
[Ответ][Цитата]
Михайло
Сообщений: 931
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 4:48
Открываем Вагина и читаем введение (стр. 16-21). Очень долго распинается про разницу абдукции и индукции.

В конце:
Цитата:
Таким образом, абдукция может быть использована для извлечения из данной теории Т и наблюдений О абдуцированной информации О', которая затем на уровне индукции дополняет эту теорию до новой Т', такой, что Т' |= О'. Затем этот процесс может быть повторен.


Рассмотрим гораздо более техничный пример, чем силлогизмы:
Имеется массив чисел [1,2,3,?,?,?], три последних числа неизвестны.

Вагин пишет, что абдуцируемая информация - это предположение о том, что неизвестные числа - это 4, 5 и 6. При абдукции обобщение не производится.
Индуцированная гипотеза - это обобщающая формула a[i]=i, которая соответствует массиву [1,2,3,4,5,6].

Просто я различия между обобщением и отдельными фактами не делаю, то есть для меня одно и то же:
1) [1,2,3,?,?,?] <-> a[i]=i, i=1,2,3 - исходные данные,
2) [?,?,?,4,5,6] <-> a[i]=i, i=4,5,6 - результат абдуктивного вывода (чистая гипотеза),
3) [1,2,3,4,5,6] <-> a[i]=i - результат индуктивного вывода.

Из комбинации 1) и 2) следует 3).

Вместо пятистраничного запутанного объяснения разницы между индукцией и абдукцией. )))
[Ответ][Цитата]
гость
194.85.224.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 5:02
Эта работа в основном была сделана в 1997 году. <...> ... адаптация требует способности предвидеть, а мотивом адаптации служат ...
[Ответ][Цитата]
 Стр.20 (52)1  ...  16  17  18  19  [20]  21  22  23  24  ...  52<< < Пред. | След. > >>