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