Форум: Проблемы искусственного интеллекта

Регистрация | Вход

Все темы | Новая тема  Стр.3 (4) << < Пред. | След. > >>    Поиск:
Автор	Тема: На: решение брадобрея
Fractaler Сообщений: 2490	На: решение брадобрея Добавлено: 26 авг 13 4:59 Цитата: Автор: гость Так а где формализация процесса с идентификатором "брить"? [Ответ][Цитата]
гость 78.25.121.*	На: решение брадобрея Добавлено: 26 авг 13 7:28 нет, речь о том, что 'динамизация', 'процессуирование' логики на уровне самого процесса вывода (псевдофизическая, 'осцилляторная' интерпретация) это как бы довольно 'сильное' средство, тут логика перестает быть логикой в смысле исчисления 'вечных' истин, а становится логикой в смысле некоторого конструктивного процесса генерации истин 'контекста исполнения'. также и способ избежания деонтических парадоксов путем комбинирования деонтической логики (приказно-разрешительной) с темпоральной логикой (вариантом модельной), рассмотрением логики комбинированных модельностей, также приводящий к решениям типа 'бреющий себя перестает быть бреющим себя, а переставший брить себя, начинает брить себя', - кажется не вполне 'приемлемым'. Рассмотрение трехместных предикатов (как вариант) не требует этих сильных средств, отсылая просто к уточнению понятий областей определенности истинностых значений предикатов. Это тоже расширение классического канона, но не столь 'смелое'. На самом деле тут 'парадокс' - приверженец 'классики' тарасов предлагает более неклассическое решение чем позволяют ресурсы классики. (по аналогии есть и два типа подходов к 'программным' логикам - можно рассматривать динамический процесс исполнения программы, а можно рассматривать отношения между множествами программных состояний.) [Ответ][Цитата]
Fractaler Сообщений: 2490	На: решение брадобрея Добавлено: 26 авг 13 7:37 Цитата: Автор: гость Рассмотрение трехместных предикатов (как вариант) не требует этих сильных средств, отсылая просто к уточнению понятий областей определенности истинностых значений предикатов. Это тоже расширение классического канона, но не столь 'смелое' Вот как только начинают уточнять многозначности, так и парадоксы исчезают. [Ответ][Цитата]
гость 78.25.121.*	На: решение брадобрея Добавлено: 26 авг 13 7:51 да, тут есть неопределенность (недоопределенность), но, по-моему, не в смысле семантической 'многозначности' термина (имени предиката). САмо действие определно, не определены хорошо условия исполнения действия. Скажем, если 'по-тарасову' принять решение 'по четным бреюсь, по нечетным не бреюсь', то отдавший приказ будет иметь основания докапываться - а не нарушает ли все-таки такое решение приказа в какой-то его части? (в разные дни разные части приказа). (подобные коллизии это не 'абстракции', а сама жизнь - напр. коллизии в конституционном праве (и конституционном процессе) с нормой внесения изменений в конституцию, когда изменения затрагивают саму норму по конституциональным изменениям). А если принять более 'осторожный' ('семантический') подход и просто запросить спе- циального разъяснения противоречивой ситуации, то интерпретационный риск перекладыва-ется на приказывающую сторону. Или копию письма со своими обоснованиями (при неполучении ответа) можно предъявить в апелляционную инстанцию. [Ответ][Цитата]
гость 91.203.198.*	На: решение брадобрея Добавлено: 26 авг 13 9:18 " а где формализация процесса с идентификатором "брить"?" условно, порог начала бриться, это когда лезвие сбрило 1 волос, ане когда он сбрит наполовину. как только аналитическое устройство сигнализирует о факте, поступает команда прекращения процесса, после чего логическое устройство опять отдает приказ на бритье. В итоге, брадобрей таки побреется. [Ответ][Цитата]
Fractaler Сообщений: 2490	На: решение брадобрея Добавлено: 27 авг 13 5:32 Вот, если 1 волос сбрит, это уже = бриться? А если 2? Когда начинается процесс, когда заканчивается? [Ответ][Цитата]
гость 91.203.198.*	На: решение брадобрея Добавлено: 27 авг 13 9:24 доп. условия в этой задаче нет, поэтому придумываем как хотим. Хотим 2 хотим 10. дело не в этом ведь. Можно вообще считать началом бритья намыленный помазок, после чего срабатывает флаг запрета. [Ответ][Цитата]
гость 91.203.198.*	На: решение брадобрея Добавлено: 27 авг 13 9:25 После анализа, который вывешивает флаг "не бреется" идет разрешение на бритье снова. Что непонятного то? [Ответ][Цитата]
Fractaler Сообщений: 2490	На: решение брадобрея Добавлено: 27 авг 13 23:28 Ок, пусть некий посторонний наблюдатель ("Обком") анализирует что да как. Итак, шаг 1 (Начало процесса): Брадобрей сам не брился. Т.е., он - во множестве Самонебритых. Теперь он должен оказаться во множестве Самобритых. Шаг 2. Для того, чтобы считаться побритым, брадобрей должен начать бритьё и закончить. Вот слышен в ванне его голос Как он намылил помазок, Уж срезал не 1 свой волос... Остался крайний волосок. И тут ...с последним волоском Ему начнёт позвонит "Обком": Ну как дела (и сё такое).. Оставь, блин, волосок в покое!!! А если мы приедем с дачи (Т.е., закончить бритьё он не сможет, т.к. ) То попадёшь, блин, под раздачу. (Занавес из синего экрана смерти) Ну, что ещё нам тут сказать Мораль сей басни такова: Ты можешь бриться начинать А вот закончить - никогда. [Ответ][Цитата]
гость 78.25.123.*	На: решение брадобрея Добавлено: 29 авг 13 3:50 > В итоге, брадобрей таки побреется. Опять же, это 'формальный', 'одноуровневый' брадобрей. А рефлексирующий (двууровневый) после нескольких циклов заметит, что меняет свое состояние в сторону запрещенного итогового состояния (не брить того, кто бреется сам) и прекратит осцилляции. Т.е. идентифицирует проблематичность своего положения. Возможно, не сразу, а после нескольких циклов возобновления осцилляций. (Если не бреюсь, то должен брить.) А предвидящий (трехуровневый) даже не начнет осцилляций и сразу поймет проблему и начнет поиски разрешения парадокса (писать письма, а не механически 'колебаться'). Прагматически тут выбор между наказанием за неправильное действие или за несовершение правильного. Какое действие правильное устанавливает надзор. [Ответ][Цитата]
гость 212.16.10.*	На: решение брадобрея Добавлено: 29 авг 13 7:25 Запрет действует только на момент принятия решения, так что тут все нормально. в задаче указан текущий момент времени, для которого и следует решать задачу. Для асоциляториев задача ставилсь бы соответствующим образом, и с использованием должен не должен. В этом случае запрещаются даже попытки приступить к бритью, а вопрос ошибки по этой причине транслируется постановщику. [Ответ][Цитата]
гость 78.25.123.*	На: решение брадобрея Добавлено: 30 авг 13 1:04 А кто сказал, что мыслительный, аналитический, логический процесс прекращается в момент ПР? Это опять вопрос об архитектуре агента. Принятие решения брить в соответсвии с предписывающей частью приказа СРАЗУ актуализирует запрещающую часть приказа. Т.е. многоуровневый когнитивный агент даже не приступит к реализации действия. Колебание будет чисто 'ментальным'. Сам факт этого колебания вызовет действия по его ликвидации (на тех или иных основах). [Ответ][Цитата]
гость 78.25.123.*	На: решение брадобрея Добавлено: 30 авг 13 1:07 А суть в том, что развитый логический агент РАСПОЗНАЕТ по стрктурным особенностям ситуации ее 'ненормальный' характер и даже не допустит колебального режима. [Ответ][Цитата]
гость 91.203.198.*	На: решение брадобрея Добавлено: 31 авг 13 2:45 не забывайте что ЛЮБОЕ логическое решение требует времени. [Ответ][Цитата]
гость 78.25.121.*	На: решение брадобрея Добавлено: 31 авг 13 3:09 А разве вы не замечаете, что вы совершаете логическую фигуру предпосылки доказываемого? Понятие 'решения' подразумевает некоторый переход от состояния до решения к состоянию после решения, т.е., конечно, требует времени - не может не требовать. Это не информативное синитетическое суждение, а аналитическая тавтология. мы уже говорили, что есть разное понимание 'логики'. Вы занимаете ОДНУ позицию, а я признаю РАЗНЫЕ, хотя они и не совместимы. Логику можно понимать вневременно: формальная система в момент своего формулирования задает множество всевозможных следствий, которое можно понимать в смысле платонизма. А можно понимать в смысле номинализма, конструктивизма - как актуальный список ПОЛУЧЕННЫХ выводов. Можно практиковать и тот и другой подход (способ понимания). Говоря о ресурсах классики (включая и признание актуальной бесконечности), я имел виду и такую особенность классической логики - ее металогические ресурсы: классическая логика не обязательно требует своей динамизации, она допускает подъем некоторых тавталогий в статус метапостулатов. Напр. схема вывода А->В, В->-В |- -А позволяет работать с противоречивой ситуацией (и не паниковать, не колебаться), а просто отказаться от А (приказа) (как неполного) и запросить разъяснений. или схема (A&В)->-В |- -А позволяет не подчиниться приказу в случае В='бриться самому' и поступить по своему усмотрению. [Ответ][Цитата]
Стр.3 (4): 1  2  [3]  4 << < Пред. | След. > >>