HYPERSOLVER: A graphical tool for commonsense set theory
Please cite this item using this persistent URLhttp://hdl.handle.net/11693/25905
- Research Paper 
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.
Showing items related by title, author, creator and subject.
Real time selection of scheduling rules and knowledge extraction via dynamically controlled data mining Metan G.; Sabuncuoglu I.; Pierreval H. (2010)A new scheduling system for selecting dispatching rules in real time is developed by combining the techniques of simulation, data mining, and statistical process control charts. The proposed scheduling system extracts ...
Arikan, E.; Merhav, N. (1998)We investigate the problem of guessing a random vector X within distortion level D. Our aim is to characterize the best attainable performance in the sense of minimizing, in some probabilistic sense, the number of required ...
Cuhadar, E.; Dayton, B. (2011)This paper reviews the seminal theories of social psychology which have guided scholarship on inter-group conflicts and describes how these theories have been used by conflict resolution practitioners to design Track Two ...