Проблема нехватки учителей в школе

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

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

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

КАФЕДРА «ВТ»

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

КОНТРОЛЬНАЯ РАБОТА

Тема: "Проблема нехватки учителей в школе"

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

                                                            Выполнил              Тимченко И.В.

Москва, 2005г.

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

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

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

a₁ – Не хватает учителей в школе.

a₂ – Комиссия решает проблему.

a₃ – Существует острая проблема нехватки учителей.

a₄ – Учитель получает служебное жильё.

а₅ – Учителю увеличивают зарплату

а₆ – Комиссия решила проблему.

а₇ – Комиссия привлекает новые кадры.

Аксиомы:

 Если не хватает учителей в школе и комиссия решает проблему и

     существует острая проблема нехватки учителей, то  комиссия привлекает новые кадры.

 Если  учитель получает служебное жильё и  учителю увеличивают зарплату,

     то  комиссия привлекает новые кадры.    

 Если не хватает учителей в школе и комиссия решает проблему и

     учитель получает служебное жильё и  учителю увеличивают зарплату, то комиссия решила проблему.

 Если не хватает учителей в школе и комиссия решает проблему и

     существует острая проблема нехватки учителей и комиссия привлекает новые кадры,

     то комиссия решила проблему.

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

Дано:

F₁                 

F₂                 

F₃                 

F₄                 

F₅                    

Преобразуем формулы:

F₁                   

F₂                 

F₃                 

F₄                 

F₅                        

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

Имеем систему элементарных дизъюнктов, на основе которой проводим вывод методом резолюций:

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