+ IBF (Idea-breeding-farm) +

We are proud of this study! close

+ MY-X DVD +

Young members of the MY-X team co-operate successfully with PhD-Students in frame of the conference of Szarvas!

The MY-X team (incl. joung members) participated on the conference 'In memoriam Enyedi György'

Bárdy-Péter-Prize for a member of the MY-X team concerning his innovation potential!

Gábor-Dénes-Prize (special prize for mathematics) for a member of the MY-X team!

Special Prize in Minsk in frame of an essay-competition for a member of the MY-X team concerning a study about reform approches in education!

III. Prize in the Hlavay competition for a member of the MY-X team!

NTP-NFTÖ financial support for a member of the MY-X team!

Successful presentation in TUDOK-competition in Nyíregyháza and later in Székesfehérvár by a member of the MY-X team!

Last modified: 2015.VII.19.14:08 - MIAÚ-RSS
The Journal MIAU has been working for 20+ years as a kind of public service!

Simulation of logical agents

Leading article: 2019. July (MIAU No. 251.)
(Previous article: MIAU No. 250.)

Keywords: logical agent, simulation, propositional calculus, propositional resolution

Abstract: The topic of the thesis is the demonstration of logical agents using a fictive environment. In the simulation, an underwater robot for exploring shipwrecks is modeled as a logical agent. During the operation, it gathers information about the objects of its surroundings which is represented in a grid format. The information comes from proximity sensors signaling only if there is an object in its range made of a material (e.g. wood, stone, etc.) the sensor is calibrated on. The purpose of the agent is to determine the location of the potentially valuable objects. The knowledge from the sensor data during traversing can be formulated in propositional calculus, and propositional resolution is applied as the rule of inference. The simulation is implemented in C# providing a graphical user interface. The configuration options even allow the user to start multiple agents simultaneously with optional knowledge sharing among them. More (DOC) *** More (PDF)

Please, send Your comments per email!