Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/26 13:37] miw aktualizacja |
pl:miw:miw08_xtt_rif:rif_minicases [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 24: | Linia 24: | ||
| [[pl:miw:miw08_xtt_rif:rif_minicases:rbmvc|Zapis za pomocą RIF]]. | [[pl:miw:miw08_xtt_rif:rif_minicases:rbmvc|Zapis za pomocą RIF]]. | ||
| + | |||
| ===== grouped attributes and multiple value operations ===== | ===== grouped attributes and multiple value operations ===== | ||
| [[hekatedev:xtt_minicases#grouped_attributes_and_multiple_value_operations|Opis]] | [[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]]. | [[pl:miw:miw08_xtt_rif:rif_minicases:gamvo|Proponowany zapis w RIF]]. | ||
| Linia 38: | Linia 41: | ||
| [[pl:miw:miw08_xtt_rif:rif_minicases:gaa|Realizacja za pomocą RIFa.]] | [[pl:miw:miw08_xtt_rif:rif_minicases:gaa|Realizacja za pomocą RIFa.]] | ||
| + | |||
| + | |||
| ===== calculations (factorial) ===== | ===== calculations (factorial) ===== | ||
| + | :!::!::!:\\ | ||
| [[hekatedev:xtt_minicases#calculations_factorial|Opis]] | [[hekatedev:xtt_minicases#calculations_factorial|Opis]] | ||
| - | Według mnie tej reguły nie da się zapisać za pomocą RIF. Problemem jest zapętlenie. W definicji RIF BLD nie ma możliwości zapętlania reguł i nie widzę możliwości zapisu powyższej reguły. | + | 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 ===== | ===== finding successors in a tree ===== | ||
| [[hekatedev:xtt_minicases#finding_successors_in_a_tree|Opis]] | [[hekatedev:xtt_minicases#finding_successors_in_a_tree|Opis]] | ||
| - | Tutaj również występuje zapętlenie reguł, na którego zapis za pomocą RIF nie mam pomysłu. | + | 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 ===== | ===== finding successors in a tree with a hop ===== | ||
| Linia 56: | Linia 64: | ||
| [[pl:miw:miw08_xtt_rif:rif_minicases:fsitwh|Proponowany zapis w RIF]]. | [[pl:miw:miw08_xtt_rif:rif_minicases:fsitwh|Proponowany zapis w RIF]]. | ||
| + | |||
| + | ===== A2A ===== | ||
| + | FIXME | ||
