2014 dxdy logo

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

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




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


27/04/09
28128

(Оффтоп)

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

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


08/08/14

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

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

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


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

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

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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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

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


27/04/09
28128

(Оффтоп)

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

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


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

(Оффтоп)

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

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

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



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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