RUI: Efficient Reasoning with Massive Parallelism and Hybrid Techniques

Project: Research project

Project Details


This project is concerned with building a fast and theoretically well founded reasoner - a massively parallel transitivity-tree reasoner - for general AI. AI reasoning algorithms are often intractable, that is they are too slow for any practical problem sizes to be of real value. A widely used approach to overcome these problems has been to create special purpose reasoners. Such reasoners solve only a very limited set of problems, and are too restricted in architecture. This research is aimed at designing a reasoner that is more general than current special purpose reasoners and faster than existing general reasoners. This reasoner will have a well defined interface to a general purpose reasoner.

Effective start/end date5/15/9210/31/93


  • National Science Foundation: $29,521.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.