A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. Ferrein, A., Schiffer, S., & Lakemeyer, G. In Proceedings of the International Conference on Intelligent Robotics and Applications (ICIRA'08), of LNCS, pages 498–509, October 15-17, 2008. Springer.
A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus [link]Link  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.
@inproceedings{ Ferrein:Schiffer:Lakemeyer:2008:ICIRA:Fuzzy,
  author      = "Alexander Ferrein and Stefan Schiffer and Gerhard Lakemeyer",
  affiliation = "RWTH Aachen University, Germany",
  title       = "A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus",
  booktitle   = "Proceedings of the International Conference on Intelligent Robotics and Applications (ICIRA'08)",
  pages       = "498--509",
  year        = "2008",
  month       = "October 15-17",
  location    = "Wuhan, China",
  publisher   = "Springer",
  series      = "LNCS",
  OPTnumber      = "",
  isbn        = {978-3-540-88512-2},
  doi         = {10.1007/978-3-540-88513-9_54},
  ee          = {http://dx.doi.org/10.1007/978-3-540-88513-9_54},
  abstract    = " 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