随着社会经济的不断发展,拍卖在现实生活中的应用越来越广泛。现有的拍卖描述语言大多为特定拍卖设计或只能描述和推理特定场景中的基本拍卖规则,而参与者的策略通常被忽略如何设能够在不同拍卖机制中都可以描述并且具有一定的策略推理能力的通用拍卖语言,本文的工作及研究内容如下:（1）研究了通用描述语言在拍卖领域的应用。设计了一种通用的拍卖描述语言以及表示模型使得代理可以通过该语言以统一的框架描述各种拍卖机制。本研究扩展并修改博弈描述语言的部分算子和模型并通过认知策略来表示和推理拍卖中的领域知识。首先在原有博弈表示模型的基础上加入拍卖特有的支付和分配算子,并在语法和语义方面做出适应性修改;接着以组合拍卖和同物品拍卖为例运用拍卖描述语言对其分别进行描述并描述及证明拍卖机制的基本属性,对通用拍卖描述语言的策略推理做出分析;最后,对比其它描述语言,并通过实验对比不同语言描述下各类型拍卖的执行效率进一步验证通用拍卖描述语言的可行性及有效性。（2）研究了通用拍卖描述语言的表达能力与通用性。本内容将通用拍卖描述语言的表达能力以模态逻辑中互模拟的方法加以证明。首先定义了博弈描述语言中的互模拟,并研究模型相互之间的模拟能力包括语言在描述不同模型下的可模拟性及语义不变性;其次,定义不同时序深度模拟定义并验证不同深度下的模型在具有相同的深度的状态下仍然满足可模拟性质;接着,对通用拍卖描述语言中的部分算子做出删减,以约化的形式验证该语言满足互模拟性质,并定义认知深度下可模拟概念,进一步证明不同认知深度的两模型,在深度一致时能够满足互模拟性质。最后,验证完整的通用拍卖描述语言的互模拟性以及给出通用拍卖描述语言的通用性命题,并对比博弈描述语言在表达同一模型下的表达能力差异。（3）设计了一个基于通用拍卖描述语言的拍卖表示系统。该系统以通用博弈平台为原型,修改平台中原有博弈描述语言,使得系统能够对输入的执行文件中以通用拍卖描述语言描述的事件进行解析,并由用户指定特定代理参与拍卖,系统输出为对拍卖执行全过程的描述。本系统以一价拍卖和二价拍卖为实例输入,均能得到正确的一价拍卖和二价拍卖的执行结果,说明本系统可靠有效。本文对通用拍卖描述语言进行研究,结果表明通过对博弈描述语言做拍卖相关的扩展,能够实现对多种拍卖机制执行过程的表示,并通过理论证明和实验两部分共同证明了通用拍卖描述语言在拍卖描述领域的贡献。