|
|
Koza and Prolog
Frauknecht, Jan ; Švarný, Petr (advisor) ; Verner, Jonathan (referee)
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm that operates with the logical programming paradigm. SWI-Prolog is used for the actual implementation of such a program. This implementation is in detail described. The testing of this implementation shows some possible path for the future work. 1
|
|
|
Intention Driven Agent in PROLOG
Němec, Ladislav ; Vídeňský, František (referee) ; Zbořil, František (advisor)
This lever deals with the realization of the iterpreter of an Driven Agent by the PROLOG implementation. The model was used by Jason implemented in Java that interprets the language of AgentSpeak(L). An interpreter and a program for processing agent systems in the language AgentSpeak (L) were created. This interpreter can work with multiple agents, can implement a system with an environment and use the FRAg system for interpretation. Examples of agent systems in AgentSpeak (L) were proposed to describe the functionality of the interpreter, and subsequently the advantages and disadvantages of the FRAg system were described.
|
|
|
Intention Driven Agent in PROLOG
Němec, Ladislav ; Vídeňský, František (referee) ; Zbořil, František (advisor)
This lever deals with the realization of the iterpreter of an Driven Agent by the PROLOG implementation. The model was used by Jason implemented in Java that interprets the language of AgentSpeak(L). For the purposes of this project, the program in AgentSpeak(L) is first converted to an internal language form. For the demonstration, one of the examples included in the Jason program, specifically "cleaning robors", was used. The interpreter can interpret the system as a FRAg and can react in the enviroment.
|
|
|
An Interconnection of SIMLIB Simulation Library with the Prolog Language
Hrabcová, Petra ; Peringer, Petr (referee) ; Hrubý, Martin (advisor)
This MSc Thesis is focused on the multimodeling area, especially on the cooperation of the C++ language and the Prolog language. The recent research is established on my semester study, which also dealt with the multimodeling area. During this research a prototype of interconnection library for cooperation of above mentioned programming languages was developed. This prototype of the library was finished within the scope of this thesis and some case-studies were created, too, using also another simulation library - SIMLIB/C++. These case-studies have their focus in the problems of artificial intelligence. The main benefit of this thesis is the confrontation of methods with and without using artificial intelligence.
|
|
|
Modelling for Genealogy
Prostredníková, Hana ; Kočí, Radek (referee) ; Zbořil, František (advisor)
This thesis contains detailed study of given problems related to genealogy science and genealogical records. There are analyzed roles and relationships that occurs in genealogical records and problems of their representation are described too. The goal is to design and implement system, which will validate relationships in genealogical records and enable processing this data.
|
|
|
Prolog Compiler for .NET Platform
Haljuk, Petr ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
This Master's deals with the implementation of the interpreter of logic programming language "Prolog". It summarises the different approaches to evaluation of programs in thislanguage with focus on description of The Warren Abstract Machine. A new way of integratingProlog into The Microsoft .NET platform has been designed as well as its connectionwith object-oriented languages. Subsequently, an interpreter and a compiler based on TheWarren Abstract Machine have been designed and implemented including the connectionto The Microsoft.NET platform.
|
|
|
Koza and Prolog
Frauknecht, Jan ; Švarný, Petr (advisor) ; Verner, Jonathan (referee)
This paper introduces the artificial intelligence background of ge- netic programming and some properties of logical programming para- digm. However, the main task of this work is to create the genetic programming algorithm that operates with the logical programming paradigm. SWI-Prolog is used for the actual implementation of such a program. This implementation is in detail described. The testing of this implementation shows some possible path for the future work. 1
|
|
|
Expert system for choice of proper method for waste utilization
Fikar, Josef ; Jícha, Jaroslav (referee) ; Dvořák, Jiří (advisor)
This work consists in development of expert system intended for choosing appropriate method of waste processing. The software is created in VisiRule software which is built on Prolog language and is part of WinProlog 4.900 development tool. It also deals with problematics of creating of knowledge base for applications of this type and judging of suitability of possible approaches to creating an expert system for given purpose.
|
guest ::
