Hypersolver: a graphical tool for commonsense set theory
43 - 61
Item Usage Stats
MetadataShow full item record
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.
Commonsense set theory
Published Version (Please cite this version)http://dx.doi.org/10.1016/0020-0255(94)00114-Q
Showing items related by title, author, creator and subject.
Gökoǧlu G.; Erkişi, A. (2008)In this study, first principles calculation results of the second order elastic constants and lattice dynamics of two lanthanum monopnictides, LaN and LaBi, which crystallize in rock-salt structure (B1 phase), are presented. ...
Akar, N.; Arıkan, E. (Elsevier BV * North-Holland, 1995-04)When a superposition of on/off sources is offered to a deterministic server, we are faced with a particular queueing system, the analysis of which has a significant role in ATM networks. Periodic cell generation during ...
Pakkan, M.; Akman, V. (Springer/Kluwer Academic Publishers, 1994)The success of set theory as a foundation for mathematics inspires its use in artificial intelligence, particularly in commonsense reasoning. In this survey, we briefly review classical set theory from an AI perspective, ...