文件名称:
GenEd:具有通用语义的编辑器，用于关于视觉符号的形式推理-源码
开发工具:
文件大小: 3mb
下载次数: 0
上传时间: 2021-03-12
详细说明：GenEd
使用Common Lisp和CLIM编写的具有关于形式化推理的通用语义的编辑器，用于视觉表示法
关于
我拥有25年历史的Lisp归档文件中的另一个Common Lisp＆CLIM（通用Lisp接口管理器）旧版软件:-)在2021年仍然可以完美运行。在32位Motif端口Ubuntu上使用LispWorks 6.1和CLIM进行了测试。
该程序写于1996年，是在汉堡大学计算机科学系Bernd Neumann认知系统实验室的一部分。 这项工作由Volker Haarslev监督，他的想法是通过描述逻辑定义（视觉形式主义或正式指定的视觉语言的）视觉语法和语义。
一个关键的创新功能是它能够利用CLASSIC Description Logic系统的ABox实现/ ABox实例分类服务对图形对象群进行分类。 图形元素的视觉语法和此类元素的星座可以通过将CLASSIC知识库加载到系
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
