DLV - DLV
The DLV (DataLo s Disjunkce, kde logická disjunkce symbol PROTI systém je disjunktivní logické programování systém, implementace stabilní sémantika modelu pod Odpovězte na nastavené programování paradigma. Rozšiřuje datalog jazyk umožňující použití OR v pravidlech.
Stručně řečeno, disjunktivní Datalog je varianta Datalogu, kde se mohou v hlavách pravidel objevit disjunkce; pokročilé verze také umožňují negaci v tělech, kterou lze v disjunktivním logickém programování řešit podle sémantiky pro negaci.
Disjunktivní pravidlo Datalog je klauzule formuláře:
Disjunktivní omezení Datalog je klauzule formuláře:
Jednou z nejpopulárnějších nemonotonických logik je Reiterova [1980] defaultlogic. Tato logika byla vyvinuta jako formalismus reprezentace znalostí a původně nebyla koncipována jako dotazovací jazyk databáze. Bylo však definováno vhodné nastavení, ve kterém lze výchozí logiku použít jako dotazovací jazyk pro relační databáze (Default Query Language, DQL).
Z praktického hlediska se v kontextu deduktivních databází jeví Datalog jako vhodnější rozšíření DATALOG ~ než DQL. Díky své prosté syntaxi je DATALOGv, ~ přístupný automatické analýze a optimalizaci programu.
Tyto výsledky nejsou jen teoretického zájmu; problémy relevantní v praxi, jako je výpočet optimální hodnoty cesty v Traveling Salesman Problem a výpočty vlastních vektorů, lze řešit v disjunktivním Datalogu, ale ne Datalogu s negací (pokud se nespadne Polynomiální hierarchie).[1]
Příklad vstupu: Datalog s negací jako selháním
kuřák(John).kuřák(zvedák).běžec(Jill).běžec(John).zdravý(X) :- běžec(X), \+ kuřák(X).
Překlad do DLV: Vyplňte formulář žádosti Clarka o vyplnění a klauzuli
kuřák (X) <- X = john.smoker (X) <- X = jack.X = john v X = jack <- kuřák (X). jogger (X) <- X = jill.jogger (X) <- X = john.X = jill v X = john <- jogger (X) .healthy (X) v kuřák (X) <- jogger (X) .jogger (X) <- zdravý (X) <- zdravý (X) & kuřák (X).
Příklad běhu: Jeden stabilní model
? - zdravé (X) .X = jill; Ne
Reference
externí odkazy
Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |