Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
Nowa wersja Both sides next revision
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/02 21:33]
miw
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/26 15:30]
miw
Linia 1: Linia 1:
 ====== RIF i Minicases ====== ====== RIF i Minicases ======
 +
 ===== restrictive behavior ===== ===== restrictive behavior =====
-Reguła''​if X > 2 then Y = X''​+[[hekatedev:xtt_minicases#​restrictive_behavior|Opis]] 
 + 
 +[[pl:​miw:​miw08_xtt_rif:​rif_minicases:​rb|Proponowany zapis w RIFie]]. 
 + 
 + 
 + 
 + 
  
-Podobną strukturę przedstawiłem [[pl:​miw:​miw08_xtt_rif#​przemyslenia_dotyczace_regul_zawierajacych_przypisanie|ostatnio]]. 
  
 ===== restrictive behavior and multiple values ===== ===== restrictive behavior and multiple values =====
-There is a student with several grades indicated by attribute grades. A grade could be: 2,3,4,5 I need a count how many 2 grades he has (nrfail)how many grades in total (nrgrades), and what is the mean (grmean).+[[hekatedev:xtt_minicases#​restrictive_behavior_and_multiple_values|Opis]] 
 + 
 +Część pierwsza, czyli wyliczenie ilości ocen jest proste w realizajiw regule używam predykatu ''​count''​ dla wyliczenia. Potem mogę dla wszystkich zmiennych wykonać jakąś operację używając ''​Exists'' ​(w ''​Implies''​ używam pustego ''​And''​który zwraca zawszę prawdę). Aby wywołać we wniosku dwie operacjezałożyłem istnienie predykatu ''​run-two'',​ który jest w stanie wywołać dwie reguły. 
 + 
 +[[pl:​miw:​miw08_xtt_rif:​rif_minicases:​rbmv|Zapis za pomocą RIF]] 
 + 
 + 
 +===== restrictive behavior ​and multiple values cont. ===== 
 +[[hekatedev:​xtt_minicases#​restrictive_behavior_and_multiple_values_cont|Opis]] 
 + 
 +[[pl:​miw:​miw08_xtt_rif:​rif_minicases:​rbmvc|Zapis za pomocą RIF]]. 
 + 
 + 
 + 
 +===== grouped attributes and multiple value operations ===== 
 +[[hekatedev:​xtt_minicases#​grouped_attributes_and_multiple_value_operations|Opis]] 
 + 
 +Proponowany zapis został stworzony w oparciu o [[pl:​miw:​miw08_xtt_rif:​przyklad3b|przykład]]. Wykorzystałem tutaj termy z nazwanymi argumentami. Ciekawe jest to, że pomimo praktycznie takiej samej struktury jak w przykładzie,​ reguła nie przechodzi walidacji. 
 + 
 +[[pl:​miw:​miw08_xtt_rif:​rif_minicases:​gamvo|Proponowany zapis w RIF]]. 
 + 
 + 
 + 
 + 
 +===== grouped attributes and assert ===== 
 +[[hekatedev:​xtt_minicases#​grouped_attributes_and_assert|Opis]] 
 + 
 +[[pl:​miw:​miw08_xtt_rif:​rif_minicases:​gaa|Realizacja za pomocą RIFa.]] 
 + 
 + 
 + 
 + 
 +===== calculations ​(factorial===== 
 +[[hekatedev:​xtt_minicases#​calculations_factorial|Opis]] 
 + 
 +Według mnie tej reguły nie da się zapisać za pomocą RIF. Problem tkwi w sterowaniu wnioskowaniem. Format RIF nie przewiduje nazywania poszczególnych reguł (tag ''​sentence''​ nie posiada zadnych artybutów). Jest to powód nie możliwości zapisania reguły. Rozwiązaniem tego problemu byłoby zaproponowanie własnego dialektu, który posiadałby stosowne modyfikacje. 
 + 
 + 
 + 
 + 
 + 
 +===== finding successors in a tree ===== 
 +[[hekatedev:​xtt_minicases#​finding_successors_in_a_tree|Opis]] 
 + 
 +Zakładam tutaj, że uzywając kwantyfikatora ''​Forall'',​ będzie on uwzględniał również wartości dodawane do zbioru podczas wykonywania reguł. 
 + 
 +[[pl:​miw:​miw08_xtt_rif:​rif_minicases:​fst|Proponowany zapis]]. 
 + 
 + 
 +===== finding successors in a tree with a hop ===== 
 +[[hekatedev:​xtt_minicases#​finding_successors_in_a_tree_with_a_hop|Opis]] 
 + 
 +[[pl:​miw:​miw08_xtt_rif:​rif_minicases:​fsitwh|Proponowany zapis w RIF]].
  
-<code xml> +===== A2A ===== 
-<​Ruleset>​ +FIXME
- <​rule>​ +
-  <​Forall>​ +
-   <​declare><​Var>​grade</​Var></​declare>​ +
-   <​formula>​ +
-    <​Implies>​ +
-     <​if>​ +
-      <​formula>​ +
-       <​Equal>​ +
-        <​arg><​Var>​grade</​Var></​arg>​ +
-        <​arg><​Const type="​xsd:​decimal">​2</​Const></​arg>​ +
-       </​Equal>​ +
-      </​formula>​ +
-     </​if>​ +
-     <​then>​ +
-      <​Uniterm>​ +
-       <​op><​Const type="​rif:​local">​nrfail</​Const></​op>​ +
-       <​arg>​ +
-        <​Uniterm>​ +
-         <​op><​Const type="​rif:​local">​count</​Const></​op>​ +
-         <​arg><​Var>​grade</​Var></​arg>​ +
-        </​Uniterm>​ +
-       </​arg>​ +
-      </​Uniterm>​ +
-     </​then>​ +
-    </​Implies>​ +
-   </​formula>​ +
-  </​Forall>​ +
- </​rule>​ +
- <​rule>​ +
-  <​Forall>​ +
-   <​declare><​Var>​grade</​Var></​declare>​ +
-   <​formula>​ +
-    <​Implies>​ +
-     <​if>​ +
-      <​formula>​ +
-       <​Uniterm>​ +
-        <​op><​Const type="​rif:​local">​op:​not-equal</​Const></​op>​ +
-        <​arg><​Var>​grade</​Var></​arg>​ +
-        <​arg><​Const type="​xsd:​decimal">​2</​Const></​arg>​ +
-       </​Uniterm>​ +
-      </​formula>​ +
-     </​if>​ +
-     <​then>​ +
-!!! +
-     </​then>​ +
-    </​Implies>​ +
-   </​formula>​ +
-  </​Forall>​ +
- </​rule>​ +
-</​Ruleset>​ +
-</​code>​+
pl/miw/miw08_xtt_rif/rif_minicases.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0