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 -