Кафедра автоматизации производственных процессов и производств в машиностроении


Модуль 2. Формализация и модели представления знаний в ИС



Pdf көрінісі
бет6/21
Дата07.09.2020
өлшемі290,05 Kb.
#77522
1   2   3   4   5   6   7   8   9   ...   21
Байланысты:
Рабочая программа ИСМ

Модуль 2. Формализация и модели представления знаний в ИС 

Тема 2.1. Представление  знаний  в  ИС.  Основные  понятия  и  определения. 

Предметная  область.  Данные  и  знания.  Свойства,  характеристики  знаний.  Процедурные  и 

декларативные  знания.  Классификация  знаний  по  глубине,  по  жесткости.  Формализация 

знаний. Формальные языки. Языки (модели) представления знаний. Классификация моделей 

знаний и данных. Формально-логические, продукционные, сетевые ЯПЗ. 

Тема 2.2. Формально-логические  модели.  Формально-логические  модели.  Логика 

высказываний.  Алфавит,  аксиомы,  теоремы,  логические  переменные,  логический  вывод. 

Основные  законы  и  правила  вывода  логики  высказываний.  Логика  предикатов.  Элементы 

языка  логики  предикатов.  Термы,  кванторы  всеобщности  и  существования.  Модальные 

логики, псевдофизические логики. 



 

 

7



Понятие  логического  программирования.  Язык  ПРОЛОГ  (на  примере PDC-Prolog). 

Представление  в  Прологе  фактов  и  правил.  Унификация  в  Прологе.  Работа  со  списками  и 

рекурсивные программы в Прологе.  

Введение  в  язык  программирования  Лисп  на  примере XLisp. Синтаксис,  основные 

функции. 



Достарыңызбен бөлісу:
1   2   3   4   5   6   7   8   9   ...   21




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет