HYPERSOLVER: A Graphical Tool for Commonsense Set Theory

Pakkan, Mujdat and Akman, Varol (1995) HYPERSOLVER: A Graphical Tool for Commonsense Set Theory. [Journal (Paginated)]

Full text available as:

[img] Postscript


This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning.

Item Type:Journal (Paginated)
Keywords:ZF (Zermelo-Fraenkel) set theory, nonwellfounded sets (hypersets), AFA (anti-foundation axiom), the Solution Lemma, situation theory, HYPERSOLVER, Conway paradox.
Subjects:Computer Science > Artificial Intelligence
Linguistics > Semantics
Philosophy > Logic
ID Code:466
Deposited By: Akman, Varol
Deposited On:19 Jun 1998
Last Modified:11 Mar 2011 08:53


Repository Staff Only: item control page