TechCodeview

Inferens:

Inden for kunstig intelligens har vi brug for intelligente computere, som kan skabe ny logik ud fra gammel logik eller ved beviser, så generering af konklusionerne fra beviser og fakta betegnes som inferens .

Inferensregler:

Inferensregler er skabelonerne til at generere gyldige argumenter. Inferensregler anvendes til at udlede beviser i kunstig intelligens, og beviset er en sekvens af den konklusion, der fører til det ønskede mål.

I slutningsregler spiller implikationen blandt alle forbindelsesled en vigtig rolle. Følgende er nogle terminologier relateret til slutningsregler:

er lig med java

Implikation:Det er en af ​​de logiske forbindelser, der kan repræsenteres som P → Q. Det er et boolsk udtryk.Omvendt:Det omvendte af implikation, hvilket betyder, at den højre proposition går til venstre side og omvendt. Det kan skrives som Q → P.Kontrapositiv:Negationen af ​​omvendt betegnes som kontrapositiv, og den kan repræsenteres som ¬ Q → ¬ P.Omvendt:Negationen af ​​implikation kaldes invers. Det kan repræsenteres som ¬ P → ¬ Q.

Fra ovenstående udtryk er nogle af de sammensatte udsagn ækvivalente med hinanden, hvilket vi kan bevise ved hjælp af sandhedstabel:

Derfor kan vi fra ovenstående sandhedstabel bevise, at P → Q er ækvivalent med ¬ Q → ¬ P, og Q → P er ækvivalent med ¬ P → ¬ Q.

Typer af slutningsregler:

1. Indstillingstilstand:

Modus Ponens-reglen er en af ​​de vigtigste slutningsregler, og den siger, at hvis P og P → Q er sande, så kan vi udlede, at Q vil være sand. Det kan repræsenteres som:

Eksempel:

Udsagn-1: 'Hvis jeg er søvnig, så går jeg i seng' ==> P→ Spm
Udsagn-2: 'Jeg er søvnig' ==> S
Konklusion: 'Jeg går i seng.' ==> Q.
Derfor kan vi sige, at hvis P → Q er sand, og P er sand, så vil Q være sand.

Proof by Truth tabel:

2. Metode til fjernelse:

Modus Tollens-reglen siger, at hvis P→ Q er sandt og ¬ Q er sandt, så ¬ P vil også sande. Det kan repræsenteres som:

Udsagn-1: 'Hvis jeg er søvnig, så går jeg i seng' ==> P→ Spm
Udsagn-2: 'Jeg går ikke i seng.'==> ~Q
Udsagn-3: Hvilket udleder at ' Jeg er ikke søvnig ' => ~P

Proof by Truth tabel:

3. Hypotetisk syllogisme:

Hypotetisk syllogisme-reglen siger, at hvis P→R er sandt, når P→Q er sandt, og Q→R er sandt. Det kan repræsenteres som følgende notation:

Eksempel:

Udsagn-1: Hvis du har min hjemmenøgle, kan du låse mit hjem op. P→Q
Udsagn-2: Hvis du kan låse mit hjem op, så kan du tage mine penge. Q→R
Konklusion: Hvis du har min hjemmenøgle, kan du tage mine penge. P→R

Bevis ved sandhedstabel:

4. Disjunktiv syllogisme:

Disjunktiv syllogisme-reglen siger, at hvis P∨Q er sand, og ¬P er sand, så vil Q være sand. Det kan repræsenteres som:

Eksempel:

hvordan man udskriver java

Udsagn-1: I dag er det søndag eller mandag. ==>P∨Q
Udsagn-2: I dag er det ikke søndag. ==> ¬P
Konklusion: I dag er det mandag. ==> Q

Bevis ved sandhedstabel:

5. Tilføjelse:

Additionsreglen er en af ​​de almindelige inferensregler, og den siger, at hvis P er sand, så vil P∨Q være sand.

Eksempel:

Udmelding: Jeg har en vaniljeis. ==> P
Udsagn-2: Jeg har chokoladeis.
Konklusion: Jeg har vanilje- eller chokoladeis. ==> (P∨Q)

Bevis ved Truth-Table:

6. Forenkling:

Forenklingsreglen siger, at hvis P∧ Q er da sandt Q eller P vil også være sandt. Det kan repræsenteres som:

Bevis ved Truth-Table:

7. Opløsning:

Opløsningsreglen siger, at hvis P∨Q og ¬ P∧R er sande, så vil Q∨R også være sande. Det kan repræsenteres som

Bevis ved Truth-Table: