%0 Generic
%A Pakkan, Mujdat
%A Akman, Varol
%D 1995
%F cogprints:466
%K ZF (Zermelo-Fraenkel) set theory, nonwellfounded sets (hypersets), AFA (anti-foundation axiom), the Solution Lemma, situation theory, HYPERSOLVER, Conway paradox.
%N 1
%P 43-61
%T HYPERSOLVER: A Graphical Tool for Commonsense Set Theory
%U http://cogprints.org/466/
%V 85
%X 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.