威廉·康雷迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 时间间隔模糊模态逻辑的一种方法。 (英语) Zbl 1464.68349号 De Giacomo,Giuseppe(编辑)等人,《2020年ECAI》。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。325, 696-703 (2020). 摘要:基于区间的时间推理如今在人工智能中无处不在,最具代表性的区间时间逻辑HS是由Halpern和Shoham在80年代引入的。过去,在研究HS及其片段的可满足性问题的表达能力和计算性质方面付出了很大的努力,但直到最近,HS才被提出作为人工智能应用的一种合适的形式。这些应用突出了HS的一些内在局限性:有时,在处理现实生活中的数据时,人们无法以明确、清晰的方式表达时间关系和命题标签。本文遵循Fitting和Zadeh等人的开创性思想,提出了HS的模糊推广,部分地解决了表达能力的问题,并且证明了,与脆情况一样,其可满足性问题通常是不可判定的。关于整个系列,请参见[Zbl 1456.68006号]. 引用于1文件 MSC公司: 68T27型 人工智能中的逻辑 03B44号 时间逻辑 03B52号 模糊逻辑;模糊逻辑 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,前。Artif公司。智力。申请。325696-703(2020年;Zbl 1464.68349) 全文: 内政部