Cogprints

Issues in Commonsense Set Theory

Pakkan, Mujdat and Akman, Varol (1995) Issues in Commonsense Set Theory. [Journal (Paginated)]

Full text available as:

[img] Postscript
307Kb

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.

Item Type:Journal (Paginated)
Keywords:ZF (Zermelo-Fraenkel) set theory, commonsense reasoning, knowledge representation, cumulative hierarchy, self-reference, nonwellfounded sets (hypersets), AFA (anti-foundation axiom), paradoxes, common knowledge.
Subjects:Psychology > Cognitive Psychology
Computer Science > Artificial Intelligence
Linguistics > Semantics
Philosophy > Philosophy of Language
Philosophy > Logic
ID Code:468
Deposited By: Akman, Varol
Deposited On:19 Jun 1998
Last Modified:11 Mar 2011 08:53

Metadata

Repository Staff Only: item control page