экология - intellsyst

УДК 681.3.06 – 519.852.6
Международный форум по информации. - М., ВИНИТИ, в печати, 2004
Экология информации и знаний
А.А. Красилов
Корпорация "Галактика"
Москва, Россия
Обсуждается понятие экологии на основе результатов работы
интеллектуальной системы и ее применения для решения задач общего
назначения. Классы обнаруживаемых системой ошибок позволяют
определить понятие экологии знаний, построить модель философии на
основе логики работы системы. Сравнительный анализ рассуждений
человека и модели позволил построить интерпретацию понятий
интеллектуальности, дуализма, триады, здравого смысла и определить
новое направление в информатике под названием "знаниелогия".
Введение
Слово «экология» весьма популярно. Воспользуемся его значением для
применения к ВМ и интеллектуальным системам (Интеллсист), к информатике.
Большие тексты знаний плохо поддаются исследованиям на истинность знаний.
Например, новые законы государства все больше и больше противоречат друг другу изза необозримости всего состава свода законов. Конечно большинство противоречий в
законах или между законами устраняются в процессе их рассмотрения и применения.
Вспомогательные законодательные акты имеют списки отклонений ранее
существовавших положений (как метод устранения противоречий). Однако чаще всего
устранение противоречий делается с запозданием. В таком случае актуальна
автоматизация проверки документов на чистоту информации, сведений и знаний.
Информатика оказывает существенную помощь в разрешении таких проблем [1, 2].
В экологии на первом месте стоят взаимоотношения человека и природы. В этом
контексте можно рассматривать отношения человека к культуре, знаниям, информации
или сообщениям. Даже незначительные сообщения могут определять макрокартину
предмета, явления или процесса, в особенности в условиях неустойчивости системы
или ситуации. В связи с понятием экологии целесообразно рассмотреть путь (цепь)
развития отношений человек - природа и человек - общество:
экология информации (ЭИ) - управление знаниями (УЗ) - социальная экология
(СЭ) - экология знания как человеческий фактор (ЧФ) - экология знаний в чистом
виде (ЭЗ).
Рассмотрим кратко каждую составную часть приведенной цепи.
ЭИ родилась вместе с кибернетикой, когда необходимо стало осмысливать
точность управления величиной, а чистота сообщений (ложность, ошибочность)
проверялась сразу после произнесения человеком первого слова.
УЗ долгое время было широко распространено [3], использовалось всеми по
поводу и без повода, но по-разному понималось, и "могло включать в себя что угодно –
от сбора данных и до работы в Интранете, имея в виду прежде всего селекцию и
аккумуляцию необходимых для конкретной компании инженерных, технологических,
экономических и других данных и их распространение среди сотрудников". По оценке
группы специалистов знания сотрудников и организаций в целом становятся ценным
ресурсом, который начинает учитываться наравне с другими материальными
ресурсами. Вот какое бывает распределение потерь от общего объема атрибута,
связанное с уходом ведущих сотрудников:

Потеря знаний о передовом опыте в специфической области от общего объема 49%,

Нарушение отношений с ключевыми клиентами/поставщиками - 43%,

Существенная потеря прибыли - 13%,

Потеря важной для ведения бизнеса информации - 14%.
Однако сейчас наиболее важным аспектом УЗ можно считать не технологические
разработки, программные продукты или компьютеры и средства связи, а человеческий
фактор, готовность вести дела по-умному. Европейские производители демонстрируют
острый интерес к использованию программ управления знанием для информационной
поддержки бизнеса. Согласно обзору, подготовленному компанией Ксерокс, 60%
европейских предприятий уже имеют стратегические планы, учитывающие систему
управления знанием, а 80% готовы приступить к таким программам в ближайшие 3
года. Преимущество использования УЗ - это прежде всего в возможности обеспечить
более высокую прибыль. УЗ - это дисциплина, которая обеспечивает интегрированный
подход к созданию, сбору, организации, доступу и использованию информационных
ресурсов организации. Эти ресурсы включают структурированные БД, текстовую
информацию, такую как документы, описывающие правила и процедуры, и, что
наиболее важно, неявные знания и экспертизу, находящиеся в головах сотрудников. УЗ
в значительной степени опирается на людей - очень важно использовать системы
накопленного опыта, чтобы им могли воспользоваться другие посредством e-mail,
дискуссионных баз, chat (техническая болтовня), досок сообщений, видеоконференций
и т.п. Реально УЗ представляет собой систематический процесс создания и
преобразования индивидуального опыта таким образом, чтобы эти знания могли бы
быть
перенесены
в
процессы,
услуги
и
продукты
для
увеличения
общей
продуктивности. По оценкам [3] объем знаний, которыми в настоящее время обладает
человечество, удваивается каждые пять лет. В 2020 г. знания человечества будут
удваиваться каждые 72 дня. Таким образом, нас ожидает экспоненциальный рост
объемов информации, и наши дети и внуки будут жить в достаточно сложном, с
информационной точки зрения, обществе. Технологии работы со знаниями в
обозримом будущем будут развиваться очень быстрыми темпами.
Еще одна интересная формула, предложенная той же компанией [3], состоит в
следующем: Знания = (Люди + Информация)**Распространение,
т.е., знания - это есть люди плюс информация, возведенные в степень средств
распространения этой информации.
Затем развитие получила СЭ [4]. Даже самое напряженное творчество не может
реализоваться, если нет той среды, которая благоприятствует или, по крайней мере, не
препятствует этому творчеству. Но абсолютно податливых и пластичных сред не
существует (трудно писать без ошибок!). В связи с этим развились понятия:
экологическая
география,
экологические
катастрофы,
экологические
факторы,
экологический менеджмент, экологические словарь, законодательство, образование,
право, сознание. Экология как наука сопоставляется с другими отраслями знаний,
например, право, экономика, культура, медицина, поведение человека.
ЧФ вначале понималась как "встраивание" индивида в культуру. Эта дисциплина
занималась факторами окружающей среды, определяющими выживание человека и
других организмов; биоразнообразием жизни и разрушением его, а также
средообразующей ролью живых организмов в биосфере; накоплением загрязняющих
веществ в организмах и передаче их по цепям питания. Она охватывает такие тонкие
понятия, как, например, архитектура здания, удобная для сотрудников и
располагающая их к общению и обмену информацией. Все подобные понятия и идеи
начинают развиваться в новых, зарождающихся направлениях - ЧФ и ЭЗ. Сегодня при
осмыслении подобных реалий, в центре внимания, как уже отмечалось, находятся
отдельные люди и группы людей, фактически рассматриваемые в первобытном
состоянии, т.е. вне тесной связи со своей искусственной средой (костюм, дом, телефон
и др.).
В информатику введено [1,2] понятие ЭЗ, относящееся к взаимоотношению
человека или общества и вычислительной машины (ВМ) при толковании законов,
речей, писем и т.п. Рассматриваются классы ошибок, средства определения смысла
текста, роль Интеллсист [5,6] и разрешение запросов (задач, вопросов или проблем)
прямого пользователя ВМ. ЭЗ связана прежде всего с возможностью появления ошибок
в представлениях знаний. Знания передаются от человека к человеку, как уже было
неоднократно указано, знаками, различными языками, понятиями, средствами
тиражирования,
теоретическими
выкладками,
программами
и
разнообразными
системами [7,8]. Аналогичные средства используются и для передачи знаний на ВМ .
Создание любого представления знаний осложняется внесением в них ошибок, что
является средством их «загрязнения». В связи с этим возникла необходимость ввести
понятие ЭЗ и осознать причины этого «загрязнения».
Через Интернет можно вызвать ряд сайтов, в которых содержится информация о
некоторых перечисленных разделах ЭИ и ЭЗ:
Общие сведения: Knowledge Nurture, Knowledge Management Resource Center или
IntelligentКМ, сведения УЗ-специалистов: www.knowledge-nurture.com
и www.co-i-l.com, сведения для занимающихся бизнесом: www.brint.com или о
новостях в УС: www.kmresource.com, для профессионалов в области УС:
www.intelligentkm.com, а также в документах: javascript:window.opener.rubrics_new и
http://ioso.narod.ru/tezisi/tezisi4.html.
Термин "экология" предложен в 1866 г. Э. Геккелем, он определялся так:
экология (от греч. oikos - дом, жилище, местопребывание) - это наука об отношениях
живых организмов и образуемых ими сообществ между собой и с окружающей средой.
В 70-х гг. 20 века складывается экология человека, или социальная экология,
изучающая закономерности взаимодействия общества и окружающей среды, а также
практические проблемы ее охраны; включает различные философские,
социологические, экономические, географические и другие аспекты (например,
экология города, техническая экология, экологическая этика и др.). ЭЗ имеет
некоторый практический опыт в решаемых задачах доступа (поиска) к нужной
информации и к нужным людям в нужное время, при соединении людей и в измерении
эффективности работы со знаниями.
У каждой компоненты цепи имеются глобальные и локальные проблемы.
Например, главная проблема УЗ, по-видимому, состоит в том, как управлять, не
управляя, т. е. обеспечить не управляемое (извне), а самоуправляемое развитие. Суть
дела в том, чтобы дать простор для самоорганизации, чтобы развивающееся знание
само выходило на идеальные структуры.
В 90-х гг. 20 века возникает новая отрасль знаний - ЭЗ нового направления. Этой
отрасли посвящена предлагаемая статья. Отрадно, что имеющийся научный задел (13
классов ошибок обсуждался в начале в программировании и затем в информатике, но
не в других сферах деятельности человека) уже позволяет получать соответствующую
разностороннюю позитивную практическую отдачу. Важно продолжать методично
наращивать экологический потенциал науки, т.е. ее способность разбираться с
подобного рода трудностями человечества. ЭЗ вскрывает некоторые общие проблемы,
являющиеся двигателями науки.
Экология информации
Определения и отличия понятий информация и знание подробно рассматривались
в [7,8]. Исходя из этих определений обсуждаются вопросы ЭЗ. ЭИ и ЭЗ связаны с
искажением сообщений. Причины искажения информации таковы: сбои в канале
передачи сообщений, искажение текстов или смысла, несанкционированные доступ или
преобразования, незащищенность. Несмотря на то, что ЭИ уделялось большое
внимания, эта деятельность так не называлось. Информация является всеобщим
достоянием, для человека необходим быстрый доступ и эффективное использование
информации. Тем не менее, часто встречаются информационные утки, неправильное
толкование смысла сообщений, возникает сумятица, что порождает негативные
воздействия на человека или все общество.
ЭИ как дисциплина родилась и используется в кибернетике. В связи с важностью
вопросов ЭИ в настоящее время обычно рассматриваются такие проблемы:
(1) точное кодирование сигналов или сообщений,
(2) защита кода и процесса кодирования,
(3) точное декодирование сигналов или сообщений,
(4) обнаружение, локализация и устранение сбоев,
(5) точность управления или уменшенгие рассогласований,
(6) устойчивость и надежность систем от поломок,
(7) обеспечение того, чтобы система выполняла свои предписанные функции.
Каждая из проблем уточняется и детализируется, всем указанным проблемам найдены
решения в теоретической и практической кибернетике.
Можно сказать, что кибернетика занимается реализацией борьбы за
экологическую чистоту всех величин, которые регулируются обратными
информационными связями и выдерживаются в норме, предусмотренными функциями
системы. Можно сказать также, что ЭИ известна и нет смысла говорить об этом
подробнее. Приводимый ниже перечень ошибок в схемах можно сопоставить с
ошибками в знаниях:
1. неправильно собрана схема соединений,
2. возникают из-за неправильного использования характеристик параметров,
3. неправильно применены элементы схемы,
4. не все контакты правильно использованы,
5. неправильно расставлены элементы схемы,
6. неправильно распределены функции узлов,
7. использованы не те источники сигналов или напряжений,
8. использованы не те элементы схемы,
9. искажение кодов,
10. короткие замыкания,
11. обратные связи создают неустойчивость,
12. использована чужая схема,
13. не выполняются некоторые функции.
Сопоставление ошибок в ЭИ и ЭЗ может привести к детализации классов ошибок.
Экология знания
Формированием знания заняты все науки, поэтому человек стремился осознать
назначение знаний. Во введении приведена цепь экологических интересов человека, в
которой все звенья известны и изучаются почти во всех отраслях деятельности. Более
того, часто в различных формах используется фраза, которая характеризует и
оценивает интерес человека: "всякий акт знания производит следствия, которые
выходят за пределы этого акта". Интересно следствие, которое именуется экологией.
Постепенно нарастает интерес к знаниям о знании: Эволюция знания о знании с
точки зрения ЭЗ становится все более важной проблемой. Имеется много основных
фактов, которые должна принять для своего рассмотрения ЭЗ, - множественность и
разнообразие существующих и культурно детерминированных конструктов знания. Все
факторы ЭЗ подразделяются на: внешнюю, внутреннюю, терминологическую,
фактическую, научную, алгоритмическую ЭЗ и экологию как систему. Это относится
ко всем звеньям цепи развития экологии.
И все же постепенно, мощное развитие и взрывной мировой рост количества
информации и знания у населения, явное ухудшение среды применения знаний (мат,
ругань, бездарная песня или плохое исполнение) привели к тому, что стало ясно: пора
радикально менять отношение человечества к знаниям, т.к. уже возникла угроза
снижения качества знаний, наступило время коллективного решения вопросов и
проблем важной части цепи развития УЗ, СИ, ЧФ и ЭЗ - сохранение и чистота знаний.
Отнесение ЭЗ к синергетике или к чему-то другому не имеет особого значения,
каждая наука должна обладать средствами защиты в ЭЗ, которая становится
универсальной парадигмой экологии [1]. Например, еще два десятилетия назад
говорилось о том, что поиск принципа, объединяющего все экологическое знание,
можно связать с направленностью любых экологических исследований на решение
некой единой задачи, которую в несколько абстрагированной форме можно
сформулировать следующим образом: изучение взаимозависимости развивающихся
человека и знаний. Еще пример - проблемы лженауки или не работающие
законодательства, взаимоотношения общества и знания, которые также относятся к
ЭЗ.Исходя из этого, исходным абстрактным элементом любой экологической теории
следует выбрать, на наш взгляд, отношение человек-знания.
Для ЭЗ в [2] введены относительно новые понятия, заимствованные из
математики: непротиворечивость, независимость и полнота знаний. Рассмотренные
ниже первые 8 классов ошибок заимствованы из программирования. Экологическую
чистоту обеспечивают по этим классам ошибок известные системы: анализ
правописания, грамматический анализ и системы компиляции. Конечно, эти средства
автоматически обеспечивают поиск многих ошибок, но без учета смысла или значения
понятий.
Как представляется, в основании универсальной парадигмы ЭЗ не могут не быть
представлены следующие понятийно-терминологические единицы: термин, имя,
значение, тип данных, фраза, обзац, операнд (величина), операция (действие),
вычисление смысла и еще некоторые.
Классификация ошибок в текстах
Знания передаются от человека к человеку знаками, различными языками,
понятиями, средствами тиражирования, теоретическими выкладками, программами и
разнообразными системами [9]. Аналогичные средства используются и для передачи
знаний на ВМ. Количество конкретных «загрязнений», которые потенциально могут
возникнуть в текстах и таблицах, велико, поэтому рассмотрим только классы ошибок.
Классификация ошибок в текстах и таблицах такова (ниже указаны номера классов и
причины появления и метод устранения ошибок на ВМ):
Класс 1. Синтаксические ошибки возникают в результате нарушения правил
синтаксиса грамматики ЕЯ или ФЯ. В подавляющем большинстве лингвистических
программ синтаксические ошибки обнаруживаются автоматически по правилам или в
соответствии с правилами известной классической синтаксической грамматики (СиГ).
Например, А+*В - две операции не могут применяться одновременно.
Класс 2. Лингвистические ошибки возникают из-за неправильного
использования характеристик терминов в известных контекстах. В программах
обработки текстов лингвистические ошибки обнаруживаются автоматически по
таблицам, словарям из слов и терминов и по правилам СиГ и семантической
грамматики (СеГ) [5,6]. Например, А + АА - В - ВВ - термина АА нет.
Класс 3. Концептуальные ошибки являются относительно новыми в
информатике и обнаруживаются при неправильном использовании определений
терминов (понятий). Подобные ошибки обнаруживаются в программах обработки
понятия автоматически по лексикону. Например, Николайев - такого термина нет.
Класс 4. Семантические ошибки являются результатом нарушения контекстных
условий при использовании понятий, они не позволяют определять смысл фраз.
Семантические ошибки обнаруживаются автоматически по правилам СеГ и лексикону.
Например, F(х, у) - функция F должна иметь один аргумент.
Класс 5. Прагматические ошибки возникают при нарушении количественных
ограничений на те или иные части текстов или фраз. Прагматические ошибки
обнаруживаются автоматически подсчетом допустимых количественных характеристик
указанных объектов и сравнением их с табличными данными. Например, число
индексов в массиве не должно превышать 10.
Класс 6. Формульные ошибки возникают при нарушении в согласовании типов
операндов в выражениях и операций над значениями входящих в формулу операндов.
Формульные ошибки обнаруживаются автоматически по таблицам соответствия
операций и типов операндов. Например, 5 + истина - такие слагаемые не допустимы.
Класс 7. Системные ошибки выявляются при нарушении в использовании
вычислительных средств и средств общения, которые обнаруживают неправильное
использование операционной системы или системных программ. Системные ошибки
обнаруживаются автоматически либо по таблицам, либо операционной системой.
Например, А / 0 - недопустимо деление на ноль.
Класс 8. Предметные ошибки связаны с нарушением целостности данных и с
неправильным использованием элементов БД и БЗ. Предметные ошибки чаще
обнаруживаются автоматически по заведомо разработанным правилам сопоставления и
путем сравнения и оценки данных.
Класс 9. Смысловые ошибки являются результатом нарушения правил СеГ при
построении высказываний для передачи смысла. Смысловые ошибки связаны с
идентификацией понятий по лексикону и вычислением смысла текста. Некоторые
ошибки обнаруживаются локально по свойствам понятий, а остальные глобально по
контексту, они могут выступать самостоятельно или подразделяться на классы,
которые перечислены ниже. Например, дождь пошел в виде снега. - таких терминов
нет.
Класс 10. Локальные противоречия выявляются тогда, когда часть текста
противоречит части знаний в базе. Локальные противоречия - это результат
внутреннего логического анализа текстов, осуществляемого в процессе логического
вывода при вводе знаний или при разрешении запроса. Эти ошибки обнаруживаются
при получении значений ложь для утверждений, они могут быть плановыми для
«подчистки» знаний. Например, не(быть или не быть) - образует локальное
противоречие (см. [2]).
Класс 11. Глобальные противоречия выявляются тогда, когда вводимый абзац
полностью противоречит знаниям из БЗ. Глобальные противоречия обнаруживаются
при полном логическом анализе всех текстов, осуществляемом также в процессе
логического вывода при вводе знаний или при разрешении запроса. Наличие таких
ошибок делает невозможным продолжение анализа БЗ или запроса.
Класс 12. Независимость знаний обнаруживается при наличии локальных или
глобальных повторов в текстах по смыслу или при непосредственном совпадении
фрагментов текста. Независимость знаний есть результат логического сопоставления
смыслов двух предложений или абзацев. Эти ошибки также могут быть «плановыми»
для проверки поставщика знаний. Такими ошибками можно пренебрегать. Например, А
или В или не В - закон исключенного третьего избыточен.
Класс 13. Полнота знания выявляется при разрешении запросов тогда, когда
результат логического вывода не состоит из фактов, а из выражений, смысл которых не
всегда ясен. Полнота знания выявляется после реализации логического вывода как
результат применения метода решения логического уравнения. Такие ошибки могут
быть полезными в аналитических выкладках и при построении новых определений.
Например, ??? + А - формула, в которой неизвестны понятие ??? и операция сложения
для таких понятий.
Особенностью Интеллсист, отличающей ее от экспертных систем (ЭС), является
обязательность автоматической проверки знания на экологическую чистоту при вводе в
память очередной порции текста (абзаца). Смысловые ошибки обнаруживаются при
использовании БД и БЗ путем проверки правильности формулировки фактов и
высказываний с точки зрения лексикона данной специальности и накопленного знания.
Можно еще рассматривать стилистические или случайные ошибки и т.п., но они
так или иначе сводятся к указанным типам ошибок или являются просто синонимами
указанных имен ошибок. Способность обнаруживать, локализовать и обоснованно
исправлять ошибки, в частности, характеризует интеллект человека или системы.
Известно, что пять последних классов ошибок современными системами, в частности,
ЭС [10] не обнаруживаются, а первые восемь отыскиваются автоматически во многих
программных системах. Все классы ошибок обнаруживаются автоматически, что
поддерживает понятие экологической чистоты знаний. Работа с ошибками включает
следующие действия:
1. Изучение источников ошибок.
2. Обнаружение ошибок.
3. Идентификация ошибок.
4. Локализация ошибок.
5. Определение метода устранения ошибок.
6. Исправление текстов.
7. Изучение последствий исправления текстов.
Каждую
ошибку
необходимо
обнаружить,
локализовать,
квалифицировать,
исправить и ввести исправления в текст. Новая проверка сообщения должна
подтвердить отсутствие данной ошибки или обнаружить неправильность исправления.
Ведь наличие или отсутствие ошибок в сообщениях определяют условия нашей жизни.
Структура Интеллсист и технология решения заданий представлена в [11]. В
процессе анализа текстов выявляется 13 классов ошибок (около 250 конкретных
названий). 8 первых общих классов ошибок широко известны, они обнаруживаются в
каждой программной системе переработки текстов. Последние 5 классов ошибок
обнаруживаются в Интеллсист автоматически. Это отличает Интеллсист от ЭС [10].
Необходимость семантической грамматики естественного языка
Существует причина отсутствия в современных информационных системах
контроля пяти последних классов важных ошибок в текстах из-за отсутствия правил
получения смысла текстов. Имеющихся классических грамматических правил крайне
недостаточно для этих целей. Необходим новый подход в построении грамматики
любого естественного языка (ЕЯ) для вычисления смысла фраз и текстов.
Грамматика ЕЯ состоит главным образом из правил формирования слов и
предложений. Она может только способствовать определению смысла сказанного или
написанного и автоматическому обнаружению первых восьми классов ошибок.
Поэтому выявление пяти последних классов ошибок не представляется возможным с
помощью широко известной грамматики. Мы сформулировали СеГ русского языка [5]
(по аналогии можно рассматривать и др. языки), которая содержит правила
определения смысла текстов, удовлетворяющих правилам классической грамматики.
Смысл текста изначально определяется по терминам (комбинациям из слов и
символов), обозначающим понятия и принимающим значения (смысл) понятия (числа,
символы, строки, записи, алгоритмы и т.п.), и лексемам, обозначающим фактические
значения (фактический смысл). Любой текст целиком состоит из терминов, среди
которых выделены только названия предметов и операций. Из терминов составляются
фразы, из фраз - абзацы. Абзац, как единица текста, представляет собой (с формальной
точки зрения) логическое выражение, принимающее значение истины или лжи.
Совокупность терминов с их характеристиками образует лексикон Интеллсист (первая
часть знаний), а последовательность абзацев всего текста составляетБЗ (вторая часть
знаний).
Смысл фразы вначале вычисляется по смыслу терминов (предметов и операций).
Смысл абзаца вычисляется по смыслу фраз и операций над фразами. Смысл всего
текста определяется по смыслу абзацев и логических операций, соединяющих абзацы.
Вычисление смысла необходимо для автоматического обнаружения указанных
пяти классов ошибок. При вводе абзаца может быть вычислено значение ложь, что
может привести к значению ложь всего текста. Значением всего текста должна быть
истина.
СеГ [5,6] ЕЯ нами сформирована для автоматического определения смысла
текстов. Автоматическое понимание смысла текстов можно использовать для
построения различных Интеллсист [11,12] и, прежде всего, для построения вопросноответных систем, которые осмысливают вопрос и находят фрагменты текстов по
существу вопроса (по его смыслу), а не по ключевым словам. Интересна задача
распознавания текстов, которая также использует смысл текста: имеются рубрики,
охарактеризованные
образцами
текстов,
требуется
отнести
новый
текст
к
соответствующей рубрике по близости к образцам с учетом совпадения смысла
образцов и нового текста. Можно также решить самую простую задачу поиска ошибок
в тексте с учетом внутреннего смысла этого текста. Это далеко не полный перечень
задач, которые могут продуктивно решаться на основе СеГ русского языка.
Главное же применение СеГ находит в Интеллсист для перевода текстов знаний и
запросов на внутренний ФЯ. Заметим, что внешний язык является языком
профессиональной прозы (ЯПП), а внутренний язык Интеллсист [12] (именуемый
Лейбниц) соответствует универсальной грамматике, очень слабо зависящей от
национальности ЕЯ, поэтому он может использоваться в качестве промежуточного
языка при построении программ перевода текстов по заданой специальности с одного
ЕЯ на другой.
Только с помощью алгоритмов вычисления смысла текста можно реализовать
контроль текстов по обнаружению противоречий, зависимости и неполноты знаний.
Понятие экологии знания
Автоматическое обнаружение 13 классов ошибок определяет экологическую
чистку или контроль знаний и запросов. В связи с этим родилась парадигма ЭЗ [1].
Важно определять чистоту знаний в текстах, что означает, что в первую очередь
необходимо
определить
противоречия,
независимость
и
полноту
знаний.
Независимость знаний обеспечивает фильтрацию данных и утверждений с целью
экономии
памяти
и
времени.
Полнота
знаний
необходима
для
получения
окончательного результата решения заданий после прохождения их через Интеллсист.
Неполнота знаний также может оказаться полезной для формирования понятий,
аналитических выкладок и синтеза программ.
Экология (как наука) изучает взаимоотношение человека или общества и
природы. Можно ли назвать знания человека или общества частью природы их самих?
Мы отвечаем на вопрос положительно. Чистота знаний отдельного человека (или
группы людей) во взаимоотношениях с обществом важна и актуальна в век бурной
информатизации. Каждое сообщение не должно содержать ошибок и противоречить
накопленному знанию. Очень редко случается так, что противоречивые новые знания
характеризуют новый взгляд на отрасль какой-либо науки или исследование. В таком
случае накопленные знания пересматриваются. Вместе с пересмотром меняется и база
знаний (БЗ).
Под экологией знания понимается совокупность методов и приемов выявления
качественных (грамматических, контекстных, смысловых и внутренних или
внешних противоречий) и количественных (нарушений правил формирования
и использования элементов) ошибок в различных представлениях всего
разнообразия знаний.
Отдельному человеку не под силу обеспечить проверку сообщения на чистоту изза огромного объема документов по накопленному знанию. Например, число
нормативных актов по налогам превышает 5000 файлов (законов и разъяснений).
Необходимо привлекать средства вычислительной техники для проверки каждого
ответственного сообщения, которое может содержать ошибки из указанных 13 классов.
Охрана знаний чрезвычайно важна. Сегодня в информатике имеются широко
известные средства для защиты информации [13] от несанкционированного доступа к
знаниям различного вида. А вот организация чистоты знаний находится в начальном
(или формальном) состоянии и не нашла еще широкого практического примене-ния.
Более широкий взгляд приводит к выводу об актуальности экологизации современной
науки любого направления ее использования и деятельности. Отрицательные
последствия пренебрежения охраной ЭЗ очевидны. Все прекрасно понимают
последствия лжи (ошибок), неверных и ошибочных информаций, сведений, законов,
постановлений, писем, докладов и т.п.
Математический аппарат экологии знаний
Поддержка ЭЗ осуществляется комплексом Интеллсист, в меньшей степени
всеми существующими программами. Для построения его машинных программ
используется информатическая логика [14] (ИЛ). Она охватывает все существующие
логики (математическую, модальную и др.). Ее аксиоматика включает более 550
аксиом и 7 видов правил логического вывода решения логического уравнения. Тексты
знаний задаются в виде последовательностей равенств, неравенств или логических
утверждений с любыми (из 150) операциями над величинами 36 типов, которые
представлены на ЕЯ специалиста и образуют БЗ. Аналогично формируются запросы,
требующие разрешения. БЗ в логическом уравнении составляет посылку, а запрос заключение
или
конъюнкцию.
В
БЗ
Интеллсист
обязательно
содержатся
фундаментальные общеобразовательные знания - знания в объеме средней школы,
первого и второго курсов ВУЗа. Решение логического уравнения содержит
альтернативы конкретных (с лексемами) или обобщенных (с формулами) совместных
фактов. По составу решения логического уравнения определяются свойства БЗ и
запроса.
Для поиска противоречий (вообще всех ошибок) используется математический
аппарат Интеллсист. Образно можно так рассказать об ее применении. Каждая фраза
или абзац знания вначале вводится, а затем анализируется и проверяется состояние БЗ.
Если база «обнулилась», то обнаружено глобальное противоречие, если база
уменьшилась по объему, то обнаружено локальное противоречие, наконец, если база
увеличилась, то в порции знания содержится нечто новое, что введено в базу. Если
объем базы не изменился, то новая порция знания зависима (является дублирующей)
от имеющегося знания в базе. Сразу заметим, что зависимые знания определяют
только свойства знаниеведа (инженера по знаниям, эксперта или специалиста) точно
формулировать знания (без локальных или глобальных повторов). А любое
противоречие заставляет относиться к источнику знаний настороженно. Ошибку
необходимо проанализировать и устранить причины противоречия. В таком случае
Интеллсист только поможет определить место и свойства ошибки, но устранить ее она
не в состоянии, это может сделать только знаниевед или пользователь.
Полнота знаний связана с запросами пользователя. Она может быть отнесена
только к данному запросу (отличительная черта информатической логики по
сравнению с математической). Если в результате разрешения запроса получены
альтернативы конкретных совместных фактов, то знания полны. Если в ответе
Интеллсист содержится хотя бы одна формула или построена программа (в ответе
содержатся некоторые обобщенные факты или в запросе заданы не все факты или
исходные данные), то знания не полны, требуется либо описать неопределенную в
тексте знаний или запросе операцию, либо сформулировать дополнительные факты
(конкретные знания).
Основным вопросом в разработках Интеллсист является вопрос представления
знаний. В разработках искусственного интеллекта (ИИ) для представления знаний
используются главным образом семантические сети и фреймы. В реализации
Интеллсист использовано универсальное представление знаний парами <имя,
значение>, которая интерпретируется по различному в зависимости от изучаемого
объекта. В СеГ она приобретает вид <термин, лексический элемент>, в СиГ - <текст,
граф>, в графической информатике - <изображение, текст>. Можно представить и
другие варианты интерпретации пары. Например, биологические исследования могут
быть связаны с парой <человек, система>, лингвистические - с парой <язык,
грамматика>, в автоматическом управлении – с парой <поведение, алгоритм>. Важно
то, что пара отражает понятие некоторой области знания, которое имеет две главные
компоненты: наименование понятия и его смысл. Кроме этой пары каждое понятие
имеет еще многие атрибуты, которые играют меньшую роль для пользователя и реже
применяются. Примерами атрибутов понятия являются дата появления понятия,
характеристика области смысла понятия и др.
Для понимания математического аппарата необходимы 2 понятия.
Интеллектуальной системой (Интеллсист) называется программный комплекс,
обеспечивающий ввод знаний в базу и запросов пользователя на его профессиональном
или формальном языках (ФЯ) для логического вывода ответа в самых разнообразных
областях применения ВМ с использованием контроля за правильностью знаний. Знания
и запросы представляются одним из семи видов или их комбинацией. Применение
Интеллсист порождает интеллектуальное программирование (ИП) - новое направление
в информатике, основанное на вводе в ВМ знаний о предметной и проблемной
областях и логическом выводе ответа на запросы пользователя (в результате решения
логического уравнения).
Инструментарий ИП
ИП состоит из следующих частей: ядро (транслятор текстов с ЕЯ на внутренний
ФЯ, интерпретатор операций для реализации смешанных вычислений, машина
логического вывода решения логического уравнения, оформители ошибок и
результатов и др.); интерфейс пользователя с Интеллсист (собственно инструментарий
ИП); интерфейс Интеллсист и СУБД для создания и применения таблиц с данными
(фактами); синтезатор программ, работающий при неизвестных исходных данных [15]
и по указанию человека.
Процессы формирования текстов знаний и запросов составляют сущность ИП. С
помощью ИП можно решать 7 классов задач [8]:
1. проверка истинности утверждений (или доказательство теорем),
2. поиск условий истинности (или синтез теорем и получение альтернативных
решений, что отличает ИП от процедурного программирования - ПП),
3. определение или доопределение понятий,
4. информационный поиск по таблицам,
5. поиск пути логического вывода (или задачи лабиринта и планирования),
6. синтез алгоритмов или программ,
7. информационный синтез систем.
Эти классы охватывают все области деятельности пользователя и поддержаны всеми
методами обеспечения ЭЗ. Почти каждое задание является композицией указанных
задач, поэтому разбиение их на классы условно, чтобы обрамить область применения
Интеллсист.
Пользователь общается с инструментарием ИП через несколько окон из числа
имеющихся 150-200 окон, получая ответы на запросы о параметрах и режимах работы
Интеллсист (применение параметров по умолчанию сокращают работу), о файлах для
работы, редакторских операциях, способах индикации окон, необходимом справочном
материале для обучения, сервисе обработки знаний, структуре знаний и свойствах
вводимых понятий и др. Основная работа состоит в создании лексикона, БЗ, запроса и
его разрешении. Справочная подсистема включает стандартный терминологический
словарь по информатике обработки знаний, индекс, общую информацию об
Интеллсист. Среди сервисных важной является программа сборки терминологического
словаря по исходным текстам знаний (учебникам, пособиям и руководствам).
Первичная обработка текстов в результате корреляционного анализа их по смыслу
определяет черновой терминологический словарь в помощь пользователю для создания
фактических словарей и при редактировании исходных текстов знаний в соответствии с
правилами СеГ и выделения терминов. Кроме указанного в состав сервиса входит
программа контроля грамматического правописания (терминография).
Результатом работы Интеллсист являются [15,16]:

альтернативы совместных новых фактов,

формулы аналитических выкладок,

программа для вычислений,

обнаружение ошибок в задании.
Факт - это либо элементарное высказывание типа «солнце встало» или «Х = 7.0», либо
утверждение (определение понятий или итоги аналитических выкладок). Если
исходные данные не заданы, то по утверждениям синтезируется программа.
Инструментарий ИП является средством решения заданий, написанных на ЯПП,
которое доступно любому пользователю, знающему лексикон и проблематику своей
профессии. Для пользователя продуктами всей разработки являются настроенная
Интеллсист, встроенная в систему БЗ, фундаментальная БЗ, БЗ физических единиц,
интерфейсная БЗ для синтезированных программ и заказные БЗ по наукам, отраслям
знаний, специальностям и специализациям. Использование Интеллсист не требует
знаний ФЯ и услуг программистов. Ныне компьютерный рынок поставляет (кроме
технических средств) программы, которые представляют алгоритмическое знание, а БЗ
рождают новую нишу на рынке машинных знаний.
Интеллектуальность Интеллсист
Интеллектуальность Интеллсист оценивается, как и другие программы по семи
номинациям:
(1)
уровень обеспечения наглядности, или внешняя интеллектуальность, не
требующий емких руководств, так как интерфейс обеспечивает подсказки в
работе (по этой номинации ныне все программы оцениваются высоко),
(2)
уровень обеспечения осмысленности, или внутренняя интеллектуальность,
оснащенность языками для решения лингвистических подзадач (трансляторы,
распознаватели),
(3)
уровень обеспечения концептуальности, или концептуальные основы
программного комплекса (автоматическое использование словарей и лексиконов
для понятий),
(4)
уровень обеспечения использования БД, взаимосвязи данных, их целостность и
защищенность,
(5)
наличие логического вывода, или вывод ответов на запросы пользователей по БЗ,
и уровень обеспечения ЭЗ,
(6)
уровень обеспечения программной пригодности, или возможность настройки и
адаптации программы,
(7)
уровень обеспечения системной пригодности, или общественная жизнь
программного комплекса в условиях отсутствия экологической чистоты.
Во многих программах большая часть номинаций учитывается в той или иной мере,
кроме пункта 5 (исключая экспертные и прологовые системы). Интеллсист проходит по
всем номинациям позитивно и с высоким рейтингом.
Использование БД в Интеллсист связано с накоплением фактического материала
и предусмотрено в двух вариантах. Первый - это создание различных таблиц и
коллекций данных, собираемых по знаниям и запросам. Данные являются фактическим
материалом (фактами) для логического вывода ответов на запросы. Второй - это
использование стандартных СУБД или набора различных СУБД (на выбор
пользователя), интеллектуальность которых заложена заведомо разработчиками
выбранных СУБД. Для обычных задач используются реляционные СУБД, для задач с
изображениями - объектные СУБД. Оценка системы обработки знаний по четвертой
номинации целиком зависит от используемых СУБД и версии Интеллсист,
отличающихся друг от друга мерой использования каждой СУБД или их набором.
Шестая номинация связана с удобствами в программировании: язык и стиль,
возможность создания больших программ, надежность и эффективность программ и
процессов программирования, определяемая синтезатором программ, возможность
тестирования, верификации и подтверждения знаний. Интеллсист предусматривает
автоматический синтез программ, что обеспечивает их положительные характеристики,
построение
программ
средствами
ЯПП.
Седьмая
номинация
ориентирует
разработчиков знаний и программ по многим атрибутам системного порядка: рынок,
маркетинг, реклама, аудит, конкурентоспособность. Критерием высокой оценки
интеллектуальности явится размер спроса. Совокупная оценка по всем номинациям
каждого
программного
комплекса
является
средством
для
сравнения
интеллектуальности программ между собой. Следует иметь в виду, что "защита от
дурака" является средством обеспечения ЭЗ и повышения рейтинга по всем
номинациям интеллектуальности.
Анализ проделанного. Что же сделано и что предстоит сделать для усиления
контроля за состоянием ЭЗ? Ответы здесь могут быть и конкретными, и
обобщающими. Конкретный ответ касается прогрессирующего развития и внедрения
Интеллсист и программной ее части. Внедрение Интеллсист - дело важное, по мере
создания БЗ вырастет рынок знаний для пользователя ВМ. Развитие программной части
инструментария Интеллсист просматривается уже сейчас. Программу развития ИП
можно представить следующим образом:

учет всех пока оставшихся не обработанными до конца типов данных,
интерпретация операций с такими данными и совершенствование машины
логического вывода путем добавления новых аксиом ИЛ относительно этих типов
данных (естественное развитие), увеличение области применений ЭЗ;

разработка БЗ и БД по областям знаний, что представляет собой количественно
огромное поле деятельности для специалистов и знаниеведов, а также построение
аппарата композиции лексиконов и знаний (интеллектуальное развитие),
сохранение ЭЗ на высоком уровне;

разработка языка и средств работы со звуковой, графической, осязательной,
обонятельной и экранной информацией с учетом динамики графических и экранных
изображений и потоков звука, осязания и обоняния (техническое развитие),
распространение понятия ЭЗ на новые области применения ВМ.
Обобщающий
ответ
касается
мировоззрения,
порождаемого
разработкой,
внедрением и использованием Интеллсист для ЭЗ. Поскольку Интеллсист работает со
знанием, что свойственно и человеку, естественным образом возникает философская
оценка деятельности человека в информатике знаний. А философия приносит
неоценимую пользу для осознания воззрения на окружающий мир. Конечно же, главная
причина развития философии знаний и их обработки состоит в оценке важности
применения Интеллсист для ЭЗ в различных областях деятельности человека. Дело в
том, что Интеллсист логически выводит новое знание, которое можно использовать для
изучения природы вещей, познания новых понятий, фактов и закономерностей,
управления и конструирования новых предметов, явлений или процессов. Логический
вывод базируется на строгих положениях и правилах, в то время как человек
обрабатывает знания большей частью интуитивно, по наитию или эмоционально.
Поэтому важно установить различия в мировоззрении человека (как неформальной
системы) и Интеллсист (как формальной системы). Имеется один фактор, сближающий
человека и Интеллсист. Он состоит в том, что Интеллсист ориентируется на понятия
приближения к истине по мере накопления знаний. Имеется и фактор, разделяющий
человека и Интеллсист. Он состоит в том, что память Интеллсист ограничена и нет
пока никакой возможности поставить в равные условия человека и Интеллсист, которая
будет содержать знания, объем которых меньше знаний человека. Несмотря на это
стоит рассмотреть философию, на которую ориентируется Интеллсист и которая
вытекает из работы Интеллсист, для сопоставления взглядов человека и возможного
изменения его взглядов после применения Интеллсист. Самым важным применением
Интеллсист является сохранение высокого уровня ЭЗ и обеспечение контроля за
состоянием ЭЗ.
Ложные знания и другие заблуждения
Философ Досси как-то высказал следующее: "Нет заблуждения, в котором не
было бы крупицы истины". На первых стадиях исследований возникают или получают
ложные знания. Исходные высказывания ("аксиомы") могут быть ложными, тогда
запросы (вопросы и проблемы) также могут оказаться ложными, но экологически
чистыми с позиций аксиом. Рождается так называемая лженаука. Конечно, ее можно
запретить административно (как это было с генетикой и кибернетикой, что привело к
потере научного потенциала). Примерно такое же происходит в законотворческой
деятельности.
Поэтому
со
временем
приходится
подправлять
законы
и
законодательные акты.
В истории человечества можно отметить различные совокупности знаний,
которые назывались лженауками или псевдонауками. Нельзя пренебрегать знаниями
такого сорта. Внимательное их изучение может привести к обнаружению парадокса,
который положительно повлияет на науку. На начальных стадиях изучения новых
предметов, явлений или процессов (НЛО и астрология) вполне допускаются
утверждения, которые с позиций современной науки являются ложными. История учит,
что рождение нового знания всегда сопровождается такими утверждениями. В
конечном счете исследование таких явлений приводило либо к построению новой
теории (даже науки), либо к пониманию ошибки в рассуждениях, и тогда накопленные
знания складывались в архив, либо определялась область приложений нового знания,
выведенного из ложного или противоречивого знания. Любое аналогичное
исследование важно и будет возникать непрерывно в будущем. Только ортодоксальное
знание может приводить к коренному изменению взглядов на предмет, явление или
процесс.
Работа с «ложными» знаниями должна быть доступной для Интеллсист. ИЛ
позволяет успешно обрабатывать такое знание. Вспомним формулировку основного
логического уравнения, решение которого разрешает запросы пользователя. БЗ
заполняется абзацами знаний Ki, которые при составлении логического уравнения
объединяются в БЗ - &iKi. Можно рассматривать БЗ, например, с абзацем not Ki. Тогда
и результат решения уравнения в БЗ с такими абзацами будет иным. Если не возникает
глобального противоречия в БЗ, то после логического вывода решения будут получены
новые (ложные) факты, будет построено новое знание, которое может оказаться
практически полезным.
Здесь важным является обстоятельство появления глобальных противоречий. Это
не должно смущать исследователя, поскольку он может пересмотреть БЗ и
модифицировать ее так, чтобы исчезло глобальное противоречие. Возможны также и
локальные противоречия.
Философия Интеллсист
Знание или обсуждение машинного понимания «окружающего Интеллсист мира»
важно главным образом для самих пользователей системы. Ориентация в
мировоззрении Интеллсист способствует укорочению времени общения с Интеллсист.
Ниже рассматриваются некоторые, наиболее важные вопросы философии Интеллсист
(точнее - модели философии). Однако каждый раз следует иметь в виду, что
Интеллсист разрешает те и только те проблемы (запросы), которые соответствуют
заложенными в нее знаниям, ЯПП и СеГ без потери знаний при переходе к
процедурным языкам [6] и осуществление контроля за состоянием ЭЗ. Можно еще так
сказать: при неполном знании Интеллсист выдает недоразрешенные ответы, которые
полезны в любом исследовании иногда в большей мере, чем разрешенные проблемы.
Это, в частности, важно для понимания того, что технический уровень обсуждения
философских проблем остается в стороне (он чаще всего доступен небольшому числу
людей), здесь сохраняется уровень общения на ЕЯ, который доступен любому
человеку. Философия Интеллсист - воззрение, которое рождается у человека после
анализа того, что делает система.
О мышлении с позиции Интеллсист. ЭЗ в конечном счете проникает в
философию. Этот путь проникновения можно проследить через осмысление того, что
делает Интеллсист со знаниями. Философия Интеллсист относительно мышления
содержится в следующем. Все то, что мы пишем, говорим и видим (факты и
утверждения о фактах), представляет знание, которое мы можем ввести в память
Интеллсист; далее, при постановке заданий, задач, вопросов, проблем (запросов) она
решает логическое уравнение, в которое входят знания и запрос; решение логического
уравнения представляет собой альтернативы (возможные варианты) совместных новых
фактов [9]. Запрос может содержать неопределенное (абстрактное) понятие, тогда в
результате получается логическая формула – определение этого понятия. Запрос может
быть утверждением, относительно которого необходимо установить истинно оно или
ложно, тогда в результате получится истина, ложь или условие того, что превращает
утверждение в теорему. Всего в ИП изучаются 7 сортов запросов (задач) для
Интеллсист, с которыми связаны 7 сортов решений и результатов [10].
Самым существенным в философии Интеллсист является следующее положение.
Интеллсист выводит результат на запрос только в соответствии с имеющимися у нее
знаниями. Каковы знания - таков результат. Абсолютной истины для Интеллсист не
существует. Это можно обосновать математически. Любое высказывание может быть
истинным или ложным, таково исходное положение. Будем считать, что каждый
человек говорит истинами. Весь вопрос в том, имеется ли противоречие в его
сообщении (так выявляется лженаука). Интеллсист реализует экологические операции
со знаниями и запросами (определяет непротиворечивость, независимость и полноту
знаний по мере их ввода в память Интеллсист). Правда, эта философия не находит
физических или механических аналогий, но ведь считается, что таких аналогий и не
надо искать, хотя попытки к такому подходу имеются у многих авторов. Проблемы
поиска смысла, истины, определения или решения задачи должны разрешаться
автоматически на основе имеющихся знаний и в контексте запроса и всегда по
математически обоснованным правилам. Например, любой парадокс либо инициирует
в Интеллсист противоречие, либо позитивное решение, если позволяют знания понятий
из парадокса и запроса, в котором содержится обычно дополнительное конкретное
знание.
Центральное место в СеГ отведено понятию, которое представлено термином и
характеристиками (множество значений, текущее значение, дата введения и др.). Если
понятие не содержит каких-либо характеристик, то оно считается абстрактным. Каждое
понятие используется в текстах (в контексте) с другими понятиями, что составляет
некоторое высказывание или утверждение о понятии, входящее в знание или запрос.
Представление о внешнем мире и действительности выражается такими
высказываниями. Решение логического уравнения не предоставляет желаемого
результата, оно может быть желаемым, противоречивым или нежелательным, но
соответствующим знаниям и запросу. Человек формирует какой-либо вывод: его
устраивает решение, или он пополняет знания для Интеллсист, или изменяет запрос.
Таков творческий процесс Интеллсист и человека, работающего с Интеллсист.
Ограниченность или широта знаний приводят к определенной степени точности
результата.
Для некоторых исследователей интерпретация областей знаний такова: знания –
«описание» области природы, понятия - «описание» области материальных (или
духовных) объектов (предметная область), знание действий - проблемная область,
запросы - «описание» области моделей (область заданий для Интеллсист). Связь
понятий осуществляется через понятия действий. СеГ утверждает [5,6], что любой
текст состоит из последовательности терминов (объектов или действий), именующих
понятия. Продукты человеческой деятельности в информатике - это либо предметные
понятия, либо понятия-действия. Для Интеллсист не возникает проблем истинности
понятий и дискретности или непрерывности процесса или явления, так как она
рассматривает тексты знаний или запросов (а они дискретны по существу),
непрерывные процессы или явления представляются формулами, функциями или
операторами (возможно зависящими от времени). Моделями для Интеллсист являются
программы, которые она сама может построить. Для Интеллсист самым важным
является поиск истинности знаний, а не истинности понятий, так как это не понятный
термин («истинность понятия»). Скорее всего под истинностью понятия следует
понимать некую полноту его определения. Для Интеллсист вопрос полноты
определения не ставится, так как сам процесс разрешения задания пользователя и его
результат укажут ту полноту определяемого понятия, которая соответствует объему БЗ
и запроса.
Нельзя собрать в одну БЗ сведения обо всем мире, поскольку понятия имеют
различный смысл в различных применениях, а объем знаний велик и необъятен, и
зачем это нужно делать. Кроме этого, мир гораздо разнообразнее чем весь словарь
русского языка, поэтому познание мира сопровождается рождением новых слов и
понятий. Знания данной (какой-либо) специальности рассматриваются в той области, в
которой конкретному человеку нужны ответы и решения (математика, философия,
физика, лингвистика, изобретательство и др.). Правда, лексикон (словарь терминов)
изобретательства велик и оценивается десятками тысяч понятий, поскольку оно может
затрагивать объекты самой разнообразной природы. Лексикон изобретательства может
быть и ограниченным, тогда исследователь (изобретатель) сам вводит необходимые
ему понятия в исследуемой частной области.
Истинными Интеллсист считает все законченные мысли (в ЯПП - это абзац).
Главное здесь - это поиск противоречий в общей массе законченных мыслей. Если
противоречий нет, то все мысли истинны, иначе (при наличии противоречия) возникает
ложь (истина опровергается). Существенным моментом здесь следует считать факт, что
реальная, абстрактная (мыслимая) и виртуальная действительности относительно
истины (или лжи) выступают одинаково и заслуживают одинакового отношения. Если
нечто является мыслимым (абстрактным или виртуальным) и не соответствующим
реальной действительности, то допускаются любые построения теории, а они могут
быть истинными или ложными. Это важно особенно в теории изобретательства, когда
создаются (изобретаются) новые объекты, отсутствующие в реальной
действительности. Истину никогда не следует интерпретировать, ее надо использовать
только как оценочную функцию.
Поскольку процесс формализации излагается алгоритмически, понимание задания
для Интеллсист истолковывается так: человек формулирует некоторое утверждение и
передает его системе, которая разрешает это утверждение и печатает альтернативные
решения. Это напоминает процесс постановки задач или формулировку технического
задания. Общий вид задания включает неизвестные понятия и утверждения
относительно связи неизвестного понятия с известными (как в изобретательстве - данонайти). Формализация связана с определением лексикона терминов и использованием
СеГ для формулировки утверждений. По такой схеме рассматривается и проблема
возникновения понятий («существует Х такой, что...» или «найти Х так, чтобы...»).
Новое понятие возникает тогда (если рассматривать математически), когда
осуществляется поиск множества, элементы которого являются значениями (смыслами)
искомого понятия.
Решение каждого задания в Интеллсист может сопровождаться передачей
пользователю вопросов, на которые ему необходимо ответить. В этом случае могут
возникнуть частные задания или подзадания. Процесс может оказаться циклически
многошаговым, все зависит от неопределенности знаний или сложности задания.
Работа с Интеллсист - творческий процесс поиска истины утверждений пользователя.
Результат поиска истины сопоставляется человеком с реальностью (если это
необходимо), человек определяет соответствие решения и реальной действительности.
Постановка задания может быть связана с мыслимой реальностью, тогда для данного
человека реальной действительностью являются его мысли.
Общие рассуждения.
Поскольку Интеллсист реализует логический вывод для получения нового знания,
можно предположить, что она опирается на своеобразную философию, не связанную с
разрешением конкретных заданий, но с метапониманием всех процессов,
реализованных в Интеллсист и указанных в новом определении информатики. Важно
установить насколько философия Интеллсист соответствует философии человека и
природе вещей окружающего ВМ мира. Этот вопрос поставлен неожиданно, или не
обоснованно, или провокационно, или... Он правомерен в части завершения анализа
нового определения информатики [8].
Будем ориентироваться на философию человека. Каждый человек обладает
знаниями, на основе которых он строит обобщения, присущие философии. Здесь
основными факторами являются знания и умение абстрагироваться. А в каком
положении находится Интеллсист, в которую ввели процедурные (Интеллсист - это
программа), общие (они именуются фундаментальными) и пользовательские знания,
которая осуществляет процессы формализации и автоматического обобщения знаний?
Как отражается ЭЗ в таких рассуждениях? Следовательно, в Интеллсист заложены
основы философии (возможно) ограниченного объема.
Субъективизм прослеживается всюду, если принять во внимание человека,
который формирует философию. Объективное рождается возможно только в результате
диалога и доказательности. Отчасти субъективизм можно оценить с помощью
Интеллсист так. В ИЛ рассматривается логические уравнения
&iKi -> Q и &i(not Ki) -> Q
(-> следует понимать либо как "следует", либо как "конъюнкцию"). Поскольку объем
знаний оценивается (хотя и косвенно) величиной |&iKi| (число единиц элементарного
знания в БЗ), представляет интерес проверка соотношения |&iKi| <> |&i(not Ki)|. Такую
проверку Интеллсист обеспечивает выводом статистических данных по БЗ и решению
задач. Оцениваются также ответы по решению двух логических уравнений. Из
сравнений можно косвенно понять силу прямого или «обратного» знания и сделать
выводы. В этих примерах рассматриваются общие или философские знания. Если
объем знаний больше, то можно говорить о силе этого знания.
Поскольку Интеллсист обеспечивает отладку знаний (на независимость,
непротиворечивость и полноту), она может частично разрешать поставленный вопрос о
субъективизме знаний. Кроме этого сам пользователь может осуществлять проверку
знаний по такой схеме. Прежде изучаются ответы Интеллсист на вопросы, которые
формулируются традиционно: &iKi -> Q (синтаксически или семантически). Затем
пользователь может исследовать те же вопросы в другой формулировке: &i(not Ki) -> Q
(опять синтаксически или семантически). Наконец, можно исследовать те же вопросы в
такой постановке: not (&iKi) -> Q. Результаты исследований, сопоставленные с
реальными фактами, позволят оценить правильность знаний (общую экологическуя
чистоту).
Для пользователей Интеллсист главным следует считать вопрос об объективности
или субъективности знаний, собираемых для Интеллсист, формируемых специалистами
или используемых каждым решающим свои проблемы. Объективные знания должны
соответствовать природе вещей, в этом едва ли стоит сомневаться. Только таким
образом можно поддерживать чистоту ЭЗ. Субъективные знания полезны в процессе
поиска новых идей и прокладывания пути к объективным знаниям, в этом также не
приходится сомневаться. При передаче знаний в Интеллсист следует
руководствоваться стремлением к объективности знаний, если они претендуют на
тиражирование. Итак, нужны всякие знания, и Интеллсист должна осуществлять их
обработку для установления ЭЗ-чистоты. Вопрос в том, обеспечивает ли Интеллсист
такие стремления. Этот вопрос разрешается положительно.
Также интересны вопросы: как представляется мышление в Интеллсист и на
сколько соответствует работа Интеллсист по формированию новых фактов работе
мозга человека с точки зрения соответствия новых фактов действительности. На вопрос
о том, как думает (без кавычек) Интеллсист, отвечает вся разработка. Как думает
человек, отвечает вся совокупность наук. Сопоставление двух «как» частично
разрешается опытом работы каждого пользователя Интеллсист. А вопрос о том, может
ли машина думать, по всей видимости разрешается положительно. При этом
совершенно неважно (так будем считать) одинаковые ли механизмы мышления у
человека и Интеллсист. Если знания человека и БЗ соответствуют друг другу (или
одинаковы), то человек и Интеллсист будут разрешать запросы одинаково. Ранее [6]
уже говорилось о понимании ЕЯ, которое невозможно для Интеллсист (емкость
словарного запаса, различие значений терминов в языках различных специальностей
или специализаций и т.п.), что естественным образом приводит к выводу о том, что
Интеллсист пока слабее человека в конечном счете. Тем не мнее Интеллсист не только
доказывает теоремы, но и синтезирует их или определяет условия, при которых
высказывание становится теоремой, а это для человека сложная и трудоемкая
процедура.
Знания, вообще говоря, зависят у данного человека от его опыта и результатов
обучения. Сумма знаний содержит факты, с их помощью можно проверить знания на
объективность. Если через K1i обозначить простые знания на основе первой группы
фактов, а через K2i - второй группы, то анализ решений Интеллсист в двух постановках
и сопоставление результатов с реальными фактами может дать ответы на вопросы
правильности знаний первой или второй группы. Необходимо при этом исследовать
решения &iK1i -> Q и &iK2i -> Q. Они могут приводить к различным результатам, что
должно настораживать пользователя и использовать результаты исследований.
Индивидуальность знания оказывается весьма полезной для новых исследований.
Решение своих задач может принести большую пользу для решения социально
запрашиваемых задач. Производственные задачи можно решать с помощью ИП
эффективнее по сравнению с ПП, так как они ближе по языку к прямому пользователю.
Но решение производственной задачи часто зависит от «дурацких» идей и озарения,
которые возникают в результате индивидуального продумывания задачи. Аналогично
проверяется зависимость знания данного человека от его опыта, который выражен
содержимым БД или записанными фактами. Можно, наконец, сравнивать две
различные БЗ. Все сказанное составляет базовые задачи ЭЗ.
Важный момент для осмысления сделанного - это построение философии, которая
вытекает из процессов обработки знания. В одних случаях осмысление связано с
интерпретацией задач традиционной философии, в других - новые построения,
вытекающие из возможности Интеллсист формировать новое знание. Построение
философии Интеллсист полезно для осмысления философии человека, поскольку
прежде всего человек вкладывает знания в память ВМ, а по ходу исследований
реализует ЭЗ.
В качестве примера философии Интеллсист укажем на познание процессов
понимания, которые включают семь шагов. Понимание есть последовательность
процессов:

восприятие чего-либо в соответствии с передаваемым или ввод исходного
материала;

анализ переданного материала или членение всего материала на составные части;

перевод с внешнего языка на внутренний язык или кодирование внешнего
представления;

вычисление связей имен и значений или решение задания;

обратный перевод с внутреннего языка на внешний или кодирование внутреннего
представления;

интерпретация или завершение внутреннего понимания;

построение системы из понятого или выбор планов дальнейших действий.
Важны следующие рассуждения о понимании результатов работы Интеллсист. С
точки зрения философии работы Интеллсист главным отличием ПП и ИП состоит в
следующем. Программа, построенная по технологии ПП, печатает результаты в виде
последовательностей лексем. Привязка результатов к понятиям осуществляется
пользователем прямо путем печати идентификатора оператором output(‘X =’, X) и
получением в результате строки “X = 7.0” или косвенно путем сопоставления времени
работы устройства печати с результатами на носителе. Программа, построенная по
технологии ИП, печатает только строку “X = 7.0” как истинный факт, из которого
пользователь
выводит
свое
представление
о
реальном
факте.
Интеллсист
автоматически предусматривает привязку результата и имени понятия, с которым
связан результат. Пользователь не проявляет никаких забот о связи понятия и
получающегося его смысла в результате логического вывода. Выражение может быть
вычислено не полностью, тогда Интеллсист выведет результат, например, такого вида:
«2 *А + 3 * В = 8.». В этом можно увидеть ЭЗ относительно полноты знаний. Если
знание не полно, то чистой ли является постановка решаемой задачи? Однако, ИП
таким образом имеет возможность автоматически строить результат в виде постановки
новых задач для последующего решения. Технология ПП такие результаты печатает
только в специальных программах аналитических выкладок. Дело не в форме печати
результата, а в смысле самого результата. Интеллсист выводит только истинные тексты
из истинных знаний и запросов, а пользователь окончательно оценивает степень
истинности результата, в том числе он оценивает ЭЗ.
Более понятным примером является анализ результата решения логической
задачи. Пусть решением задачи с помощью Интеллсист будет отпечатанный результат
«дождь идет». Это утверждение верно с точки зрения знаний в БЗ и запросе. Реальная
ситуация на улице оценивается пользователем фразой «никакого дождя нет». Но
пользователь оценивает результат работы Интеллсист так, как он может, исходя из
целей решения задачи и применения результата ее решения. Истину последней
инстанции выводит сам пользователь, несмотря на результаты работы Интеллсист.
Интеллсист же выводит всегда истинные результаты в форме альтернатив совместных
фактов. Если БЗ и запросы содержат ложные непротиворечивые (!) знания, то и
результаты будут ложными. Ну и что? Сам пользователь желает исследовать ложный
мир. Польза от его результатов будет определена им. Важно, и это подчеркнуто в
тексте, чтобы знания и запросы были непротиворечивы как для истинного мира, так и
для ложного. В таком случае экологическая чистота понимается своеобразно.
Анализ результатов всегда необходим для определения дальнейших путей
исследований. Отрицательная оценка результатов пользователем возможна. Это
должно приводить скорее всего к переоценке содержимого БЗ или запросов. В связи с
такой возможностью следует иметь в виду всю технология ИП. Ведь моментальный
результат исследований может быть обманчивым. Чтобы избежать случайностей,
необходимо полностью использовать все режимы работы с Интеллсист: получение
отладочных, тестовых, верифицирующих и др. результатов. Диапазон исследования ЭЗ
весьма широк. Анализ предварительных результатов позволяет провести
окончательную отладку запросов (или знаний). Полная отладка важна в особенности
при построении встраиваемых программ, переносимых из инструментария Интеллсист
во встраиваемую ВМ. В таких случаях надежность результатов должна быть высокой,
следовательно отладка по возможности с высоко точными программами
моделирования поведения технической системы и среды ее функционирования должна
быть полной. Реализация моделей системы и среды важна для исследования
информации, передаваемой по каналам связи встраиваемой ВМ. Заметим, что задачи
ЭЗ могут решаться с помощью Интеллсист с контролем экологической чистоты данных
и решений.
О дуализме.
Дуализм (двойственность) определяет «плоское» мышление. Слово плоское надо
понимать серьезно как результат изучения меньшего объема знаний. Дуализм
базируется на диадах, парах понятий, которые образуют как бы две координатные оси
для мышления. Дуализм в ИП используется в конечном счете и основан на паре слов
(ложь, истина). Реальные рассуждения базируются на триадах, тетрадах, пентадах и др.
ИЛ рассматривает подобные конструкции, выдавая в конечном счете факты или
утверждения в рамках дуализма, но результирующие факты или утверждения
содержательно могут пониматься в рамках других "измов". Истинным является
утверждение «возможны не только диады, но и триады». Информатика излагается в
семимерном пространстве, на основе 7ады.
Определение триады обычно дается интуитивно как три понятия. Классическим
примерами являются триады Гегеля. Профессор Р. Г. Баранцев построил
универсальную семантическую структуру (рацио, эмоцио, интуицио), которая
называется автором также системной. Три элемента этой триады равноценны. Можно
понять системную триаду и интерпретировать ее в другом лексиконе следующим
образом:
(<термин, смысл>, <термин, неопределенно>, <неопределенно, смысл>),
что достаточно близко соответствует также тройке, которая является материальной
опорой системной тройке (понятия, символы, образы). Триады расширяют поле для
размышления, делают его пространственным. В такой постановке проблемы триад и
других композиций понятий рассмотрим следующие шаговые рассуждения
относительно триады. Эти рассуждения применимы и для других конструкций и
совокупностей понятий.
1. Абсолютно все можно изложить на русском языке (в том числе и формально,
если очень хочется). Такие или другие тексты можно ввести в память Интеллсист в
форме знаний или запросов.
2. Любой элемент, например триады, можно определить и установить
опосредованную связь с другими ее элементами.
3. Содержательно Интеллсист воспринимает только понятия или их композиции.
Другого для понимания мыслей или смысла ей не дано.
4. Понятие - это база для получения смысла любого высказывания. Если
рассматривать его главные элементы, то дуализм понятия в Интеллсист - это пара
<имя, смысл> или точнее <термин, значение> (это формализм! Но приемлемый для
понимания чего-либо в Интеллсист).
5. Термин - это любой элемент русского или профессионального языка: это любое
слово из 15 частей речи, телефонный номер, знаки, их композиция, дата и др.
6. Значение - это нечто, скрытое в мозгу человека или ВМ, оно может проявляться
(на машине вводиться и печататься), иначе смысл был бы неуловим, а понятие теряло
бы свое предназначение.
7. Пара <термин, значение> есть понятие, пара <термин, неопределенно> есть
только символ, пара <неопределенно, значение> есть только образ. Такова смысловая
интерпретация Интеллсист элементов универсальной системной триады.
8. Человек излагает все знания на русском (или другом) языке в форме
последовательности пар из указанных в п.7 троек.
9. СеГ русского языка нужна для передачи машине осмысливаемых знаний,
которые ею контролируются по 13 разделам, включая непротиворечивость,
независимость и полноту знаний.
10. Человек является моделью Природы, иначе он не мог бы существовать. От
моделирования и формализма (знание о знании) никуда не деться, кроме специальных
мест (это эмоцио).
11. В сказанном не все пояснено (это интуицио), поэтому Интеллсист задала бы
вопросы относительно недостающего знания.
12. Знание можно передавать в любой системе из людей и ВМ. Такова природа
человека и ВМ. Эмоцио и интуицио по сути отражают знания, не говоря про рацио.
13. Самое трудное! Любой человек говорит истинами или прикладными
аксиомами (по крайней мере он так считает). С этим трудно согласиться, но лишь
вначале. Если подвергнуть сказанное человеком экологическому контролю и
обнаружить противоречие (заодно зависимость и неполноту знаний), то истины этого
человека отвергаются начисто или подправляются им до устранения противоречий.
Толкование непонимания - главная тема в философии Интеллсист, поскольку ее
объектом является система человек-ВМ. Обычно два человека работают в двух
областях знания с различными лексиконами (к счастью - пересекающимися). Для
понимания необходим транслятор (или подстрочник) двух лексиконов. Это сложная
работа, так как она возможно касается всего знания каждого. Если работа протекает в
одном лексиконе, то не возникают проблемы трансляции.
Наибольший интерес представляют противоречия с колокольни философии ИП
(или ИЛ) и Интеллсист. Искать и разрешать противоречия - это главная специальность
Интеллсист. Вот некоторые рассуждения относительно проблем динамики и синтеза.
Динамика и синтез. Описание действительно превращает объект в модель.
Каждый объект обязательно подразумевает динамику. Вот запись знания в
алгоритмической форме уже 50 лет работает на ЭВМ при нажатии кнопки «пуск».
Алгоритмическое знание динамично в меру полноты отображения объекта. Интеллсист
занимается «оживлением» записей других видов знаний. Думается, что динамика
связана не только со временем. Например, взаимные перемещения предметов - это
динамика. Также думается, что основная ошибка любой теории состоит в претензии на
глобальность, поскольку не указывается область ее действия. Системная триада может
быть универсальной, но только в определенной области знаний.
Синтез - это важная область познания. Не определив, что такое синтез, нельзя
понять проблему синтеза. Многие определяют синтез по-своему и по своему правы в
своем синтезе. Рациональная дорога продуктивна и результативна. К ней ведут,
например вера и крики (интуиция и эмоция). Только на вере или на криках ничего не
построишь. Предлагаемая интерпретация системной тройки воплощается в Интеллсист.
Приближенный или размытый, качественный или динамический результат (и многое
другое) также выдается системой, если признать, что описание объекта что-то значит.
Синтез состоит в том, чтобы оценить меру познания явления, процесса или предмета. В
результате анализа понятий синтеза и динамики Интеллсист синтезирует возражение
относительно фразы «Субстанция, как и теорема, суду не подвластна». Интеллсист
родилась в результате суда над теоремами. Важно не умение доказывать истинные
утверждения, а находить условия, при которых утверждение становится истинным.
В философии Интеллсист работает системная 7ада (результат синтеза): Эмоцио ->
Когнацио -> Дефиницио -> Фактуацио -> Рацио -> Динамицио -> Интуицио -> (с
любыми промежуточными связями ->). 7ада универсальна, она позволяет понять
технологию познания. Из нее следует (элементность, связанность, выделенность,
собранность, выводимость, изменяемость, целостность) для каждого понятия. Все
триады для философии Интеллсист можно расширить до 7ады. Данная выше 7ада
работает в области технологии вывода нового знания. Еще два примера 7ады в
Интеллсист: (данные, цель, лексикон, имеющееся, метод, средство, результат) и (сущее,
смысл, символ, вещь, логос, алгоритм или образ, система). ЭЗ необходима для каждого
элемента 7ады.
Двигатели познания
Противоречия, антиномии, парадоксы - вот двигатели знаний. Их изучение
приводит к постройке нового знания. ЭЗ способствует выявлению таких двигателей.
Это известное положение. Рассмотрим проблему толкования двигателей знаний с точки
зрения ИП и ИЛ. Выход из противоречий или понимание антиномий - хорошие задачи
для ИЛ. Надо хотя бы на примерах убедиться в правоте толкований ИЛ. Интеллсист
находит или обнаруживает противоречия. Начнем с примера антиномии «Сократ есть
образованный», которую можно пояснить так. Человек, знакомый с именем Сократ,
скажет, что фраза имеет смысл истины. А формальная оценка фразы дает смысл лжи.
Дело в том, что человек имеет знания, которые позволяют ему сделать положительную
оценку фразе, а абстракция от этого знания получает противоположный результат.
Фразы в голове человека помещаются в контекст, который не показан. Поэтому фраза
может быть истинной, неопределенной или ложной. Все зависит от того, чья голова
анализирует текст. Отсутствие знания может привести к неправильному результату.
Действительно, Сократ - это не простое понятие, оно оформляется как запись или
анкета (в частности) с полем «образование», которое принимает значение-смысл из
множества значений {не образованный, не знаю, образованный}. Правильно писать:
«образование Сократа есть образованный». Раскрытие смысла понятия «Сократ»
приводит к истине. Это пример неполного знания и пути устранения антиномии.
Аналогично рассматриваются противоречия и парадоксы. Абстрактные рассуждения
приводят к тому, что мы занимаемся декодированием текстов. Путь декодирования при
этом неизвестен. Используемая нами расшифровка понятия через его атрибуты
указывает путь быстрого декодирования или разрешения антиномий. ЭЗ полезна для
разрешения некоторых общих задач.
О возможностях Интеллсист с позиции философии.
Об этом с точки зрения ЭЗ надо сказать следующее.
1. В каждом рассуждении обычно определяется элементарное и ясное понятие (на
основе таких понятий строится лексикон). На основе лексикона строятся все другие
понятия с помощью элементарных или сложных операций. Далее строятся композиции
из элементарных понятий и операций. Они в свою очередь образуют новые понятия
или операции, с помощью которых строят композиции и т.д. (от частного к общему.)
Можно поступать наоборот. Рассматривать самые сложные понятия или операции, а
затем их надо расщеплять иерархически до элементарных (от общего к частному). В
любом случае необходимо подойти к одному и тому же результату в решении данной
задачи. Конечно, можно рассматривать смешанные технологии построения понятий и
операций, но результат должен быть одним и тем же.
2. Философия такая же наука как и все прочие. У нее имеется своя БЗ и своя
совокупность проблем (заданий). Интеллсист может разрешать и философские задания.
По-видимому не стоит ограничиваться утверждениями о похожести философии и
математики, философия похожа и на все другие науки (что и утверждает философия).
ЭЗ также опирается на свою БЗ.
3. Учесть все факторы невозможно так же, как и учесть все факты. В связи с этим
судьба любого предмета может оказаться непредсказуемой. Допущение
непредсказуемости - реальность, которую нельзя проигнорировать. Поэтому
случайность рассматривается вместе и на равных с причинно-следственными связями.
Хотелось бы увидеть совокупность уравнений, которая определяет траекторию
брошенной монеты. Число уравнений равно числу атомов, участвующих в движении
монеты и самой монеты. Все уравнения выписать невозможно, так как на это
потребуется больше атомов, чем только что указанное число. И так далее по циклу.
Кажется, что предопределенных событий столько же, сколько и случайных. Этими же
качествами обладает ЭЗ как наука.
4. Философия занимается процессами познания (изучением движения мысли или,
говоря техническим языком, решает логические уравнения) самых общих
закономерностей природы и общества ровно в той же мере, как и все другие науки, но с
совокупностями других предметов, явлений или процессов. Например, информатика
занимается технологией познания с помощью компьютеров. Гносеология изучает
процесс познания с точки зрения термина «познание». Математика занимается
процессами познания абстракций, физика - познанием закономерностей в природе тел
различного масштаба и т.п. Самое главное здесь - это придерживаться мысли, что
философия не может строиться на БЗ конкретной науки, у нее своя БЗ. Можно строить
философию данной науки по ее БЗ, а любое обобщение или распространение своей БЗ
на все науки (даже на философию) обречены. Философия Интеллсист может
использоваться самими философами, но построить общую философию (или теорию
философии) только на основе рассмотренного едва ли возможно. Такие же мысли
можно высказать об ЭЗ, поскольку ошибочных текстов "больше", чем правильных.
5. У каждого человека своя философия, поскольку каждый опирается на им
приобретенную БЗ по своей специальности или специализации. Можно сделать
попытку рассмотреть все подобные философии и построить одну (обобщенную)
философию, что реально уже сделано. Состояние или правота философии зависит от
состояния накопленной ею БЗ. Развитие философии во времени позитивно, несмотря на
спиральный вид развития.
6. В Информатике построена философия, которой придерживается Интеллсист.
Она не может составлять сущность общей философии в силу ориентации ее на
специальную область знаний (БЗ и Интеллсист) - знание о технологии познания. Может
быть какая-то часть этой философии может использоваться и в общей философии - это
проблема философов. Пусть они приглядываются к Интеллсист и извлекают для себя
пользу, например использование Интеллсист для разрешения заданий по философии.
ЭЗ также может использовать Интеллсист для построения своей БЗ.
Философия Интеллсист представляет собой систему взглядов с позиций
алгоритмов решения логических уравнений. То, что заложено в алгоритмы, знания,
которые введены или потенциально могут быть введены в БЗ, и запросы пользователя,
а также возможные варианты ответов на запросы - все это определяет отношение
системы к реальному миру, выраженному текстами различной квалификации. Важно
здесь установить правильность суждений и их адекватность реальному миру. А может
быть сама Интеллсист может ответить на философские вопросы человека и вопросы
ЭЗ. Что для этого необходимо сделать? Конечно же надо разработать философскую и
экологическую БЗ, отладить ее и ставить соответствующие вопросы системе.
Многие проблемы философии математики рассматривают для разрешения именно
такого сорта проблем практического обоснования логических рассуждений [17]. В
большинстве случаев математики рассматривают в качестве первой проблемы (по
важности) проблему закона исключенного третьего. Классическая логика говорит, что
высказывание «А или не А» всегда является истинным. Интуиционистская логика
опровергает такое утверждение и исключает это высказывание из своего исчисления.
Его истинность или ложность должна установиться только после анализа базового
высказывания «А». И действительно, следующий пример показывает это:
существует K такое, что K * K =2, и не существует Х такое, что Х * Х =2;
- представляет ложное высказывание, если K - целочисленная переменная, Х вещественная. Однако высказывание с теми же условиями относительно К и Х:
не существует K такое, что K * K =2, и существует Х такое, что Х * Х =2;
- представляет истинное высказывание. Формально это записывается так:
существует K такое, что P(K) и не существует Х такое, что P(Х);
- представляет истинное высказывание с точки зрения классической математики.
Интеллсист рассматривает такие логические уравнения по разному. Первый
вариант рассмотрения, когда K и Х абстрактны, формальное высказывание будет
истинным, второй вариант, когда K объявляется целым и Х - вещественным, тогда
формальное высказывание ложно, третий вариант, когда K объявляется вещественным,
и Х - целым, тогда формальное высказывание истинно. Остальные варианты
рассматриваются системой и формируют ответы в виде программы для вычисления Х.
Такой («примиренческий» по отношению к интуиционистам и классикам) взгляд
Интеллсист диктуется объемом знаний, передаваемых системе. Чем больше знаний
сообщается системе, тем точнее логический вывод Интеллсист.
Вторая проблема (в математике) связана с рассмотрением множеств, которые
могут быть конечными или бесконечными. Пользоваться ли бесконечными
множествами при формулировке запросов? Тут важно вспомнить, что запросы
относительно бесконечных множеств важны, а проблемы с участием таких объектов
так или иначе рассматриваются математиком. Интеллсист должна также рассматривать
знания или запросы с такими объектами. И в Интеллсист имеются возможности
рассматривать конечные, бесконечные или абстрактные множества. В математике
множества изучаются в теории множеств, которая аксиоматизирована. Аксиомы теории
множеств предназначены для определения операций над множествами или теоретикомножественных констант. Их можно выписать не вникая в сложные аксиомы, или
получить их при анализе аксиом с помощью Интеллсист. Такие же абстрактные
проблемы ЭЗ важны и могут решаться.
Важным в философском отношении является то обстоятельство, что Интеллсист
логически выводит новое знание, которое может расширить БЗ и привести к решению
новых задач. Абсолютной полноты знаний невозможно достичь вообще. Можно
сказать, что знание растет экспоненциально с обнаружением новых констант, величин
и операций. Число необходимых аксиом для обеспечения полноты знаний должно быть
N!, где N - число определяемых объектов, что, с одной стороны, является
недостижимым [7] (как и абсолютное знание), но, с другой стороны, частичная полнота
обеспечивает путь в направлении к абсолютному знанию. Полнота знаний
относительна. Знаний почти всегда достаточно для выполнения насущных задач.
Неполнота знаний приводит к вопросам Интеллсист о вводе недостающего знания,
иначе можно получить в конце концов не новый факт, а некоторое высказывание
(формулу или программу), которые могут составлять новые факты. Здесь философия о
неполноте знаний по Геделю неприемлема [17].
Использование Интеллсист - это игра пользователя с представлениями различных
объектов, которая может привести к обнаружению локальных или глобальных
противоречий. Первые корректируют знания, а вторые говорят о непригодности и
экологическом загрязнении знаний при решении пользовательских проблем. В этом
можно частично увидеть некую философскую игру. Самым лучшим (философским или
экологическим) результатом применения Интеллсист является получение условий, при
которых исходное утверждение будет истинным.
Критериями реалистичности результатов решения задач с помощью Интеллсист
всегда обладает человек. Поскольку БЗ создается из прикладных аксиом, то через них
пользователь закладывает определенные критерии реалистичности. Интеллсист в
процессе отладки знаний проверяет согласованность различных критериев.
Прикладные аксиомы теории пользователя отражают реальность через данные
константы, величины и операции, которые конечно же имеют отражение в реальной
или воображаемой действительности. Состав прикладных аксиом определяет
пользователь, он тем самым закладывает в БЗ свою теорию. С помощью Интеллсист
можно добиться успеха в изучении прикладных аксиом, что обеспечивает изучение
искомых объектов через исследование свойств констант, величин и операций. С
помощью Интеллсист можно установить существования объекта и его единственность
(отсутствие альтернативных решений).
Проблема здравого смысла (экологическая чистота)
ИИ занимается главным образом моделированием поведения человека. ИИ
глубоко рассматривает также проблему здравого смысла. Проблемы ЭЗ весьма сложны,
следовательно целесообразно использование здравого смысла. Человек чаще всего
использует здравый смысл в процессе принятия решений по выбору пути дальнейшего
своего поведения или поведения коллектива, который обеспечивает чистоту ЭЗ. Нам
важно хотя бы приблизительно осмыслить понятие здравого смысла с точки зрения
процессов конструирования и использования Интеллсист. Мы рассмотрим общую
схему рассуждений по этой проблеме и каснемся трех интерпретаций здравого смысла.
Персональный здравый смысл в Интеллсист. Наши знания весьма
приблизительны, они зависят от индивидуума или коллектива индивидуумов.
Аналогично человеку каждая Интеллсист обладает собственной (встроенной) БЗ. Ее
наполнение определяет качество и уровень принимаемых решений. Знания Ki в БЗ
(&iKi) достаточны для получения решения Ro. Это решение здравого смысла.
Добавление знаний Kj в базу (&iKi & Kj), не противоречащих имеющемуся знанию
&iKi, приводит к решению R1, которое точнее в некотором смысле решения Ro.
Приближенное решение Ro уточняется решением R1. Второе решение также может
быть решением здравого смысла, тогда необходимо пополнить БЗ для получения более
точного решения. Так ИЛ раскрывает понятия приближенного знания первого, второго
и т.д. уровней. Стремление к абсолютной истине являлось и является свойством почти
каждого человека. Здравый смысл по уровням представляет подобное стремление.
Подходящий здравый смысл. ИЛ строит альтернативы совместных фактов (или
утверждений). Совместные факты определяются структурой запроса, они всегда точны
(исчерпывающи) с позиции запроса, их трудно опровергнуть. Альтернативы зависят от
состояния БЗ. Однако ИЛ строит все альтернативы по запросу. Альтернативные
решения также строятся по состоянию БЗ и по запросу (каков вопрос - таков ответ).
Наш вопрос заключается в объяснении понятия здравого смысла. Из только что
описанного пояснения структуры результата применения ИЛ следует, что здравый
смысл - это принятие решения на основе одной подборки совместных фактов, но не
всей совокупности альтернативных решений. Действительно, одна подборка позволяет
принимать подходящее решение, оно будет быстрым и разумным. Более точное
решение может приниматься на основе некоторой подборки совестных фактов, на
основе некоторого числа альтернативных решений. Здравый смысл заменяется более
точным решением. Большинство алгоритмов имеют фиксированный набор получаемых
решений, определяемых в программах командами вывода на печать или передачи
данных по каналам связи. С точки зрения здравого смысла в этом случае принимается
правильное решение. Однако оно может стать неправильным, если в программе
динамически обнаруживается ошибка (например, если исходные данные оказались в
совокупности неудовлетворительными). В таком случае наступает аварийная ситуация
с последствиями или без последствий. ИЛ в таком случае будет предлагать решение,
которое не предусмотрено в программе и которое можно отвергнуть. Так
интерпретируется здравый смысл в ИЛ по второй версии.
Приближенный здравый смысл. Многозначная логика поставляет средства для
получения решений, которые содержат совместные факты с определенной степенью
возможности их реализации. Если имеется выбор между истиной, почти истиной,
возможностью, почти ложью и ложью (например, в пятизначной логике), то часть
фактов или некоторый факт, полученные в качестве решения некоторой задачи, могут
быть почти истинными, что с формальной точки зрения определяет здравый смысл по
третьей версии. Если логика поставляет истины для всех фактов, тогда определяется
точное решение. Третья интерпретация здравого смысла указывает на третью
интерпретацию понятия приближенного знания.
Во всех интерпретациях здравого смысла ЭЗ рассматривается не как обеспечение
поиска и обнаружение ошибки, а как получение нового знания с возможной или/и
допустимой ошибкой.
Знаниелогия
ИП основано на знании, которое собирается, систематизируется, исследуется,
используется, развивается, сохраняется или модифицируется. ИП использовалось
человеком издавна. Теперь же Интеллсист любого сорта использует различные
представления знаний, указывая тем самым на факт, что знания подвергаются
обработке не только человеком, но и на ВМ. Указанная обработка знаний составляет
определенный род деятельности человека [18]. Прежде всего надо сказать, что
обработкой знания заняты все ученые. При точном анализе проблем, задач и
результатов обработки знаний можно увидеть, что обработкой знаний занимается
каждый человек. Даже ребенок после произнесения первых слов приступает к
логическому выводу правильного поведения. Все это позволяет сделать вывод о том,
что вопросы любой обработки знаний являются общими и независящими от рода и
области деятельности человека. Тут напрашивается вывод более общего свойства,
который рассмотрим подробнее. Это подчеркивает важность автоматизации
исследований ЭЗ.
Прежде всего отвлечемся от суммы конкретного знания той или иной науки или
области деятельности человека. Затем попробуем выделить то общее, что имеется на
вооружении человека для обработки знаний. И опять выделим семь этапов работ,
связанных так или иначе со знаниями.
1. Учёба любого человека у природы или у себе подобных - все это накопление
знаний. Учёба требует больших или малых усилий, затрат материальных или
временных ресурсов. Такая деятельность человека (или некоторого автомата, что не
должно никого смущать в век всеобщей компьютеризации) называется сбором знаний.
Сбор знаний - процесс, который совершенно не зависит от специальности человека,
которая только накладывает ограничения на конкретность материала, именуемого
знанием [18]. Так понимается первый этап обработки знаний. ЭЗ должна
использоваться в процессах обучения.
2. Для изложения знаний (печатью, устно или письменно) необходим язык как
совокупность правил изложения или представления. Язык определенной науки или
определенной специальности присутствует во всех случаях сбора и накопления знаний.
Всякая языковая деятельность, связанная со знанием, является обязательной при
обработке знаний. Эта деятельность понимается как второй этап обработки знаний. ЭЗ
как наука должна породить раздел языкового сопровождения экологических процессов.
3. Прежде чем приступить к непосредственной работе со знаниями необходимо
решать проблемы формирования концепций или понятий для всей совокупности
накопленного знания. Это одна из важных сторон работы со знаниями, приближающих
любого ученого или специалиста (да и любого человека хотя бы и на интуитивном
уровне) к осмыслению знаний на первом уровне логической обработки знаний.
Выработка понятий важный и ответственный (третий) этап обработки знаний. От того,
как будут определены понятия, зависит интеллектуальная работа со знаниями. ЭЗ
должна установить свой терминологический словарь, свою понятийную среду.
4. Понятия определяются в процессе сбора фактов, относящихся к этим понятиям.
Когда понятия определены, можно приступить к разработке представлений знаний по
форме и по содержанию. Представление знаний зависит от принятых концепций и
сформированных понятий, так как каждая концепция или понятие характеризуются не
только зафиксированными за ними терминами, но и структурой построения, набором
значений и возможно текущим значением. А каждая структура и значение для
понимания их смысла требуют форм или шаблонов представления. Так можно
понимать четвертый этап обработки знаний. Для ЭЗ сбор фактического матеориала
важен при формулировке задач, выявлении тенденций развития и поиске новых
методов обеспечения ЭЗ (задачи мониторинга).
5. При обработке знаний (в особенности для экологических задач) не избежать
процедуры обобщения или систематизации знаний. Знания включают понятия двух
сортов: понятие об объекте и понятие о действиях с объектами. Обобщение знаний
состоит из формирования утверждений относительно объектов и действий,
определяющих эти объекты и действия, а также отношения между ними. Иногда для
обобщения вполне достаточно построение классификации или другой формы
систематизации. Сложность пятого этапа состоит в применении всей логической мощи
человека, которой может не оказаться «под рукой».
6. Сбор, лингвистическая обработка, формирование понятий и представлений,
обобщение знаний не являются самоцелью (хотя в данном случае полезна и самоцель).
Вся подобная работа ориентирована прежде всего на применение знаний в
повседневной деятельности человека. Такую деятельность можно и нужно понимать
как путь к формированию нового знания на основе имеющегося. После получения
знаний самым важным становится его применение. Применение знания состоит в том,
что, отвечая на вопросы, решая задачи или разрешая проблемы, запросы или задания,
мы получим знание, о котором не подозревали до сих пор (по крайней мере оно не
было известным конкретному человеку). В применении знаний заключается шестой
этап обработки знаний.
7. Последний этап обработки знаний уже оговорен в предыдущем абзаце, он
состоит в оформлении нового знания. Здесь потребуются максимальные усилия в
применении логических действий над всем знанием и конкретным запросом для
получения итогового знания.
После определения семи этапов обработки знаний можно приступить к
определению понятия «знаниелогия».
Знаниелогия - это совокупность методов, способов и приемов сбора знаний,
использования лингвистического оформления знания, выработки понятий для
коллекции знаний, представления знаний, систематизации знаний, защиты и
применения знания для формирования нового знания. Эта совокупность
составляет основу этой дисциплины или науки. Естественно, что предметом
знаниелогии является знание. Объектом - логика знаний
Сопоставление определений знаниелогии и информатики [1,8] приводит к мысли
о схожести отдельных частей обеих определений. Действительно, и знаниелогия и
информатика занимаются обработкой знаний, но знаниелогия логически организует эту
обработку, а информатика является методом и технологией применения ВМ в этих же
целях.
Основы знаниелогии заложены давно, достаточно вспомнить такие области
знания, как когнитология. На интуитивном уровне имеются возражения против
рассмотрения знаниелогии как новой науки, поскольку ее методы и приемы разбросаны
по многим другим наукам и специализациям. Исследования по информатике находятся
примерно в таких же условиях. Фундаментальным возражением является следующий
факт. Знаниями занимается человек, который убежден в своих способностях познавать
окружающий мир. Но прогресс ставит проблемы ускорения работ со знаниями, а
ускорение невозможно без осмысления сущности проблемы исследования и
использования знаний при помощи ВМ.
Тенденции развития интеллектуальных систем для ЭЗ
Какова же перспектива развития Интеллсист с позиций ЭЗ? Если у системы
имеется перспектива, то ее следует изучать, монтировать и применять. Рассмотрим
несколько перспектив развития Интеллсист.
Первая и главная перспектива развития Интеллсист состоит в обеспечении ввода
знаний по типу сенсоров чувств человека. При появлении новых органов чувств ВМ,
аналогичных или превосходящих органы чувств человека, появятся новые возможности
ввода знаний из внешнего мира непосредственно без участия человека, который
вынужден сегодня использовать клавиатуру или сканер, обеспечивающие ввод знаний,
но с очень малой скоростью. Обучение Интеллсист происходит быстро, а с каждым
годом скорости ввода и обработки увеличиваются. Необходим качественный скачек в
развитии средств ввода знаний (фактов, утверждений о фактах и правил
преобразования фактов). Можно было бы еще говорить о развитии СВТ для ИП,
построении процессоров, ориентированных на логический вывод решения логического
уравнения и шаги формализации знаний. Безусловно, здесь перспективы имеются, они
находятся в области проектирования СВТ.
Вторая перспектива лежит в области освоения связи ВМ с емкими источниками
сведений, например, использование фактического материала Интернет. Если принять
во внимание, что книга содержит не более 10-20% (от своего объема) текстов со
знаниями, то материал в Интернет содержит знания на порядок меньшие (1-2%). Но
этот источник сведений содержит огромное множество фактического материала,
который надо уметь находить и использовать. Образно говоря 1-2% материала
Интернет на много порядков больше 10-20% материала книг. Конечно, необходимо
учитывать, что приведенные цифры являются экспертными, поэтому им можно
доверять только на 80%.
Третья перспектива лежит в области создания машинных библиотек знаний таких
разделов, которые описаны в [11] и которые охватывают большую часть наук,
дисциплин, специальностей и специализаций. Со временем, при интенсивном
распространении Интеллсист, библиотеки будут сконцентрированы. Тогда возникнет
кажущаяся проблема развития ЯПП, связанная с многозначностью слов, терминов и
фраз. Задача автоматизации библиотечного дела является решаемой. Пути
использования Интеллсист лежат в реализации следующего метода или приема.
Каждый запрос пользователя содержит смысл, по которому автоматически можно
определить БЗ, обеспечивающую решение запроса. Эта задача идентична задаче
классификации материала по рубрикам. Каждый запрос сам способствует поиску
требуемой «рубрики» (смотри БЗ) для разрешения. Как только обнаружена искомая БЗ
можно автоматически ввести ее в Интеллсист и выполнить запрос. Некоторую
аналогию можно усмотреть между организацией мозга человека (выделение областей
мозга, ответственные за определенную область деятельности человека) и Интеллсист.
Такая аналогия наталкивает на мысль, что композиция Интеллсист и библиотеки может
претендовать на достаточно полное моделирование интеллекта человека, на создание
«вечного» знания.
Важной является четвертая перспектива, связанная с развитием и
совершенствованием самой Интеллсист. Для обоснования ИЛ и алгоритмов системы
необходимо развитие метаматематики или металогики для ИЛ. Эта перспектива
рассматривается под углом зрения разрешения следующих проблем. Первая - описание
СеГ многих ЕЯ; вторая - подключение СиГ для синтеза вопросов пользователю и для
оформления решений на ЕЯ, а не на ЯПП с «грамматически бедным» лексиконом;
третья - обогащение ИЛ обоснованным набором аксиом (их число велико) в
особенности при подключении новых операций, а также развитие логики фактов; пятая
- разработка новых БЗ по многим отраслям знаний, расширение встроенных и
фундаментальных знаний, создание машинных терминологических словарей и
словарей из слов; шестая - реализация в полной мере автомата формирования новых
Интеллсист по известным и хранящимся в библиотеке; седьмая - распространение
Интеллсист на новые области знания и в особенности на стыки различных наук;
восьмая - применение Интеллсист в системах, работающих в реальном времени;
девятая - автоматическое извлечение знаний из окружающего мира и из природы, в
связи с этим стоит десятая проблема - построение геометрической информатики и
соответствующей Интеллсист.
Пятая перспектива усматривается в применениях ИП во встроенных ВМ, которые
(1) обладают ограниченными временными ресурсами, (2) выполняют программы в
режиме динамического распределения программ, памяти и времени, (3) имеют только
необходимые каналы для обмена информацией и (4) «пренебрегают» возможностями
интеллектуализации. В соответствии с такими исследованиями по применению
Интеллсист реального времени определены классы задач. К ним относятся:
«мониторинг в реальном масштабе времени, системы управления верхнего уровня,
системы обнаружения неисправностей, составление расписаний, планирование,
оптимизация, системы-советчики оператора, системы проектирования». Классы задач,
решаемых Интеллсист реального времени для экологии любого направления, таковы:
1. Представлять изменяющиеся во времени данные, поступающие от внешних
источников, обеспечивать хранение и анализ изменяющихся данных и знания (ЯПП
позволяет реализовать необходимые представления).
2. Выполнять рассуждения во времени о нескольких различных асинхронных
процессах одновременно (т.е. планировать в соответствии с приоритетами обработку
поступивших в систему запросов, ЯПП позволяет писать программные сообщения, без
которых никак не обойтись).
3. Обеспечивать механизм рассуждения при ограниченных ресурсах (время, память).
4. Обеспечивать «предсказуемость» поведения системы, т.е. гарантию того, что каждая
задача будет запущена и завершена в строгом соответствии с временными
ограничениями. Реализация этого требования в Интеллсист зависит от разработчика, а
не от ЯПП как в ЭС.
5. Моделировать «окружающий мир», обеспечивать создание различных его состояний.
Интеллсист воспринимает описание любого мира через описание понятий и их
взаимосвязей.
6. Протоколировать свои действия и действия персонала, обеспечивать восстановление
после сбоя, что определяется запросами разработчика или пользователя.
7. Обеспечивать настройку системы на решаемые задачи, проблемную и предметную
ориентированность. ЯПП позволяет реализовать подобную настройку Интеллсист.
8. Обеспечивать создание и поддержку пользовательских интерфейсов для различных
категорий пользователей.
Перечисленные направления и перспективы выявлены только в результате
анализа первых применений ИП. Этим их перечень не ограничивается.
Заключение
Оценивая нынешнее положение вещей по проблемам ЭЗ, важно констатировать,
что рождение и активное разворачивание экологических исследований в гуманитарных
науках постепенно привело к появлению целого семейства новых дисциплин,
характеризующихся заметным родством исследуемых закономерностей и свойств.
Обращает внимание пожелания в расширении работ по ЭЗ: использовать только
грамотные тексты, иметь чистый язык (без больших ограничений), реализовать поиск
по смыслу. ЭЗ полна проблем, связанных с поиском законов управления знаниями. ЭЗ
должна стать наукой, у которой предмет - тексты, изображения, внешний вид, система
знаний, действия, художественное творчество, объект исследований - система человекзнания.
Нами преследовалась единственная цель - указать на имеющиеся средства
реализации контроля (и защиты) экологической чистоты знаний, представленных
текстами, таблицами, структурами или программами. Широкое применение методов
прежде всего ожидается в области формирования новых законодательных документов,
проверки докладов, писем, публикаций и научных изданий, а также БЗ на ВМ для
Интеллсист. Такая проверка необходима для устранения внутренних противоречий или
повторов (компиляций) и
проверки
полноты
БЗ при
разрешении
запросов
пользователей ВМ.
Интеллсист решает логические уравнения, к которым сводятся все задачи,
вопросы или проблемы (это принято для Интеллсист). В основе анализа знаний
использована СеГ русского языка, универсальная грамматика Лейбниц и ИЛ
логического вывода решений логических уравнений. В статье [5] поставлены проблемы
построения единых машинных словарей из слов и лексиконов по специальностям и
специализациям. Их применение становится все более актуальным не только для
Интеллсист, но и для любого грамматического анализа сведений в части проверки
правильности текстов по смыслу. Развитие СеГ русского (или другого) языка для
вычисления смысла текстов позволяет осуществлять поиск, классификацию (отнесение
текстов по рубрикам) и чистку знаний по смыслу. Использование ИЛ позволяет
устранить особенности классических логик, которые ориентированы на абстракции,
реализовать объединение логик, внедрить раздел о решении логических уравнений в
обучении, считать отладку знаний важным средством фильтрации текстов и
использовать ЭЗ для устранения ошибок человека, сделать объективными наши
документы и акты и вести охрану знаний.
Использование
Интеллсист
обеспечивает
условия,
при
которых
программирование (решение задач, заданий и проблем) становится интеллектуальным
[15], доступным любому пользователю ВМ без программистов и экологически чистым.
Чего можно ожидать от информатики в 21 веке? Главная тенденция в
информатике, стимулируемая экспоненциальным ростом числа изготовляемых и
продаваемых ВМ, состоит в расширении пользовательского круга и передаче знаний
для Интеллсист так, чтобы обеспечить работу непосредственного пользователя любой
специальности без использования услуг программистов. Услуги программиста
необходимы для решения главным образом фундаментальных проблем эффективного
применения ВМ и реализации интеллектуального интерфейса пользователя со знанием.
Если 20 век был веком электронизатции и компьютеризации (вторая половина
века), то теперь можно уверенно утверждать, что информатика в 21 веке будет
ознаменована всеобщей интеллектуализацией на основе доступного для любого
пользователя ИП, которая основана на передаче машине знаний, запросов (вопросов,
задач, проблем или заданий) и получении ответов на ЕЯ специалиста. Это положение
является
ведущим
в
наших
разработках
инструментария
Интеллсист
-
интеллектуальных систем общего назначения.
На лицо «бедствие» от информатизации: предсказание специалистов США
двадцати ЭВМ в конце 40-х годах обернулось появлением двухсот тысяч ЭВМ, а в 1997
году произведено 80 млн. компьютеров, которые подтвердили начало общей
компьютеризации в мире. «Бедствие» в 20-е годы от телефонизации, когда все должны
стать телефонистами, сейчас обернулось «бедствием» в информатике, когда все
должны стать программистами.
Тем не менее пользователь ВМ в настоящее время недоволен следующими
обстоятельствами: не всегда имеется необходимая программа, а имеющаяся программа
не совсем подходит для индивидуальных нужд, наличие ФЯ (удел программистов),
альтернативные решения программа не выдает, подстройка под рынок или под
программу (прокрустово ложе программы), дороговизна программ, программисты
являются тормозом на пути прогресса из-за неудовлетворенности спроса на них и
необходимость максимального приближения к истине при недостатке знаний. В этих
условиях актуально внедрение Интеллсист. Пользователю необходимы: общение с ВМ
такое, как общается человек с человеком, использование общего знания вместе со
своими знаниями, получение программ по знаниям, не сталкиваясь с проблемами
формализации, учет неопределенности знаний, достижение гибкости программ,
выработка понятий, объективности и универсальности, возможность иметь обработку
любых форм представления знаний, получать альтернативные решения, решать задачи
с неполным знанием и без программистов (идея бесплатных программ).
Развитие средств вычислительной техники гарантирует увеличение ресурсов
по памяти и быстродействию за год в два раза. Развитие информатики успевает
только за техническими средствами ввода и вывода материала, в особенности,
графического и звукового. Быстро развивается машинная графика и
аудиообщение. Разработка сетей ВМ привела к внедрению широкой
информационной службы, например Интернет. Но решение задач до сих пор
находится на прежнем уровне. Здесь главная фигура - программист. Прямой
пользователь не имеет средств для самостоятельной разработки программ на
основе его собственных знаний (без перевода их на формальный алгоритмический
язык с помощью программиста). Это все выявило новое направление в
информатике, которое именуется ИП.
Роль Интеллсист велика. ИИ - занимается построением моделей поведения
человека, что важно для решения многих частных практических задач. Интеллсист
позволяет решать задачи на основе БЗ и запросов пользователя, следовательно, и
задачи ИИ. Области применения и типы задач зависят от содержимого БЗ. При этом
надо учитывать, что БЗ - решение класса задач, запрос - решение конкретной задачи.
Результат работы Интеллсист - число, выражение или программа. Каждый специалист
становится пользователем Интеллсист для самостоятельного решения заданий.
Особую нишу на рынке программ занимают инструментарий, Интеллсист и БЗ.
Рынок машинных знаний приобретает самостоятельное важное назначение.
Автоматическое производство знания началось. При этом стоимость знания
значительно ниже стоимости программ. Потребитель (от кухарки через рабочего до
академика) должен быть готовым покупать машинные знания.
Литература
1. Красилов А.А. Экология знания и интеллектуальные системы. //Сб: Высокие
технологии в промышленности России, -М., Международная академия
информатизации, 1997, с. 153-160
2. Красилов А.А. Ecology of Knowledge and Intellectual Systems. //XV IFIP World
Computer Congress, 31.08-04.09, Vienna-Budapest, 1998
3. Gartner Group: KPMG Knowledge Management Resource Report, 1998. And Knowledge
Management Scenario: Trends and Directions for 1998-2003, 1999.
4. Гирусов Э.В. Основы социальной экологии. М., 1998. С. 39.
5. Красилов А.А. Семантическая грамматика русского языка. //труды конф.
Интеллектуальные системы в САПР, ИТК, Минск, 1997, стр. 40-48
6. Красилов А.А. Язык и знание. Семантическая грамматика русского языка.
//Научно-техническая информация, серия 2, № 10, ВИНИТИ, 2000, с 21-33.
7. Красилов А.А Информация, знание и информатика: концептуальные аспекты.
//Научно-техническая информация, в печати, - М., ВИНИТИ, 2003, 35 с.
8. Красилов А.А. Основы информатики. Определение и концепции. // Учебное
пособие, МФТИ, - М., 1990, - 80 с.
9. Красилов А.А. За горизонтом экспертных систем. Открытые системы, 6, 1996, с 65
- 69
10. Красилов А.А. Информатическая логика, решение логических уравнений и
интеллектуальные системы в САПР. Информатика. //В сб: Автоматизация
проектирования, вып.2-3, ВНИИМИ, - М., 1994, с.14-26
11. Красилов А.А., Григорьев Р.Д. Программный комплекс «INTELLSYST». Основы
использования.
Руководство
пользователя
по
инструментарию
интеллектуального программирования. Система Интеллсист. Препринт корп.
«Галактика», 1999, 250 с.
12.
Красилов
А.А.,
Григорьев
Р.Д.
Технология
интеллектуального
программирования.
//Инженерный
журнал
Справочник,
N
10
(31),
Машиностроение, 1999, с. 34-37.
13. Анин Б.Ю. Защита компьютерной информации. - Санкт-Петербург, 2000, 342 с.
14. Красилов А.А. Informatical Logic, Logical Equation Decision and Intellectual
(Nonproduction) Systems in CAD. EAST-WEST International Conference «Information
Technology In Design», Part 1, Moscow, Russia, 5-9 Sept. 1994, pp.196-198
15. Красилов А.А., Григорьев Р.Д. Интеллектуальное и автоматическое
программирование. Международный форум по информации. - М., ВИНИТИ, том
28, № 2, с. 30-38
16. Красилов А.А., Григорьев Р.Д. Интеллектуальное программирование, синтез
программ и интерфейсы. "Высокие технологии в промышленности России",
материалы VIII Международной научно-технической конференции. 11-13 сентября
2002, - М., ОАО ЦНИТИ "ТЕХНОМАШ", с.303-307
17. Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация
арифметики. - М., Наука, 1979, - 558с.
18. Осуга С. Обработка знаний. - М., Мир, 1989. - 293 с.