竞争领域中的决策问题是人工智能领域长期研究的问题。现有的决策方法仅仅模拟了人类决策的一个方面：人类在自身熟悉的领域中往往可以根据以往的竞争经验做出迅速、准确的反应。这些方法的成功与否依赖于是否有足够数量的竞争经验以及拥有的竞争经验是否可靠；忽略了推理性知识在决策过程中的应用。 本文对竞争领域的决策问题提出了新的解决方法，并在理论分析和逻辑基础方面做了一部分工作：建立了竞争领域的概念模型；构造了一种具有动态语义的形式语言，给出了该模型的形式系统；提出了一种新的决策算法，该算法充分利用现有的竞争领域的知识来辅助决策；同时这一决策算法是基于一阶逻辑系统的，因而具有很牢固的理论基础和很强的表达能力，所以具有很广泛的应用范围；引入了诸如状态、系统描述、转换符、迹、支持度等基本概念；描述了知识库的主要组成；并在此基础上给出了寻找达赢迹、达输迹、判断致胜位置、致输位置和计算转换符支持度的算法；最终完成了新的决策算法的整体框架及其一致性定理的证明。