针对飞行器智能化发展趋势,总结了飞行器实现在线智能行为时应具备的三个方面的能力,提出了实现在线智能行为的基础是飞行器能够全面掌握实现自身能力的约束条件。针对约束条件的无歧义化表示,首先对自然语言表达的行为能力约束条件进行了分类研究,并将其进行形式化,然后采用谓词演算,设计了面向知识库的行为能力形式化语言表示方法。
科研之友
微信
新浪微博
Facebook
分享链接
