×
塔蒂亚娜·基塞利奥娃;休伯特·瓦格纳

一种用于近似推理的广义时间量词方法。 （英语） Zbl 1068.68146号

模糊集系统。 145，第2期，213-228（2004）.
小结：介绍了一种用于线性时间的相当有表现力的模糊时序逻辑。首先，该逻辑是基于例如“直到”运算符的二值线性时间时序逻辑的多值泛化（Lukasiewicz风格）。其次，它是通过引入一个应用于模糊时间集的广义时间量词（Shen研究的划分算子的推广）来获得的。
在这种模糊时序逻辑中，适用于时序环境中的近似推理的广义组合推理规则被表示为有效的公式。
一些医学实例说明了我们的方法。

MSC公司：

68层37 人工智能背景下的不确定性推理
03B52号 模糊逻辑；模糊逻辑

关键词：

模糊时序逻辑;广义量词;推理合成规则

软件：

简历
PDF格式BibTeX公司 XML格式引用
\textit{T.Kiseliova}和\textit{H.Wagner}，模糊集系统。145，第2号，213--228（2004；Zbl 1068.68146）
全文： 内政部

参考文献：

[1] 阿博德，M.F。；von Keyserlingk博士。；林肯斯博士。；Mahfouf，M.，《模糊技术在医疗保健中的应用调查》，模糊集与系统，120331-349（2001）
[2] K.-P.Adlassnig，医学中的模糊集理论和模糊逻辑，收录于：MIF'99：国际。症状。《医学信息学和模糊技术》，越南河内，第1卷，1999年8月26日至29日，第134-138页。；K.-P.Adlassnig，医学中的模糊集理论和模糊逻辑，收录于：MIF'99：国际。症状。《医学信息学和模糊技术》，越南河内，第1卷，1999年8月26日至29日，第134-138页。
[3] Allen，J.F.，动作和时间的一般模型，人工智能，23，2123-154（1984）·Zbl 0567.68025号
[4] Allen，J.F.，《时间和时间以多种方式代表时间》，《智能系统》，6，4，341-356（1991）
[5] 巴罗，S。；马林·R。；米拉·J。；Paton，A.，时间模糊表示和处理的模型和语言，模糊集和系统，61153-175（1994）
[6] M.Belmonte-Serrano，C.Sierra和R.López de Mantaras，RENOIR：使用模糊逻辑进行风湿病诊断的专家系统，国际。J.智能系统9（1994）985-1000。威利计算出版公司，威利，纽约。；M.Belmonte-Serrano，C.Sierra和R.López de Mantaras，RENOIR：使用模糊逻辑进行风湿病诊断的专家系统，国际。J.智能系统9（1994）985-1000。威利计算出版公司，威利，纽约。
[7] I.Bichidaritz，基于案例推理的时间知识表示和组织，收录于：第三国际。时间表征和推理研讨会（TIME’96），加利福尼亚州洛斯阿拉米托斯，IEEE计算机社会出版社，马里兰州银泉，1996年，第152-159页。；I.Bichidaritz，基于案例推理的时间知识表示和组织，收录于：第三国际。时间表征和推理研讨会（TIME’96），加利福尼亚州洛斯阿拉米托斯，IEEE计算机社会出版社，马里兰州银泉，1996年，第152-159页。
[8] Combi，C。；Shahar，Y.，医学中的时间推理和时间数据维护，计算机。生物医学，27，5，353-368（1997）
[9] Dojat，M。；Pachet，F。；盖索姆，Z。；Touchard，D。；Harf，A。；Brochard，L.，NéoGanesh ICU辅助通气自动控制工作系统，人工智能医学，11，2，97-117（1997）
[10] 多贾特，M。；北卡罗来纳州拉莫克斯。；Fontaine，D.，医学领域时间推理的场景识别，人工智能医学，14，1-2，139-155（1998）
[11] Dubois，D。；Prade，H.，处理模糊时间知识，IEEE Trans。Systems Man Cybernet。，19, 4, 729-744 (1989)
[12] S.Dutta，一种基于事件的模糊时间逻辑，在：Proc。第18届IEEE国际。症状。《关于多值逻辑》，西班牙帕尔马·德·马洛卡出版社，1988年，第64-71页。；S.Dutta，基于事件的模糊时序逻辑，收录于：Proc。第18届IEEE国际。症状。《多值逻辑》，西班牙帕尔马·德·马洛卡出版社，1988年，第64-71页。
[13] 冯，E。；Yang，H。；Rao，M.，用于实时过程状态监测和事故预防的模糊专家系统，专家系统应用。，15, 3-4, 383-390 (1998)
[14] D.Gabbay，A.Pnueli，S.Shelah，J.Stavi，《公平的时间分析》，摘自：Proc。第七届ACM年度交响乐团。《编程语言原理》，内华达州拉斯维加斯，1980年1月，第163-173页。；D.Gabbay，A.Pnueli，S.Shelah，J.Stavi，《公平的时间分析》，摘自：Proc。第七届ACM年度交响乐团。《编程语言原理》，内华达州拉斯维加斯，1980年1月，第163-173页。
[15] Gamper，J。；Nejdl，W.，《医学领域的抽象时间诊断》，人工智能医学，10，13，209-234（1997）
[16] 海莫维茨，I.J。；Kohane，I.S.，《为医学趋势诊断管理时间词》，人工智能医学，8299-321（1996）
[17] Hájek，P.，《模糊逻辑的元数学》（1998），Kluwer:Kluwer-Dordrecht，波士顿，伦敦·Zbl 0937.03030号
[18] S.Hanks，D.Madigan，J.Gavrin，《内生变化的概率时间推理》，摘自：Proc。第11届人工智能不确定性年度会议（UAI-95），加拿大蒙特利尔，1995年8月18日至20日，第245-254页。；S.Hanks，D.Madigan，J.Gavrin，《内生变化的概率时间推理》，摘自：Proc。第11届人工智能不确定性年度会议（UAI-95），加拿大蒙特利尔，1995年8月18日至20日，第245-254页。
[19] D.H.Hung等人，《使用模糊逻辑开发肺部疾病专家系统》，收录于：MIF’99：the Internat。症状。《医学信息学和模糊技术》，越南河内，第1卷，1999年8月26日至29日，第51-62页。；D.H.Hung等人，《使用模糊逻辑开发肺部疾病专家系统》，收录于：MIF’99：the Internat。症状。《医学信息学和模糊技术》，越南河内，第1卷，1999年8月26日至29日，第51-62页。
[20] 伊姆霍夫，M。；Bauer，M。；Gather，美国。；Loehlein，D.，重症监护医学中的时间序列分析，应用。心肺病理生理学，6263-281（1997）
[21] Keravnou，E.T.，基于时间对象的时间诊断推理，人工智能医学，8235-265（1996）
[22] Keravnou，E.T.，《医学中的时间推理》，人工智能医学，8187-191（1996）
[23] Kiseliova，T。；Moraga，C.，《关于将时间纳入医学专家系统》，Tatra Mountains Mathe。出版物。，21, 19-30 (2000) ·Zbl 1042.68675号
[24] T.Kiseliova，C.Moraga，《在医学诊断中使用术语来处理时间》，载：IASTED国际。2000年9月19日至23日，西班牙马贝拉，2000年SPC，Conf.Signal Processing and Communications。；T.Kiseliova，C.Moraga，《医疗诊断中使用术语处理时间》，收录于：IASTED Internat。2000年9月19日至23日，西班牙马贝拉，2000年SPC，Conf.Signal Processing and Communications·Zbl 1042.68675号
[25] T.Kiseliova，C.Moraga，《用模糊逻辑模拟症状和疾病的时间分布》，载于：第九届IFSA世界大会和第二十届NAFIPS国际会议，IFSA/NAFIPS2001，加拿大温哥华，2001年7月25-28日，第1637-1642页。；T.Kiseliova，C.Moraga，《用模糊逻辑模拟症状和疾病的时间分布》，载于：第九届IFSA世界大会和第二十届NAFIPS国际会议，IFSA/NAFIPS2001，加拿大温哥华，2001年7月25-28日，第1637-1642页。
[26] T.Kiseliova，H.Peters，口腔粘膜病变诊断决策，载：B.Reusch（编辑），国际。计算智能会议，德国多特蒙德多特蒙德第七个模糊日，计算机科学讲稿，施普林格，2001年10月1-3日，第33-39页。；T.Kiseliova，H.Peters，口腔粘膜病变诊断中的决策，收录于：B.Reusch（Ed.），Internat。计算智能会议，德国多特蒙德多特蒙德第七个模糊日，计算机科学讲义，施普林格，2001年10月1-3日，第33-39页·Zbl 1043.68840号
[27] Klir，G.J。；克莱尔，U.H。；Yuan，B.，《模糊集理论、基础和应用》（1997），《普伦蒂斯·霍尔：普伦蒂斯霍尔上鞍河》，新泽西州·Zbl 0907.04002号
[28] 拉里扎，C。；贝拉齐，R。；Riva，A.，《糖尿病患者管理的时间抽象》（Keravnou，E.等，《医学中的人工智能》，AIME-97（1997），柏林：柏林施普林格出版社），319-330
[29] Lientz，B.P.，《关于依赖时间的模糊集》，Inform。科学。，4, 367-376 (1972) ·Zbl 0242.90057号
[30] J.Ma，B.Knight，具体化时间逻辑：概述，；J.Ma，B.Knight，《具体化时间逻辑：概述》·Zbl 0984.03017号
[31] 范德马斯，A.A.F。；ter Hofstede，A.H.M。；de Vries Robbé，P.F.，案例报告中时间知识的形式描述，人工智能医学，16，251-282（1999）
[32] Maeda，H。；Asaoka，S。；Murakami，S.，动态模糊推理及其在系统建模中的应用，模糊集与系统，80，101-109（1996）
[33] 马林·R。；Ruiz，R。；马丁·F。；巴罗，S。；Palacios，F.，《医学中的模糊时间推理方法》，Mathware Soft Comput。，3, 265-279 (1994)
[34] Miksch，S。；霍恩，W。；波波，C。；Paky，F.，《利用时间数据抽象进行人工通气新生儿的数据验证和治疗规划》，人工智能医学，8543-576（1996）
[35] Ngo，L。；哈德维，P。；Krieger，R。；Helwig，J.，《通过上下文敏感模型构建的高效时间概率推理》，计算。生物医学，27，5，453-476（1997）
[36] Peek，N.B.，临床管理决策理论规划的显式时间模型，人工智能医学，15，2，135-154（1999）
[37] J.Puyol-Gruart，L.Godo，C.Sierra，《处理MILORD II中的模糊信息》，摘自：Proc。第九交响乐团。《制造业信息控制》（INCOM'98），Nancy Metz，法国，1998年6月24日至26日，第85-90页。；J.Puyol-Gruart，L.Godo，C.Sierra，《处理MILORD II中的模糊信息》，摘自：Proc。第九交响乐团。《制造业信息控制》（INCOM'98），法国南希梅茨，1998年6月24日至26日，第85-90页。
[38] 群谦，达，动态系统中不精确时间知识的表示和使用，模糊集与系统，5059-77（1992）
[39] Raha，S。；Ray，S.，带时间的近似推理，模糊集与系统，107，59-79（1999）·Zbl 0940.68144号
[40] Shahar，Y.，《基于知识的时间抽象框架》，《人工智能》，90，79-133（1997）·Zbl 1017.03517号
[41] 沈东东，划分逻辑与传递闭包逻辑（摘要），布尔。科学。38（1993）1271-1272（中文）。；沈东东，划分逻辑与传递闭包逻辑（摘要），布尔。科学。38（1993）1271-1272（中文）。
[42] 沈东东，命题时间逻辑的划分扩展，未发表论文，1996。；沈荣文，命题时间逻辑的划分扩展，未发表论文，1996。
[43] 沈，E。；Chian，Y.，划分逻辑初等可满足性的向下转移，数学。逻辑夸脱。，46, 477-487 (2000) ·Zbl 0964.03037号
[44] 沈，E。；田强，一元划分逻辑与有限自动机，理论。计算。科学。，166, 63-81 (1996) ·Zbl 0872.03024号
[45] Steinmann，F.，DiaMon-1对时变数据的解释，人工智能医学，8333-357（1996）
[46] H.Thiele，Modales Approximatives Schliessen，技术报告，多特蒙德大学，Lehrstuhl Informatik I，2000年9月。；H.Thiele，Modales Approximatives Schliessen，技术报告，多特蒙德大学，Lehrstuhl Informatik I，2000年9月。
[47] H.Thiele，Zur Behandung von Zeitaspekten im approxiven Schließen，未出版，2001年。；H.Thiele，Zur Behandung von Zeitaspekten im approxiven Schließen，未出版，2001年。
[48] H.Thiele，S.Kalenka，《关于模糊时间逻辑》，载于：Conf.Proc。第二国际。模糊系统会议，旧金山，第二卷，1993年，第1027-1032页。；H.Thiele，S.Kalenka，《关于模糊时间逻辑》，载于：Conf.Proc。第二国际。《模糊系统会议》，旧金山，第二卷，1993年，第1027-1032页。
[49] Vila，L.，《人工智能中时间推理的调查》，AI Comm.，7，4-28（1994）
[50] Virant，J。；Zimic，N.，《模糊逻辑中的时间关注》，模糊集与系统，82，39-49（1996）
[51] Wolper，P.，时间逻辑可以更具表现力，Inform。和控制，56，1-2，72-99（1983）·Zbl 0534.03009号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。