Форум программистов, компьютерный форум, киберфорум
Искусственный интеллект
Войти
Регистрация
Восстановить пароль
 
 
Рейтинг 4.90/39: Рейтинг темы: голосов - 39, средняя оценка - 4.90
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
12.03.2018, 22:53 161
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
Что вы посоветуете максимально близкое программированию?
По металогике? Я вообще не представляю себе как программировать металогику. Разве только как языковую задачу.
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
12.03.2018, 22:53
Ответы с готовыми решениями:

Основные правила маршрутизации
перечислите основные правила маршрутизации и приведите пример

Основные правила SEO продвижения
Добрый день! Просьба указать ссылками либо написать основные правила продвижения сайта в Гугл,...

Есть ли основные правила для <body> стилей?
Есть ли основные правила для &lt;body&gt; стилей, т.е. когда в файле &quot;style&quot; первым ставишь body { ...

Какие основные правила существуют для постановки второй планки в дополнении к первой
Всем доброго времени суток! Может ли кто нибудь рассказать, какие правила существуют для увеличения...

308
14 / 21 / 4
Регистрация: 30.05.2017
Сообщений: 537
12.03.2018, 23:06 162
Цитата Сообщение от Ermit Посмотреть сообщение
По металогике? Я вообще не представляю себе как программировать металогику. Разве только как языковую задачу.
уточню наверное правильно метаматематическую логику.
используем язык (слова) и логику математического решения
0
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
12.03.2018, 23:10 163
Нет, я не вижу в искусственном мышлении места для логических исчислений...
0
Модератор
2593 / 1778 / 393
Регистрация: 26.03.2015
Сообщений: 6,580
12.03.2018, 23:19 164
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
- человек умеет рассуждать, потому что он умеет А
после этого проверяем -Рассуждать>A. значит продолжаем читать.Если приходит ноль то программа не выполнима.Если условие выполнено передаем на функцию сравнения.
Тут получается как истина -правда.
Правда A ,B,C составляют пространство истины.Истина равна их сумме и не является равной части пространства.
Я ничего не понял.
0
14 / 21 / 4
Регистрация: 30.05.2017
Сообщений: 537
12.03.2018, 23:20 165
Цитата Сообщение от Ermit Посмотреть сообщение
Нет, я не вижу в искусственном мышлении места для логических исчислений...
Програмисты используют логические решения в создании программ.Как же без логики решений будет обходится искусственное мышление?
0
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
12.03.2018, 23:24 166
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
Програмисты используют логические решения в создании программ.
Программисты используют автоматы.
0
14 / 21 / 4
Регистрация: 30.05.2017
Сообщений: 537
12.03.2018, 23:30 167
Цитата Сообщение от Shamil1 Посмотреть сообщение
Я ничего не понял.
Вы написали о подгонке под ответ
"- человек умеет рассуждать, потому что он умеет А
- вот эта программа тоже умеет А, значит она умеет рассуждать?
- нет, так как она не умеет Б, а человек умеет "
Я о том что рассуждать имеет пространство .Если оно A,B значит рассуждать = A+B
---вот эта программа умеет умеет A ,но A не равно A+B

Добавлено через 2 минуты
Цитата Сообщение от Ermit Посмотреть сообщение
Программисты используют автоматы.
это в программе. А до её написания они своим мышлением проводят логические решения
0
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
12.03.2018, 23:32 168
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
А до её написания они своим мышлением проводят логические решения
Ну что Вы! Нет, конечно. Интеллект не пользуется логикой.
0
14 / 21 / 4
Регистрация: 30.05.2017
Сообщений: 537
12.03.2018, 23:44 169
Цитата Сообщение от Ermit Посмотреть сообщение
Ну что Вы! Нет, конечно. Интеллект не пользуется логикой.
логика человеческого мышления по моему отчасти похожа на классификацию .
0
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
12.03.2018, 23:47 170
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
логика человеческого мышления по моему отчасти похожа на классификацию
Классификация - это функция, а не "логика". И в мышлении классификация - это только часть. И не самая умная.
0
320 / 272 / 37
Регистрация: 20.09.2014
Сообщений: 1,804
13.03.2018, 19:14 171
Что значит "логически рассуждать"? Пусть есть логическая зависимость C=f(A,B), может даже конечный автомат какой-то. "Логически рассуждать" - это, по сути, определить вид функции f.
Но как её можно выявить?

Тут и приходишь к мысли, что задача "логического рассуждения" некорректна, так как нет иных способов получить функцию f, кроме как высосать из пальца. Нет никакого "логического рассуждения", есть только обучение на примерах, машинное обучение.
0
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
13.03.2018, 19:36 172
Цитата Сообщение от Mikhaylo Посмотреть сообщение
Нет никакого "логического рассуждения", есть только обучение на примерах, машинное обучение.
Это немножко упрощенно выглядит, но правильно. Поскольку нет никакой разницы как именно задавать функцию, а в подавляющем большинстве кейсов она формируется именно из обучающей выборки. Но вот что касается "рассуждения", то механизм классификации не единственный и не основной.
0
25 / 25 / 3
Регистрация: 27.12.2017
Сообщений: 72
13.03.2018, 19:46  [ТС] 173
Цитата Сообщение от Mikhaylo Посмотреть сообщение
машинное обучение
)... а у человека это что, человеческое обучение?... или процесс обучения на примерах присущ только машинам?... а для собаки - логические рассуждения в виде собачьего обученья?
0
14 / 21 / 4
Регистрация: 30.05.2017
Сообщений: 537
13.03.2018, 20:00 174
Цитата Сообщение от Ermit Посмотреть сообщение
Классификация - это функция, а не "логика". И в мышлении классификация - это только часть. И не самая умная.
классификация построена на логике.На "автомате " логического решения сработавшем у программиста и который он воспроизводит в программе.
Как по вашему мнению можно построить решение словесного мышления? Я так понимаю что на формализиции (представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы или исчисления.Но на каких законах и принципах работать с этими формализованными данными?Вслучае с ии вероятно на построенном на перечне законов логики в свою очередь перечне автоматов проверки соответствия.?

Добавлено через 4 минуты
Цитата Сообщение от Mikhaylo Посмотреть сообщение
Тут и приходишь к мысли, что задача "логического рассуждения" некорректна, так как нет иных способов получить функцию f, кроме как высосать из пальца. Нет никакого "логического рассуждения", есть только обучение на примерах, машинное обучение.
А с чего Вы взяли что обучение на примерах должно давать функцию?Наверное для Вас это логично
0
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
13.03.2018, 20:03 175
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
классификация построена на логике.На "автомате " логического решения сработавшем у программиста и который он воспроизводит в программе.
Вообще ни откуда не следует. Дерево вывода - это логика? Где там логика? Только в операции сравнения. Всё. Но это когнитивная операция, а не логическая, на самом деле. Михайловский классификатор.

Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
Как по вашему мнению можно построить решение словесного мышления?
Я скажу как не надо, не надо на логическом выводе типа исчисления высказываний.
0
14 / 21 / 4
Регистрация: 30.05.2017
Сообщений: 537
13.03.2018, 20:21 176
Цитата Сообщение от Ermit Посмотреть сообщение
Вообще ни откуда не следует. Дерево вывода - это логика? Где там логика? Только в операции сравнения. Всё. Но это когнитивная операция, а не логическая, на самом деле. Михайловский классификатор.
Вообще есть обширный класс алгоритмов классификации называемых логическими,"в основе которых лежит принцип индуктивного вывода логических закономерностей или индукции правил" .(из лекции 3 Воронцова ("логические алгоритмы класификации".Которую мне кстати рекомендовал Михаил)
И кроме того логика она нужна везде.Это правила,закономерности решения.

Добавлено через 6 минут
А по класификации- есть формируемая человеком для какой-то задачи некоторая гипотеза о том, что считать отличием или несущественностью, есть некоторая последующая схема вычисления силы этого отличия, есть некоторая схема сравнения с порогом.
0
320 / 272 / 37
Регистрация: 20.09.2014
Сообщений: 1,804
13.03.2018, 20:22 177
Цитата Сообщение от petr1van Посмотреть сообщение
)... а у человека это что, человеческое обучение?... или процесс обучения на примерах присущ только машинам?... а для собаки - логические рассуждения в виде собачьего обученья?
Это направление такое. Обучение собаки и человека обладает такими страшными нюансами, из которых вырастает педагогика, кинология, психология, зоопсихология. А у машины этих проблем нет, есть только машина - исполнитель алгоритма почти любой сложности. Направление - машинное обучение, machine learning.
0
-21 / 30 / 1
Регистрация: 25.04.2017
Сообщений: 356
13.03.2018, 20:30 178
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
Вообще есть обширный класс алгоритмов классификации называемых логическими
Покажите как на этом классе был создан хотя бы какой-то приличный распознаватель, не говоря уже об AGI. Тупиковый путь.

Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
И кроме того логика она нужна везде.Это правила,закономерности решения.
Если под логикой в широком смысле понимать вообще любые вычисления, тогда нет ничего, кроме логики. Но мне кажется, что алгоритм к классу логических вычислений не относится. Метод тоже. Методология вообще. Парадигма совсем.

Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
класификации- есть формируемая человеком
Попробуйте в свободное от размышлений время накрутить гаечку на винтик, у которых резьба не совпадает. Узнаете о классификации много нового.
0
14 / 21 / 4
Регистрация: 30.05.2017
Сообщений: 537
13.03.2018, 20:40 179
Цитата Сообщение от Ermit Посмотреть сообщение
Если под логикой в широком смысле понимать вообще любые вычисления, тогда нет ничего, кроме логики. Но мне кажется, что алгоритм к классу логических вычислений не относится. Метод тоже. Методология вообще. Парадигма совсем.
Мы возможно закладываем разный смысл в" логика решения".Для меня это равнозначно правила решения.
0
320 / 272 / 37
Регистрация: 20.09.2014
Сообщений: 1,804
13.03.2018, 20:41 180
Цитата Сообщение от имя-Сергей1 Посмотреть сообщение
А с чего Вы взяли что обучение на примерах должно давать функцию?Наверное для Вас это логично
Я не знаю как объяснить... Ну скажем так:
1. Задача - нужно по кучке рабочих данных определить некоторый выход, при этом данные рабочей выборки почти маловероятно повторятся с данными в обучающей выборке. Так как заранее неизвестно, какие будут данные на рабочей выборке, нужно быть готовым к любым значениям. Это и означает, что нужно определить функцию, функцию во всей области определения входных данных.
2. С тремя двоичными переменными A, B, C возможно 16 видов различных логических (бинарных) функций. Формула для вычисления числа функций, насколько помнится, 16 = 2^2^2. Трёхэтажная степенная функция. А если переменные не двоичные, а 256-арные, и количество входных переменных не две, а 10? Страшно подумать, насколько велика неопределённость (энтропия). С практической точки зрения лучше думать, что общий вид функции известен, надо лишь подобрать некоторые коэффициенты (веса), оптимально подогнав под примеры. Тогда задача решаема. Не стОит даже задумываться об универсальных алгоритмах, которые строят произвольную решающую функцию. Такие алгоритмы будут слишком долго обучаться, так как информации требуется ну очень много.
1
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
13.03.2018, 20:41

Заказываю контрольные, курсовые, дипломные и любые другие студенческие работы здесь.

Основные принципы создания плагинов
Какие существуют основные принципы создания плагинов

Основные принципы создания грида
Подскажите пожалуйста основные принципы создания грида. Сетка, данные и пр.

Правила создания БД
изучаю руководство к SQL и натыкаюсь на такой пункт... &quot;Если создать файл, который будет являться...

Основные этапы создания проекта в InterDev
Пожалуйста, поделитесь опытом: 1) где взять докум на русск яз 2) Опишите основные этапы создания...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
180
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2020, vBulletin Solutions, Inc.