This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
courses:knowledge_representation_and_artificial_intelligence_systems:lab4 [2019/08/29 09:08] andrey.suchkov [Общие сведения] |
courses:knowledge_representation_and_artificial_intelligence_systems:lab4 [2022/12/10 09:08] (current) |
||
---|---|---|---|
Line 17: | Line 17: | ||
(slot peasant-location (type SYMBOL) (allowed-symbols shore-1 shore-2)) | (slot peasant-location (type SYMBOL) (allowed-symbols shore-1 shore-2)) | ||
(slot wolf-location (type SYMBOL) (allowed-symbols shore-1 shore-2)) | (slot wolf-location (type SYMBOL) (allowed-symbols shore-1 shore-2)) | ||
- | (slot goat-locatio (type SYMBOL) (allowed-symbols shore-1 shore-2)) | + | (slot goat-location (type SYMBOL) (allowed-symbols shore-1 shore-2)) |
(slot cabbage-location (type SYMBOL) (allowed-symbols shore-1 shore-2)) | (slot cabbage-location (type SYMBOL) (allowed-symbols shore-1 shore-2)) | ||
(slot parent (type FACT-ADDRESS SYMBOL) (allowed-symbols no-parent)) | (slot parent (type FACT-ADDRESS SYMBOL) (allowed-symbols no-parent)) | ||
Line 46: | Line 46: | ||
(defrule move-with-wolf "Правило перемещения с волком" | (defrule move-with-wolf "Правило перемещения с волком" | ||
?node <- (status (search-depth ?num) ; фиксация адреса текущей вершины и ее глубины | ?node <- (status (search-depth ?num) ; фиксация адреса текущей вершины и ее глубины | ||
- | (peasant-location ?fs) ; фиксация текущего местонахождения крестьянина | + | (peasant-location ?ps) ; фиксация текущего местонахождения крестьянина |
- | (wolf-location ?fs)) ; волк на том же берегу, что и крестьянина | + | (wolf-location ?ps)) ; волк на том же берегу, что и крестьянина |
- | (opposite-of ?fs ?ns) ; связывание значения противоположного берега | + | (opposite-of ?ps ?ns) ; связывание значения противоположного берега |
=> | => | ||
(duplicate ?node ; создать новую вершину дублированием | (duplicate ?node ; создать новую вершину дублированием |