×

在简单类型理论中结合逻辑。 (英语) 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号].

MSC公司:

03B62号 组合逻辑
03年11月15日 高阶逻辑;类型理论(MSC2010)
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部