Красилов Корпорация "Галактика"




Скачать 334.95 Kb.
НазваниеКрасилов Корпорация "Галактика"
страница2/5
Дата публикации02.06.2013
Размер334.95 Kb.
ТипРешение
vbibl.ru > Математика > Решение
1   2   3   4   5

4. Логические уравнение в многозначных логиках.

Решение перечисленных вопросов является предметом рассмотрения данного раздела. Не все вопросы будут сопровождаться окончательными ответами, поскольку они в принципе являются весьма сложными. Программа разрешения вопросов включает построение исчисления ИЛ:

<язык логических выражений, системы аксиом и

системы правил К-значной логики>.

Аксиомы, как было сказано ранее относительно построения логического вывода, будут заменяться правилами решения логических уравнений [3], содержащих утверждения с некоторой мерой истинности. Для решения большинства или всех перечисленных вопросов необходимо иметь средства для решения логических уравнений вида i P(..) или для ясности P(..) = i, где i = 0, 1, 2,..., K-1. Здесь P(..) - некоторое высказывание (в частности, предикат), i – конкретная модальность или числовое выражение меры истинности, которая задается при описании перечислимого типа с некоторыми новыми понятиями. i = 0 условно представляет (если это устраивает пользователя) высшую меру ложности, наиболее близкую к значению ложь (неудовлетворенности). i = К-1 также условно представляет (если это устраивает пользователя) меру близости к значению истина (полной удовлетворенности), а промежуточные значения представляют вполне определенную меру близости ко лжи или к истине и выражаются терминами из (чаще всего) модальных слов. Пример: возможно Х рассматривается в ИЛ как логическое уравнение возможно = Х, где Х - логическая переменная 3-значной логики, формально уравнение записывается так: Х = 1. Конечно, пользователь вправе интерпретировать 0 и К-1 как ложь и истина (последней инстанции), но не обязательно. Утверждения, принимающие допустимые К значений, относятся к многозначной логике. В этом смысле оценки школьнику можно понимать по некоторому контексту как пятизначную логику со значениями (очень плохо, плохо, удовлетворительно, хорошо, отлично), причем значение очень плохо представляет максимальное приближение к значению ложь, а отлично - к истина. Конечно, чаще многозначные логики связывают с такими перечислениями (решение не достигнуто, возможно получено решение, решено) или (нет, возможно, да).

Логическая и математическая сущность модальностей поясняется так. Модальные слова в русском языке (как часть речи) определяются как отношения к некоторому высказыванию или утверждению. В информатике модальные слова представляют операции, квалификации или отношения с одним операндом. Вот несколько иллюстративных примеров: возможно (Х = 0), не обязательно (Х = 1), пять (ответ = 25) или, скорее всего идет дождь. С этой точки зрения ложь и истина также являются одноместными операциями, которые квалифицируют высказывание. Модальности (или модальные слова) относятся к логическим величинам или высказываниям.
^ 5. О перечислимых величинах.

Новые величины, определяемые логическим типом перечислимых и называемые истинностными, принимают несколько (конечное число) значений мер истинности, указанных новыми терминами из перечислимого типа. Значения перечислимых для переменных моделируют конечные (упорядоченные) и промежуточные значения меры истины некоторой величины. Положим, что, если высказывание принимает наименьшее значение в числовом выражении, то оно условно ложно с точки зрения пользователя, если высказывание принимает наибольшее значение, то оно условно истинно с точки зрения пользователя, при условии, что высказывание целиком считается истинным. Все промежуточные значения переменного высказывания принимают значения между условными значениями ложь и истина (они означают сомнения различной степени, не меньше лжи и не больше истины). Количественно значения могут выражаться числами от нуля до К-1 (К>2) для К-значной логики. Это подходящий способ сопоставления сомнений и числовых значений, что позволяет нам говорить о К-значной логике или о конечной размытой логике.

Несколько исходных соображений. Факты, как утверждения вообще, могут обладать содержанием, которое пользователь оценивает некоторой мерой истинности, хотя запись факта (утверждения) обязательно принимает значение истины в итоге решения задачи, но если она содержит модальности, то внутреннее содержание записи может иметь в оценке пользователя некоторую меру истинности. Истинным является утверждение «вероятно идет дождь», но пользователь такого утверждения вправе сомневаться относительно факта «идет дождь», поскольку его запись содержит модальность «вероятно». Это первое исходное положение. Второе, модальности (константы мер истинности из перечислимого типа) не используются самостоятельно, а только в контексте или «рядом» с переменными или выражениями логического типа. Третье, использованная модальность распространяется на факты по мере раскрытия логических операций. Она может быть поглощена в результате при достаточности знаний или выразиться в новых логически выведенных фактах при неполноте исходных знаний.
^ 6. Классические логические операции.

Возвращаемся к многозначным логикам или конечным размытым логикам, как можно именовать К-значные логики. Примем также следующие соглашения. Оно относится к реализуемым логическим операциям в К-значных логиках. Помня, что переменные высказывания принимают (моделируются) целые числовые значения от 0 до К-1, вычисления значений результатов применения к ним логических операций также приводят к таким же целым значениям. Для переменных применяются те же классические логические операции, что и в двузначной логике (они соответствуют операциям, определенным в [9] для бесконечнозначных логик):


^ Логическая операция

Выражение для значения

not A

К-1-A

A or B

max(A, B)

A and B

min(A, B)

A xor B

Max(min(A, К-1-B), min(К-1-A, B))

A = B

Max(min(A, B), min(К-1-A, К-1-B))

A => B

max(К-1-A, B)

A << B

max(A, К-1-B)
1   2   3   4   5

Похожие:

Красилов Корпорация \"Галактика\" iconКрасилов Корпорация "Галактика"
Проводится сравнительный анализ понятий. Рассматриваются цели, задачи, законы и возможности информатики в соответствии с новым определением...

Красилов Корпорация \"Галактика\" iconА. А. Красилов Корпорация "Галактика"
Сравнительный анализ рассуждений человека и модели позволил построить интерпретацию понятий интеллектуальности, дуализма, триады,...

Красилов Корпорация \"Галактика\" iconC 1994,97 корпорация галактика

Красилов Корпорация \"Галактика\" iconC 1994,00 корпорация галактика
Работ разрешаю: ответственный за безопасное производство работ кранами (фамилия, и., о., подпись)

Красилов Корпорация \"Галактика\" iconПроект Галактика (с) 1995,2005 Галактика
Поручаем от нашего имени и за наш счет заключить сделку на продажу средств в иностранной валюте на следующих условиях

Красилов Корпорация \"Галактика\" icon© 2000 2009 зао корпорация Галактика. Все права защищены
Неавторизованное копирование или распространение этого программного обеспечения влечет за собой судебное преследование в гражданском...

Красилов Корпорация \"Галактика\" iconСтатья Общие положения. Представительство ОАО «Корпорация «Иркут»
Представительство ОАО «Корпорация «Иркут» в г. Таганроге, в дальнейшем тексте "Представительство", создано на основании решения Совета...

Красилов Корпорация \"Галактика\" iconСтановлению демократизации в школе №68 способствует деятельность...
Галактика. В декабре 2006 года музей школы участвовал в городском смотре-конкурсе школьных музейных экспозиций, посвященном 65-ой...

Красилов Корпорация \"Галактика\" iconРуководство по развертыванию Operations Manager 2007 Корпорация Майкрософт
Поскольку корпорация Майкрософт должна реагировать на меняющиеся условия рынка, эта информация не может считаться обязательством...

Красилов Корпорация \"Галактика\" iconОао «Корпорация Иркут» Протокол №22 от 29 июня 2005 г. Положение
«Научно-производственная корпорация «Иркут» (далее Положение) разработано в соответствии с действующим законодательством рф, Уставом...

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
vbibl.ru
Главная страница