A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. Ferrein, A., Schiffer, S., & Lakemeyer, G. Volume 5314, Xiong, X., Liu, H., Huang, Y., & Xiong, Y., editors. A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus, pages 498–509. Springer, Wuhan, China, October 15-17, 2008.
A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus [pdf]Paper  doi  abstract   bibtex   
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 logic semantic for qualitative fluents is that the qualitative ranges may overlap, and a value can, at the same time, fall into several categories.

Downloads: 0