人工智能(6).pptVIP

人工智能（6） 侯宏旭 cshhx@imu.edu.cn 语义描述方法 非数值的描述方法 Cohen 通过对不确定性的理由的描述表达不确定性 批注方法 命题有批注 命题是否可信取决于批注 规则的作用取决于批注 批注如何传播 SOLOMON 对规则中条件的批注 对规则中条件的批注 May be-too-general: 太一般 May be-too-specific：太特殊 Exact：准确的 Supportive：支持 Necessary：必要 Hart-not：强否定 CWA：封闭世界假设 Ostritch：无视现实（不存在则真） Flexible：灵活 Inflexible：不灵活 对规则的推理类型的批注 Mode-based：基于模型 Cousal：有原因的 Correlational：相关 对任务的批注 P-Corrobrate：证实 P-Conflict：冲突 P-Potential-Conflict：潜在的冲突 P-redundant：多余的 对结论的批注 包含对任务的批注 unlikely: 不一定 Modal：形式的 unwarranted：理由不充分的 对数据的批注 Source：源 Type-of-data：类型 Accuracy：精度 可能性理论 Zadeh 用模糊集表达模糊概念 用矩阵的运算表达推理过程 信念网络 用有向图表达推理过程 用边的权值表达推理的强度 关联式方法 Bundy 用集合表示命题 封闭世界假设 为了使信任集完备，需要加入假设集 如果不能证明P，则可以把~P加入 谓词完备化方法 如果对任意x=a则P(x) 使其完备，加入若P(x)则x=a 默认推理法 规则的描述 A:B/C 如果A，只要不出现B则C成立 限制方法 谓词完备化 仅加入使得结论能够成立的最少假设 正确性维持系统TMS 用IN，OUT这样的状态表示默认的推理性能 IN：相信为真 OUT：相信不为真 事实需要其他事实的支持 定性推理方法 定性方程法 进程方法 定性模拟法 代数方法