- •О.М. Топоркова информационные технологии и системы
- •Введение
- •Глава 1. Производство. Информация. Общество
- •1.1. Информационный характер процесса управления
- •1.2. Элементы субъекта управления и функции управления
- •1.3. Уровни управления и информация
- •1.4. Превращение информации в ресурс общества
- •Глава 2. Структура информационного процесса
- •2.1. Формирование данных
- •2.2. Передача данных
- •2.3. Обработка данных
- •2.4. Хранение данных
- •2.4.1. Оценка данных
- •2.4.2. Защита данных
- •2.4.2.1. Замки и ключи
- •2.4.2.2. Таблицы управления доступом
- •2.4.2.3. Протоколирование и аудит
- •2.4.2.4. Экранирование
- •2.4.2.5. Криптография
- •2.4.2.6. Обеспечение достоверности данных
- •2.4.2.7. Управление параллелизмом
- •2.4.2.8. Восстановление данных
- •Глава 3. Знания как вид информационного ресурса4
- •3.1. Виды знаний
- •3.2. Теоретические аспекты извлечения знаний
- •3.2.1. Психологический аспект
- •3.2.1.1. Контактный слой
- •3.2.1.2. Процедурный слой
- •3.2.1.3. Когнитивный слой
- •3.2.2. Лингвистический аспект
- •3.2.2.1.Общий код
- •3.2.2.2. Понятийная структура
- •3.2.2.3. Словарь пользователя
- •3.2.3. Гносеологический аспект
- •3.3. Методы извлечения знаний
- •3.3.1. Пассивные методы
- •3.3.1.1. Наблюдения
- •3.3.1.2. Мысли вслух
- •3.3.1.3. Лекции
- •3.3.2. Активные методы
- •3.3.2.1. Анкетирование
- •3.3.2.2. Интервью
- •3.3.2.3. Свободный диалог
- •3.3.2.4. Деловые игры
- •3.3.2.5. Круглый стол
- •3.3.2.6. Мозговой штурм
- •3.3.3. Текстологические методы
- •Глава 4. Понятия информационной технологии и информационной системы
- •4.1. Понятие и эволюция информационной технологии в производстве
- •4.2. Характеристика информационной технологии как системы
- •4.3. Структура базовой информационной технологии
- •4.3.1. Концептуальный уровень базовой информационной технологии
- •4.3.2. Логический уровень базовой информационной технологии
- •4.3.3. Физический уровень базовой информационной технологии
- •4.4. Понятие и эволюция информационных систем
- •4.5. Классификация информационных систем
- •Глава 5. Новые информационные технологии
- •5.1. Представление знаний в компьютере
- •5.1.1. Продукционная модель
- •5.1.2. Сетевая модель
- •Полная семья
- •5.1.3. Фреймовая модель
- •5.1.4. Логическая модель
- •5.2. Интеллектуальные информационно-поисковые системы
- •5.2.1. Морфологический анализ
- •5.2.2. Синтаксический анализ
- •5.2.3. Семантический анализ
- •5.3. Расчетно-логические системы
- •5.4. Экспертные системы
- •Глава 6. Организация интерфейса пользователя в информационных технологиях и системах
- •6.1. Типы диалогов
- •6.2. Эргономичность интерфейса
- •Глава 7. Современные тенденции в области информационных технологий и систем
- •7.1. Км-технологии9
- •7.2. Cals-технологии
- •7.3. Erp-технологии
- •7.4. Scm-технологии
- •7.5. Crm-технологии
- •7.6. WorkFlow-технологии
- •7.7. Ит-стратегия предприятия
- •7.7.1. Источники экономической эффективности
- •7.7.2. Выбор системы и команды внедрения
- •7.7.3. Внедрение системы
- •7.8. Itil-технологии
- •7.9. Отечественный рынок решений в области информационных технологий
- •7.9.1. Renaissance
- •7.9.2. Axapta
- •7.9.3. Шереметьево-Карго
- •7.9.4. Eli Lilly
- •Список литературы
- •Оглавление
5.1.4. Логическая модель
В основе логической модели лежит формальная система, задаваемая четверкой вида: M = <T, P, A, B>, где T - множество базовых элементов различной природы; P - множество синтаксических правил; A Р - аксиомы; B - множество правил вывода.
Множество Т может включать, например, слова из некоторого ограниченного словаря, детали детского конструктора, входящие в состав некоторого набора и т.п. Важно, что для множества T существует некоторый способ определения принадлежности или не принадлежности произвольного элемента к этому множеству. Процедура такой проверки может быть любой, но за конечное число шагов она должна давать положительный или отрицательный ответ на вопрос, является ли x элементом множества T. Обозначим эту процедуру П(T).
С помощью правил Р из элементов T образуют синтаксически правильные совокупности, так называемые правильно построенные формулы (ППФ). Например, из слов ограниченного словаря строятся синтаксически правильные фразы, из деталей детского конструктора с помощью гаек и болтов собираются новые конструкции. Декларируется существование процедуры П(P), с помощью которой за конечное число шагов можно получить ответ на вопрос, является ли совокупность X синтаксически правильной. Аналогичная процедура П(A) должна существовать для ответа на вопрос о принадлежности ППФ к множеству A.
Применяя правила вывода к элементам A, можно получать новые ППФ, к которым снова можно применять правила из B. Так формируется множество выводимых в данной формальной системе совокупностей. Если имеется процедура П(B), с помощью которой можно определить для любой синтаксически правильной совокупности, является ли она выводимой, то соответствующая формальная система называется разрешимой. Это показывает, что именно правило вывода является наиболее сложной составляющей формальной системы.
Если в качестве элементов множества Р выступают высказывания, то формальная система М моделирует исчисление высказываний; если роль элементов множества Р играют предикатные символы, то формальная система М является представлением исчисления предикатов.
Для знаний, хранящихся в памяти компьютера, можно считать, что множество A образуют все информационные единицы, которые введены в компьютер извне, а с помощью правил вывода из них выводятся новые производные знания. Свойство логических моделей получать новое знание делает их притягательными для использования: оно позволяет хранить в базе лишь те знания, которые образуют множество A, а все остальные знания получать из них по правилам вывода.
В таких моделях представляются и декларативные знания – через формулы и процедурные - через правила вывода. Преимущества – лаконичность представления, наличие логического вывода, позволяющего получить новое знание. Недостаток – отсутствие наглядности и излишняя формализованность, сложность понимания логических формул, громоздкость. Такие модели применяются в сочетании с другими.
Построим логическую модель, соответствующую задаче «Регулирование успеваемости по результатам сессии» (см. разделы 4.3.1, 4.3.2). Поскольку введенные выше правила перевода или отчисления студентов носят обобщенный характер (т.е. касаются студентов в целом), используем в качестве формального аппарата для модели исчисление предикатов.
В качестве элементов множества Т используем понятия студент, размер стипендии, функциональные символы, соответствующие требуемым в модели действиям - отчислить (студент), перевести в следующий семестр (студент), назначить стипендию (студент, размер стипендии), предикатные символы, соотнесенные с условиями, существенными для принимаемых по студентам решений, - иметь оценку=2(студент), иметь оценку=3(студент), иметь оценку=4(студент). Используем также квантор := «для каждого», логические связки «отрицание» - , «конъюнкция» - .
В соответствии с правилами принятия решений по студентам определим аксиоматику А моделируемой предметной области:
студент. (иметь оценку=2(студент)) отчислить (студент);
студент. ( (иметь оценку=2(студент))) перевести в следующий семестр (студент);
студент. ( (иметь оценку=2(студент)) (иметь оценку=3(студент)) (иметь оценку=4(студент))) назначить стипендию (студент, 600);
студент. ( (иметь оценку=2(студент)) (иметь оценку=3(студент)) (иметь оценку=4(студент))) назначить стипендию (студент, 600).
В качестве правила вывода из В используем правило modus ponens вида , где над чертой – множество посылок и аксиом, под чертой – заключение.
Пусть студент Попов имеет в сессию двойку. Тогда посылка Х запишется как (иметь оценку=2(Попов)). Принятие решения по этому студенту выглядит как логический вывод:
(иметь оценку=2(Попов)), студент. (иметь оценку=2(студент)) отчислить (студент)
отчислить (Попов)
Совокупность представлений знаний в компьютере формирует базу знаний (БЗ) предметной области. Возможность представления знаний в компьютере позволяет использовать новый методологический подход к созданию и эксплуатации сложных систем, который основан на применении «искусственного интеллекта». В настоящий момент можно выделить следующие направления в реализации информационных технологий, применяющих данные принципы:
интеллектуальные информационно-поисковые системы, обеспечивающие в процессе диалога взаимодействие конечных пользователей с БД и БЗ на профессиональных языках, близких к естественному. Пользователь формирует запросы к системе, а она их обрабатывает и генерирует ответы;
расчетно-логические системы, позволяющие конечным пользователям решать в диалоговом режиме свои задачи на компьютере с использованием сложных математических методов и соответствующих прикладных программ;
экспертные системы, дающие возможность осуществить эффективную компьютеризацию слабо структурированных областей, в которых знания могут быть представлены в экспертной описательной форме, но использование математических моделей, характерных для точных наук, затруднительно, а иногда и невозможно.