×
Cárdenas-Viedma，医学硕士。;R·玛丽恩。

FTClogic：模糊时间约束逻辑。 （英语） Zbl 1423.03076号

模糊集系统。 363, 84-112 (2019).
总结：在本文中，我们提出了FTCLogic，它是一种形式化的一阶逻辑，可以有效地管理变量之间的模糊时间约束。在这种逻辑中，没有必要使用显式时间公理，因此演绎机制不会因此而变慢。FTCLogic有一个先例：扩展模糊时间约束逻辑或EFTCL。然而，虽然EFTCL是基于时间可能性逻辑的，但FTCLogic使用可能性逻辑来根据其语法形成原始语义。事实上，FTCLogic通过两种形式的强大组合定义了语法和语义：可能性逻辑和模糊时间约束网络。FTCLogic为创建模糊时态PROLOG:PROLogic提供了基础，该PROLOG通过Haskell实现，目前正在进行评估。

MSC公司：

03B52号 模糊逻辑；模糊逻辑
03B44号 时间逻辑
03B70号 计算机科学中的逻辑
68层37 人工智能背景下的不确定性推理

关键词：

非经典逻辑;模糊约束满足;可能性理论;时间推理;近似推理;模糊推理系统;模糊关系

软件：

STeLP公司
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Cárdenas-Viedma}和\textit{R.Marín}，模糊集系统。363，84-112（2019年；兹比尔1423.03076）
全文： 内政部

参考文献：

[1] 阿瓜多，F。；Cabalar，P。；佩雷斯，G。；维达尔，C。；Diéguez，M.，带变量的时序逻辑程序，理论与实践。日志。程序。，17, 2 (2017) ·Zbl 1379.68288号
[2] Allen，J.F.，《保持关于时间间隔的知识》，Commun。ACM，26832-843（1983）·Zbl 0519.68079号
[3] Alsinet，T。；Godo，L.，《用模糊常数实现一阶可能逻辑编程的自动演绎系统》，《国际情报学杂志》。系统。，17, 887-924 (2002) ·Zbl 1021.68022号
[4] Apt，K.R。；van Emden，M.H.，对逻辑编程理论的贡献，J.ACM，29，3，841-862（1982）·Zbl 0483.68004号
[5] 奥古斯托，J.C.，时间推理的逻辑方法，人工制品。智力。版次：16、4、301-333（2001）·Zbl 1014.68157号
[6] 巴罗，S。；马林，R。；米拉·J。；Patón，A.R.，时间模糊表示和处理的模型和语言，模糊集系统。，61, 153-175 (1994)
[7] 布雷索林，D。；V.戈兰科。；Montanari，A。；Sciavicco，G.，《命题区间邻域逻辑：表达性、可判定性和不可判定扩展》，Ann.Pure Appl。逻辑，161289-304（2009）·Zbl 1221.03022号
[8] Cabalar，P。；Diéguez，M.，STeLP-一个用于临时答案集编程的工具（LPNMR’11）。LPNMR’11，《计算机科学讲义》，第6645卷（2011年），施普林格出版社，370-375
[9] 坎波斯，M。；Juarez，J.M。；Palma，J。；马林，R。；Palacios，F.，《禽流感：人与人传播病例的时间模型》，专家系统。申请。，38, 8865-8885 (2011)
[10] Cárdenas-Viedma，文学硕士。；马林，R。；Navarrete，I.，《模糊时间约束逻辑：有效的解析原理》，模糊集系统。，117, 231-250 (2001) ·Zbl 0984.03021号
[11] Cárdenas Viedma，硕士。；纳瓦雷特一世。；Marín，R.，《模糊时间约束逻辑的有效解决机制》，（Goodwin，S.；Trudel，A.，《时间表示与推理学报》（TIME-00）（2000），IEEE计算机学会），39-46
[12] Cárdenas-Viedma，文学硕士。；Marín Morales，R.，《模糊时间约束逻辑的语法和语义》，《数学年鉴》。Artif公司。智力。，36, 357-380 (2002) ·Zbl 1015.68184号
[13] Cárdenas-Viedma，M.A.，完善的模糊时间约束逻辑，IEEE Trans。系统。人类网络。，B部分，网络。，36, 1, 223-228 (2006)
[14] Chang，C。；李R.C.，《符号逻辑与机械定理证明》（1973），学术出版社·Zbl 0263.68046号
[15] Dechter，R。；梅里，I。；Pearl，J.，《时间约束网络》，Artif。智力。，49, 61-65 (1991) ·Zbl 0737.68070号
[16] Dubois，D。；Prade，H.，《可能性理论：计算机处理不确定性的方法》（1988），Plenum出版社：Plenum Press New York·Zbl 0703.68004号
[17] Dubois，D。；Prade，H.，处理模糊时间知识，IEEE Trans。系统。人类网络。，1989年4月19日，第729-744页
[18] Dubois，D。；朗·J。；Prade，H.，《时间可能性逻辑》，Fundam。通知。，十五、 211-234（1991）·Zbl 0745.03019号
[19] Dubois，D。；朗·J。；Prade，H.，《可能性逻辑》（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程逻辑手册》，第3卷（1994）），439-513·Zbl 0810.68005号
[20] Dubois，D。；哈吉·阿里。；Prade，H.，时间推理中的模糊性和不确定性，J.Univers。计算。科学。，9, 9, 1168-1194 (2003)
[21] Dubois，D。；哈吉·阿里。；Prade，H.，《处理时间点之间不确定关系的基于可能性理论的方法》，《国际情报杂志》。系统。，22, 157-179 (2007) ·Zbl 1116.68099号
[22] Dubois，D。；戈多，L。；Prade，H.，《人工智能加权逻辑：介绍性讨论》，《国际期刊近似推理》。，Elsevier，55，9，1819-1829（2014）·Zbl 1329.00195号
[23] Dubois，D。；Prade，H.，可能性理论及其应用：我们站在哪里？，（Kacprzuk，Janusz；Pedrycz，Witold，施普林格计算智能手册（2015），施普林格-柏林-海德堡），31-60
[24] Dubois，D。；Prade，H.，《可能性逻辑——概述》（Siekmann，J.；Gabbay，D.M.；Woods，J.，《逻辑历史手册》第9卷：计算逻辑（2015）），283-342·Zbl 1404.03008号
[25] Galindo Navarro，F.M。；Cárdenas-Viedma，硕士，PROLogic，In:
[26] Gammoudi，A。；Hadjali，A。；Ben Yaghlane，B.，《模糊时间：管理模糊时间信息的智能系统》，《国际智能杂志》。计算。赛博。，10, 2 (2017)
[27] 戈多，L。；Vila，L.，基于模糊时间约束的可能性时间推理，（IJCAI’95（1995），Morgan Kaufmann）
[28] Harrison，J.，《实用逻辑和自动推理手册》（2009），剑桥大学出版社·Zbl 1178.03001号
[29] 考夫曼，A。；Gupta，M.，《模糊算术导论》（1985），Van Nostrand Reinhold：Van Nostrand Reinho尔德，纽约·Zbl 0588.94023号
[30] 卢，Z。；刘杰。；J.奥古斯托。；Wang，H.，《决策的多值时序逻辑和推理框架》，（阮，D.，《复杂决策系统中的计算智能》（2010），亚特兰蒂斯出版社/世界科学：亚特兰蒂斯出版公司/世界科学巴黎/新加坡），127-148，书籍章节
[31] 卢，Z。；J.奥古斯托。；刘杰。；Wang，H.，语言真值时态推理系统（LTR）及其在智能环境设计中的应用，国际计算杂志。智力。系统。，5, 1, 173-196 (2012)
[32] 卢，Z。；J.奥古斯托。；刘杰。；Wang，H。；Aztiria，A.，《对不确定和动态环境进行推理的系统》，国际期刊Artif。智力。工具，2012年5月21日
[33] 马林，R。；巴罗，S。；博世公司。；Mira，J.，《从模糊角度建模时间表示》，Cybern。系统。，25, 2, 207-215 (1994) ·Zbl 0809.68111号
[34] 马林，R。；卡尔德纳斯，医学硕士。；巴尔萨，M。；Sánchez，J.L.，获得模糊约束网络的解，国际期刊近似推理。，16, 3-4, 261-288 (1997) ·Zbl 0939.68116号
[35] Palma，J.T。；马林，R。；桑切斯，J.L。；Palacios，F.，《冠状动脉重症监护病房基于模型的时间外展诊断模型》，（Barro，S.；Marín，R.，《医学中的模糊逻辑》（2002），Physica-Verlag-Heidelberg），205-235
[36] Pnueli，A.，程序的时间逻辑，（第18届计算机科学基础年度研讨会论文集（1977）），46-57
[37] Shoham，Y.，《具体化时间逻辑：语义和本体考虑》（Du Boulay，B.；Hogg，D.；Steels，L.，《人工智能进展》（1987），爱思唯尔科学出版社），183-190年
[38] Struss，P.，《基于间隔的定性推理问题》（Werther，H.，《定性推理：建模和行为的生成》（1994），Springer-Verrag:Springer-Verlag-Wien）·Zbl 0821.68108号
[39] 维拉。；Godo，L.，《关于模糊时间约束网络》，Mathw。软计算。，3, 315-334 (1994) ·Zbl 0833.68012号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。