Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:presentation_examples [2008/04/13 16:13] miw utworzono |
pl:miw:miw08_xtt_rif:presentation_examples [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 35: | Linia 35: | ||
| Exists ?I ?X ?S (?I # "cpt:book"^^rif:iri[author->?X ?S->"bks:LeRif"^^rif:iri]) | Exists ?I ?X ?S (?I # "cpt:book"^^rif:iri[author->?X ?S->"bks:LeRif"^^rif:iri]) | ||
| </code> | </code> | ||
| - | |||
| - | **Definicja reguł RIF-BLD:**\\ | ||
| - | Składnia prezentacji dla reguł Horna, rozszerza definicje języka warunkowego o następujące produkcje: | ||
| - | <code> Group ::= 'Group' IRIMETA? '(' (RULE | Group)* ')' | ||
| - | IRIMETA ::= Frame | ||
| - | RULE ::= 'Forall' Var+ '(' CLAUSE ')' | CLAUSE | ||
| - | CLAUSE ::= Implies | ATOMIC | ||
| - | Implies ::= ATOMIC ':-' FORMULA</code> | ||
| - | Ruleset to zestaw reguł RIFa. Reguły są generowane przez produkcję Implies, z opcjonalnym kwantyfikatorem Forall. Var, COMPOUND oraz CONDITION zostały zdefiniowane jako część składni dla pozytywnych warunków w Języku Warunkowym. Warto zauważyć, że termy COMPOUND są traktowane jako reguły z pustą częścią warunkową - zwykle są nazywane faktami. | ||
| //Przykład 2// | //Przykład 2// | ||
