|
| |
|
|
Information system which solves scheduling
Procházková, Petra ; Brixí, Radim (advisor) ; Chlapek, Dušan (referee)
In first part of my thesis I deal with surveying of existing systems for preparing school timetables at secondary schools in Czech Republic and then I characterize them. This part also contains evaluation of satisfaction with these systems by their users. In second, practical part of my thesis I think up my own alternative algorithm for preparing timetables, which tries to eliminate problems, which users see in current systems.
|
|
|
Selected methods of artificial intelligence - artificial life and computer viruses
Hapala, Michael ; Jirků, Petr (advisor) ; Berka, Petr (referee)
The aim of this bachelor's thesis is to introduce a reader into the area of artificial intelligence, artificial life and computer viruses. The thesis is divided into chapters. First chapter deals with artificial intelligence, it tries to define natural intelligence and then also artificial intelligence. Next part of the thesis describes history of artificial intelligence from its beginings till current times, particular points are separated by years, in which they happenned. Second chapter deals with artificial life, it defines life and characterizes artificial life. Then it deals with cellular automata. It describes, what a cellular automaton is. It deals with von Neumann's kinematic model and celullar automaton and then characterizes particular cellular automata -- the Game of Life, Langton Qloops and Wolfram's one-dimensional cellular automaton. It describes the meaning of cellular automata, then Lindenmayer systems and other methods of artificial life -- artificial life and chaos and life simulators. Third chapter deals with computer viruses, their definition and beginnings. Then it describes classification of malware and techniques of computer viruses. Remaining part sorts viruses by target they infect, by their concealment strategy, by their location in memory and it mentions other types of viruses.
|
|
|
Kurt Goedel - life, results and their significance
Běhounek, Libor
A survey (in Czech) of K. Gödel’s most important results and works in metamathematics, set theory, physics, and philosophy. A special attention is given to de-mything Gödel’s Incompleteness Theorems and to their consequences for computer science, artificial intelligence, philosophy, and other disciplines.
|
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
Artificial intelligence with regards to relations among mind, body and machine
Farská, Kateřina ; Sigmund, Tomáš (advisor) ; Brixí, Radim (referee)
This thesis is dealing with relation between man and machine in terms of mind, life and body with regards to artificial intelligence. The first part of the work focuses on explanation of the historical preconditions for the emergence of artificial intelligence. A very important milestone can be found in separation of mind and body in Descartes' dualistic approach. Cartesian dualism highlighted the mind-body problem, which even nowadays is being inflected in connections with artificial intelligence. Newtonian mechanics, which is built on the Descartes' thoughts, applied the idea of the world as a mechanical machine which ultimately led to the fact that the human body began to be understood as a machine. This creates space for thoughts about constructing an artificial being -- thinking machine. Artificial intelligence is being confronted with the relationship between man and machine. In the second part of the work an analysis of the differences and congruencies between these two entities will be made -- with regards to the concepts such as machine, life, natural, artificial, mental state, mind, consciousness, body. The findings will be compared and the nature of the relationship between man and machine will be carried out accordingly to them. The last part of the work will investigate how the findings of the relationship between man and machine, mind and body are being applied in different approaches of artificial intelligence. Particularly, a detailed analysis of computer functionalism will be made. This traditional concept of artificial intelligence is based on the assumption of algorithmical nature of mind that can be modeled using symbolic representations. The analysis will be complemented by alternative approaches in artificial intelligence -- connectionism and enaction-based artificial intelligence. All the three approaches will be evaluated accordingly to the findings made in the previous part of the work. The purpose of this work is to highlight the importance of the relationship between man and machine, mind and body with regards to artificial intelligence and the further development and direction of this discipline. The work will track the line of Cartesian-Newtonian thinking in the context of the issue. The potentialities and limitations of this paradigm, dualistic and materialistic (mechanistic) approach will be pointed out. In this work, the method of summarization and compilation, based on presenting the relevant information and explanation of their relations and context, was chosen.
|
guest ::
