×

用分级形式回答集合编程。 (英语) Zbl 1493.68347号

Balduccini,Marcello(编辑)等人,《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10377, 205-211 (2017).
摘要:使用分级形式的答案集编程\((\mathrm{ASP}^{\mathrm{GM}})\)在中引入[Z.Zhang先生S.Zhang先生,莱克特。注释计算。科学。9345, 517–530 (2015;Zbl 1467.68030号)] 提供了一种直观的方式来表达模态概念“至少和……一样多”以及“最多和……”和默认值。本文研究了(mathrm{ASP}^{mathrm}GM})的语义,并考察了它与最新的认知规范语言((mathrm{ASP}^{mathr m{KM}})之间的联系提议于[P.T.Kahl先生精炼认知逻辑程序的语义。德克萨斯理工大学(博士论文)(2014年)]和带有认知否定的答案集编程呈现于[Y.-D.沈T.艾特,艺术。智力。237, 115–135 (2016;Zbl 1358.68278号)]. 特别地,我们定义了一种新的方法来评估\(\mathrm{ASP}^{mathrm}GM}}\)中的分级模式,从而使\(\mathrm{ASP}^{\mathrm{GM}})在语义层面上与\。
关于整个系列,请参见[兹比尔1367.68005].

MSC公司:

68T27型 人工智能中的逻辑
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部