Issues in commonsense set theory
Date
1994
Authors
Pakkan, M.
Akman, V.
Editor(s)
Advisor
Supervisor
Co-Advisor
Co-Supervisor
Instructor
Source Title
Artificial Intelligence Review
Print ISSN
0269-2821
Electronic ISSN
1573-7462
Publisher
Springer/Kluwer Academic Publishers
Volume
8
Issue
4
Pages
279 - 308
Language
English
Type
Journal Title
Journal ISSN
Volume Title
Series
Abstract
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.
Course
Other identifiers
Book Title
Keywords
Commonsense reasoning , Cumulative hierarchy , Hypersets , Knowledge representation , Self-reference , Set theory , Artificial intelligence , Formal logic , Hierarchical systems , Knowledge representation , Mathematical techniques , Cardinality , Commonsense reasoning , Commonsense set theory , Cumulative hierarchy , Hypersets , Self reference , Set theory