Logický model reprezentace znalostí

Logický model reprezentace znalostí  je modelem reprezentace znalostí .

Hlavní myšlenkou přístupu při budování logických modelů reprezentace znalostí je, že všechny informace potřebné pro řešení aplikovaných problémů jsou považovány za soubor faktů a tvrzení, které jsou v nějaké logice prezentovány jako vzorce . Znalosti jsou zobrazovány sadou takových vzorců a získávání nových znalostí je redukováno na implementaci inferenčních procedur . Logické modely reprezentace znalostí jsou založeny na konceptu formální teorie definované n-ticí: , kde:

•  je spočetná množina základních symbolů (abeceda);
•  - množina zvaná vzorce;
•  - vybraná podmnožina apriori pravdivých formulí ( axiomů );
•  - konečná množina vztahů mezi formulemi, nazývaná inferenční pravidla.

Výhody logických modelů reprezentace znalostí

• Jako „základ“ zde používáme klasický aparát matematické logiky, jehož metody jsou poměrně dobře prostudované a formálně podložené.
• Existují poměrně účinné inferenční postupy, včetně těch implementovaných v logickém programovacím jazyce Prolog , využívající mechanismy automatického dokazování teorémů k hledání a logicky smysluplného výstupu informací.
• Do znalostních bází lze uložit pouze sadu axiomů a z nich lze získat všechny ostatní znalosti podle inferenčních pravidel, stejně jako Data, fakta a další informace o lidech, objektech, událostech a procesech.

Viz také

• Prolog (programovací jazyk)
• Znalostní základna
• Ochrana dat

Odkazy

• Logický model
• Logický model