Doktorski studij Informacijske znanosti 1.1 (PDDSIZ)
Katedra za teorijske i primijenjene osnove informacijskih znanosti
NN
1. semestar
Osnovne informacijemdi-information-variantIzvođači nastavemdi-account-groupNastavni plan i programmdi-clipboard-text-outlineModel praćenjamdi-human-male-boardIspitni rokovimdi-clipboard-check-outlineRasporedmdi-calendar-clockKonzultacijemdi-account-voice
Cilj kolegija Odabrana poglavlja logike konflikta jest upoznati studenate poslijediplomskog doktorskog studija sa suvremenim istraživanjima u području logike konflikta i osposobiti ih za znanstvenoistraživački rad u tome području.
Modeli konflikta Dilema zatvorenika (osnovni model i njegove varijacije (asimetrične nagrade/kazne, igra više %22igrača%22), strategije %22igrača%22). Paradoks glasanja.
Obrasci svakodnevnog mišljenja Analitički modeli Eduarda de Bona (%22šest mislećih šešira%22, lateralno razmišljanje). Heuristički modeli razmišljanja I. Lakatoša (temeljeni na interakciji između dokaza i njihovih pobijanja)
Logički formalizmi za modeliranje konflikta Nemonotone logike (opća struktura). Logika potpore/osporavanja (defeasible logic). Primjene logike osporavanja (pregovaranje, argumentacija u domeni prava,...)
Višeagentni sustavi i modeliranje konflikta Problem zamazane djece i njegova konceptualna analiza. Formalizacija problema zamazane djece. Konceptualna struktura višeagentnog sustava. Elementi epistemičke logike (Aksiomi znanja, Opće znanje, Distribuiranio znanje). Elementi dinamičke epistemičke logike. Modeliranje pitanja i utvrđivanja istine u višeagentnim sustavima.
Programski alati i jezici za modeliranje konflikta Prikaz suvremenih programskih alata za modeliranje konflikta, s posebnim osvrtom na alate i jezike iz domene logičkog programiranja, poput Araucaria, DELQ,itd.
Sadržaj seminara/vježbi
Ishodi učenja kolegija
Ishodi učenja programa
Osnovna literatura
Kowalski, R. A logic-based approach to conflict resolution, Imperial College, London, 2003.
Minica, S. Dynamic-Epistemic Logic of Questions and Inquiry, Lulu Publisher, 2011
van Ditmarsch, H., van der Hoek, W., Kooi, B. Dynamic epistemic Logic, Springer, 2008
Besnard, P., Hunter, A. Elements of Argumentation, MIT Press, 2008.
Dopunska literatura
Lakatos, I. Proofs and Refutations, Cambridge University Press, 1976.
Stranieri, A., Zeleznikow, J. The evaluation of legal knowledge based systems, International Conference on Artificial Intelligence and Law, 1999, pp. 18-24.
Johnston, B., Governatori, G. Induction of Defeasible Logic Theories in the Legal Domain
Gelati, J., Governatori, G., Rotolo, A., and Sartor, G. Declarative power, representation, and mandate: A formal anaysis.In Trevor Bench-Capon, Aspassia Daskalopulu, and Radboudb Winkels, editors, Legal Knowledge and Information Systems, number 89 in Frontieres in Artificial Intelligence and Applications, pages 41-52. IOS Press, Amsterdam, 2002.
Jennings, N. R., Faratin, P., Lomuscio, A.R., Parsons, S., Sierra, C., Wooldridge, M. Automated negotiation: prospects, methods and challenges, International Journal of Group Decision and Negotiation 10(2) (2001) 199-215.
Guido Governatori, Arthur ter Hofstede, Phillipa Oaks. Is Defeasible Logic Applicable?, Proceedings of the 2nd Australasian Workshop on Computational Logic, 2001., pp. 47-62.
de Bono, E. I Am Right You Are Wrong: From This to the New Renaissance: From Rock Logic to Water Logic, Penguin Books, 1992.
de Bono, E. Conflicts : A Better Way to Resolve Them, International Center for Creative Thinking, 1990.
Slični kolegiji
Kolegij se izvodi na poslijediplomskom studiju sveučilišta Gent u Nizozemskoj. Po sadržaju je dosta uži od kolegija Odabrana poglavlja logike konflikta, ali mu je po ideji dosta srodan. Kao teorijski okvir izabrane su tzv. parakonzistentne logike koje implicitno sadrže elemente dinamike sustava rezoniranja, za razliku od, primjerice, dinamičke epistemičke logike, koja dinamički aspekt sustava tretira eksplicitno
Redoviti studentiIzvanredni studenti
U kalendaru ispod se nalaze konzultacije predmetnih nastavnika, no za detalje o konzultacijama možete provjeriti na profilu pojedinog predmetnog nastavnika.