I started my research towards PhD. thesis with an aim to study
applications of Answer Set Programming for agent oriented programming.
Currently I am mostly studying pragmatic aspects of agent oriented
programming languages, especially those based on the BDI paradigm.
My broader research interests include:
- artificial intelligence
- cognitive robotics
- knowledge representation and reasoning
- evolving knowledge, belief revision and logic program updates
- applications of intelligent agents
Please check my the
statement of my research interests for
a more detailed account of my line of research.
An alternative view on the actual topics of my research provides a statistical analysis of my
publications below. The snapshot shows the language of
my publications as of October 2008 (thanks to
Wordle).
On-going projects
Jazzyk is an experimental, special-purpose programming language for development of
knowledge intensive (intelligent) agent systems.
Jazzyk agents consist of
- a number of knowledge bases, each realized by a separate specialized knowledge
representation module (plug-in), and
- an agent program in a form of a set of possibly nested rules of the basic form:
“when Query then Update”.
Jazzyk was designed to exploit power of heterogeneous knowledge representation
(KR) technologies in a single agent system. Each such a KR technology is
encapsulated in a separate
Jazzyk KR module providing a simple generic
interface consisting of a set of query and update operations. Semantics of
Jazzyk based on Behavioural State Machines, an adaptation of computational
model of Gurevich’s Abstract State Machines.
Theory of Behavioural State Machines, and in turn also Jazzyk, draws a
strict distinction between agent’s knowledge representational and behavioural aspects.
While an agent’s deliberation abilities reside in its KR modules, its behaviour are
encoded as a Behavioural State Machine.
Jazzyk was published at
SourceForge in December 2007. For more details, check
Jazzyk website.
Past projects
Jazzbot is a show off demo application of
Jazzyk interpreter.
It is an implementation of an agent/bot in a simulated 3D environment of a first-person
shooter computer game Nexuiz based on the famous Quake game engine.
It should use Answer Set Programming engine in its belief base to represent the
information about its environment.
Jazzbot is supposed to perform non-trivial behaviours in its environment,
like roam around, avoid dangerous places and search for items. Later, we hope
to experiment with teams of communicating bots.
For more information on
Jazzbot feel free to visit
Jazzbot website.
MASSim project aims at developing a supporting infrastructure
for contests of multi-agent systems, which can be used in the context of the
above mentioned
CLIMA Contest competition and alike.
In late 2003 and 2004 I was working on Prolog based full featured
non-validating XML parser in the frame of
W4 project
of
Prof. Carlos Viegas Damasio
of
CENTRIA,
New University Lisbon.
The W4 project aims at developing Standard Prolog interoperable tools for
supporting distributed, secure, and integrated reasoning activities in the Semantic Web.
In 2002, 2003 and 2004 I was a member of the workgroup on studying logic program updates
of
Prof. Ján Šefránek at
Faculty of Mathematics, Physics and Informatics
of
Comenius University Bratislava.
