Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
12
AnnaZagórska,JanZych
Prolog-językprogramowanialogicznego.Powstałjakojęzyksłużącydoauto-
matycznejanalizyjęzykównaturalnych,jednakjegozastosowaniezostałorozsze-
rzonedoogólnegozastosowania.Dobrzesprawdzasięwprogramachzwiązanych
zesztucznąinteligencją.Prologskładasiędwóchgłównychelementów:faktów
orazregułwnioskowania.Powstałw1971rokudziękipracyAlainaColmerauera
iPhillipe3aRoussela.WPrologupodajesiębazęfaktówireguł.Następniemożna
wykonaćzapytanianabazie.Podstawowąjednostkąjestpredykat,któryskładasię
znagłówkaiargumentów,np.:ojciec(Tomasz,Agata).Nagłówkiempredykatu
jestojciec,natomiastargumentamitomasziagata.Predykatprzedstawiapewne
faktyoświecie,któresąznaneprogramowi.Możnawybraćdowolnysposóbzapi-
supredykatów,ważneabyzachowaćkonsekwencję.Ponadtobazazawierareguły
postaci:jest(światło):-włączony(przycisk).Zapis:-oznaczanwtedy,gdy”lubnje-
śli”.Wregułachmożnastosowaćzmienne.Abyodróżnićjeodstałychstosujesię
zmiennezaczynającesięodwielkiejlitery.Dostępnychjestwielekompilatorów
językaProlog,zarównodostępnychnalicencjiopensource:GNUProlog,SWI-
-Prolog,jakikomercyjnych:VisualProlog.
równowagaNasha(ang.Nash-Equilibrium)-jednozkluczowychpojęćdlateo-
riigier.PojęcietozostałostworzoneprzezJohnaNasha,laureataNagrodyNobla
z1994roku.Jesttostanstrategicznejrównowagiwgrachniekooperatywnych,
wktórymstrategiakażdegozgraczyjestoptymalna.Wgrachdwuosobowychstra-
tegiegraczysąnajlepszymiodpowiedziaminasiebienawzajem.Podobniewgrach
wieloosobowych-równowagajestukłademstrategii,zktórychkażdajestopty-
malnąodpowiedziąnapozostałestrategie.Matematycznieprzedstawiasiętona-
stępująco:
v
*
=
^
v
*
1
,...,
v
*
n
h
d/
Podwarunkiem,żewszyscygraczepozostająprzyswojejstrategii,dlakonkretnego
graczanieistniejestanvi!vi*,którydawałbytemugraczowiwiększąwypłatę:
u
i
^
v
*
1
,...,
v
*
i
,...,
v
*
n
h
$
u
i
^
v
*
1
,...,
v
i
,...,
v
*
n
h
6
v
i
d
/
i
Graczzatemniemożepodwyższyćswojejwypłatypoprzezjednostronnązmianę
strategii.Takprostojestjednaktylkowprzypadkuprostychstrategii
vi
,jd/
i
.
Wprzypadkustrategiimieszanych
s
=
^
s
*
1
,...,
s
*
n
h
sprawasiękomplikuje.Wgrach
osumiedowolnejinteresygraczyniemusząbyćprzeciwstawne,czylinienależy
zakładać,żekażdyzgraczybędziedążyłdominimalizacjiwypłatpozostałych.
Wnichniechodzizatemojednąkonkretnąstrategię,leczorozkładprawdopodo-
