“Kripke structure”的概念、定义、翻译、参考文献-科学参考

单词	Kripke structure
释义	Kripke structure Encyclopedia 理学形式模型释 Kripke structure克里普克结构针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～）于1963年提出。 Computer 人工智能人工智能逻辑释文 Kripke structure克里普克结构
随便看	active power distribution network active power of alternating current active prominence active prominence region active protection active pull-apart basin active Q switch active Q-switch active Q switching active Q-switching active query active queue management active radar homing guidance active radio frequency identification devices tag active radio frequency identification devices tag, active RFID tag active real-time defense active redundancy active region active-region filament active-region heating active-region loop active reinforcement learning active remanufacturing active remote sensing active resistance factors

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