|
|
Important Themas in Artificial Intelligence
Šudoma, Petr ; Jirků, Petr (advisor) ; Peliš, Michal (referee)
The paper studies description logics as a method of field of artificial intelligence, describes history of knowledge representation as series of events leading to founding of description logics. Furthermore the paper compares description logics with their predecessor, the frame systems. Syntax, semantics and description logics naming convention is also presented and algorithms solving common knowledge representation tasks with usage of description logics are described. Paper compares computational complexity of subsumption of several description logics. Usefullness and further possibilities of description logic systems are shown. Powered by TCPDF (www.tcpdf.org)
|
|
|
Diagnostic expert system
Mertlík, Tomáš ; Nagy, Ľuboš (referee) ; Karásek, Jan (advisor)
This paper refers to expert systems. Expert system is a computer program dedicated to giving an expert advice, decisions or recommending the best solution in a particular situation. This paper mentions four types of expert system which are commonly used in practice. Basic, additional and complementary components of expert systems are described. The practical part of this paper refers to the diagnostic problem of computer start based on expert system implemented in JAVA programming language and ECLIPSE IDE.
|
|
|
Knowledge representation for expert systems
Lekeš, Pavel ; Sáblík, Václav (referee) ; Polách, Petr (advisor)
The objective of this work is to analyze using of the first order logic for reasoning in knowledge based systems. Merit of the predicate logic is its relative simplicity in matter of algorithm development, where it is possible to decide about validity of a sentence written in first order logic language, by using formal rules without any connection to real meanings of logical variables. In Expert systems, the first order logic is used to derivate new formulas from given axioms, where previously derived formulas are included to the axioms as well. Its process of derivation of implicit believes from explicitly given facts.
|
|
|
Knowledge representation methods
Verbík, Josef ; Polách, Petr (referee) ; Jirsík, Václav (advisor)
This thesis deals with methods of knowledge representation within expert systems. The thesis describes the expert systems and their history. Furthermore, it provides a description of individual types of expert systems and their components. Following this description, there is a characteristic of the knowledge representation. These characteristic has been divided into two parts. The first part describes the requirements neccessary for efficient knowledge representation. The second part describes the following individual methods of knowledge representation: rules, frames, semantic nets and predicate logic.
|
|
|
Expert systems ES for home study and evaluation
Novák, Jaroslav ; Honzík, Petr (referee) ; Jirsík, Václav (advisor)
This master thesis contains the basic information about knowledge and expert systems. The thesis contains theoretic text about architecture of the expert systems and representation knowledge. The text regarding on representation knowledge contains examples of different ways of knowledge representation for expert systems. In the next part is described the design and all functions of the expert systems. This expert system uses frames representation.
|
|
|
Fuzzy Petri Nets for Expert systems
Maksant, Jindřich ; Valenta, Jan (referee) ; Jirsík, Václav (advisor)
The object of this thesis is proposal and practical implementation of expert system, whose knowledge base will be modeling by fuzzy Petri nets. The proposal is based on knowledge in theoretical analysis of diagnostic expert system and fuzzy Petri nets. This proposal is realised in programming language C#. There are described functions of program and it is made a model consultation with using two different knowledge base.
|
|
| |
|
| |
guest ::
