This site has been permanently archived. This is a static copy provided by the University of Southampton.
TY - GEN
ID - cogprints465
UR - http://cogprints.org/465/
A1 - Akman, Varol
A1 - Pakkan, Mujdat
Y1 - 1996/01//
N2 - The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.
KW - ZF (Zermelo-Fraenkel) set theory
KW - knowledge representation
KW - AFA (anti-foundation axiom)
KW - information management
KW - commonsense reasoning
KW - commonsense set theory
KW - situation theory
KW - nonwellfounded sets (hypersets).
TI - Nonstandard Set Theories and Information Management
SP - 5
AV - public
EP - 31
ER -