Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_xtt_rif:rif_minicases [2008/04/26 14:20] miw |
pl:miw:miw08_xtt_rif:rif_minicases [2019/06/27 15:50] (aktualna) |
| |
[[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. 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. | 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]]. | [[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 ===== |
| |
[[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 |