искуственный интелект

[arseniiv]

(Оффтоп)

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

[levtsn]

Mihaylo в сообщении #1198890 писал(а):

В болванчика верю, в конкурентоспособного (ловкого) - нет.

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

[kotenok gav]

arseniiv в сообщении #1198893 писал(а):

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

А я уже пришел.

arseniiv в сообщении #1198893 писал(а):

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

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

[arseniiv]

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

[kotenok gav]

Я хочу чтобы моя программа доказывала любые теоремы.

[arseniiv]

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

[mihaild]

arseniiv в сообщении #1199901 писал(а):

Тогда не получится, если речь даже хотя бы о логике предикатов первого порядка.

Почему не получится? Перебираем все выводы. Просили же доказывать теоремы, а не отличать теоремы от не-теорем.

[Padawan]

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

[arseniiv]

mihaild в сообщении #1199904 писал(а):

Просили же доказывать теоремы, а не отличать теоремы от не-теорем.

А, ну коли так, то конечно. Действительно, я прочитал то, чего там нет. Хотя я не уверен, что написан тот вопрос, который действительно подразумевался.

[Padawan]

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

[rockclimber]

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

[mihaild]

Padawan в сообщении #1199905 писал(а):

Для исчисления высказываний есть, насколько я помню, более конкретная процедура, которая позволяет получить доказательство без перебора

Если я правильно помню, то если существует полиномиально проверяемая система доказательств для исчисления высказываний, при которой все доказательства будут иметь полиномиальную длину, то $NP = coNP$. Так что для всех прикладных задач можно считать, что даже для исчисления высказываний доказательства будут экспоненциальными.

[kotenok gav]

rockclimber в сообщении #1199912 писал(а):

kotenok gav
Опишите ваши навыки программирования. Какие языки знаете, как давно и насколько хорошо.

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

[arseniiv]

(Оффтоп)

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

[Dmitriy40]

(Оффтоп)

arseniiv в сообщении #1201641 писал(а):

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

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