A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus

Authors:
Alexander Ferrein;Stefan Schiffer;Gerhard Lakemeyer
Affiliations:
Knowledge-Based Systems Group, RWTH Aachen University, Aachen, Germany D-52056;Knowledge-Based Systems Group, RWTH Aachen University, Aachen, Germany D-52056;Knowledge-Based Systems Group, RWTH Aachen University, Aachen, Germany D-52056
Venue:
ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
Year:
2008

Citing 10
Cited 2

Fuzzy qualitative modeling

Proceedings of the 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems on Uncertainty and intelligent systems
Formulation of qualitative models using fuzzy logic

Decision Support Systems - Special issue: DSS on model formulation
Some contributions to the metatheory of the situation calculus

Journal of the ACM (JACM)
On knowledge-based programming with sensing in the situation calculus

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Fuzzy Control

Fuzzy Control
Knowledge Representation in Fuzzy Logic

IEEE Transactions on Knowledge and Data Engineering
Qualitative Spatial Reasoning: A Semi-quantitative Approach Using Fuzzy Logic

SSD '89 Proceedings of the First Symposium on Design and Implementation of Large Spatial Databases
On fuzzy logic applications for automatic control, supervision, and fault diagnosis

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Improvements and critique on Sugeno's and Yasukawa's qualitative modeling

IEEE Transactions on Fuzzy Systems
Fuzzy Qualitative Robot Kinematics

IEEE Transactions on Fuzzy Systems

Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus

Journal of Intelligent and Robotic Systems
Fuzzy representations and control for domestic service robots in golog

ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

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 set semantics for qualitative fluents is that the qualitative ranges may overlap, and a value can, at the same time, fall into several categories.