GotAI.NET

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

 

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

 Все темы | Новая тема Стр.30 (59)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Даю справку Два
Эгг
Сообщений: 13018
На: Даю справку Два
Добавлено: 12 дек 18 10:06
Изменено: 12 дек 18 10:13
Цитата:
Автор: mss
Такой стиль юмора, лингвистический, принимается?

На все сто! Это мой любимый стиль/вид юмора.

Цитата:
Автор: mss
Важно не только понимать, но и важно излагать это понимание.

Конечно. Но я разделяю: пытаться объяснить (учить) и излагать понимание в дружеской беседе. Свое понимание я вполне излагаю, на том уровне, какой установлен в нашей беседе. Заниматься твоим обучением я не буду, это за пределами моих скромных возможностей.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 16:07
Изменено: 12 дек 18 16:19
Цитата:
Автор: Эгг
Два ключа дам. Любое понятие - это функция. Любое понятие - это YN вопрос.


Функция возвращающая YN есть предикат.

Это для тех кто не понял.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 16:14
Цитата:
Автор: Эгг
Хороший вопрос. Смысл - это "указатель", референс, ссылка. Чтобы понять как его обрабатывать, нужно понять, чем отличается значение от указателя/ссылки.


Ну раз понятие это предикат, то смысл это набор его параметров хоть по ссылкам хоть по поинтерам хоть по значениям.

Я так понимаю что тот предикат который возвращает Y для набора его параметров констатирует осмысленность набора. Или посложнее.

[Ответ][Цитата]
Эгг
Сообщений: 13018
На: Даю справку Два
+1
Добавлено: 12 дек 18 16:17
Цитата:
Автор: mss
Функция возвращающая YN есть предикат.

Проблема только в том, что предикат - это как бы вообще не функция...
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 16:18
Цитата:
Автор: Эгг
И самое главное, это отличие контекстное. Дам ключ: это некоторый аналог генерализации.


Элементы набора параметров смыслового предиката могут быть замещены их генерализациями с целью таки получить Y.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 16:37
Цитата:
Автор: Эгг
Проблема только в том, что предикат - это как бы вообще не функция...


Спец функция?
[Ответ][Цитата]
Эгг
Сообщений: 13018
На: Даю справку Два
Добавлено: 12 дек 18 18:50
Цитата:
Автор: mss
Спец функция?

Я неправильно выразился. Конечно, как булево выражение любой YN вопрос - это именно предикат. И его можно считать функцией. Нет, я другое имел ввиду, что под предикатом обычно понимается отношение, которое имеет истиностное значение для логического вывода, в предположении, что a||!a == true. То есть работы закона исключенного третьего. И вот тут есть тонкость. Закон исключенного третьего - это аксиома, я уверен, что она, в общем случае, не работает, поэтому не работает и предикативный вывод. В качестве иллюстрации можно привести аксиому о параллельных прямых Эвклида.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 19:17
Закон исключённого третьего хаят все кому не лень начиная с аристотеля по моему.

Да хоть пример с параллельными.

Или или.

Или параллельны или нет.

Но ведь есть третьи случаи когда не пересекаются.

К чему эти разговоры? Логика здесь бессильна.

И точка.

Но вот что мне интересно именно сейчас так это твоё замечание что предикат это булево выражение. Что то меня в нём напрягает. Не подскажешь?
[Ответ][Цитата]
Эгг
Сообщений: 13018
На: Даю справку Два
Добавлено: 12 дек 18 19:23
Изменено: 12 дек 18 19:23
Цитата:
Автор: mss
К чему эти разговоры? Логика здесь бессильна.

Нет, логика в этом месте именно и начинается. Поэтому утром я и рекомендовал тебе к изучению Пая Wang'а, который разрабатывает систему неаксиоматического вывода.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 19:42
Я услышал тебя син-сэй.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 20:00
Вот представь себя на месте арестотеля.

Идея бинарности проясняет 80 случаев из ста.

И тут какой то хрен указывает на жалких 20 процентов не укладывающийся в твою логику.

Твои действия?
[Ответ][Цитата]
Эгг
Сообщений: 13018
На: Даю справку Два
Добавлено: 12 дек 18 20:12
Изменено: 12 дек 18 20:15
Цитата:
Автор: mss
Идея бинарности проясняет 80 случаев из ста.
И тут какой то хрен указывает на жалких 20 процентов не укладывающийся в твою логику.

Логика предикатов работает только на микроскопических примерах для школьников. Даже в олдскульных экспертных системах уже использовались другие механизмы, которые больше походили на машинное обучение, чем на reasoning. Проблема логики предикатов в том, что она не работает ни в каких процентах. Только на уровне: "сократ - смертен, люди - смертны, значит люди - сократы".

Пропозиция может быть истинной. Явление = реальность, которую отображает/адресует пропозиция - никогда. У него природа другая.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 20:15
Эгг. Ты путаеш логику в компутере с логикой в мышлении.

Разницу пояснить или сам догадаешся?
[Ответ][Цитата]
Эгг
Сообщений: 13018
На: Даю справку Два
Добавлено: 12 дек 18 20:18
Цитата:
Автор: mss
Эгг. Ты путаеш логику в компутере с логикой в мышлении.

Нет, я ничего не путаю, просто тебе нужно время, чтобы привыкнуть к новой (для твоего ансамбля нейронов) информации.
[Ответ][Цитата]
mss
Сообщений: 2530
На: Даю справку Два
Добавлено: 12 дек 18 21:06
Время пошло. Но потом я повторю вопрос. Если он не будет хуже сифилиса.
[Ответ][Цитата]
 Стр.30 (59)1  ...  26  27  28  29  [30]  31  32  33  34  ...  59<< < Пред. | След. > >>