Extend auction description language to represent and reason knowledge in auctions

Abstract

Current auction description only can represent and reason basic auction rules in one specific scene, while player’s strategies are usually dismissed, besides, most of description languages lack of general and reasoning ability to describe the auction process. Facing these problems, the Auction Description Language with Extension (ADLE) is proposed by using epistemic strategy to represent and reason more domain knowledge in various auctions, and extend description language with epistemic operators and state based semantics, thus players’ dynamic strategies are used to describe auction process. Besides, ADLE is proved to meet important economic properties, and more domain knowledge of different auctions, various strategy description can be well described through experiment analysis and setting examples. Finally, through the conducted experiment, auction process time under ADLE is no less than other auction description methods, shows that ADLE used for describing various auctions is effective and feasible.