MIME-Version: 1.0 Server: CERN/3.0 Date: Monday, 06-Jan-97 21:25:05 GMT Content-Type: text/html Content-Length: 2698 Last-Modified: Thursday, 19-Sep-96 23:08:35 GMT Research Interests - Micheal Hewett

Research Interests - Micheal Hewett

I'm doing research in Artificial Intelligence, a discipline where we try to make computers as smart as people are, but not as stupid as they are. I do research in two areas, AI architectures and Knowledge-based software engineering.

AI Architectures

Blackboard Systems

I have worked on blackboard systems since 1984 and was formerly lead programmer on the BB1 project at Stanford. In the last few years I have studied how to make activation in blackboard systems more efficient.

The BB1 software is available from Stanford. I maintain a local copy of BB1. Ask me for more info or see my list of papers. Software will be available through this page shortly.

Access-Limited Logic

I am currently working on a revision of the Algernon representation and reasoning system. For my thesis I am developing an abstract machine for access-limited logic reasoning. Here are test versions of the Algernon Reference Manual.

Knowledge-Based Software Engineering

I have designed a framework called MetaMorphos for controlling a program synthesis system. It is a knowledge-based control system written in BB1. I am using the framework to control synthesis in the KIDS/Refine synthesis environment. See my list of papers for more info.

Here is a bibliography of recent KBSE articles you can FTP (87K bytes). Note, this prints out in landscape mode, two pages per printed page. It may not view correctly in ghostview, but will print correctly (at least on Mac-compatible printers).

AI Programming

Here is a summary of Allegro CL commands. If your browser doesn't support tables, here is the same information in a simpler format.

Graphics

I'm not doing research in graphics, but this is a good place to put a pointer to a page describing the graphics project I am working on this semester.


Author: Micheal S. Hewett
Email: hewett@cs.utexas.edu
Last Updated: Friday, August 19, 1994