A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus

Specifying the behavior of an intelligent autonomous robot or agent is a non-trivial task. The question is: how can the knowledge of the domain expert be encoded in the agent program? Qualitative representations in general facilitate to express the knowledge of a domain expert. In this paper, we propose a semantics for qualitative fluents in the situation calculus. Our semantics is based on fuzzy sets. Membership functions define to which degree a qualitative fluent belongs to a particular category. Especially intriguing about a fuzzy set semantics for qualitative fluents is that the qualitative ranges may overlap, and a value can, at the same time, fall into several categories.

[1]  John Yen,et al.  Fuzzy logic as a basis for specifying imprecise requirements , 1993, [Proceedings 1993] Second IEEE International Conference on Fuzzy Systems.

[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]  Lotfi A. Zadeh,et al.  Knowledge Representation in Fuzzy Logic , 1996, IEEE Trans. Knowl. Data Eng..

[4]  Alexander Ferrein,et al.  Qualitative World Models for Soccer Robots , 2006 .

[5]  Terence R. Smith,et al.  Design and Implementation of Large Spatial Databases , 1989, Lecture Notes in Computer Science.

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

[7]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[8]  Ray Reiter,et al.  On knowledge-based programming with sensing in the situation calculus , 2001, ACM Trans. Comput. Log..

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

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

[11]  Soumitra Dutta,et al.  Qualitative Spatial Reasoning: A Semi-quantitative Approach Using Fuzzy Logic , 1989, SSD.

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

[13]  László T. Kóczy,et al.  Improvements and critique on Sugeno's and Yasukawa's qualitative modeling , 2002, IEEE Trans. Fuzzy Syst..

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

[15]  Philippe Smets,et al.  Fuzzy Quanlitative Modeling , 1988, IPMU.

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

[17]  Constantin V. Negoita,et al.  On Fuzzy Systems , 1978 .

[18]  Michio Sugeno,et al.  A fuzzy-logic-based approach to qualitative modeling , 1993, IEEE Trans. Fuzzy Syst..

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

[20]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[21]  Narasimha Bolloju,et al.  Formulation of qualitative models using fuzzy logic , 1996, Decis. Support Syst..

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