-
Anglický jazyk
Stable Model Semantics
Autor: Lambert M. Surhone
High Quality Content by WIKIPEDIA articles! Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive mathrm{not}~p (i.e. that ~p is assumed not to hold) from failure to derive ~p. Note that mathrm{not}~p... Viac o knihe
Na objednávku, dodanie 2-4 týždne
132.91 €
bežná cena: 139.90 €
O knihe
High Quality Content by WIKIPEDIA articles! Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive mathrm{not}~p (i.e. that ~p is assumed not to hold) from failure to derive ~p. Note that mathrm{not}~p is different from the stronger statement neg p of the logical negation of ~p. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.
- Vydavateľstvo: OmniScriptum
- Rok vydania: 2026
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Anglický jazyk
- ISBN: 9786130315467
