艾真体有哪几种主要通信语言？它们各有什么特点？

知识询问与操作语言KQML
KQML定义了一种真体间传递信息的标准语法及一些动作表达式，分为通信、消息和内容
三个层次
知识交换语言KIF
其语法基本上类似于用LISP语法书写的一阶谓词演算

略