Produktionsmodell för kunskapsrepresentation

Produktionsmodellen för kunskap är en regelbaserad modell som låter dig representera kunskap i form av meningar som "Om (villkor), då (handling)".

Produktionsmodell - fragment av den semantiska webben , baserad på det tidsmässiga förhållandet mellan objektens tillstånd.

Produktionsmodellen har nackdelen att när ett tillräckligt stort antal (i storleksordningen flera hundra) produktioner ackumuleras, börjar de motsäga varandra på grund av disjunktionernas oåterkallelighet. I det här fallet börjar utvecklare komplicera systemet genom att inkludera luddiga slutledningsmoduler eller andra konfliktlösningsverktyg, såsom prioriteringsregler, djupregler, heuristiska mekanismer för undantag, returer, etc.

Generellt kan produktionsmodellen representeras enligt följande:

, var:

•   — Beskrivning av klassen av situationer.
•   - villkoret under vilket produkten aktiveras;
•   - produktens kärna;
•   är eftervillkoret för produktionsregeln.

Modifieringar av produktionsmodeller

Produktionsmodellen kompletteras ofta med en viss ordning införd på uppsättningen av produktioner, vilket förenklar slutledningsmekanismen . Beställningen kan komma till uttryck i det faktum att en separat nästa produkt i beställningen kan appliceras först efter försök att applicera de produkter som föregår den. En liknande effekt på produktionsmodellen kan vara användningen av produktprioriteringar, vilket innebär att produkten med högst prioritet bör appliceras först.

Tillväxten av inkonsekvensen i produktionsmodellen kan begränsas genom att införa mekanismerna för undantag och returer. Undantagsmekanismen innebär att särskilda undantagsregler införs. De kännetecknas av större specificitet i jämförelse med generaliserade regler. Om det finns ett undantag gäller inte huvudregeln. Backtracking-mekanismen gör att den logiska slutsatsen kan fortsätta om slutsatsen i något skede ledde till en motsägelse. Du behöver bara överge ett av de tidigare accepterade uttalandena och återgå till det tidigare tillståndet.

Motsägelser i kunskapsbaser i Prolog - språket upptäcks automatiskt genom användning av automatisk satsbevisande med de inbyggda brute-force-sökmekanismerna i Prolog-systemet , som organiserar sökningen efter information i kunskapsbaser och visar informationen som hittas som informationshämtning resultat.

Litteratur

• Gavrilova T. A., Khoroshevsky V. F. Kunskapsbaser för intelligenta system. Lärobok. - St. Petersburg: Peter, 2000

Länkar

• Stor samling artiklar om kunskapshantering - 1 , 2