Artificial Intelligence - Special issue: Qualitative reasoning about physical systems II
Modal deduction with applications in epistemic and temporal logics
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Parts, wholes, and part-whole relations: the prospects of mereotopology
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Qualitative representation of positional information
Artificial Intelligence
Viewing composition tables as axiomatic systems
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
The Paradoxical Success of Fuzzy Logic
IEEE Expert: Intelligent Systems and Their Applications
Combining Topological and Qualitative Size Constraints for Spatial Reasoning
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
AI Magazine
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Data Mining Research: Current Status and Future Opportunities
Statistical Analysis and Data Mining
An Ontology for Grounding Vague Geographic Terms
Proceedings of the 2008 conference on Formal Ontology in Information Systems: Proceedings of the Fifth International Conference (FOIS 2008)
A theory of granular parthood based on qualitative cardinality and size measures
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Order of magnitude comparisons of distance
Journal of Artificial Intelligence Research
A size-based qualitative approach to the representation of spatial granularity
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Numeric reasoning with relative orders of magnitude
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
International Journal of Geographical Information Science
| Hi-index | 0.00 |
Vague predicates such as heap, tall, bald, near to, nicer than, etc., are characterized by their Sorites susceptibility and the existence of borderline cases. In attempting to develop a general theory, diverse vague predicates are often analyzed in rather broad natural language settings. Because this has proven to be rather difficult, the phenomenon of vagueness is studied here in a narrower and strictly formalized setting: Vague size predicates such as "roughly the same size" and "negligible in size with respect to" are studied within the framework of a formalized theory of parthood extended by size predicates. Such a restricted axiomatic framework has a number of advantages: (i) it is easier to analyze logical and semantical aspects of vagueness; (ii) it is possible to study the interrelations between precise quantitative facts and the interpretation of vague and qualitative predicates in a restricted class of models; (iii) it is possible to precisely analyze the logical properties of vague and qualitative size predicates which are fundamental to formalized deductive reasoning. All three aspects are critical for the representation and reasoning about many vague predicates as they are used in many sciences and in medicine.