Hypersolver: a graphical tool for commonsense set theory

Date
1995
Authors
Pakkan, M.
Akman, V.
Editor(s)
Advisor
Supervisor
Co-Advisor
Co-Supervisor
Instructor
Source Title
Information Sciences
Print ISSN
0020-0255
Electronic ISSN
1872-6291
Publisher
Elsevier
Volume
85
Issue
1-3
Pages
43 - 61
Language
English
Journal Title
Journal ISSN
Volume Title
Series
Abstract

This paper investigates an alternative set theory (due to Aczel) called the 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.

Course
Other identifiers
Book Title
Citation
Published Version (Please cite this version)