GotAI.NET

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

 

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

 Все темы | Новая тема Стр.19 (112)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Об одном подходе к решению задачи создания СИИ
Михайло
Сообщений: 2366
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 15 мар 17 10:11
Я так, просто поделился новым термином.
Абдукция - это индукция, производимая над неполным набором исходных данных, дополненных некоторой гипотезой.
[Ответ][Цитата]
гость
78.25.122.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 0:49
R(Х)=Y
Х,R->Y - дедукция
Y,R->Х - абдукция
Х,Y->R - индукция

при абдукции и индукции вывод гипотетический
[Ответ][Цитата]
Михайло
Сообщений: 2366
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 1:07
Изменено: 16 мар 17 1:07
Ну с чего Вы взяли про гипотезу в индукции, Вы задачи по математической индукции не решали? Вспомните-ка!

Правильно:
R(Х)=Y
Х,R ->Y - дедукция
Х,Y ->R - индукция
X,Y,H->R(H) - абдукция, где H - некоторое допущение, гипотеза о недостающих частностях, R(H) - это функция R, найденная при принятии гипотезы H.

Индукция - это обобщение над полным набором частностей, абдукция - это обобщение над неполным набором частностей.
[Ответ][Цитата]
гость
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
[Ответ][Цитата]
Михайло
Сообщений: 2366
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 3:21
Изменено: 16 мар 17 3:23
Так правильнее проводить абдукцию:

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

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

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

Привет древнегреческим логикам и философам.
[Ответ][Цитата]
гость
78.25.122.*
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 5:03
нет, это таки индукция ('от частного к общему').
абдукция схожа с дедукцией тем, что оперирует общим правилом, но в сочетании не с его аргументом, а с результатом его применения, гипотетически восстанавливая аргумент.
[Ответ][Цитата]
Михайло
Сообщений: 2366
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 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
Сообщений: 4026
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 7:35
Изменено: 16 мар 17 7:36
Есть шанс, что вы никогда не докажете ничего друг-другу, потому что по-разному понимаете и используете методы доказательств.
[Ответ][Цитата]
kondrat
Сообщений: 4026
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 16 мар 17 7:43
[Ветхие философы]: Тавтологии мы тоже уважаем.
[Ответ][Цитата]
Михайло
Сообщений: 2366
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 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
котобаран хотя и лишинец разума, но все-таки мог бы хотя бы хоть что-то промякуать по предмету топика (проблема индукции, абдукция, оправдание индукции, подход траяна). но котэ может только мяукать про свою обделенность даром разума..
[Ответ][Цитата]
Михайло
Сообщений: 2366
На: Об одном подходе к решению задачи создания СИИ
Добавлено: 17 мар 17 2:37
Изменено: 17 мар 17 2:38
Абдукция по Пирсу была придумана 100 лет назад, с тех пор много времени утекло... Существует несколько трактовок абдукции.

А трактовка на основе силлогизмов из вики - так себе, неглубокомысленная проработка. Поэтому и говорят "Пирс считал...", "Пирс представлял себе...".
[Ответ][Цитата]
 Стр.19 (112)1  ...  15  16  17  18  [19]  20  21  22  23  ...  112<< < Пред. | След. > >>