FOI nastava
FOI logo

Lista kolegija iz:

ak.god:
2013/2014
semestar:
Izborni kolegiji

2013/2014

7ECTSa

Doktorski

Poslijediplomski doktorski studij v1.1

Program Obavezan
Doktorski studij PDDS Ne
Izborni kolegij

Odabrana poglavlja logike konflikta npp:45227

Engleski naziv

Selected topics of the logic of conflict

Katedra

Katedra za gospodarstvo

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.

Nastava

Predavanje
30sati

Sadržaj predavanja

  • Modeli konfliktaModels of conflictPrisoner's dilema (basic model and its variations (asimetric rewords/punishments, games incorporating more then two %22players%22), %22players'%22 strategies). Voting paradox.
    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 Patterns of common thinkingAnalytical models of Eduard de Bono (%22six thinking hats%22, lateral thinking). Heuristic thinking models of I. Lakatos (based on the interplay between proofs and refutations).
    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 konfliktaLogic formalisms for conflict modeling Nonmonotonic logic (general structure). Defeasible logic and its applications (negotiations, argumentation in the field of law,...)
    Nemonotone logike (opća struktura). Logika potpore/osporavanja (defeasible logic). Primjene logike osporavanja (pregovaranje, argumentacija u domeni prava,...)
  • Višeagentni sustavi i modeliranje konflikta Multiagent systems and conflict modelingMuddy children problem and its conceptual analysis. Formalization of the muddy children problem. Conceptual structure of multiagent systems. Elements of epistemic logic (Knowledge axioms, Common knowledge, Distributed knowledge). Elements of dynamic-epistemic logic. Modeling Questions and inquiries in multiagent systems with the purpose of determination of the truth.
    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 Software tools and programming languages for conflict modelingDescription of recent software tools for modeling of conflict, with a special emphasis on the tools based on logic programming paradigm, such as Araucaria, DELQ, etc.
    Prikaz suvremenih programskih alata za modeliranje konflikta, s posebnim osvrtom na alate i jezike iz domene logičkog programiranja, poput Araucaria, DELQ,itd.

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 predmeti

  • 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
Nema podataka o izvođačima nastave
Nema definiranih ispitnih rokova
Nema podataka o rasporedu
Copyright © 2015 FOI Varaždin. All Rights Reserved. Sva prava pridržana.
Povratak na vrh