Логические модели
Логические модели используют язык исчисления предикатов. Первому предикату соответствует имя отношения, а термину аргументы- объекты. Все логические выражения, используемые в логике предикатов, имеют значения истина или ложно.
Пример: рассмотрим выражение Джон явл специальстом по информационным технологиям. Это вқражение может быть представлено следуюўим образом: является (Джон, специальность по информационным технологиям). Пусть Х-объект (Джон), который является специалистом по информационным технологиям. Тогда используется следующая форма записи: является (Х, специалист по информационным технологиям).
Выражение: Смит работает на фирме IBM в качестве специалиста может быть представлено в виде предиката с тремя аргументами: работает (Смит, фирма IBM, специалист).
При работе с логическими моделями необходимо соблюдать следующие правила:
Порядок аргументов должен всегда задаваться в соответствии с интерпретацией предикатов принятой в данной предметной области. Программист принимает решение о фиксированном порядке аргументов и соблюдает его от начала до конца.
Предикат может иметь произвольное число аргументов
Отдельные высказывания, состоящие из предиката и связанных с ним аргументов, могут объединяться в сложные высказывания с помощью логических связок: И(END, ), ИЛИ (or, ), НЕ (not, ~), →- импликация используемые для формулирования правил по форме: ЕСЛИ…, ТО…
Рассмотрим несколько примеров:
Название предиката – является
Является (Смит, специалист по ИТ) ∩ читает (Смит, литература)
Смит является специалистом по ИТ и читает литературу.
Название предиката – отчитывается
Отчитывается (Смит, Джон)→руководит (Джон, Смит)
Если Смит отчитқвается перед Джоном, то Джон руководит Смитом.
Название предиката –написал
Написал (Смит, программа) ∩ NOT работает (программа) → отладить (Смит, программа, вечер) OR передать (программа, программист, следующий день)
ЕСЛИ Смит написал программу И она не работает, ТО Смиту следует отладить программу вечером ИЛИ передать программисту на следующий день.
В высказываниях в качестве аргументов могут быть использованы и переменные. В этом случае для работы с переменными вводится понятие квантор.
Кванторы бывают двух типов:
Квантор всеобщности
Квантор существования
означает, что все значения переменной в скобках, относящиеся к некоторой области должны быть истинными.
означает, что только некоторые из значений x истины.
и могут входить в состав друг друга.
Примеры:
1. (специалист по ИТ(X)→программист (X))
Все специалисты по ИТ являются программистами
2. (специалист по ИТ(X)→хорошие программисты (X))
Некоторые специалисты по ИТ – хорошие программисты.
3. (служащий(X)→руководитель (Y,X))
У каждого служащего есть руководитель
4. (служащий(X)→руководитель (Y,X))
Существует некоторое лицо, которое руководит всеми.
Вопросы:
Что такое искусственный интеллект?
Что такое экспертная система?
Этапы развития систем искусственного интеллекта
Компетентность ЭС, в сравнении системы человеческого интеллекта и системы ИИ;
Отличие логических моделей от эвристических?
- «Челябинский государственный педагогический университет»
- Рыжикова а.М.
- Информационные технологии содержание
- Предисловие
- Средства компьютерной и информационной техники в системе образования:
- Эволюция информационных технологий
- Вопросы
- Этапы развития информационных систем
- Области применения и примеры реализации информационных систем
- Основные компоненты автоматизированных информационных систем
- Лекция 3
- Ключевые слова
- Вопросы:
- Лекция 4
- Информационная технология как аналог технологии переработки материальных ресурсов
- Новая информационная технология
- Инструментарий информационных технологий
- Соотношения между информационной технологией и информационными системами
- Компоненты информационных технологий
- Лекция 5
- Характеристика и назначение
- Основные компоненты информационных технологий управления
- Структура управления организацией
- Персонал организации
- Прочие элементы организации
- Лекция 6
- Характеристика и назначение информационной технологии автоматизированного офиса
- Основные компоненты автоматизированного офиса
- Компьютерные конференции и телеконференции.
- Лекция 7
- Определение и понятие базы данных
- Понятие банка данных
- Преимущества банковской организации
- Компоненты банка данных
- Основные функции субд
- Управление транзакциями
- Журнализация
- Поддержка языков баз данных
- Лекция 8
- Общие сведения об интеллектуальных системах.
- Характеристика и назначение эс
- Модели представления знаний
- Логические модели
- Лекция 9
- Сетевые семантические модели
- Фреймовые модели
- Продукционные модели
- Основные компоненты эс
- Интерфейс пользователя
- База знаний
- Интерпретатор
- Модуль создания системы
- Лекция 10
- Характеристика и назначение систем поддержки решений
- Основные компоненты систем принятия решений
- База данных
- Система управления интерфейсом
- Лекция 11
- Характеристика и назначение биллинговых систем
- Структура и функции биллинговой системы
- Основные подсистемы, характерные для биллинга Подсистема предварительной обработки данных
- Подсистема оперативного управления биллингом
- Подсистема оповещения клиентов
- Стандарты биллинговых систем
- Лекция 12
- Концепции внутреннего и внешнего маркетинга - erp и crm
- Crм - управление отношениями с клиентами
- Что такое crm-система, ее функции
- Эффективность внедрения erp системы
- Основные движущие силы для начала внедрения erp системы
- Преимущества, которые дает компании erp система
- Лекция 13
- Лекция 14
- Организация взаимодействия устройств в сети
- Методы передачи данных в сетях эвм
- Протоколы в лвс
- Средства коммутации в компьютерных сетях
- Лекция 15
- Web-дизайн и браузеры
- Web-серверы
- Основные правила и этапы создания сайта
- Выбор структуры Web-страницы Создание фиксированных и гибких Web-страниц
- Лекция 16
- Роль методического обеспечения
- Содержание методического комплекса
- Общие сведения об электронных учебниках
- Лекция 17
- Появление internet
- Компоненты internet
- 8. Системы общения в реальном времени
- Узлы и клиенты
- Адрес компьютера в интернет
- Подключение к internet
- Список учебных и методических пособий Основной
- Дополнительный
- Материалы Интернет