Logisk modell för kunskapsrepresentation

Den logiska modellen för kunskapsrepresentation  är en modell i kunskapsrepresentation .

Huvudtanken med tillvägagångssättet för att bygga logiska modeller för kunskapsrepresentation är att all information som behövs för att lösa tillämpade problem betraktas som en uppsättning fakta och påståenden som presenteras som formler i någon logik . Kunskap visas av en uppsättning sådana formler, och att erhålla ny kunskap reduceras till implementering av slutledningsprocedurer . Logiska modeller för kunskapsrepresentation är baserade på begreppet formell teori , definierat av tuplen: , där:

•  är en räknebar uppsättning grundläggande symboler (alfabet);
•  - en uppsättning som kallas formler;
•  - en vald delmängd av a priori sanna formler ( axiom );
•  - en ändlig uppsättning relationer mellan formler, kallade slutledningsregler.

Fördelar med logiska modeller för kunskapsrepresentation

• Som en "grund" använder vi här den klassiska apparatur av matematisk logik, vars metoder är ganska väl studerade och formellt underbyggda.
• Det finns ganska effektiva slutledningsprocedurer, inklusive de som är implementerade i det logiska programmeringsspråket Prolog , som använder automatiska teorembevisande mekanismer för att söka efter och logiskt meningsfull utmatning av information.
• Endast en uppsättning axiom kan lagras i kunskapsbaser, och all annan kunskap kan erhållas från dem enligt slutledningsreglerna, såväl som Data, fakta och annan information om personer, objekt, händelser och processer.

Se även

• Prolog (programmeringsspråk)
• Kunskapsbas
• Dataskydd

Länkar

• Logisk modell
• Logisk modell