Pakkan, M.Akman, V.2016-02-082016-02-0819950020-0255http://hdl.handle.net/11693/25905This 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.EnglishComputation theoryComputer softwareFormal logicProblem solvingSet theoryCommonsense reasoningCommonsense set theoryGraphical toolHyperset theoryHypersolverComputer graphicsArticle10.1016/0020-0255(94)00114-Q1872-6291