📄 http:^^www.cs.utexas.edu^users^hewett^research.html

📁 This data set contains WWW-pages collected from computer science departments of various universities

💻 HTML

字号:

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

<HTML><HEAD><TITLE>Research Interests - Micheal Hewett</TITLE></HEAD><BODY><H1>Research Interests - Micheal Hewett</H1>I'm doing <!WA0><A HREF="#research">research</A> in Artificial Intelligence, a discipline wherewe try to make computers as smart as people are, but not as stupid as they are.I do research in two areas, <!WA1><a HREF=#AIA>AI architectures</a> and <!WA2><a HREF=#KBSE>Knowledge-based software engineering</a>.<H2>AI Architectures</H2><H3>Blackboard Systems</H3>I have worked on blackboard systems since 1984 and was formerly leadprogrammer on the BB1 project at Stanford.  In the last few years Ihave studied how to make activation in blackboard systems more efficient.<p>The <!WA3><a HREF="http://www-ksl.stanford.edu/projects/BB1/bb1.html">BB1</a> 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 beavailable through this page shortly.<p><H3>Access-Limited Logic</H3>I am currently working on a revision of the <!WA4><a HREF="http://www.cs.utexas.edu/users/qr/algernon.html">Algernon</a>representation and reasoning system.For my thesis I am developing an abstract machine for access-limited logic reasoning.Here are test versions of the <!WA5><a HREF="http://www.cs.utexas.edu/users/qr/algy/reference-manual/reference-manual.html">Algernon Reference Manual</a>.<H2>Knowledge-Based Software Engineering</H2>I have designed a framework called <strong>MetaMorphos</strong> forcontrolling a program synthesis system.  It is a knowledge-basedcontrol system written in BB1.  I am using the framework to control synthesis in the <!WA6><A HREF="http://www.kestrel.edu">KIDS/Refine</A>synthesis environment.  See my list of papers for more info.<p>Here is a <!WA7><a HREF="file://www.cs.utexas.edu/u/hewett/www_docs/kbse-refs.ps">bibliography of recent KBSE articles</a>you can FTP (87K bytes).  Note, this prints out in landscape mode, twopages per printed page.  It may not view correctly in ghostview, but willprint correctly (at least on Mac-compatible printers).<H2>AI Programming</H2>Here is a <!WA8><A HREF="http://www.cs.utexas.edu/users/hewett/allegro-tables.html">summary of Allegro CL commands</A>.If your browser doesn't support <b>tables</b>, here is the sameinformation in a <!WA9><A HREF="http://www.cs.utexas.edu/users/hewett/allegro-commands.html">simpler format</A>.<H2>Graphics</H2>I'm not doing research in graphics, but this is a good place to puta pointer to a page describing the <!WA10><a href="http://www.cs.utexas.edu/users/hewett/proj.html">graphics project</a>I am working on this semester.<p><HR><ADDRESS><B>Author: </B><!WA11><A HREF="http://www.cs.utexas.edu/users/hewett/index.html"><I>Micheal S. Hewett</I></A><BR><B>Email: </B><I>hewett@cs.utexas.edu</I><BR><B>Last Updated: </B><I>Friday, August 19, 1994</I></ADDRESS></BODY></HTML>

⌨️ 快捷键说明

复制代码 Ctrl + C

搜索代码 Ctrl + F

全屏模式 F11

切换主题 Ctrl + Shift + D

显示快捷键 ?

增大字号 Ctrl + =

减小字号 Ctrl + -