| Kratica: FILDO246
|
Opterećenje: 30(P)
+ 15(S)
+ 0(A)
+ 0(PK)
+ 0(LK)
+ 0(M)
+ 0(E)
+ 0(SJ)
+ 0(TJ)
+ 0(T)
|
| Nositelji: |
Prof. dr. sc. Srećko Kovač |
| Izvođači: |
|
Opis predmeta: CILJ: Upoznati se i ovladati (1) osnovama modalne logike, te (2) logičke analize znanja i vjerovanja u epistemičnoj logici
(kao obliku modalne logike) i teoriji promjene vjerovanja.
TEME:
(1) Standardni model u iskaznoj modalnoj
logici, različiti oblici relacije dostupnosti (npr. refleksivnost, simetričnost, prijelaznost, euklidskost), bisimulacije,
modalno istinitosno stablo, normalni modalni sustavi (npr. T, B, S4, S5), odlučljivost, pouzdanost i potpunost u iskaznoj
modalnoj logici, modeli i sustavi u priročnoj (predikatnoj) modalnoj logici.
(2) epistemična logika (znanje i vjerovanje,
problem logičkoga sveznanja, opće znanje, implicitno znanje, epistemična logika prvoga reda, paradoksi vjerovanja), promjena
vjerovanja (širenje, stezanje, preinaka, prednosti).
|
| Jezici na kojima se održava nastava: - - -
|
| Obavezna literatura: |
| 1. |
(1) JEDAN UDŽBENIK PO IZBORU:
i) Blackburn, P., de Rijke, M., Venema, I.: Modal logic. Cambridge UP, 2001., str. 1-99, 123-166, 188-229;
ii) Chellas, B.: Modal logic. Cambridge UP, 1980.
iii) Garson, J.: Modal logic for Philosophers. Cambridge UP, 2006.,
iii) Konyndyk, K.: Introductory Modal Logic. Notre Dame: Notre Dame University Press.
SKRIPTA: Kovač, S.: Modalna logika : Nacrt. http://filist.ifzg.hr/~skovac/index.html
(2)
i) Fagin, R. [etc.].: Reasoning about Knowledge. Cambridge, Mass., MIT Press, 1995.
ILI:
Meyer, J.-J. C., Hoeck, W. van der: Epistemic Logic for AI and Computer Science. Cambridge UP, 1995
ii) Gärdenfors, P.: "Belief revision: an introduction", u: Belief revision (ur. P. Gärdenfors), Cambridge UP, 1992., str.
1-20 http://www.stanford.edu/class/cs224m/papers/gardenfors.pdf
NAPOMENA: Potrebno je pratiti upute i napomene o kolegiju na http://www.ifzg.hr/~skovac/index.html, stranica `Nastava'.
|
| Preporučena literatura: |
| 2. |
(1)
i) Fitting, M.; Mendelsohn, R.: First-Order Modal Logic. Dordrecht: Kluwer, 1999.
ii) Hughes, G. E., Cresswell, M. J.: A New Introduction to Modal Logic. London: Routledge, 1996.
(2)
i) Hintikka, J. Knowledge and Belief. Ithaca: Cornell UP, 1962.
ii) Brkić, S.: Epistemička logika i dinamika vjerovanja. Zagreb: Jurčić, 1997.
|
|