Hypersolver: a graphical tool for commonsense set theory
43 - 61
Item Usage Stats
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.
Ilgaz, Hande; Allen, Jedediah W. P. (Springer, 2020)There is a large body of empirical work that has investigated the relationship between parents’ child-directed speech and their children’s Theory of Mind development. That such a relationship should exist is well motivated ...
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. ...
Cost-efficient approximation of linear systems with repeated and multi-channel filtering configurations Kutay, Mehmet Alper; Erden, M. F.; Özaktaş, Haldun M.; Arıkan, Orhan; Candan, Ç.; Güleryüz, Ö. (IEEE, 1998-05)It is possible to obtain either exact realizations or useful approximations of linear systems or matrix-vector products arising in many different applications, by synthesizing them in the form of repeated or multi-channel ...