Commonsense reasoning about the physical world, as exemplified by 'Iron sinks in water' or 'If a ball is dropped it gains speed,' will be indispensable in future programs. We argue that to make such predictions (namely, ...

k-trees have established themselves as useful data structures in pattern recognition. A fundamental operation regarding k-trees is the construction of a k-tree. We present a method to store an object as a set of rays and ...

Quadtrees, octrees, and in general k-trees have established themselves as useful hierarchical data structures in computer graphics, image processing, and solid modeling. A fundamental operation in a system based on k-trees ...

Sweeping is a powerful method to generate 3-D shapes in geometric modeling. In this paper we formulate a general matrix to give a mathematical definition of twisted-profiled sweep objects as a discrete approximation. While ...

In the context of the paper of V. Akman and A. Arslan, "Sweeping with All Graphical Ingredients in a Topological Picturebook" [Computers & Graphics, Vol. 16(3), pp. 273-281, 1992], a new construction of the rotational ...

We describe an experimental approach toward implementing a commonsense "microtheory" for buying and selling. Our prototype system characterizes how intelligent agents hold items and money, how they buy and sell items, and ...

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, ...

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 ...

A review is presented of Lifschitz's collection of seventeen papers written by McCarthy on the subject of common sense. The book opens with a fine overview of McCarthy's research in artificial intelligence (AI). Lifschitz ...