Declarative design of control logic for mindstorms NXT with XTT2 method

Authors:
Grzegorz J. Nalepa;Błazej Biesiada
Affiliations:
AGH University of Science and Technology, Krakow, Poland;AGH University of Science and Technology, Krakow, Poland
Venue:
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part II
Year:
2011

Citing 4
Cited 1

Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Prototype Prolog API for Mindstorms NXT

KI '08 Proceedings of the 31st annual German conference on Advances in Artificial Intelligence
Architecture of the HeaRT hybrid rule engine

ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
The HeKatE methodology. Hybrid engineering of intelligent systems

International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems

Modeling robot behavior with CCL

SIMPAR'12 Proceedings of the Third international conference on Simulation, Modeling, and Programming for Autonomous Robots

Quantified Score

Hi-index	0.00

Visualization

Abstract

The principal idea advocated in this paper is to design the control logic for the mobile robot using the XTT2 representation, and the execute it with a dedicated inference engine. XTT2 is a declarative rule-based representation, that has a strict logical description. It also provides a high level visual representation combining decision tables into an inference network. In the paper a dedicated API for Mindstorms NXT is also presented. It is combined with HeaRT rule engine running the XTT2 model to control a mobile robot.