HYPERSOLVER: A graphical tool for commonsense set theory
Please cite this item using this persistent URLhttp://hdl.handle.net/11693/25905
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.
- Research Paper 
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 ...
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 ...
Bakir, N.O.; Klutke G.-A. (2011)Several approaches have been proposed for evaluating information in expected utility theory. Among the most popular approaches are the expected utility increase, the selling price and the buying price. While the expected ...