断言推理相关硕士博士期刊学术论文 - 信丰网

断言推理相关论文

时态逻辑断言推理及其在SIDSS中的应用

介绍了断言推理和时态逻辑断言的基本概念,并以工资智能决策支持系统(SIDSS)为例,讨论时态逻辑断言规则的设计、形式化描述与Java......

期刊

断言时态时态逻辑断言推理 SIDSS 规则 Assertion Temporal Temporal logic Assertion inference

时态逻辑及其对知识库的构架与研究

传统的适应冯·诺依曼机器体系可执行语言的特征即表示自动机的状态转换机制，其方式是命令式的，其语义是动态的；而适于这种模型的规范......

学位

模态逻辑时态逻辑断言推理知识库时态驱动

看过本文同时还关注