1. фреймы и скрипты
2. Модальная логика
3. Логика первого порядка
4. Реляционные системы
5. Языки представления
6. Представления (процедурные и основанные на правилах)
7. Семантические сети
8. Темпоральная логика
9. язык Пролог
10. Логическое программирование
11. База знаний
12. Экспертные системы
13. Когнитивное моделирование
14. Конвергентное управление
Понятие предметной области и ее семиотическое представление.
Предметная область - это целенаправленная первичная трансформация картины внешнего мира в некоторую умозрительную картину, определенная часть которой фиксируется в ИС в качестве алгоритмической модели фрагмента действительности.
Понятие предметной области было введено в начале 80-х годов прошлого века, когда учеными в области ИС была осознана необходимость использовать семантические модели для представления информации в компьютерных системах. Так же как требования к компьютерной системе формируются средствами естественного языка, так и информация в компьютерных системах представляется средствами особого языка с определенной семантикой. Такой подход впервые был представлен П. Ченом в 1976 году.
ПО может быть представлена в виде семантических сетей и фреймов
Когниотип как дискурсивная форма организации знаний.
Когниотип это комплекс данных о конкретной предметной области, который реализуется в текстовой деятельности автором в процессе порождения текста и читателем (реципиентом) в процессе понимания текста.