Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Курсовая работа силлогизмы.doc
Скачиваний:
2
Добавлен:
01.12.2019
Размер:
3.67 Mб
Скачать

Практическая часть

  1. Описание эталонного теста. Силлогизмы.

Силлогизм — рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). Одна из посылок является общеутвердительной или общеотрицательной.

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

Непосредственные – те, в которых вывод совершается из одной посылки.

Посредственные – те, в которых вывод совершается из двух и более посылок.

В силлогизм входит ровно три термина:

S — меньший термин: субъект заключения (входит также в меньшую посылку);

P — больший термин: предикат заключения (входит также в большую посылку);

M — средний термин: входит в обе посылки, но не входит в заключение.

В зависимости от характера большей посылки силлогизмы бывают трёх видов:

  1. Категорические (полные и сокращённые)

  2. Условные (большая посылка – условное суждение)

  3. Разделительные (большая посылка – разделительное суждение)

По качеству и количеству различают четыре вида простых атрибутивных высказываний:

A — Общие («Все люди смертны»)

I —Частноутвердительные («Некоторые люди — студенты»)

E —Общеотрицательные («Ни один из китов не рыба»)

O— Частноотрицательные («Некоторые люди не являются студентами»)

Единичные высказывания (такие, в которых субъект является единичным термином) приравниваются к общим.

Правила силлогизма:

Термин, не распределённый в посылке, не должен быть распределён в заключении.

Число отрицательных посылок должно быть равно числу отрицательных заключений.

В каждом силлогизме должно быть только три термина.

В данной работе создается система оценки знаний студента.

Выделяются следующие факторы, влияющие на итоговую оценку. Виды факторов:

1)Абстрактные факторы.

Это факторы в целом никак не относятся к уровню подготовки. К ним можно отнести – случайно выбранный правильный ответ. Это факторы очень трудно поддаются прогнозированию. 2)Объективные факторы.

В них входят факторы, такие как правильный ответ.

Проанализировав входные данные, я решил выделить следующие факторы:

  • Личное мнение тестируемого о самооценке возможности решения задания;

  • Правильный ответ на 1 вопрос;

  • Правильный ответ на 2 вопрос;

  • Правильный ответ на 3 вопрос;

  • Правильный ответ на 4 вопрос;

  • Правильный ответ на 5 вопрос;

  • Правильный ответ на 6 вопрос;

  • Правильный ответ на 7 вопрос;

  1. Машина Вывода

Для данной экспертной системы машина вывода написана на языке Object Pascal в среде программирования Delphi.

Она проверяет все входные данные, которые указал пользователь, и, используя их, ставит оценку при условиях - насколько честен был пользователь в своих ответах и как хорошо он знает материал по теме.

Пример кода:

procedure TForm2.btQuest1Click(Sender: TObject);

begin

tabsheet1.enabled:=false;

if KompQuest1.ItemIndex=1 then

begin

K1:=K1-0.2;

end;

if KompQuest1.ItemIndex=0 then

if Q1A2.Checked then begin K1:=K1+1.2; t1:=1; end else

begin

K1:=K1-0.8;

form7.Show;

end;

if KompQuest1.ItemIndex=2 then

if Q1A2.Checked then K1:=K1+0.8 else

begin

K1:=K1+0;

form7.Show;

end;

questions.ActivePageIndex:=5;

all:=all+1;

finish;

end;

procedure TForm2.btQuest2Click(Sender: TObject);

begin

tabsheet2.Enabled:=false;

if KompQuest2.ItemIndex=1 then

begin

K2:=K2-0.2;

end;

if KompQuest2.ItemIndex=0 then

if Q2A3.Checked then begin K2:=K2+1.2; t2:=1; end else

begin

K2:=K2-0.8;

form7.Show;

end;

if KompQuest2.ItemIndex=2 then

if Q2A3.Checked then K2:=K2+0.8 else

begin

K2:=K2+0;

form7.Show;

end;

  1. Схема выставления оценки компетентности.

Всем известная система тестовой проверки знаний студентов, состоящая из тестов, включающих четыре варианта ответа несовершенна, так как студент может написать ответ наугад или списать. В нашей экспертной системе система тестовой проверки будет значительно усовершенствована.

Наша система создана, в целях обучения студентов в области знаний теории силлогизмов, и является «дружественной».

Далее представлена схема получения оценки компетентности:

Обозначения: К – оценка компетентности (положительный и отрицательный(—K)), М – оценка знаний, I – счетчик вопросов.

Рис.1 Схема получения оценки компетентности