| Модальность "возможно" | Символ (r) |
| Модальность "необходимо" | символ ? |
| Модальность "может" | символ ? |
| Оценивание системы | Предоставить примеры другим экспертам для сравнения и оценки |
| Проверка системы | проверить работу системы и подвергнуть критике правила |
| Доводка системы | Представить эксперту ряд реалистических задач для решения вслух |
| Анализ задач | задачи для решения по правилам выявленных во время интервью |
| описывают правила, которым должен удовлетворять результат, т.е. описывают то, что надо получить | Демонстративный прототип |
| ЭС решает часть поставленной задачи, указывая, что подход применим и разработка осуществима | Исследовательский прототип |
| ЭС проявляет высокое качество работы при достаточной надежности; тестирование в реальных условиях работы | Промышленный прототип |
| ЭС показывает высокое качество, надежность, быстродействие и эффективность работы в реальных условиях эксплуатации | Опытный прототип |
| Наблюдение на рабочем месте | Попросить эксперта описать задачу для каждой категории ответов |
| Описание задач | Наблюдать за экспертом, решающим задачи на своем рабочем месте |
| Обсуждение задач | Предоставить примеры, решенные экспертом другим независимым экспертам |
| Проверка системы | Выявить виды данных, необходимых для решения конкретных задач |
| Самосознание | применяет знания для получения решений эффективно и быстро |
| Глубина | сообщает о том, каким образом система пришла к решению задачи |
| Символьные рассуждения | работает в предметной области, содержащей трудные для человека задачи |
| Компетентность | выполняет расчеты путем аналитических выкладок |
| Атом | функциональная нульместная константа |
| предикатная константа, соединенная со списком параметров в круглых скобках | предикатная форма или некоторое равенство |
| Функциональная форма | Предикатная форма |
| совокупность предикатных форм, констант, переменных, соединенных связками | функциональная константа, соединенная с подходящим числом термов |
| Индивидная константа | Формула |
| Нейтральные | ложны при всех интерпретациях |
| Общезначимые | истинны при некоторых интерпретациях |
| Невыполнимые | истинны при всех интерпретациях |
| Машина вывода | отображает ответы системы и формирует запрос пользователей |
| Интерфейс пользователя | выполняет вывод ответов на запросы пользователей |
| Инженерный интерфейс | содержит только факты и правила, описывающие предметную область |
| База знаний | используется для редактирования базы знаний и алгоритмов вывода |
| "разрешено - обязательно" | Временная логика |
| "возможно - необходимо" | Деонтическая логика |
| "верю - знаю" | Алетическая логика |
| "иногда- всегда" | Эпистемическая логика |
| Исчисление предикатов | Эвристические |
| Сетевые | Логические |
| Реляционные | Эвристические |
| Продукционные | Логические |
| I | абсурдные, ложь |
| P | нейтральные |
| N | возможные |
| C | необходимые и абсолютно истинные |
| Система, в которой для решения задачи используется более одного метода имитации интеллектуальной деятельности человека | Расчётно-логическая система |
| Система, способная решать управленческие и проектные задачи по декларативным описаниями условий | Гибридная интеллектуальная система |
| Система, которая формирует вырабатываемые специальными алгоритмами ответные реакции на различные комбинации входных воздействий | Интеллектуальная информационная система |
| Компьютерная система, способная частично заменить специалиста-эксперта в разрешении проблемной ситуации | Рефлекторная система |
| Комплекс программных, лингвистических и логико-математических средств для реализации основной задачи - осуществления поддержки деятельности человека и поиска информации в режиме продвинутого диалога на естественном языке | Экспертная система |
| Требуют построения оригинального алгоритма решения в зависимости от конкретной ситуации | Адаптивность |
| Способность к развитию системы в соответствии с объективными изменениями модели проблемной области | Сложные плохо формализуемые задачи |
| Возможность автоматического извлечения знаний для решения задач из накопленного опыта конкретных ситуаций | Коммуникативные способности |
| Характеризуют способ взаимодействия (интерфейса) конечного пользователя с системой | Способность к самообучению |
| Осуществляет выбор стратегий решения задач, функционируя в интерактивном режиме | Рассуждатель |
| Реализует когнитивные рассуждения | Синтезатор |
| Подсистема, осуществляющая логические процедуры | Решатель задач |
| Перевод строки | (FORMAT T "строка управляющих кодов" список_ вывода) |
| Форматированный вывод. Аргументы в списке вывода отделяются пробелами. Знак ~ (тильда) является признаком управляющего кода | (PRINT выражение) |
| Вычисляет и выводит значение выражения, но не переводит строку и не выводит пробел, а также не выводит символы ограничители значений | (Prin1 выражение) |
| Вычисляет значение выражения, переводит строку, выводит значение и пробел | (TERPRI) |
| Вычисляет и выводит значение выражения, но не переводит строку и не выводит пробел | (PRINС выражение) |
| (PRINT x поток) | Закрытие потока |
| (CLOSE поток) | Вывод потока |
| (SETQ x (READ поток)) | Ввод потока |
| (Get 'компьютер 'дисковод) | 32 |
| (Get 'компьютер 'память) | NIL |
| (Get 'компьютер 'процессор) | 233 |
| (Get 'компьютер 'частота) | Pentium |
| CHAR | Изменяет элемент строки |
| CHARACTERP | Прочитывает произвольный элемент строки |
| STRINGP | Проверяет является ли лисповский объект знаком |
| SETF | Проверяет является ли лисповский объект строкой |
| Знак | Изображается в виде () |
| Строка | изображается в виде #x |
| Список | изображается в виде "х" |
| REMPROP | Присваивание свойства |
| GET | Удаление свойства и его значения |
| SYMBOL-PLIST | Получение значения свойства, связанного с символом |
| SETF | Обращение ко всему списку свойств |
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
zzyxel
