Да ладно, логикой вообще можно не пользоваться для решения задач[/QUOTE]Теперь я понимаю, что творится в стране. :(
Портал функционирует при финансовой поддержке Министерства цифрового развития, связи и массовых коммуникаций.
01.04.2013 23:27:42
Феномен проблем с И.И. несколько неожидан и требует своего философского, логического и алгебраического (на самом деле категорного) осмысления. Мы имеем дело с расширением логического универсума. Расширение классической логики за счет введения не-булевых операций в первую очередь означает нарушение истинностно-функционального характера последней. Необычайный прогресс в хранении и, главное, в обработке информации на основе булевой (классической) логики имеет не только свои естественные физические пределы. Homo-логический универсум не явлется счётным, а процессы, в нем происходящие, не являются истинностно-функциональными. Всё, что можно извлечь из предельного огрубления человеческой логики, впервые представленного работами Шеннона, Шестакова и Накасимы (а это было не что иное, как одна из конкретизаций булевого универсума), как раз извлекает происходящая сейчас компьютерная революция. Но в конечном итоге эта конкретизация тупиковая для создания искусственного интеллекта хоть мало-мальски соответствующего человеческому. Обозначилась явная тенденция к разработке новой логики, которая по своим выразительным средствам намного богаче классической. Этим объясняется пристальное внимание специалистов к многозначным (бесконечнозначным) и нечеткозначным логикам (которые континуальны) в работах по искусственному интеллекту (см. в трудах International Symposium on Multiple-Valued Logic) и в других работах. То, что вначале это выразилось различными внешними ограничениями C2, было только сигналом (непонятым) того, что потребуется более глубокая ревизия логики и, главное, её характера и статуса. Но для этого, как сейчас выяснилось, нужно все-таки определиться в понимании того, что такое логическая система?
Изменено:
Техрук - 01.04.2013 23:29:24
|
|
|
01.04.2013 23:07:28
Применимость классической логики в строгих научных рассуждениях и особенно применимость ее в компьютерных науках оказались настолько плодотворными и впечатляющими, что ряд феноменов, проявившихся в логическом универсуме, вообще остался без внимания.
Например множественность логик. |
|
|
01.04.2013 22:52:14
Есть мнение, что Логика имеет непосредственное отношение к базисным, фундаментальным конструкциям, которые зарождаются в недрах математического знания, создавая этим новый концептуальный аппарат. Такими конструкциями являются теория множеств, оператор замыкания с определенными свойствами, топологические пространства, решетка как определенным образом упорядоченное множество, моноиды, семейство базисных комбинаторов, алгебра Линденбаума, понятие категории, и т. д. Сразу отметим, что первая и последняя из указанных конструкций стали парадигмами нового мышления, а некоторые их конкретизации дали необычайной силы импульс развитию самой логики.
Но открытым остается главный вопрос: представляет ли собой логика как таковая некоторую единую конструкцию? |
|
|
01.04.2013 14:56:20
[IMG]http://img-fotki.yandex.ru/get/6701/101987512.1d/0_9d91c_1be6fa9d_L.jpg.jpg[/IMG]
Есть мнение, что любая точка в пространстве-времени может иметь не бесконечное количество значений внутри наблюдаемой логики, с вероятностным преобладанием средних значений.
Изменено:
Техрук - 01.04.2013 15:15:31
|
|
|
01.04.2013 20:49:08
[QUOTE]Дервиш пишет:
Чего не хватает? [/QUOTE] Дико извиняюсь, но не хватает тренировки мозгов. Если не использовать орган он атрофируется. Никто, ничего, не хочет знать. Если до населения донести смысл действий проворовательства, мягко говоря, выборов больше не будет. |
|
|