This site has been permanently archived. This is a static copy provided by the University of Southampton.

TY - GEN ID - cogprints468 UR - http://cogprints.org/468/ A1 - Pakkan, Mujdat A1 - Akman, Varol Y1 - 1995/// N2 - 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. KW - ZF (Zermelo-Fraenkel) set theory KW - commonsense reasoning KW - knowledge representation KW - cumulative hierarchy KW - self-reference KW - nonwellfounded sets (hypersets) KW - AFA (anti-foundation axiom) KW - paradoxes KW - common knowledge. TI - Issues in Commonsense Set Theory SP - 279 AV - public EP - 308 ER -