2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки





Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3  След.
 
 Re: искуственный интелект
Сообщение10.03.2017, 20:21 
Заслуженный участник
Аватара пользователя


27/04/09
20048
Уфа

(Оффтоп)

Давайте лучше оставим за ТС право описать, чего он хочет, а то придёт — а тут уже десять страниц о глобальных и локальных трендах интеллектостроения. У него, вроде, вопросы конкретные, просто не до конца оформленные пока, улучшением чего и было бы хорошо здесь заниматься.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение10.03.2017, 20:26 
Аватара пользователя


08/08/14
961
Москва
Mihaylo в сообщении #1198890 писал(а):
В болванчика верю, в конкурентоспособного (ловкого) - нет.

Конкурент но способный в сравнении с чем. Конкурентоспособности ли ардуино, особенно фирменное, тем не менее оно имеет свою нишу, для людей которые более сложное не умеют, а делать охота.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение11.03.2017, 16:08 


21/05/16
252
Аделаида
arseniiv в сообщении #1198893 писал(а):
Давайте лучше оставим за ТС право описать, чего он хочет, а то придёт — а тут уже десять страниц о глобальных и локальных трендах интеллектостроения.

А я уже пришел.
arseniiv в сообщении #1198893 писал(а):
У него, вроде, вопросы конкретные, просто не до конца оформленные пока, улучшением чего и было бы хорошо здесь заниматься.

Что в моих вопросах не достаточно оформлено?

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение11.03.2017, 16:47 
Заслуженный участник
Аватара пользователя


27/04/09
20048
Уфа
Уточнения были в моём предпредыдущем посте.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 15:31 


21/05/16
252
Аделаида
Я хочу чтобы моя программа доказывала любые теоремы.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 15:48 
Заслуженный участник
Аватара пользователя


27/04/09
20048
Уфа
Тогда не получится, если речь даже хотя бы о логике предикатов первого порядка. Вот логику высказываний она осилить ещё сможет. Есть ограничения логики первого порядка, где всё так же хорошо, но вряд ли под любыми теоремами имелись в виду только те, которые туда входят. (Тут бы посоветовать книжку по матлогике, где такие вопросы как раз обычно рассматриваются, но по ощущениям это делать пока рано.)

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 15:53 
Заслуженный участник
Аватара пользователя


16/07/14
1142
Москва
arseniiv в сообщении #1199901 писал(а):
Тогда не получится, если речь даже хотя бы о логике предикатов первого порядка.
Почему не получится? Перебираем все выводы. Просили же доказывать теоремы, а не отличать теоремы от не-теорем.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 16:00 
Заслуженный участник
Аватара пользователя


13/12/05
3457
Для исчисления высказываний есть, насколько я помню, более конкретная процедура, которая позволяет получить доказательство без перебора. Хотя оно тоже будет длинным.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 16:09 
Заслуженный участник
Аватара пользователя


27/04/09
20048
Уфа
mihaild в сообщении #1199904 писал(а):
Просили же доказывать теоремы, а не отличать теоремы от не-теорем.
А, ну коли так, то конечно. Действительно, я прочитал то, чего там нет. :| Хотя я не уверен, что написан тот вопрос, который действительно подразумевался.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 16:13 
Заслуженный участник
Аватара пользователя


13/12/05
3457
Мне кажется, точка зрения теории алгоритмов вообще к искуственному интеллекту мало относится. Мало ли что там можно сделать, а что нельзя. Задача стоит сделать, чтобы работало, и притом быстро, используя доступное железо.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 16:15 
Заслуженный участник


06/07/11
3369
kotenok gav
Опишите ваши навыки программирования. Какие языки знаете, как давно и насколько хорошо. А то я не могу отделаться от ощущения, что в топике обсуждается, как грабить корованы (осторожно, это лурка).

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение13.03.2017, 16:43 
Заслуженный участник
Аватара пользователя


16/07/14
1142
Москва
Padawan в сообщении #1199905 писал(а):
Для исчисления высказываний есть, насколько я помню, более конкретная процедура, которая позволяет получить доказательство без перебора
Если я правильно помню, то если существует полиномиально проверяемая система доказательств для исчисления высказываний, при которой все доказательства будут иметь полиномиальную длину, то $NP = coNP$. Так что для всех прикладных задач можно считать, что даже для исчисления высказываний доказательства будут экспоненциальными.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение18.03.2017, 16:38 


21/05/16
252
Аделаида
rockclimber в сообщении #1199912 писал(а):
kotenok gav
Опишите ваши навыки программирования. Какие языки знаете, как давно и насколько хорошо.

Знаю только Pascal, но зато очень хорошо.

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение18.03.2017, 22:48 
Заслуженный участник
Аватара пользователя


27/04/09
20048
Уфа

(Оффтоп)

А давайте проверим: каков может быть тип индекса в массиве?

 Профиль  
                  
 
 Re: искуственный интелект
Сообщение18.03.2017, 23:36 


20/08/14
2587
Россия, Москва

(Оффтоп)

arseniiv в сообщении #1201641 писал(а):
А давайте проверим: каков может быть тип индекса в массиве?
Это-то ещё ладно, а вот запрет (kotenok gav, какой?) на типы переменных циклов в функциях - иногда раздражает.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 31 ]  На страницу Пред.  1, 2, 3  След.

Модераторы: Toucan, maxal, Karan, PAV, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: zvm


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group