Issues in commonsense set theory
Artificial Intelligence Review
Springer/Kluwer Academic Publishers
279 - 308
MetadataShow full item record
Please cite this item using this persistent URLhttp://hdl.handle.net/11693/25955
The success of set theory as a foundation for mathematics inspires its use in artificial intelligence, particularly in commonsense reasoning. In this survey, we briefly review classical set theory from an AI perspective, and then consider alternative set theories. Desirable properties of a possible commonsense set theory are investigated, treating different aspects like cumulative hierarchy, self-reference, cardinality, etc. Assorted examples from the ground-breaking research on the subject are also given. © 1995 Kluwer Academic Publishers.