合一理论及其在知识推理描述语言实现中的应用
基本信息
结项摘要
本项目旨在系统地研究合一理论及其在知识推理描述语言设计与实现中的应用。内容有三；针对基于Herbrand论域的语法合一，和高阶合一，方程式合一以及半合一等语义合一，详细论证了以统一的转换求解机制解决以上四类问题的判定，半判定性，和相关 算法的完备性；上述理论工作证实程序语言设计中多风格的结合是有限度的，在这个限度内我们设计了基于有向无圈图(DAG)的时间复杂度二次和空间复杂一次的实现知识推理描述语言NUML的合一算法，和对多态类型进行检测的半合一算法；进而探讨了直接实现合一算法的神经元网络结构，以上对合一问题的研究将广泛地进一步用于计算机科学与人工智能其它领域中。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
Numerical investigation on aerodynamic performance of a bionics flapping wing
许满武的其他基金
相似国自然基金
基于信息描述与推理的智能优化理论与应用
多粒度信息的多值逻辑描述及其计量化知识推理
非单调推理在动作语言系统刻画中的理论与应用研究
半群及其在语言理论及图论中的应用