GI-log公司 swMATH ID: 28522 软件作者： 张志正；王斌；张树涛 描述： 具有分级自省的逻辑编程。本文开发了一种逻辑编程语言GI-log，它用一种新的分级形式Kω扩展了答案集编程语言，其中ω是满足ω[0,1]的区间。情态用于规则体中的文字之前，因此允许在存在多个信念集的情况下表示分级自省：KωF直观地表示：已知F为真的信念集的比例在区间ω中。我们定义了GI-log的语义，研究了它与强自省语言的关系，给出了计算GI-log程序解的算法，并研究了GI-log在形式化上下文推理、阈值一致规划和图形问题建模中的应用。 主页： https://content.iospress.com/articles/fundamenta-informatcae/fi1400 关键词： 逻辑程序设计;认知规范;分级自省 相关软件： 出售;克林戈;格林戈;WASP公司;Lpopt公司;高温气冷堆;github;ELPS公司;ESP处理器;ES模型;GISolver公司;EHEX公司;Wviews公司;Potassco公司 引用于： 3文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 具有分级自省的逻辑编程。 Zbl 1375.68038号张志正;王斌;张树涛 2016 全部的 前5名9位作者引用 1 曼纽尔·比什勒 1 Patrick Thor卡尔 1 安东尼·勒克莱尔（Anthony P.Leclerc）。 1 迈克尔·莫拉克 1 Tran，儿子Cao 1 王斌 1 斯特凡·沃尔特兰 1 张书涛 1 张志正 3篇连载文章中引用 1 数学与人工智能年鉴 1 计算机基础理论 1 逻辑程序设计理论与实践 在2个字段中引用 3 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文