Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
ROZDZIAŁ2.INŻYNIERIAWIEDZY
2.2.
Podstawylogicznereprezentacjiwiedzy
Logiki(ang.logics)sąjęzykamiformalnymisłużącymidoreprezentowa-
niainformacjiwtakisposób,abymożnabyłowyciągaćwnioski.Składnia
(ang.syntax)definiujezdaniajakiemożnaformułowaćwdanymjęzy-
ku,strukturyreprezentacjiwiedzy.Semantyka(ang.semantics)określa
znaczenie(ang.meaning)zdań,ichinterpretację(ang.interpretation),tzn.
określaprawdziwość(ang.truth)zdaniawświecie.Wlogikachświatemna-
zywamypewnekonfiguracjeformalne,światmoże,aleniemusiodnosićsię
dorzeczywistości.Zdaniawformielogicznejreprezentująpewneaspekty
świata.Natomiastświatjestinterpretacją,któranadajeznaczenie(seman-
tykę)zdaniomwformielogicznej.Znaczeniewsensielogicznymtorelacja
międzyzdaniamiwpostacilogicznejainterpretacjami,tj.możliwymiświa-
tami,takżetymiwyobrażonymi.
Logicyzazwyczajmyśląwkategoriachteoriimodeli.Modelesąfor-
malnieustrukturyzowanymiświatami,wodniesieniudoktórychmożna
oceniaćprawdziwość.Mówimy,żemjestmodelemzdaniaα,jeśliαjest
prawdziwewm.PoprzezM(α)oznaczmyzbiórwszystkichmodeliα.
Konsekwencjalogiczna(ang.entailment)oznacza,żejednarzeczwynika
(logicznie)zdrugiej:
KB|=α.
(2.1)
ZdanieαjestlogicznąkonsekwencjąbazywiedzyKBwtedyitylkowtedy,
jeślijestprawdziwewewszystkichświatach,wktórychKBjestprawdzi-
wa.KB|=αwtedyitylkowtedy,jeżeliM(KB)⊆M(α).Definicjakon-
sekwencjilogicznejmożebyćzastosowanadowyprowadzaniawniosków,
tj.doprzeprowadzaniawnioskowanialogicznego(ang.logicalinference).
Żebyzrozumiećpowiązaniepojęciakonsekwencjilogicznejzwnioskowa-
niemlogicznym,możemypomyślećozdaniachbędącychkonsekwencjami
logicznymibazywiedzyKB,którychmożeistniećwiele.Algorytmywnio-
skowaniasłużądoznajdowaniatakichwłaśniezdań,będącychwnioska-
mi,konkluzjami.Mówimy,żealgorytmwnioskowaniamożewyprowadzić
(ang.derive)zdanieαzbazywiedzyKB.
Wprowadzimyterazdefinicjedotycząceskładniisemantykilogikipierw-
szegorzędu(ang.first-orderlogic)(logikipredykatów),którastanowipod-
stawęteoretycznąjęzykówreprezentacjiwiedzyomówionychwdalszejczę-
ścirozdziału.
Alfabetlogikipierwszegorzędu(ang.alphabetofthefirst-orderlogic)
(tj.zestawsymboli,któresąlegalnewtymjęzyku)składasięzezbioru:
22
