| Физическая структура | Внешнее строение |
| Логическая структура | Форма ациклического графа |
| Морфологическая структура | Форма двоичного дерева |
| Наблюдение на рабочем месте | Попросить эксперта описать задачу для каждой категории ответов |
| Описание задач | Наблюдать за экспертом, решающим задачи на своем рабочем месте |
| Обсуждение задач | Предоставить примеры, решенные экспертом другим независимым экспертам |
| Проверка системы | Выявить виды данных, необходимых для решения конкретных задач |
| Машина вывода | отображает ответы системы и формирует запрос пользователей |
| Интерфейс пользователя | выполняет вывод ответов на запросы пользователей |
| Инженерный интерфейс | содержит только факты и правила, описывающие предметную область |
| База знаний | используется для редактирования базы знаний и алгоритмов вывода |
| Требуют построения оригинального алгоритма решения в зависимости от конкретной ситуации | Адаптивность |
| Способность к развитию системы в соответствии с объективными изменениями модели проблемной области | Сложные плохо формализуемые задачи |
| Возможность автоматического извлечения знаний для решения задач из накопленного опыта конкретных ситуаций | Коммуникативные способности |
| Характеризуют способ взаимодействия (интерфейса) конечного пользователя с системой | Способность к самообучению |
| (PRINT x поток) | Закрытие потока |
| (CLOSE поток) | Вывод потока |
| (SETQ x (READ поток)) | Ввод потока |
| CHAR | Изменяет элемент строки |
| CHARACTERP | Прочитывает произвольный элемент строки |
| STRINGP | Проверяет является ли лисповский объект знаком |
| SETF | Проверяет является ли лисповский объект строкой |
| Формы | Вызовы функций и лямбда-вызовы |
| Формы в виде списочной структуры | Числа и другие константы |
| Самоопределенные формы | Символьные выражения, значения которых может быть найдено интерпретатором |
| (equal '(x y z) '(x y z)) | Nil |
| (equal '(a b c) (cons 'a '(b c))) | Nil |
| (equal '(NIL) '((NIL))) | Т |
| (equal 3.00 3) | T |
| (equal 'x 'x) | Т |
| #b11110 | #16r1E |
| #o36 | #2r11110 |
| #x1E | #8r36 |
| Разработан Дэвидом Тернером, в качестве стандартного функционального языка, использовавшего отложенные | ML |
| Один из первых типизированных языков функционального программирования. Содержит некоторые императивные свойства, такие как ссылки на изменяемые значения | Miranda |
| Семейство строгих языков с развитой полиморфной системой типов и параметризуемыми модулями | Standard ML |
| Модальность "возможно" | Символ (r) |
| Модальность "необходимо" | символ ? |
| Модальность "может" | символ ? |
| Оценивание системы | Предоставить примеры другим экспертам для сравнения и оценки |
| Проверка системы | проверить работу системы и подвергнуть критике правила |
| Доводка системы | Представить эксперту ряд реалистических задач для решения вслух |
| Анализ задач | задачи для решения по правилам выявленных во время интервью |
| описывают правила, которым должен удовлетворять результат, т.е. описывают то, что надо получить | Демонстративный прототип |
| ЭС решает часть поставленной задачи, указывая, что подход применим и разработка осуществима | Исследовательский прототип |
| ЭС проявляет высокое качество работы при достаточной надежности; тестирование в реальных условиях работы | Промышленный прототип |
| ЭС показывает высокое качество, надежность, быстродействие и эффективность работы в реальных условиях эксплуатации | Опытный прототип |
| Самосознание | применяет знания для получения решений эффективно и быстро |
| Глубина | сообщает о том, каким образом система пришла к решению задачи |
| Символьные рассуждения | работает в предметной области, содержащей трудные для человека задачи |
| Компетентность | выполняет расчеты путем аналитических выкладок |
| Атом | функциональная нульместная константа |
| предикатная константа, соединенная со списком параметров в круглых скобках | предикатная форма или некоторое равенство |
| Функциональная форма | Предикатная форма |
| совокупность предикатных форм, констант, переменных, соединенных связками | функциональная константа, соединенная с подходящим числом термов |
| Индивидная константа | Формула |
| Нейтральные | ложны при всех интерпретациях |
| Общезначимые | истинны при некоторых интерпретациях |
| Невыполнимые | истинны при всех интерпретациях |
| "разрешено - обязательно" | Временная логика |
| "возможно - необходимо" | Деонтическая логика |
| "верю - знаю" | Алетическая логика |
| "иногда- всегда" | Эпистемическая логика |
| Исчисление предикатов | Эвристические |
| Сетевые | Логические |
| Реляционные | Эвристические |
| Продукционные | Логические |
| I | абсурдные, ложь |
| P | нейтральные |
| N | возможные |
| C | необходимые и абсолютно истинные |
| Система, в которой для решения задачи используется более одного метода имитации интеллектуальной деятельности человека | Расчётно-логическая система |
| Система, способная решать управленческие и проектные задачи по декларативным описаниями условий | Гибридная интеллектуальная система |
| Система, которая формирует вырабатываемые специальными алгоритмами ответные реакции на различные комбинации входных воздействий | Интеллектуальная информационная система |
| Компьютерная система, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации | Рефлекторная система |
| Комплекс программных, лингвистических и логико-математических средств для реализации основной задачи - осуществления поддержки деятельности человека и поиска информации в режиме продвинутого диалога на естественном языке | Экспертная система |
| Осуществляет выбор стратегий решения задач, функционируя в интерактивном режиме | Рассуждатель |
| Реализует когнитивные рассуждения | Синтезатор |
| Подсистема, осуществляющая логические процедуры | Решатель задач |
| Перевод строки | (FORMAT T "строка управляющих кодов" список_ вывода) |
| Форматированный вывод. Аргументы в списке вывода отделяются пробелами. Знак ~ (тильда) является признаком управляющего кода | (PRINT выражение) |
| Вычисляет и выводит значение выражения, но не переводит строку и не выводит пробел, а также не выводит символы ограничители значений | (Prin1 выражение) |
| Вычисляет значение выражения, переводит строку, выводит значение и пробел | (TERPRI) |
| Вычисляет и выводит значение выражения, но не переводит строку и не выводит пробел | (PRINС выражение) |
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
zzyxel
