音视频-编解码-Agent通信的全信息形式语用方法
音视频-编解码-Agent通信的全信息形式语用方法是指一种基于多智能体系统（Multi-Agent System, MAS）的 Agent 通信方法，该方法旨在解决 Agent 之间的交互协作问题。该方法的核心是基于语用要素（约定）的形式化方法，包括基础语义体系框架和逻辑模型，以及在此基础上的交互协议规约方法。
语用要素（约定）是指 Agent 之间的交互协议，包括语法、语义和语用三位一体的机制。该机制的关键是揭示 Agent 通信中语法、语义、语用三位一体的机制，并开发一种可以利用这种机制的形式化方法来提升 Agent 交互的灵活性。
Agent 通信的全信息形式语用方法的研究动机是揭示 Agent 通信中语法、语义、语用三位一体的机制，并开发一种可以利用这种机制的形式化方法来提升 Agent 交互的灵活性。该方法的主要研究成果包括：
1. 以全信息理论和言语行为理论为指导，在社会约定语义体系的基础上，引入了 Agent 的推理和争论，把语义和语用、公共语用和私有语用结合在一个逻辑框架之中，建立了面向 Agent 对话的 CIFPA 逻辑模型，为灵活的交互协议规约方法提供了基础。
2. CIFPA 逻辑模型以计算树逻辑和动态逻辑为基础，可以简练、自然、无歧义的把 Agent 通信过程的演进描述为一个可以反映交互的静态和动态两个方面的状态变化系统。
3. 给出了约定状态的完整定义，区分了约定生存状态和约定内容状态，符合直觉的认识。
4. 考虑了 Agent 的推理和争论，定义了丰富的交际行为类型。
基于 CIFPA 语义体系，开发了一种灵活的交互协议规约方法，该方法考虑了 Agent 的推理决策能力，能够处理交互过程中的机会和异常，从而使得交互协议具有更好的灵活性。
CIFPA 协议规约方法具有如下优点：
1. 交互协议的规约抽象层次较高，规约要素（约定）简单而带有语义，使得设计人员可以高效方便的定义交互协议。
2. 协议规约当中自然的考虑了 Agent 的推理能力，能够灵活的表示和处理多变的情況。
3. 协议规约本身是声明式（而不是过程式）的，为解释执行和结合推理提供了基础，体现了 Agent 利用知识进行推理的特点，进一步增强了交互协议的灵活性。
此外，该方法还针对 CIFPA 交互协议规约方法，提出了解决方案来对交互协议进行仿真，并且用形式化验证技术来验证协议的一些关键属性。
音视频-编解码-Agent通信的全信息形式语用方法是一种基于多智能体系统（MAS）的 Agent 通信方法，该方法旨在解决 Agent 之间的交互协作问题，具有很高的研究价值和实践价值。
