Но открытым остается главный вопрос: представляет ли собой логика как таковая некоторую единую конструкцию?
Портал функционирует при финансовой поддержке Министерства цифрового развития, связи и массовых коммуникаций.
Есть мнение, что Логика имеет непосредственное отношение к базисным, фундаментальным конструкциям, которые зарождаются в недрах математического знания, создавая этим новый концептуальный аппарат. Такими конструкциями являются теория множеств, оператор замыкания с определенными свойствами, топологические пространства, решетка как определенным образом упорядоченное множество, моноиды, семейство базисных комбинаторов, алгебра Линденбаума, понятие категории, и т. д. Сразу отметим, что первая и последняя из указанных конструкций стали парадигмами нового мышления, а некоторые их конкретизации дали необычайной силы импульс развитию самой логики.
Но открытым остается главный вопрос: представляет ли собой логика как таковая некоторую единую конструкцию?
Нельзя объяснить непонятное еще более непонятным
|
|
|
Применимость классической логики в строгих научных рассуждениях и особенно применимость ее в компьютерных науках оказались настолько плодотворными и впечатляющими, что ряд феноменов, проявившихся в логическом универсуме, вообще остался без внимания.
Например множественность логик.
Нельзя объяснить непонятное еще более непонятным
|
|
|
Обосную. Логика выстраивается из вывода, в обратном порядке (подгонка). Когда вывод (ответ) согласуется с логической цепочкой, то вывод считается обоснованным.
Конструкцию имеет анализ, он, в свою очередь согласован с интуицией, интуиция способна опираться на экзистенцию (экзистенция, как предусмотренный из условия путь, или падение в неизбежность), что дает наиболее точный результат при анализе и постановки решений. Логика, пригодится для интервью, что бы обосновать, как пилот самолета, за столь короткое время смог выполнить ряд задач, которые, при использовании логического подхода не могут быть решены в принципе. |
|||||
|
|
|||
|
Феномен проблем с И.И. несколько неожидан и требует своего философского, логического и алгебраического (на самом деле категорного) осмысления. Мы имеем дело с расширением логического универсума. Расширение классической логики за счет введения не-булевых операций в первую очередь означает нарушение истинностно-функционального характера последней. Необычайный прогресс в хранении и, главное, в обработке информации на основе булевой (классической) логики имеет не только свои естественные физические пределы. Homo-логический универсум не явлется счётным, а процессы, в нем происходящие, не являются истинностно-функциональными. Всё, что можно извлечь из предельного огрубления человеческой логики, впервые представленного работами Шеннона, Шестакова и Накасимы (а это было не что иное, как одна из конкретизаций булевого универсума), как раз извлекает происходящая сейчас компьютерная революция. Но в конечном итоге эта конкретизация тупиковая для создания искусственного интеллекта хоть мало-мальски соответствующего человеческому. Обозначилась явная тенденция к разработке новой логики, которая по своим выразительным средствам намного богаче классической. Этим объясняется пристальное внимание специалистов к многозначным (бесконечнозначным) и нечеткозначным логикам (которые континуальны) в работах по искусственному интеллекту (см. в трудах International Symposium on Multiple-Valued Logic) и в других работах. То, что вначале это выразилось различными внешними ограничениями C2, было только сигналом (непонятым) того, что потребуется более глубокая ревизия логики и, главное, её характера и статуса. Но для этого, как сейчас выяснилось, нужно все-таки определиться в понимании того, что такое логическая система?
Изменено:
Техрук - 01.04.2013 23:29:24
Нельзя объяснить непонятное еще более непонятным
|
|
|
Есть задачи, которые имеют разные пути решений и дают различные ответы. Есть задачи, каждое из решений, которых, приводит к условию. Есть задачи, которые имеют бесконечное множество решений, а каждый из ответов требует последующего решения, ибо задача оказывается решена не полностью, при этом путей решений каждой из явленных задач будет бесконечное множество, и так до бесконечности. |
|||
|
Есть задачи, а есть логическая система.
Почуствуйте разницу.
Нельзя объяснить непонятное еще более непонятным
|
|
|
Пространственная архитектура процессора будет способна генерировать блуждающий сигнал внутри себя и станет самостоятельномыслящим механизмом. |
|||
|
Нельзя объяснить непонятное еще более непонятным
|
|||
|
Есть ключ, дающий возможность избежать логического подхода и предлагать готовые решения, которые окажутся логически обоснованными. |
||||
|
||||