ARTIFICIAL INTELLIGENCE 2014
(prof. Bíla,
doc. Bukovský, Dr.
Jura, Ing. Vrba, Ing. Novák)
Lectures:
- Introduction and the
theory of problem solving
(23.9.)
- Formal logic. The language and the
calculus of predicates of the first order (FOL) (30.9.)
Predicate_calculus.doc
- Automatic theorem proving – resolution
method. (7.10.)
Automatic_proving_of_theorems.doc
- Formal languages, grammars, abstract
automata as syntactic analyzers. (14.10.)
Formal_grammar1.doc
Formal_means_for_automatic_theorem_proving.doc
- Abstract automata as syntactic analyzers
(21.10.)
Automata_theory.doc
- State feast (28.10.)
- Fuzzy sets. (4.11.)
- Fuzzy logic. (11.11.)
Fuzzy_logic.doc
- Fuzzy controllers, Fuzzy toolbox pro
MatLab/Simulink. (18.11.)
Fuzzy_controllers.doc
- Synthesis of a fuzzy controller in Fuzzy
toolbox for MatLab/Simulink. (25.11.)
- Genetic algorithms (2.12.)
- Neural networks, teorie and types (MLP,
RBF, HONU) (9.12.)
- Neural networks – aplication (16.12.)
- Concluding lecture, Assessments (6.1.)
Problem_questions.doc
Additional topics:
RB_system.doc
Expert_systems.doc
The topics of the seminaries follow the topics
of lectures.
Topics of the semestral projects will be
gradually assigned since 8. lecture.
Conditions for the assessment:
- 50 % participation in seminaries.
- Accepted semestral project.
Examples for classes:
Saze
application (for use in computer classroom no. 404 only). Table
as an example of testing data.
Manual of the SAZE software.
Literature:
- P.H. Winston: Artificial Intelligence, MIT,
Addison-Wesley Publishing Company, London, …, many
additions from the first in 1977.
- Banerji, R.: Artificial Intelligence, …
- Nilson, S.: Artificial Intelligence, ...
- J.R. Brooks: Intelligence without representation. AI, No.
47, 1991. s. 139-159
- C. Langton: Artificial Life. Addison-Wesley Pub. Comp
Inc., 1989.
- A. Sloman: Can we design a Mind ? Keynote for AID 02
Conference, 2002.
- K. Ueda: Emergent Synthesis. Artificial Intelligence in
Engineering, No. 15, 2001. s. 319 - 327.