|
|
City-building game
Hejda, Benjamin ; Malenko, Jaromír (advisor) ; Hric, Jan (referee)
Present work describes the Sword of Damocles application. It is a citybuilding strategy game, where player's task is to care about some city and wellbeing of its inhabitants. Main goal of the work was to design and implement a control that would allow to govern the city in detail and e ectively at once. That was achieved by system of parameters set as expressions referencing other parameters and city describing indicators. Substantial feature of the game are independently acting people that can not be directly controlled. Part of the program is a scenario editor that makes the gameplay widely customizable. The graphical user interface is very simple, however, it is possible to change it not a ecting core of the application.
|
|
|
Reasoning in Description Logics
Malenko, Jaromír ; Kučera, Antonín (advisor) ; Lukasová, Alena (referee) ; Křemen, Petr (referee)
Title: Reasoning in Description Logics Author: Mgr. Jaromír Malenko Department: Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Supervisor: Prof. RNDr. Petr Štěpánek, DrSc.; Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Keywords: Description logic, Reasoner, Cartesian product, Non-monotonic reasoning Abstract: We deal with several aspects of reasoning in Description Logics. First, since description logic (DL) is a subset of First Order Logic (FOL), we use a FOL reasoner to reason in DL. We implemented dl2fol, a DL reasoner that takes an ontology (a DL theory with rules), translates it into a FOL theory, passes this set of formulae to an underling FOL reasoner, and interprets the result in terms of given ontology. This is an effective method for reasoning with newly introduced language constructors. However, we observed longer running times and that satisfiability of some DL concepts wasn't proved due to FOL undecidability. Second, we extend two DLs by introducing new language construct: cartesian product (CP) of concepts and roles. This allows for expressing relationships, that are not expressible by other means in weaker DLs. We...
|
|
|
Evolution of Strategies for "Prisoner's Dilemma" using Genetic Algorithm
Heinz, Jan ; Malenko, Jaromír (advisor) ; Majerech, Vladan (referee)
The subject of this thesis is the software application "Prisoner's Dilemma". The program creates a population of players of "Prisoner's Dilemma", has them play against each other, and - based on their results - performs an evolution of their strategies by means of a genetic algorithm (selection, mutation, and crossover). The program was written in Microsoft Visual Studio, in the C++ programming language, and its interface makes use of the .NET Framework. The thesis includes examples of strategies obtained in the evolution.
|
|
|
City-building game
Hejda, Benjamin ; Hric, Jan (referee) ; Malenko, Jaromír (advisor)
Present work describes the Sword of Damocles application. It is a citybuilding strategy game, where player's task is to care about some city and wellbeing of its inhabitants. Main goal of the work was to design and implement a control that would allow to govern the city in detail and e ectively at once. That was achieved by system of parameters set as expressions referencing other parameters and city describing indicators. Substantial feature of the game are independently acting people that can not be directly controlled. Part of the program is a scenario editor that makes the gameplay widely customizable. The graphical user interface is very simple, however, it is possible to change it not a ecting core of the application.
|
|
|
Robots Figting in an Virtual Environment
Nohejl, Pavel ; Yaghob, Jakub (referee) ; Malenko, Jaromír (advisor)
The goal of this project is to create library for programming software agents (robots), virtual environment for simulation of their battle, including visualization. Aplication is implemented by .NET technology, library for programming robot is possible to use in any language which support .NET technology. Optimal robot strategy depends on many parameters of virtual environment, which can be adjusted. Robot has available limited resources, which his autor can use.
|
guest ::
