?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=HYPERSOLVER%3A+A+Graphical+Tool+for+Commonsense+Set+Theory&rft.creator=Pakkan%2C+Mujdat&rft.creator=Akman%2C+Varol&rft.subject=Artificial+Intelligence&rft.subject=Semantics&rft.subject=Logic&rft.description=This+paper+investigates+an+alternative+set+theory+(due+to+Peter+Aczel)+called+Hyperset+Theory.+Aczel+uses+a+graphical+representation+for+sets+and+thereby+allows+the+representation+of+non-well-founded+sets.+A+program%2C+called+HYPERSOLVER%2C+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.&rft.date=1995-07&rft.type=Journal+(Paginated)&rft.type=PeerReviewed&rft.format=application%2Fpostscript&rft.identifier=http%3A%2F%2Fcogprints.org%2F466%2F2%2Fpaper.ps&rft.identifier=++Pakkan%2C+Mujdat+and+Akman%2C+Varol++(1995)+HYPERSOLVER%3A+A+Graphical+Tool+for+Commonsense+Set+Theory.++%5BJournal+(Paginated)%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F466%2F