Wnioskowanie:

W sztucznej inteligencji potrzebne są inteligentne komputery, które potrafią stworzyć nową logikę ze starej logiki lub na podstawie dowodów, dlatego generowanie wniosków na podstawie dowodów i faktów nazywa się wnioskowaniem .

Reguły wnioskowania:

Reguły wnioskowania są szablonami do generowania prawidłowych argumentów. Do wyprowadzania dowodów w sztucznej inteligencji stosuje się reguły wnioskowania, a dowodem jest sekwencja wniosków prowadzących do pożądanego celu.

W regułach wnioskowania ważną rolę odgrywa implikacja pomiędzy wszystkimi łącznikami. Poniżej przedstawiono niektóre terminologie związane z regułami wnioskowania:

co to jest 10 z 60

Implikacja:Jest to jeden z łączników logicznych, który można przedstawić jako P → Q. Jest to wyrażenie logiczne.Rozmawiać:Odwrotność implikacji, co oznacza, że ​​zdanie po prawej stronie przechodzi do strony lewej i odwrotnie. Można to zapisać jako Q → P.Kontrapozytywny:Negacja odwrotności nazywana jest kontrapozytywną i można ją przedstawić jako ¬ Q → ¬ P.Odwrotność:Negacja implikacji nazywa się odwrotnością. Można to przedstawić jako ¬ P → ¬ Q.

Z powyższego terminu niektóre zdania złożone są sobie równoważne, co możemy udowodnić za pomocą tabeli prawdy:

Zatem z powyższej tabeli prawdy możemy udowodnić, że P → Q jest równoważne ¬ Q → ¬ P, a Q → P jest równoważne ¬ P → ¬ Q.

Rodzaje reguł wnioskowania:

1. Tryb ustawień:

Reguła Modus Ponensa jest jedną z najważniejszych reguł wnioskowania i stwierdza, że ​​jeśli P i P → Q jest prawdziwe, to możemy wywnioskować, że Q będzie prawdziwe. Można to przedstawić jako:

Przykład:

Stwierdzenie-1: „Jeśli jestem śpiący, to idę spać” ==> P → P
Stwierdzenie-2: „Jestem śpiący” ==> P
Wniosek: „Idę do łóżka”. ==> Pytanie
Zatem możemy powiedzieć, że jeśli P → Q jest prawdziwe i P jest prawdziwe, to Q będzie prawdziwe.

Dowód według tabeli prawdy:

2. Metoda usuwania:

Reguła Modus Tollensa stwierdza, że ​​jeśli P → Q jest prawdziwe i ¬ Q jest prawdą, zatem ¬ P będzie również prawdą. Można to przedstawić jako:

Oświadczenie-1: „Jeśli jestem śpiący, to idę spać” ==> P → P
Oświadczenie-2: „Nie idę do łóżka”.==> ~Q
Oświadczenie-3: Co wnioskuje, że nie jestem śpiący ' => ~P

Dowód według tabeli prawdy:

3. Hipotetyczny sylogizm:

Reguła sylogizmu hipotetycznego stwierdza, że ​​jeśli P → R jest prawdziwe, gdy P → Q jest prawdziwe, a Q → R jest prawdziwe. Można to przedstawić w następującej notacji:

Przykład:

Oświadczenie-1: Jeśli masz mój klucz do domu, możesz odblokować mój dom. P → P
Oświadczenie-2: Jeśli uda ci się odblokować mój dom, możesz zabrać moje pieniądze. Pytanie → R
Wniosek: Jeśli masz mój klucz do domu, możesz wziąć moje pieniądze. P → R

Dowód za pomocą tabeli prawdy:

4. Sylogizm rozłączny:

Reguła sylogizmu rozłącznego stwierdza, że ​​jeśli P∨Q jest prawdziwe i ¬P jest prawdziwe, to Q będzie prawdziwe. Można to przedstawić jako:

Przykład:

modulacja amplitudy

Oświadczenie-1: Dziś niedziela lub poniedziałek. ==>P∨Q
Oświadczenie-2: Dziś nie jest niedziela. ==> ¬str
Wniosek: Dziś jest poniedziałek. ==> Pytanie

Dowód za pomocą tabeli prawdy:

5. Dodatek:

Reguła dodawania jest jedną z powszechnych reguł wnioskowania i stwierdza, że ​​jeśli P jest prawdziwe, to P∨Q będzie prawdziwe.

Przykład:

Oświadczenie: Mam lody waniliowe. ==> P
Oświadczenie-2: Mam lody czekoladowe.
Wniosek: Mam lody waniliowe lub czekoladowe. ==> (P∨Q)

Dowód na podstawie tabeli prawdy:

6. Uproszczenie:

Reguła upraszczająca stwierdza, że ​​jeśli P∧ Q to prawda Q lub P też będzie prawdą. Można to przedstawić jako:

Dowód na podstawie tabeli prawdy:

7. Rozdzielczość:

Reguła rozdzielczości stwierdza, że ​​jeśli P∨Q i ¬ P∧R są prawdziwe, to Q∨R również będzie prawdziwe. Można to przedstawić jako

Dowód na podstawie tabeli prawdy: