Закључак:

У вештачкој интелигенцији, потребни су нам интелигентни рачунари који могу да креирају нову логику из старе логике или на основу доказа, па се генерисање закључака из доказа и чињеница назива закључивањем .

Правила закључивања:

Правила закључивања су шаблони за генерисање ваљаних аргумената. За извођење доказа у вештачкој интелигенцији примењују се правила закључивања, а доказ је низ закључака који води до жељеног циља.

У правилима закључивања, импликација међу свим везама игра важну улогу. Следе неке терминологије које се односе на правила закључивања:

ц# примери кода

импликација:То је један од логичких веза који се може представити као П → К. То је Булов израз.Разговарати:Обрнуто од импликације, што значи да предлог са десне стране иде на леву страну и обрнуто. Може се написати као К → П.Контрапозитивно:Негација обрнутог назива се контрапозитивном и може се представити као ¬ К → ¬ П.Инверзно:Негација импликације се назива инверзна. Може се представити као ¬ П → ¬ К.

Из горњег појма неки од сложених исказа су еквивалентни једни другима, што можемо доказати користећи табелу истинитости:

Отуда из горње табеле истинитости можемо доказати да је П → К еквивалентно ¬ К → ¬ П, а К→ П еквивалентно ¬ П → ¬ К.

Врсте правила закључивања:

1. Режим подешавања:

Модус Поненсово правило је једно од најважнијих правила закључивања, и оно каже да ако је П и П → К тачно, онда можемо закључити да ће К бити тачно. Може се представити као:

Пример:

Изјава-1: 'Ако сам поспан онда идем у кревет' ==> П→ К
Изјава-2: 'Спаван сам' ==> П
Закључак: 'Идем у кревет.' ==> К.
Дакле, можемо рећи да, ако је П→ К тачно и П тачно, онда ће К бити тачно.

Табела доказа истином:

2. Метод уклањања:

Модус Толленс правило каже да ако је П→ К тачно и ¬ К је тачно, онда ¬ П такође ће истина. Може се представити као:

Изјава-1: 'Ако сам поспан онда идем у кревет' ==> П→ К
Изјава-2: 'Не идем у кревет.'==> ~П
Изјава-3: Што закључује да ' не спава ми се ' => ~П

Табела доказа истином:

3. Хипотетички силогизам:

Правило хипотетичког силогизма каже да ако је П→Р тачно кад год је П→К тачно, и К→Р је тачно. Може се представити као следећа нотација:

Пример:

Изјава-1: Ако имате мој кључ од куће, можете откључати мој дом. П→К
Изјава-2: Ако можеш да откључаш мој дом, онда можеш узети мој новац. К→Р
Закључак: Ако имате мој кључ од куће онда можете узети мој новац. П→Р

Табела доказа истинитости:

4. Дисјунктивни силогизам:

Правило дисјунктивног силогизма каже да ако је П∨К тачно, а ¬П тачно, онда ће К бити тачно. Може се представити као:

Пример:

побољшана фор петља јава

Изјава-1: Данас је недеља или понедељак. ==>П∨К
Изјава-2: Данас није недеља. ==> ¬П
Закључак: Данас је понедељак. ==> К

Доказ помоћу табеле истинитости:

5. Додатак:

Правило сабирања је једно од уобичајених правила закључивања и каже да ако је П тачно, онда ће П∨К бити тачно.

Пример:

Изјава: Имам сладолед од ваниле. ==> П
Изјава-2: Имам чоколадни сладолед.
Закључак: Имам сладолед од ваниле или чоколаде. ==> (П∨К)

Доказ истином-табела:

6. Поједностављење:

Правило поједностављења каже да ако П∧ К истина је, дакле К или П такође ће бити истинито. Може се представити као:

Доказ истином-табела:

7. Резолуција:

Правило Резолуције каже да ако је П∨К и ¬ П∧Р тачно, онда ће К∨Р такође бити тачно. Може се представити као

Доказ истином-табела: