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

Страницы работы

Содержание работы

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

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

(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)

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

КАФЕДРА «ВТ»

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

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

Темы:

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

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

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

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

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

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

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

Москва, 2003г.


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

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

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

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

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

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

Аксиомы:

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

Дано:

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

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

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

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

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

П – Проект

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

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

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

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

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

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

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

Состояния - S

Состояния:

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

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

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

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

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

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

Аксиомы:

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

Дано:

F1  

F2

Похожие материалы

Информация о работе