Na této stránce budou postupně zveřejňována témata, ze kterých je možné vybírat referáty na seminář. Ke každému tématickému okruhu jsou uvedeny články, ze kterých je možné čerpat. Zpravidla se jedná vždy o základní články či knihy k danému tématu. Seznam bude postupně rozšiřován. Náměty na zařazení vhodných článků k jednotlivým tématů jsou vítány.

Články k tématům zde nejsou on-line, protože by to zřejmě odporovalo autorským právům. Avšak všechny články je možné vyhledat a volně stáhnout (pozn.: z fakultních počítačů je přístup i do většiny on-line časopisů, které volně přístupné nejsou).

---

Řešení úloh
Prohledávání stavového prostoru, informované prohledávání, heuristiky, genetické programování, databáze vzorů

• Weixiong Zhang, Rina Dechter, Richard E. Korf: Heuristic search in artificial intelligence
• Ariel Felner, Richard E. Korf, Ram Meshulam, Robert C. Holte: Compressed Pattern Databases
• David Furcy, Sven Koenig: Limited Discrepancy Beam Search
• Sven Koenig, Maxim Likhachev, Yaxin Liu, David Furcy: Incremental Heuristic Search in AI
• Uzi Zahavi, Ariel Felner, Robert Holte, Jonathan Schaeffer: Dual Search in Permutation State Spaces
• John R. Koza, Forrest H. Bennett III, Oscar Stiffelman: Genetic Programming as a Darwinian Invention Machine
• John R. Koza, David Andre: Evolution of Iteration in Genetic Programming
• Richard E. Korf: Finding Optimal Solutions to Rubik's Cube Using Pattern Databases
• Richard E. Korf: Improved Limited Discrepancy Search
• Richard E. Korf: Linear-Space Best-First Search
• T. Bartz-Beielstein: Experimental Research in Evolutionary Computation
• Y. Chen: Extending the Scalability of Linkage Learning Genetic Algorithms
• V. Feoktistov: Differential Evolution in Search of Solutions
• Y. Jin: A comprehensive survey of fitness approximation in evolutionary computation
• H. Nakayama, Y. Yun, M. Yoon: Sequential Approximate Multiobjective Optimization Using Computational Intelligence
• Y.S. Ong, P.B. Nair, A.J. Keane, K.W. Wong: Surrogate-assisted evolutionary optimization frameworks for high-fidelity engineering design problems
• R. Schaefer: Foundation of Global Genetic Optimization
• S. Sumathi, T. Hamsapriya, P. Surekha: Evolutionary Intelligence
• H. Ulmer, F. Streichert, A. Zell: Model assisted evolution strategies
• M.D. Vose: The Simple Genetic Algorithm: Foundations and Theory

Řešení her
Hry alespoň dvou hráčů s protichůdnými zájmy, prohledávání stavového prostoru hry, šachy

• Dana S. Nau: AI Game-Playing Techniques
• Donald Michie: Game Mastery and Intelligence
• Richard E. Korf: Generalized Game Trees
• Nathan R. Sturtevant, Richard E. Korf: On Pruning Techniques for Multi-Player Games
• Murray Campbell, A. Joseph Hoane Jr., Feng-hsiung Hsu: Deep Blue

Splňování omezujících podmínek
Konzistenční techniky, globální podmínky, odstraňování symetrií, pokročilé prohledávací strategie

• Romuald Debruyne, Christian Bessiere: Domain Filtering Consistencies
• Christian Bessiere, Marie-Odile Cordier: Arc-Consistency and Arc-Consistency Again
• Jean-Charles Régin: A Filtering Algorithm for Constraints of Difference in CSPs
• Patrick Prosser, Kostas Stergiou, Toby Walsh: Singleton Consistencies
• Toby Walsh: General Symmetry Breaking Constraints
• Claude-Guy Quimper, Toby Walsh: Global Grammar Constraints
• Matthew L. Ginsberg: Dynamic Backtracking

Logika
Výroková logika, logika prvního řádu, splňování výrokových formulí (SAT), SAT řešiče, speciální tvary formulí (Hornovské, 3-SAT, ...), QBF, automatické dokazování, SAT Competition, SAT Race

• Uwe Schöning: New Algorithms for k -SAT Based on the Local Search Principle
• William F. Dowling, Jean H. Gallier: Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae
• Lintao Zhang, Sharad Malik: The Quest for Efficient Boolean Satisfiability Solvers
• Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik: Chaff: Engineering an Efficient SAT Solver
• Carla P. Gomes, Bart Selman, Nuno Crato, Henry A. Kautz: Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems
• Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger: A First Step Towards a Unified Proof Checker for QBF
• L.O. Cignoli, I.M.L. D'Ottaviano, D. Mundici: Algebraic Foundations of Many-valued Reasoning
• P. Hájek: Metamathematics of Fuzzy Logic
• V. Novák, I. Perfilieva, J. Močkoř: Mathematical Principles of Fuzzy Logic

Reprezentace znalostí
Datové struktury pro reprezentaci zalostí, dobývání znalostí, sémantické sítě, sémantický web, sociální sítě

• Drew V. McDermott,D. B. Lenat, R. V. Guha: Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
• Johan de Kleer: A View on Qualitative Physics
• Aris Anagnostopoulos, Ravi Kumar, Mohammad Mahdian: Influence and correlation in social networks
• Gregory Piatetsky-Shapiro, Ronald J. Brachman, Tom Khabaza, Willi Klösgen, Evangelos Simoudis: An Overview of Issues in Developing Industrial Data Mining and Knowledge Discovery Applications
• Ronald J. Brachman, Tej Anand: The Process of Knowledge Discovery in Databases
• M. Berthold, D.J. Hand: Intelligent Data Analysis: An Introduction
• U.M. Fayyad, G. Piatetsky-Shapiro, P. Smyth: From Data Mining to Knowledge Discovery: An Overview
• A.A. Freitas: Data Mining and Knowledge Discovery with Evolutionary Algorithms
• D.J. Hand: Construction and Assessment of Classification Rules
• R.M. Heiberger, B. Holland: Structured sets of graphs
• T.M. Huang, V. Kecman, I. Kopriva: Kernel Based Algorithms for Mining Huge Data Sets
• A. Inselberg. Parallel coordinates: Visualization, exploration and classification of high-dimensional data
• O. Maimon, M. Last: Knowledge Discovery and Data Mining - The Info-Fuzzy Network (IFN) Methodology
• M. Theus: High-dimensional data visulaization
• S. Urbanek: Visualizing trees and forests
• V. Vapnik: Estimation of Dependences Based on Empirical Data
• K.R. Venugopal, K.G. Srinivasa, L.M. Patnaik: Soft Computing for Data Mining Applications
• L. Wang, X. Fu: Data Mining with Computational Intelligence
• M.L. Wong, K.S. Leung: Data Mining Using Grammar Based Genetic Programming and Applications
• H.M. Wu, S.L. Tzeng, C.H. Chen: Matrix Visualization

Plánování
Formální popis plánovací úlohy, plánovací algoritmy, IPC (International Planning Competition), modelovací jazyk PDDL

• Richard Fikes: STRIPS, A Retrospective
• Henry A. Kautz, Bart Selman: Planning as Satisfiability
• Avrim Blum, Merrick L. Furst: Fast Planning Through Planning Graph Analysis
• Malte Helmert: Complexity results for standard benchmark domains in planning
• Minh Binh Do, Subbarao Kambhampati: Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
• Maria Fox, Derek Long: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Neurčitost v umělé inteligenci
Pravděpodobnostní modely, bayesovské sítě, Markovské rozhodovací procesy (MDP)

• Carlos Guestrin, Milos Hauskrecht, Branislav Kveton: Solving Factored MDPs with Continuous and Discrete Variables
• Borja Calvo, Pedro Larranaga, José Antonio Lozano: Learning Bayesian classifiers from positive and unlabeled examples
• J.J. Buckley: Fuzzy Statistics
• E. Cox: Fuzzy Modeling and Genetic Algorithms for Data Mining and Exploration
• M. Hanss: Applied Fuzzy Arithmetics
• E. P. Klement, R. Mesiar, E. Pap: Triangular Norms
• P. Larranaga, J.A. Lozano: Estimation of Distribution Algorithms
• J. Lawry: Modelling and Reasoning with Vague Concepts
• G. McLachlan, D. Peel: Finite Mixture Models
• R. B. Nelsen: An Introduction to Copulas
• H. T. Nguyen, B. Wu: Fundamentals of Statistics with Fuzzy Data
• L. Rutkowski: Computational Intelligence. Methods and Techniques

Učení
Strojové učení, rozhodovací stromy, učení rozhodovacích stromů, induktivní logické programování

• Kenneth Dwyer, Robert Holte: Decision Tree Instability and Active Learning
• Marcel Turcotte, Stephen Muggleton, Michael J. E. Sternberg: Use of Inductive Logic Programming to Learn Principles of Protein Structure
• S. Bandyopadhay, S.K. Pal: Classification and Learning Using Genetic Algorithms
• R.A. Berk: Statistical Learning from a Regression Perspective
• J. Drugowitsch: Design and Analysis of Learning Classifier Systems
• T. Hastie, R. Tibshirani, J. Friedman: The Elements of Statistical Learning
• K.E. Merrick: Motivated Reinforcement Learning
• B. Schölkopf, A.J. Smola: Learning with Kernels

Zpracování přirozeného jazyka
Porozumění přirozenému jazyku, automatický překlad

• Christopher D. Manning, Hinrich Schütze: Foundations of Statistical Natural Language Processing
• W. Tetschner: Voice Processing

Robotika
Robotický fotbal, navigace robotů

• Raquel Ros, Josep Lluís Arcos, Ramon López de Mántaras, Manuela M. Veloso: A case-based approach for coordinated action selection in robot soccer
• Colin McMillen, Manuela M. Veloso: Distributed, Play-Based Coordination for Robot Teams in Dynamic Environments

Počítačové vidění
Algoritmy počítačového vidění, aplikace

• David Marr: Vision
• Milan Sonka, Vaclav Hlavac, Roger Boyle: Image Processing, Analysis, and Machine Vision

Neuronové sítě
Učení neuronových sítí, modely neuronových sítí

• Jiří Šíma, Roman Neruda: Teoretické otázky neuronových sítí
• R. Andrews, J. Diederich, A.B. Tickle: Survey and Critique of Techniques for Extracting Rules from Trained Artificial Neural Networks
• M.D. Buhmann: Radial Basis Functions: Theory and Implementations
• A.S.A. Garcez, L.C. Lamb, D.M. Gabbay: Neural-Symbolic Cognitive Reasoning
• S. Mitra, Y. Hayashi: Neuro-Fuzzy Rule Generation: Survey in Soft Computing Framework
• A.B. Tickle, R. Andrews, M. Golea, J. Diederich: The Truth Will Come to Light: Directions and Challenges in Extracting Rules from Trained Artificial Neural Networks

Multi-agentní systémy
Strategie dojednávání kooperace, multi-robotické systémy

• Michael Wooldridge: An Introduction to MultiAgent Systems

Umělá inteligence v kosmu
Marsovské rovery, sonda Deep Space 1, sonda Cassini–Huygens

• Rebecca Castano, Kiri Wagstaff, Steve A. Chien, Timothy M. Stough, Benyang Tang: On-board analysis of uncalibrated data for a spacecraft at mars
• David Joslin, Jeremy Frank, Ari K. Jónsson, David E. Smith: Simulation-based planning for planetary rover experiments

Umělá inteligence a armáda
Autonomní bojové letouny

• D. H. Shim, H. J. Kim, S. Sastry: Hierarchical Control System Synthesis for Rotorcraft-based Unmanned Aerial Vehicles

Filozofické pojetí umělé inteligence
Důsledky existence inteligentních strojů

• Raymond Kurzweil: The Age of Intelligent Machines
• Raymond Kurzweil: The Age of Spiritual Machines