传统的目标描述与推理是以一阶逻辑(first order logic ,FOL) 作为理论基础的。直接使 用一阶逻辑存在语义不够自然、推理过程繁琐和没有完备的公理体系等问题。
基于12个网页-相关网页
v fol 跟着我 ; 跟随我
foliated fol 叶片状 ; 薄层状
FOL Fiber Optic Laser 光纤激光器
Fol Chen 表演者
First Fol 第一对开本
Detti FOL 生命之花
FOL Technician 前道技术员
FOL-reducibility 一阶逻辑可归约性
以上来源于: WordNet
FoL: What is the point of any experiment?
所有实验的目的是什么？
Old French picked this up and the word appeared as a Middle English word fol whose earliest written record appears in 1225.
古法语借鉴了这个词，而它最早出现在中世纪英语书面记录的时间是1225年。
The results show that the method proposed in this paper is well suited fol the optimal design of mechanical systems subjected to transient dynamic loads.
计算表明，该方法适用于承受各种时变载荷的机械系统最优设计。
应用推荐