First-order axiomatization of rough mereology.

Hsing-chien Tsai

Published in: GrC (2012)

Keyphrases

rough mereology
approximate reasoning
first order logic
spatial reasoning
knowledge representation
knowledge engineering
fuzzy set theory
information granules
ontological knowledge
situation calculus
production rules
neural network
knowledge acquisition
membership functions
real time
fuzzy sets
machine learning