模态推理 造句
拼音mó tài tuī lǐ
繁体模態推理
用词语模态推理造句
- 与此相关,考察经典逻辑和模态逻辑中的某些推理规则,讨论这些推理规则在日常推理中的有效性问题,是十分必要的。
- 其目的就是要在这种模型中,对模态逻辑形式推理系统的公理进行语义分析。
- 随着模态逻辑在知识表示及知识推理中的广泛应用,关于模态逻辑的研究越来越引起人们的重视。
- 作为模态逻辑的继承,与数理逻辑的又一外延,时态逻辑断言推理则有效地解决这方面出现的难题。
- 完美信息流推理不涉及模态概念,理想信息逻辑类似经典命题逻辑。
- 限定模态信息流逻辑系统和限定信息流蕴涵逻辑能够表征容错性信息流推理。
- 在第五章中,我们尝试构造能够表征容错性信息流推理的模态信息流逻辑系统。
相关词语
- mó hú模胡
- dà mú sī yàng大模厮样
- mó xiàn模宪
- hǎo mó dāng yàng ér好模当样儿
- mó tài tuī lǐ模态推理
- shì mó世模
- shòu tóu mú zǐ寿头模子
- zào mó造模
- zhì tài稚态
- lè tài乐态
- shēng tài huán jìng生态环境
- róng tài容态
- xīng xīng zuò tài惺惺作态
- tài nóng态浓
- yán liáng shì tài炎凉世态
- yǔ tài yún zōng雨态云踪
- chá tuī察推
- tuī jiè推介
- tuī shàn推嬗
- tuī lún pěng gǔ推轮捧毂
- tuī yàn推验
- tuī jiè推藉
- tuī jiàn推荐
- tuī yuán推原
- lǐ gòu理构
- shè lǐ摄理
- lǐ jì理纪
- shū lǐ输理
- zhuāng lǐ装理
- jí lǐ辑理
- lǐ jì理济
- tōng lǐ通理