"这篇论文研究了标记缺省逻辑,作者为林作铨,主要讨论了Reiter的缺省逻辑在处理不协调和冲突时的局限性,并提出了新的解决方案——标记逻辑。通过16值双格系统,作者构建了一种标记缺省逻辑,这种逻辑能够标记不同层次的不确定性,并确保扩张的存在性和唯一性。文章还涉及了该逻辑的半单调性等优良性质。关键词包括缺省逻辑、标记逻辑、双格和超协调性。" 在Reiter的缺省逻辑框架中,一个缺省理论可能拥有零个或多个扩张,甚至存在一个包含所有可能情况的平凡扩张。这样的设计使得缺省逻辑在面对包含不一致性和冲突的理论时显得力不从心。林作铨的论文针对这一问题,提出了标记逻辑的概念,这是一种基于16值双格系统的新型逻辑系统。 16值双格是一种多值逻辑,它提供了比二值逻辑更精细的真值判断,能够更好地刻画不确定性和矛盾。在此基础上,林作铨引入了标记缺省逻辑,其中结论被不同级别的不确定性所标记。这样的标记机制允许逻辑系统区分不同层次的推理结果,从而能够处理那些在传统缺省逻辑中无法妥善解决的不协调和冲突。 标记缺省逻辑保持了与Reiter缺省逻辑的一致性,即在无矛盾的情况下,两者的扩张是相同的。然而,通过引入标记,它增加了对扩张的理解深度,允许有标记的扩张转化为经典逻辑的扩张形式。此外,标记缺省逻辑还具备半单调性,这是逻辑系统的一个重要特性,意味着添加更多的前提信息不会使已经得出的结论变得无效。 论文的核心目标在于解决缺省逻辑扩展的非唯一性和可能不存在的问题。通过标记逻辑,林作铨提供了一种保证扩张存在性和唯一性的方法,这对于处理复杂推理问题,尤其是在知识表示和人工智能领域,具有重要的理论价值和实际应用前景。 关键词中的“缺省逻辑”是指Reiter提出的逻辑框架,用于处理默认假设和潜在的不一致性。“标记逻辑”是本文提出的新方法,用以增强逻辑系统的表达能力。“双格”是指16值双格系统,是实现标记逻辑的基础工具。“超协调性”可能指的是系统在处理冲突时达到的一种超越传统协调状态的能力,使得逻辑推理能够在不一致的环境中继续进行。
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
- 粉丝: 447
- 资源: 1万+
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- 多模态联合稀疏表示在视频目标跟踪中的应用
- Kubernetes资源管控与Gardener开源软件实践解析
- MPI集群监控与负载平衡策略
- 自动化PHP安全漏洞检测:静态代码分析与数据流方法
- 青苔数据CEO程永:技术生态与阿里云开放创新
- 制造业转型: HyperX引领企业上云策略
- 赵维五分享:航空工业电子采购上云实战与运维策略
- 单片机控制的LED点阵显示屏设计及其实现
- 驻云科技李俊涛:AI驱动的云上服务新趋势与挑战
- 6LoWPAN物联网边界路由器:设计与实现
- 猩便利工程师仲小玉:Terraform云资源管理最佳实践与团队协作
- 类差分度改进的互信息特征选择提升文本分类性能
- VERITAS与阿里云合作的混合云转型与数据保护方案
- 云制造中的生产线仿真模型设计与虚拟化研究
- 汪洋在PostgresChina2018分享:高可用 PostgreSQL 工具与架构设计
- 2018 PostgresChina大会:阿里云时空引擎Ganos在PostgreSQL中的创新应用与多模型存储
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)