creators_name: Pakkan, Mujdat creators_name: Akman, Varol type: journalp datestamp: 1998-06-19 lastmod: 2011-03-11 08:53:58 metadata_visibility: show title: HYPERSOLVER: A Graphical Tool for Commonsense Set Theory ispublished: pub subjects: comp-sci-art-intel subjects: ling-sem subjects: phil-logic full_text_status: public keywords: ZF (Zermelo-Fraenkel) set theory, nonwellfounded sets (hypersets), AFA (anti-foundation axiom), the Solution Lemma, situation theory, HYPERSOLVER, Conway paradox. abstract: 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. date: 1995-07 date_type: published publication: Information Sciences: An International Journal volume: 85 number: 1 pagerange: 43-61 refereed: TRUE citation: Pakkan, Mujdat and Akman, Varol (1995) HYPERSOLVER: A Graphical Tool for Commonsense Set Theory. [Journal (Paginated)] document_url: http://cogprints.org/466/2/paper.ps