论文信息 - Declarative Design of Control Logic for Mindstorms NXT with XTT2 Method

Declarative Design of Control Logic for Mindstorms NXT with XTT2 Method

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.

Grzegorz J. Nalepa | Blazej Biesiada

[1] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .

[2] Frank Bomarius,et al. KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings , 2008, KI.

[3] Grzegorz J. Nalepa. Prototype Prolog API for Mindstorms NXT , 2008, KI.

[4] Grzegorz J. Nalepa. Architecture of the HeaRT Hybrid Rule Engine , 2010, ICAISC.

[5] Jacek M. Zurada,et al. Artificial Intelligence and Soft Computing, 10th International Conference, ICAISC 2010, Zakopane, Poland, June 13-17, 2010, Part I , 2010, International Conference on Artificial Intelligence and Soft Computing.

[6] Grzegorz J. Nalepa,et al. The HeKatE methodology. Hybrid engineering of intelligent systems , 2010, Int. J. Appl. Math. Comput. Sci..