分类:人工智能逻辑

来自术语
跳转至: 导航搜索
人工智能逻辑(08.0002) 非经典逻辑(08.0003)
非单调逻辑(08.0004) 缺省逻辑(08.0005)
可废止逻辑(08.0006) 描述逻辑(08.0007)
A盒子(08.0008) T盒子(08.0009)
模态词(08.0010) 动态逻辑(08.0011)
认知逻辑(08.0012) 逻辑全知(08.0013)
内省性(08.0014) 完美记忆(08.0015)
可能世界(08.0016) 可能世界语义(08.0017)
克里普克结构(08.0018) 公共知识(08.0019)
分布式知识(08.0020) 知识泛化(08.0021)
自认知逻辑(08.0022) 信念逻辑(08.0023)
开放逻辑(08.0024) 信念修正(08.0025)
修正演算(08.0026) 信念固化(08.0027)
信念收缩(08.0028) 信念扩展(08.0029)
信念融合(08.0030) AGM假设(08.0031)
谨慎推理(08.0032) 轻信推理(08.0033)
道义逻辑(08.0034) 空间逻辑(08.0035)
符号逻辑(08.0036) 时态逻辑(08.0037)
线性时态逻辑(08.0038) 分支时态逻辑(08.0039)
计算树逻辑(08.0040) 区间时态逻辑(08.0041)
因果逻辑(08.0042) 条件逻辑(08.0043)
亚结构逻辑(08.0044) 次协调逻辑(08.0045)
相干逻辑(08.0046) 元逻辑(08.0047)
一元逻辑(08.0048) 概率逻辑(08.0049)
分析表法(08.0050) 演绎树(08.0051)
根岑式演绎(08.0052) 希尔伯特式演绎(08.0053)
事件演算(08.0054) 流演算(08.0055)
矢列演算(08.0056) 情景演算(08.0057)
回答集编程(08.0058) 封闭世界假设(08.0059)
失败即否定(08.0060) 稳定模型语义(08.0061)
良基语义(08.0062) 限定理论(08.0063)
证伪(08.0064) 回归树(08.0065)


返回:首页