Odvozování (Inference)
ISKM89 Organizace dat - sémantický web | podzim 2023
Zuzana Nevěřilová | Centrum zpracování přirozeného jazyka
Všichni lidé jsou smrtelní.
Sókratés je člověk.
Život bez inference - sylogismus o Sókratovi
Jsou lidé smrtelní?
Je Sókratés člověk?
Je Sókratés smrtelný?
= odvození nové znalosti ze stávající znalosti a axiomů (pravidel)
Axiom = předem platné tvrzení (např. pravidlo, kterým je doména definována)
= (v RDF) odvození nových trojic ze stávajících trojic a pravidel
= typ odvození: dedukce (odvození jisté, nikoli pravděpodobné)
Dedukce je odvození konkrétního (tvrzení) z obecného (pravidla).
Inference
Jestliže zaspím, přijdu pozdě.
Nepřišel jsem pozdě.
(Z ⇒ P) AND (NOT P)
(NOT Z OR P) AND NOT P
NOT Z
Inference - příklad dedukce
Jestliže zaspím, přijdu pozdě.
Nezaspal jsem.
(Z ⇒ P) AND (NOT Z)
(NOT Z OR P) AND (NOT Z)
(NOT Z OR P)
A ⇒ B ⇔ NOT A OR B náhrada disjunkcí
A ⇒ B ⇔ NOT B ⇒ NOT A obměna implikace
Všichni lidé jsou smrtelní.
Sókratés je člověk.
Sókratés je smrtelný
Život s (deduktivní) inferencí - sylogismus o Sókratovi
https://en.wikipedia.org/wiki/The_Death_of_Socrates
Všichni lidé jsou smrtelní.
Sókratés je člověk.
Sókratés je smrtelný.
Dedukce a indukce - sylogismus o Sókratovi
Sókratés je člověk.
Sókratés je smrtelný.
Všichni lidé jsou smrtelní.
indukce
(odvozování nejisté, lze je vyvrátit)
aspoň v jednom případě ale platí
Pštros je pták.
Monotonicita (monotónní odvozování)
Všichni ptáci létají.
Pštros nelétá.
Monotonicita (monotónní odvozování)
Všichni ptáci létají.
Pštros je pták.
Pštros nelétá.
Monotonicita (monotónní odvozování)
Všichni ptáci létají.
Pštros je pták.