Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
EDYCJAIKONTROLAJAKOŚCIWIEDZY...
Rys.1.Architekturasystemudoedycjiiweryfikacjiwiedzy
Weryfikacjalogicznawymagaformalnegozapisuwiedzy.Takiwymóg
spełniajęzykHMRL,będącyjęzykiemregułowymbazującymnalogiceatrybu-
towej.Wybórtegojęzykajakoformatuwewnętrznejreprezentacjiwiedzy
wweryfikatorzelogicznymbyłzatemnaturalnąkonsekwencjąwspomnianego
wymogu.
Wobrębieedytora,wiedzareprezentowanajestzapomocąbazującegona
językuXML,językaREBIT.Ponieważsystemdopuszczainnepozaregułową
reprezentacjewiedzy,takiejaksiatkiitabeledecyzyjne,koniecznebyłostwo-
rzeniemechanizmówmapowaniatychreprezentacjidoformaturegułowego
(rozdz.3).Dodatkowokoniecznebyłostworzenieprogramówmapującychre-
gułowąreprezentacjęREBITdopostaciHMRL.
Cyklkomunikacjipomiędzyedytoremwiedzyaweryfikatoremlo-
gicznymmożnaopisaćnastępującymalgorytmem:
1.Użytkowniktworzybazęwiedzyzapomocąedytora,wykorzystując
różneformatyreprezentacjiwiedzy.
15
