Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
SzymonBobek,KrzysztofKaczor,KrzysztofKluza,WeronikaAdrian
</Term>
</RightHand>
</Atom>
</If>
<Then>
<AtomOperator="eq">
<LeftHand>
<TermContent="Variable">
<VariableIdRef="today"/>
</Term>
</LeftHand>
<RightHand>
<TermContent="Constant">
<ConstantMultiplicity="Single">
<String>Workday</String>
</Constant>
</Term>
</RightHand>
</Atom>
</Then>
</Rule>
Niżejzostałaprzedstawionaregułazprzykładu1,zapisanawjęzyku
HMRL.
Przykład2.ReguławjęzykuHMRL
schm1/'TodayIsWorkDayRule':
[dayin['Monday','Tuesday','Wednesday','Thursday',
'Friday']]
==>
[todayset'Workday'])
Wceluumożliwieniaweryfikacjilogicznejbazywiedzy,koniecznajest
unifikacjasposobuwjakiwiedzatajestreprezentowaniawobrębieweryfika-
toraiedytoratak,abymożliwabyłakomunikacjapomiędzynimi.Sposóbwy-
mianydanychpomiędzyedytoremaweryfikatoremprzedstawionyzostałna
rys.1.
14