Sadržaj predavanja

• Neka problemska područja umjetne inteligencije Some of the problem domains of artificial intelligencePlanning problem in AI (blocks world, timetabling problem, game of SOKOBAN, Lemings game, Incredible Machines Game). Truth maintenance systems. Logic problems of recognizing Boolean functions. Logic deduction in law domain.
  Problemi planiranja (svijet blokova, problem školskog rasporeda, igra SOKOBAN, igra Lemings, igra Incredible Machines). Sustavi za podržavanje istine. Sustavi strojnog učenja. Logička problemi raspoznavanja booleovskih funkcija. Dedukcija u domeni prava.
• Teorijski aparat umjetne inteligencije Theoretical apparatus of artificial intelligenceLogics for artificial intelligence (propositional logic, quantified boolean formulae, first order predicate logic, modal propositional logics). Production rules systems (RETE algorithm), F-logic. Situation calculus
  Logike za umjetnu inteligenciju (račun sudova, kvantificirane booleovske formule, račun predikata prvog reda, modalni propozicijski računi). Sustavi produkcija (RETE algoritam). F-logika. Situacijski računi.
• Logičko programiranje Logic programmingThe concept of logic program. Fix point semantics of logic programs. Different types of semantics of logic programs.
  Pojam logičkog programa. Semantika (fiksne točke) logičkog programa. Različiti tipovi semantika logičkih programa.
• Programski jezici i alati iz domene umjetne inteligencijeProgramming languages ​​and tools from the field of artificial intelligenceProlog. Constraint logic programming languages and tools ((Eclipse Prolog, XSB Prolog). F-logic implementations (Flora, Florid). Situation calculus implementations (Golog).
  Prolog. Jezici i alati za rukovanje ograničenjima (Eclipse Prolog, XSB Prolog). Implementacije F-logike (Flora, Florid). Implementacije situacijskog računa (Golog).
• Višeagentni sustavi Multiagent systemsThe concept of multiagent system. The concept of knowledge in multiagent system. Knowledge axioms. Applications (information exchange protocols).
  Pojam višeagentnog sustava. Pojam znanja u višeagentnom sustavu. Aksiomi znanja. Primjene (protokoli razmjene informacija).
• Integracija logičkih sustava i Weba Integration of Logical Systems and WebDevelopment and structure of Semantic Web. Building blocks (layers) and technologies of Semantic Web - XML (repetition), Resoruce Description Framework (RDF) i RDF Schema, Ontology Web Language (OWL), SPARQL Protocol And RDF Query Language (SPARQL), Rule Interchange Format (RIF), Gleaning Resource Descriptions from Dialects of Language (GRDDL), RDF in Attributes (RDFa), Protocol for Web Description Resources (POWDER) i POWDER-S. Ontologies in information science. Description logics (DL), reasoning in DL and DL integration into Semantic Web. Unifying Logic, Proof and Trust layers. Crypto and User Interface & Application layers.
  Razvoj i struktura Semantičkog Weba. Gradivni elementi (razine) i tehnologija Semantičkog Weba - XML (ponavljanje), Resoruce Description Framework (RDF) i RDF Schema, Ontology Web Language (OWL), SPARQL Protocol And RDF Query Language (SPARQL), Rule Interchange Format (RIF), Gleaning Resource Descriptions from Dialects of Language (GRDDL), RDF in Attributes (RDFa), Protocol for Web Description Resources (POWDER) i POWDER-S. Ontologije u informacijskim znanostima. Deskriptivne logike (DL), zaključivanje u DL te integracija DL u Semantički Web. Povezivanje logike i pravila (Unifying Logic), dokazi za osiguravanje povjerenja u podatke (Proof) i odlučivanje o povjerenju u podatke (Trust), kriptografija za osiguravanje pouzdanosti podataka i njihovih izvora (Crypto) te kreiranje sučelja za aplikacije Semantičkog Weba (User Interface & Application).

Osnovna literatura

• Russell, J., Norvig, P. Artificial Intelligence: A Modern Approach, (3rd edition), Prentice Hall, 2009.
• Luger, G. F., Stubblefield, W. Artificial Intelligence: Structures and Strategies for Complex Problem Solving, (6th edition), Addison-Wesley, 2008.
• Ertel, W. Introduction to Artificial Intelligence, Springer 2011.
• Shoham, Y., Leyton-Brown, K. Multiagent systems: Algorithmic, Game-Theoretic and Logical Foundations, Cambridge University Press, 2008.

Dopunska literatura

• Čubrilo, M. Matematička logika za ekspertne sisteme, Informator, Zagreb, 1989.
• Gabbay, D. M., Hogger, C., Robinson, J. A. (Editors). Handbook of Logic in Artificial Intelligence and Logic Programming, serija knjiga 1. Logical Foundations 2. Background computational Structures 3. Deduction Metodologies 4. Semantic Structures 5. Semantic Modelling
• Funge, J. D. Artificial Intelligence For Computer Games: An Introduction, Peters Corp. 2004.
• Časopisi: 1. Artificial Intelligence, Elsevier (dostupan preko servisa Science Direct) 2. Journal of Symbolic Computation, Elsevier (dostupan preko servisa Science Direct) 3. Knowledge Base Systems, Elsevier (dostupan preko servisa Science Direct) 4. European Journal of Operational Research, (dostupan preko servisa Science Direct) 5. The Journal of Logic and Algebraic Programming, North Holland, (dostupan preko servisa Science Direct)
• Biere, A., Heule, M.,Van Maaren, H., Walsh, T. (Authors/Editors). Handbook of Satisfiability, IOS Press, 2009
• Ghallab, M, Nau, D., Traverso, P. Automated Planning: Theory and Practice, Elsevier, 2004.
• van Ditmarsch, H., van der Hoek, W., Kooi, B. Dynamic epistemic logic, Springer, 2008.

Slični predmeti

• Naziv doktorskog studija je Logic and Artificial Intelligence. Program obuhvaća proučavanje logičkih sustava na teorijskoj razini, kao i njihove primjene, uključujući tehnike automatske dedukcije, višeagentne sustave, kognitivnu robotiku i formalizme za reprezentaciju znanja). Posebna pažnja posvećena je abduktivnom rezoniranju, strojnom učenju, vremenskim logikama, itd.
• Studij nudi vrlo velik izbor istraživačkih tema. Svaki od dvanaest profesora nudi, u okviru jedinstvenog studija, svoj izbor istraživačkih tema, uključujući: konstruktivne logike i njihove semantike, principe refleksije i njihovu primjenu u sustavima automatske dedukcije, primjenu dokazivanja teorema u području programiranja, izgradnju i implementaciju višeagentnih sustava, formalne modele digitalnih sustava, itd.
• Vrlo širok izbor tema iz područja AI. Među njima je i nekoliko koje se po sadržaju preklapaju sa sadržajem ovog kolegija (Techniques in Artificial Intelligence, Knowledge-based Applications Systems, Natural Language and the Computer Representation of Knowledge)