克里斯托夫·本兹穆勒 在简单类型理论中结合逻辑。 (英语) Zbl 1286.03111号 Dix,Jürgen(编辑)等人,多智能体系统中的计算逻辑。第11届国际研讨会,CLIMA XI,葡萄牙里斯本,2010年8月16日至17日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14976-4/pbk)。计算机科学课堂讲稿6245。人工智能课堂讲稿,33-48(2010)。 简单类型理论适合作为经典逻辑和非经典逻辑相结合的框架。这一主张基于这样一种观察,即各种著名的逻辑,包括(量化的)多模态逻辑和直觉主义逻辑,都可以优雅地嵌入简单类型理论。此外,简单类型理论对嵌入式逻辑的组合建模具有足够的表达能力,并且具有良好的语义理解。存在用于简单类型理论的非自助式推理系统,这些系统可以统一用于逻辑内部和关于逻辑组合的推理。模态逻辑和其他逻辑的组合与多智能体系统特别相关。关于整个系列,请参见[Zbl 1194.68025号]. 引用于1文件 MSC公司: 03B62号 组合逻辑 03年11月15日 高阶逻辑;类型理论(MSC2010) 68T27型 人工智能中的逻辑 软件:LEO-II型;测试程序集;瑞士法郎;TPTP公司;伊莎贝尔/HOL PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller},莱克特。注释计算。科学。6245、33-48(2010年;Zbl 1286.03111) 全文: 内政部