Извод:

В областта на изкуствения интелект имаме нужда от интелигентни компютри, които могат да създават нова логика от стара логика или чрез доказателства, така че генерирането на заключения от доказателства и факти се нарича извод .

Правила за извод:

Правилата за извод са шаблоните за генериране на валидни аргументи. Правилата за извод се прилагат за извличане на доказателства в изкуствения интелект, а доказателството е последователност от заключения, които водят до желаната цел.

В правилата за извод импликацията между всички свързващи елементи играе важна роля. Следват някои терминологии, свързани с правилата за извод:

как да намеря скрити приложения на android

Извод:Това е една от логическите връзки, която може да бъде представена като P → Q. Това е булев израз.Обратно:Обратното на импликацията, което означава, че предложението от дясната страна отива в лявата страна и обратно. Може да се запише като Q → P.Контрапозитивни:Отрицанието на обратното се нарича контрапозитивно и може да бъде представено като ¬ Q → ¬ P.Обратно:Отрицанието на импликацията се нарича обратно. Може да се представи като ¬ P → ¬ Q.

От горния термин някои от съставните твърдения са еквивалентни едно на друго, което можем да докажем с помощта на таблицата на истината:

Следователно от горната таблица на истината можем да докажем, че P → Q е еквивалентно на ¬ Q → ¬ P, а Q→ P е еквивалентно на ¬ P → ¬ Q.

Видове правила за извод:

1. Режим на настройка:

Правилото Modus Ponens е едно от най-важните правила за извод и то гласи, че ако P и P → Q е вярно, тогава можем да заключим, че Q ще бъде вярно. Може да се представи като:

Пример:

Твърдение-1: „Ако ми се спи, тогава си лягам“ ==> P→ Q
Твърдение-2: „Аз съм сънлив“ ==> P
Заключение: „Лягам си.“ ==> В.
Следователно можем да кажем, че ако P → Q е вярно и P е вярно, тогава Q ще бъде вярно.

Доказателство по таблица на истината:

2. Метод на премахване:

Правилото на Modus Tollens гласи, че ако P→ Q е вярно и ¬ Q е вярно, тогава ¬ P също ще е вярно. Може да се представи като:

Изявление-1: „Ако ми се спи, тогава си лягам“ ==> P→ Q
Изявление-2: 'Не отивам в леглото.'==> ~Q
Изявление-3: Което предполага, че ' Не ми се спи ' => ~P

Доказателство по таблица на истината:

3. Хипотетичен силогизъм:

Правилото на хипотетичния силогизъм гласи, че ако P→R е вярно, когато P→Q е вярно, и Q→R е вярно. Може да се представи като следната нотация:

Пример:

Изявление-1: Ако имате ключа за дома ми, можете да отключите дома ми. P→Q
Изявление-2: Ако можете да отключите дома ми, можете да вземете парите ми. Q→R
Заключение: Ако имате ключа за дома ми, можете да вземете парите ми. P→R

Доказателство по таблица на истината:

4. Дизюнктивен силогизъм:

Правилото за дизюнктивен силогизъм гласи, че ако P∨Q е вярно и ¬P е вярно, тогава Q ще е вярно. Може да се представи като:

Пример:

панди, създаващи рамка от данни

Изявление-1: Днес е неделя или понеделник. ==>P∨Q
Изявление-2: Днес не е неделя. ==> ¬P
Заключение: Днес е понеделник. ==> В

Доказателство чрез таблица на истината:

5. Допълнение:

Правилото за добавяне е едно от общите правила за извод и гласи, че ако P е вярно, тогава P∨Q ще бъде вярно.

Пример:

Изявление: Имам ванилов сладолед. ==> П
Изявление-2: Имам шоколадов сладолед.
Заключение: Имам ванилов или шоколадов сладолед. ==> (P∨Q)

Доказателство чрез таблица на истината:

6. Опростяване:

Правилото за опростяване гласи, че ако P∧ Q тогава е вярно Q или P също ще е вярно. Може да се представи като:

Доказателство чрез таблица на истината:

7. Резолюция:

Правилото за разрешаване гласи, че ако P∨Q и ¬ P∧R е вярно, тогава Q∨R също ще бъде вярно. Може да се представи като

Доказателство чрез таблица на истината: