Embedding fuzzy controllers in golog

High-level behaviour specification of an intelligent autonomous agent or robot is a non-trivial task. Various approaches exist some of which try to combine different paradigms like programming and planning. In this paper, we show how to integrate fuzzy logic controllers into the logic-based programming language Golog. Golog already allows for combining programming and planning. By adding the instrument of fuzzy controllers we provide the means to have a natural specification of rules for tasks that require a high amount of reactivity. Since the facilities already present in Golog remain, we add to an already powerful framework thus expanding the applicability of Golog for high-level behaviour specification of a robot or agent.

[1]  Lotfi A. Zadeh,et al.  Knowledge Representation in Fuzzy Logic , 1996, IEEE Trans. Knowl. Data Eng..

[2]  Rolf Isermann,et al.  On fuzzy logic applications for automatic control, supervision, and fault diagnosis , 1998, IEEE Trans. Syst. Man Cybern. Part A.

[3]  Honghai Liu,et al.  A Fuzzy Qualitative Framework for Connecting Robot Qualitative and Quantitative Representations , 2008, IEEE Transactions on Fuzzy Systems.

[4]  Raymond Reiter,et al.  Some contributions to the metatheory of the situation calculus , 1999, JACM.

[5]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[6]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[7]  John G. Gibbons Knowledge in Action , 2001 .

[8]  Hector J. Levesque,et al.  Incremental execution of guarded theories , 2001, ACM Trans. Comput. Log..

[9]  A. Safiotti,et al.  Fuzzy logic in autonomous robotics: behavior coordination , 1997, Proceedings of 6th International Fuzzy Systems Conference.

[10]  Alexander Ferrein,et al.  A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus , 2008, ICIRA.

[11]  J. Mendel Fuzzy logic systems for engineering: a tutorial , 1995, Proc. IEEE.

[12]  Stephen Yurkovich,et al.  Fuzzy Control , 1997 .

[13]  L. A. Zedeh Knowledge representation in fuzzy logic , 1989 .

[14]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[15]  H Prade,et al.  An introduction to fuzzy systems. , 1998, Clinica chimica acta; international journal of clinical chemistry.

[16]  Alexander Ferrein,et al.  Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..

[17]  Honghai Liu,et al.  Fuzzy Qualitative Robot Kinematics , 2008, IEEE Transactions on Fuzzy Systems.