文件名称:
将描述逻辑和Horn规则与ARTIGENCE中的不确定性相结合
开发工具:
文件大小: 459kb
下载次数: 0
上传时间: 2021-02-24
详细说明：我们介绍了ARTIGENCE，这是一种将描述逻辑和Horn规则与不确定性结合在一起的表示语言。 ARTIGENCE功能超越了目前可用的类似混合系统，它包含三个组件：高度表达的描述逻辑ACLNR，一组概率性Horn规则和一组基础事实。 所描述的新功能是现实应用程序领域中经常需要的，可以概括为三个要点。 首先，我们在ARTIGENCE知识库中获得了一个合理，完整且可判定的推理算法，可判定性是该语言的计算复杂性对于实际应用而言可能是必不可少的重要指标。 第二。 设计ARTIGENCE的目的不仅在于结合Horn规则和描述逻辑的表达能力，还在于其处理不确定性的能力。 第三，我们考虑ACLNR。 作为ARTIGENCE的描述逻辑组件，这是迄今为止具有可确定的推理过程的最具表现力的描述逻辑之一。 我们还表明，在我们提出的框架中使用的特定描述逻辑ACLNR不是强制性的，其他可确定的描述逻辑，甚至它们的概率版本也可以适应我们的框架。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
