“克里普克结构”的概念、定义、翻译、参考文献-科学参考

单词	克里普克结构
释义	克里普克结构 Encyclopedia 理学形式模型释 Kripke structure克里普克结构针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～）于1963年提出。 Computer 人工智能人工智能逻辑释文 Kripke structure克里普克结构
随便看	航空发动机部件系统试验航空发动机间隙测量航空发动机防冰系统航空发动机附件传动系统试验航空发动机降噪设计航空发动机隐身设计航空发动机雷达散射测量航空发动机风扇航空发动机飞行试验航空发动机验证机航空发动机高温测量航空发动机高空模拟试验航空可靠性工程航空器航空器事故航空器事故和征候调查航空器初步系统安全性评估航空器制造技术航空器功能危险评估航空器危险严重性航空器危险可能性航空器命名航空器地面试验航空器失效状态航空器夹层结构

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。