Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja | Nowa wersja Both sides next revision | ||
|
pl:dydaktyka:krr:lab_dl [2013/06/05 10:49] gjn [3.5 Wsparcie narzędziowe] |
pl:dydaktyka:krr:lab_dl [2015/06/03 01:32] msl [1.1 Wprowadzenie] |
||
|---|---|---|---|
| Linia 19: | Linia 19: | ||
| Wybrane fragmenty ww. grafu zapisane w logice opisowej: | Wybrane fragmenty ww. grafu zapisane w logice opisowej: | ||
| - | * <latex> Fred : person </latex>, <latex> Tibbs: cat</latex>, <latex> (Tred, Tibbs) : has\_pet</latex> | + | * <latex> Fred : person </latex>, <latex> Tibbs: cat</latex>, <latex> (Fred, Tibbs) : has\_pet</latex> |
| * <latex> man \equiv person \sqcap adult \sqcap male</latex>, <latex> cat\_liker \equiv person \sqcap \exists likes.cat</latex> | * <latex> man \equiv person \sqcap adult \sqcap male</latex>, <latex> cat\_liker \equiv person \sqcap \exists likes.cat</latex> | ||
| * <latex>(cat\_liker, cat) : likes </latex>, <latex> (sheep, grass) : eats\_only</latex> | * <latex>(cat\_liker, cat) : likes </latex>, <latex> (sheep, grass) : eats\_only</latex> | ||
