Browsing by Subject "Commonsense reasoning"

Filter results by typing the first few letters
Now showing 1 - 3 of 3
  • Thumbnail Image
    ItemOpen Access
    A fundamental and theoretical framework for an intelligent CAD system
    (Pergamon Press, 1990) Akman, V.; Hagen, P. J. W. T.; Tomiyama, T.
    Currently, there exists a line of research in mechanical CAD that is directed towards using AI and knowledge engineering ideas, but truly unifying approaches in this respect are lacking. The authors hope to fill this gap via a logic-based, theoretical approach. A formulation is given for how a designer's apprentice (or a design workbench) can be established. The relevance of naive physics and commonsense reasoning in machine design are demonstrated. As for the software development methodology several aspects of software engineering are considered. A design base language which is built upon logic programming and object-oriented programming paradigm is proposed. © 1990.
  • Thumbnail Image
    ItemOpen Access
    Hypersolver: a graphical tool for commonsense set theory
    (Elsevier, 1995) Pakkan, M.; Akman, V.
    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.
  • Thumbnail Image
    ItemOpen Access
    Issues in commonsense set theory
    (Springer/Kluwer Academic Publishers, 1994) Pakkan, M.; Akman, V.
    The success of set theory as a foundation for mathematics inspires its use in artificial intelligence, particularly in commonsense reasoning. In this survey, we briefly review classical set theory from an AI perspective, and then consider alternative set theories. Desirable properties of a possible commonsense set theory are investigated, treating different aspects like cumulative hierarchy, self-reference, cardinality, etc. Assorted examples from the ground-breaking research on the subject are also given. © 1995 Kluwer Academic Publishers.