FOI Nastava - Odabrana poglavlja logike konflikata

Sadržaj se učitava...

FOI Nastava

apps

mdi-login

Odabrana poglavlja logike konflikata

Selected Topics in Logic of Conflict
2013/2014

7 ECTSa

Doktorski studij Informacijske znanosti 1.1 (PDDSIZ)

Katedra za teorijske i primijenjene osnove informacijskih znanosti

1. semestar

Osnovne informacijemdi-information-variant

Izvođači nastavemdi-account-group

Nastavni plan i programmdi-clipboard-text-outline

Model praćenjamdi-human-male-board

Ispitni rokovimdi-clipboard-check-outline

Rasporedmdi-calendar-clock

Konzultacijemdi-account-voice

Izvođenje kolegija

Studij	Studijski program	Semestar	Obavezan
Doktorski studij Informacijske znanosti 1.1 (PDDSIZ)		2	izborni
Doktorski studij Informacijske znanosti 1.1 (PDDSIZ)		1	izborni

Cilj kolegija

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.

Preduvjeti

Kolegij nema definirane preduvjete

Norma kolegija

Predavanja

30 sati

Nastavnik	Uloga na kolegiju	Oblik nastave	Tjedana	Sati	Grupa
Čubrilo Mirko	Nositelj
Maleković Mirko	Nositelj

Sadržaj predavanja

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 studenti

Izvanredni studenti

U kalendaru ispod se nalaze konzultacije predmetnih nastavnika, no za detalje o konzultacijama možete provjeriti na profilu pojedinog predmetnog nastavnika.