Chun Tian (binghe)

超越自我，洞察宇宙

日志

关于我

冰河

Common Lisp 程序员

文章分类

LispWorks 企业版: 功能强大的AI研究平台

2007-04-14 09:19:49| 分类： Lisp | 标签： |举报 |字号大中小订阅

下载LOFTER 我的照片书 |

LispWorks 企业版不但是一个通用的 Lisp 语言开发环境，也是一个功能强大的人工智能研究平台。

LispWorks 实际上不但能编译 Lisp 代码，也可以编译标准 Prolog 代码，它首先用纯 Lisp 把 Prolog 推理系统实现，然后用宏将 Prolog 代码编译时一对一地翻译成 Comon Lisp 代码，再使用 Lisp 编译器进行编译，最后 LispWorks 提供一个类似 Lisp 交互环境的 Prolog 查询环境。

根据我这几天的了解，LispWorks 的逻辑编程部分在表达方式上有三个层次：

1. 使用标准 Prolog，这样可以得到跟任何其他标准 Prolog 环境相同的表达能力；
2. 使用 Lisp 形式的 Common Prolog，也就是 LispWorks 把 Prolog 代码翻译出来的形式，这样可以获得额外的与 Common Lisp 系统进行接口的特性，相当于一个 Lisp 和 Prolog 的混合环境；
3. 使用基于对象(object)和规则(rule)，而不是关系(relation)的 KnowledgeWorks，它底层推理部分有两部分，反向推理基于 Prolog 推理系统，前向推理是 OPS5 兼容，语法上也很像 CLIPS，基于模式匹配的。使用 KnowledgeWorks 可以同时拥有历史上两大类逻辑编程系统的核心特性。

还有一些功能也非常有用，例如 Common SQL 组件可以将逻辑系统的知识和推理作为数据保存在数据库里，事实上 Common SQL 可以将任何 Common Lisp 对象保存在数据库里，然后高效地查询和修改。企业版中的 CORBA 支持可以用来实现分布式系统，进一步增强 AI 系统的扩展能力。

为了能充分使用这个得来不易的强大工具，最近我又开始读《AIMA》了。

评论这张

转发至微博

阅读(4328)| 评论(6)

历史上的今天

this.p={  m:2,
              b:2,
              loftPermalink:'',
              id:'fks_082066087087085071081080074068084086080',
              blogTitle:'LispWorks 企业版: 功能强大的AI研究平台',
              blogAbstract:'<a target=\"_blank\" href=\"http://tianchunbinghe.blog.163.com/album/prevPhoto.do?photoId=_fks_kONmDKee0H3wofGLKyfhaA==\"\><img src=\"http://img.blog.163.com/photo/uuJGiyKZpf9Q-48wJTMQoA==/4242390848983158024.jpg\"\></a\><br\><br\>LispWorks 企业版不但是一个通用的 Lisp 语言开发环境，也是一个功能强大的人工智能研究平台。<br\>\r\n<br\>\r\nLispWorks 实际上不但能编译 Lisp 代码，也可以编译标准 Prolog 代码，它首先用纯 Lisp 把 Prolog\r\n推理系统实现，然后用宏将 Prolog 代码编译时一对一地翻译成 Comon Lisp 代码，再使用 Lisp 编译器进行编译，最后\r\nLispWorks 提供一个类似 Lisp 交互环境的 Prolog 查询环境。<br\><br\><a target=\"_blank\" href=\"http://tianchunbinghe.blog.163.com/album/prevPhoto.do?photoId=_fks_8gaScD-YUBSYnyjksz9rcw==\"\></a\>',
              blogTag:'ai,lispworks',
              blogUrl:'blog/static/7001200731491949923',
              isPublished:1,
              istop:false,
              type:1,
              modifyTime:1176514872862,
              publishTime:1176513589923,
              permalink:'blog/static/7001200731491949923',
              commentCount:6,
              mainCommentCount:5,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              currentRecomBlog:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'',
              visitorCity:'',
              visitorNewUser:false,
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'Common Lisp 程序员',
              hmcon:'0',
              selfRecomBlogCount:'0',
              lofter_single:'<iframe width="140" height="560" style="overflow:hidden;" src="http://www.lofter.com/mailEntry.do?blogad=1&blog" frameBorder="0"></iframe>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/7001200731491949923">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇，下一篇--> <#-- 热度 -->

{list a as x}
    {if !!x}
    <div class="hotItem iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
      {if x.publisherUsername==visitor.userName}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.publisherNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.publisherUsername)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/">
          ${fn(x.publisherNickname,8)|escape}
        </a>
      </div>
      <a class="f-myLikeIcons hottype {if x.type==1} js-liketype{elseif x.type==2} js-reblogtype{elseif x.type==3} js-sharetype{else}{/if}" target="_blank" hidefocus="true" href="http://blog.163.com/${x.publisherUsername}/"> </a>
    </div>
    {/if}
    {/list}

<#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

我的照片书 - 手机博客 - 下载LOFTER APP - 订阅此博客

Chun Tian (binghe)

导航

日志

LispWorks 企业版: 功能强大的AI研究平台

历史上的今天

最近读者

热度

评论

页脚