《表2 两种语言形式下约束类型对应表》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《智能飞行能力的知识表示方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

Prolog（Programming in Logic）是面向逻辑和问题，描述逻辑关系和抽象概念，以知识作为处理对象的一种逻辑型人工智能程序设计语言。在Prolog中只需要给出所需的事实和规则，并告诉计算机“做什么”，就可以使用演绎推理方法自动地对问题进行求解。本文采用Prolog语言语法，将飞行器的行为能力分为四类，即计数器约束、逻辑约束、取值范围约束和时序约束。表2给出了两种语言形式下的约束类型对应关系。