15、2APL：实用代理编程语言详解

2APL：实用代理编程语言详解

1. 引言

在代理编程领域，2APL 是一种实用的代理编程语言，它为实现智能代理提供了丰富的编程构造和清晰的语义。本文将详细介绍 2APL 的各种编程元素，包括动作、计划、推理规则、外部环境以及事件和异常处理等方面，同时给出其形式化语义。

2. 2APL 编程元素

2.1 动作

• 目标采用和丢弃动作 ：目标采用动作有两种形式，用于将目标添加到代理的目标库中。目标丢弃动作有三种不同形式，可分别丢弃所有是某个目标逻辑子目标的目标、所有以该目标为逻辑子目标的目标以及恰好是该目标的目标。
  • 目标采用动作 ：
    • adoptgoal+ % ：将目标 % 添加到目标库的开头。
    • adoptgoal- % ：将目标 % 添加到目标库的结尾。
  • 目标丢弃动作 ：
    • dropgoal1 % ：丢弃所有是 % 逻辑子目标的目标。
    • dropgoal2 % ：丢弃所有以 % 为逻辑子目标的目标。
    • dropgoal3 %