info:oai:cogprints.org:466info:ofi/fmt:xml:xsd:oai_dc
HYPERSOLVER: A Graphical Tool for Commonsense Set Theory
Pakkan, Mujdat
Akman, Varol
Artificial Intelligence
Semantics
Logic
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.
1995-07
Journal (Paginated)
PeerReviewed
application/postscript
http://cogprints.org/466/2/paper.ps
Pakkan, Mujdat and Akman, Varol (1995) HYPERSOLVER: A Graphical Tool for Commonsense Set Theory. [Journal (Paginated)]
http://cogprints.org/466/