Tiedon esittämisen looginen malli

Tiedon esityksen looginen malli on malli tiedon esittelyssä .

Tiedon esityksen loogisten mallien rakentamisen lähestymistavan pääideana on, että kaikkea sovellettavien ongelmien ratkaisemiseen tarvittavaa tietoa pidetään sarjana faktoja ja lausuntoja, jotka esitetään kaavoina jossain logiikassa . Tieto esitetään joukolla tällaisia kaavoja, ja uuden tiedon hankkiminen rajoittuu päättelymenettelyjen toteuttamiseen . Tiedon esityksen loogiset mallit perustuvat muodollisen teorian käsitteeseen , jonka määrittelee monikko: , jossa: $S=\langle B,F,A,R\rangle$

$B$ on perussymbolien (aakkoset) laskettava joukko;
$F$ - joukko nimeltä kaavoja;
$A$ - a priori tosikaavojen ( aksioomien ) valittu osajoukko;
$R$ - äärellinen joukko kaavojen välisiä suhteita, joita kutsutaan päättelysäännöiksi.

Tiedon esitystavan loogisten mallien edut

"Perustana" tässä käytetään matemaattisen logiikan klassista laitteistoa, jonka menetelmät ovat melko hyvin tutkittuja ja muodollisesti perusteltuja.
On olemassa varsin tehokkaita päättelymenetelmiä, mukaan lukien loogisella ohjelmointikielellä Prolog toteutetut , jotka käyttävät automaattisia lauseiden todistamismekanismeja tiedon etsimiseen ja loogisesti merkitykselliseen tulostamiseen.
Tietokantoihin voidaan tallentaa vain joukko aksioomia ja niistä voidaan saada päättelysääntöjen mukaisesti kaikki muu tieto, samoin kuin Data, faktat ja muuta tietoa ihmisistä, objekteista, tapahtumista ja prosesseista.

Katso myös

Linkit

Tietotekniikka
Yleiset käsitteet	Data metatiedot Tietoa metatieto Tiedon edustus Tietopohja Ontologia semanttinen verkko
Jäykät mallit	Tuotteet Semanttiset verkot Kehykset Looginen malli
Pehmeät menetelmät	Neuroverkko evoluutiomallinnus sumea logiikka
Sovellukset	Asiantuntijajärjestelmät Tiedon louhinta Tietojen talteenotto Virtuaaliset keskustelukumppanit Älykkäät hybridijärjestelmät
Tekoäly Koneoppiminen luonnollisen kielen käsittely