参考下面的段落,然后以相同的语言回答后面的问题:  游戏理论在逻辑学和计算机科学中扮演着越来越重要的角色. 一些逻辑理论的基础是游戏语义. 此外,计算机科学家还使用游戏来建模交互计算. 此外,游戏理论为多代理系统领域提供了理论基础. 另外,游戏理论在在线算法中发挥了作用;特别是,k-服务器问题,过去被称为移动成本游戏和请求答复游戏. <unk>的原理是一种游戏理论技术,用于证明随机算法的计算复杂性的下限,特别是在线算法.  问题:游戏理论的基础是什么?
游戏语义