|
|
Resolution Method Visualisation
Smetka, Tomáš ; Orság, Filip (referee) ; Rozman, Jaroslav (advisor)
This bachelor’s thesis deals with problems in the area of automated reasoning in propositional and predicate logic. In the theoretical part the propositional and predicate logic is described in connection with the system of its automatic proving with help of resolution method. Further there is described draft and implementation of a program which consists of a terminal and server part. The program looks for a proof if the given formula is impossible to be solved and visualizes every single step which leads to finding of the solution. In conclusion the implementation of solution and the thesis as a whole is evaluated and there are also described additional possibilities of extension.
|
|
|
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.
|
|
|
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.
|
|
|
Resolution Method Visualisation
Smetka, Tomáš ; Orság, Filip (referee) ; Rozman, Jaroslav (advisor)
This bachelor’s thesis deals with problems in the area of automated reasoning in propositional and predicate logic. In the theoretical part the propositional and predicate logic is described in connection with the system of its automatic proving with help of resolution method. Further there is described draft and implementation of a program which consists of a terminal and server part. The program looks for a proof if the given formula is impossible to be solved and visualizes every single step which leads to finding of the solution. In conclusion the implementation of solution and the thesis as a whole is evaluated and there are also described additional possibilities of extension.
|
|
|
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.
|
|
|
Knowledge Representation
Blecher, Jan ; Jirků, Petr (advisor) ; Berka, Petr (referee)
Tato práce se snaží priblížit jednotlivé metody reprezentace znalostí v umelé inteligenci s durazem na obecný prehled a rozdíly mezi jednotlivými metodami. V textu jsou rozebrána schémata reprezentace znalostí, mezi která patrí predikátová logika, produkcní systémy, sémantické síte a rámce. U každého schématu jsou uvedeny jeho charakteristické vlastnosti a nekteré typické metody. Z textu je zrejmé, že opravdu neexistuje žádná univerzální metoda reprezentace znalostí, ale naopak, že jednotlivé metody jsou vhodné pro konkrétní situace reálného sveta. Nekteré oblasti znalostí dokonce nejsou klasickými schématickými metodami, které uvádím v tomto textu, reprezentovatelné vubec nebo jen velmi težko. Práce je rozdelena dle jednotlivých metod reprezentace, které jsou dále strukturovány s ohledem na postupy v nich používané.
|
guest ::
