Построение модели предметной области

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ

РАДИОТЕХНИКИ, ЭЛЕКТРОНИКИ И АВТОМАТИКИ

ФАКУЛЬТЕТ «АВТОМАТИКИ И ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ»

КАФЕДРА «ВТ»

Дисциплина: «Системы искусственного интеллекта»

ОТЧЕТЫ ПО КОНТРОЛЬНЫМ РАБОТАМ №1,2,3,4

Темы:

«Построение модели предметной области на языке исчисления высказываний»

«Построение модели предметной области на языке исчисления предикатов»

«Построение модели предметной области на семантических сетях»
«Построение модели предметной области с использованием фреймов»

Уч. группа            ВСМ-10-99

Студент:               С.Г. Рашевец

Преподаватель:   профессор, д.т.н.,

Болотова Л.С.

Москва, 2003г.

Контрольная работа №1

Элементарные высказывания:

a₁ – Проект выполнен

a₂ – Проект ожидает исполнения

a₃ – Исполнитель занят

a₄ – Проект поступил к Исполнителю

Аксиомы:

Вывод нового правила на основании аксиом:

Дано:

Доказательство:

Имеем следующие коньюнкты:

Мы получили ложный дизъюнкт, следовательно,  выводима, т.е. - истинна.

Контрольная работа №2

Индивидные константы:

П – Проект

И – Исполнитель

Функциональные переменные:

g₁ – направить Проект Исполнителю

g₂ – выбрать Проект наивысшего приоритета

g₃ – выполнить Проект

Предметные переменные:

Номер Проекта наивысшего (в текущий момент) приоритета - J

Состояния - S

Состояния:

У(П,И), ВЫПОЛНЕН(П), ВЫБРАН(П)

П(J) – Проект с наивысшим приоритетом исполнения.

У(П, И, J) – Проект, имеющий номер J находится у Исполнителя.

У(П, И, J, g₁(J,S)) – Проект, имеющий наибольший приоритет находится у Исполнителя в результате применения оператора g₁.

ВЫБРАН(П, J, g₂(S)) – Выбран проект, имеющий наивысший приоритет.

ВЫПОЛНЕН(П, J, g₃(J,S)) – Выполнен проект имеющий номер J.

Аксиомы:

Вывод нового правила на основании аксиом:

Дано:

F₁  

F₂