弗拉基米尔·里巴科夫 通过交互代理进行知识和发现的逻辑-真实和可满足语句的决策算法。 （英语） Zbl 1179.68151号 信息科学。 179，第11期，1608-1614（2009）. 小结：我们通过基于特殊Kripke/Hintikka模型的结构来研究Chance Discovery（CD）操作的逻辑属性。这些模型使用部分排序的索引集（计算中的步骤索引或表示时间流中时间点的索引）和与每个索引关联的状态簇作为基础。用于构建逻辑公式的语言包括模式/时间操作、代理知识的操作、CD的本地和全局操作、本地公共知识的操作以及通过代理交互发现机会的操作。我们引入并研究了一种逻辑（通过代理的交互实现知识和发现）LDK（{textA}），它是由语义定义的，是所有建议模型中有效的所有公式的集合。本文提供了一种识别LDK（{textA}）逻辑律（和可满足公式）的算法。该算法用一个特殊的规则替换一个公式，即所谓的简化范式，然后在规则大小为指数大小的特定模型中验证该规则的有效性。我们证明了计算LDK（{textA}）真逻辑律的问题是可判定的。 引用于10文件 MSC公司： 68T27型 人工智能中的逻辑 关键词：偶然发现;模态逻辑;时序逻辑;代理人的知识逻辑;混合逻辑;可判定性;Kripke-Hintikka模型;推理规则;正规简化形式的规则 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，信息科学。179，第11号，1608--1614（2009；Zbl 1179.68151） 全文： 内政部 参考文献： [1] Akinori Abe，Kiyoshi Kogure，《电子夜莺：护理活动中的危机检测》，收录于：《现实世界决策中的机会发现》，2006年，第357-371页。；Akinori Abe，Kiyoshi Kogure，《E-nightingale:护理活动中的危机检测》，收录于：《现实世界决策中的机会发现》，2006年，第357-371页。 [2] 阿贝、阿基诺里；Ohsawa，Yukio，偶然发现特刊，KES Journal，11，5，255-257（2007） [3] 阿贝、阿基诺里；Norihiro Hagita；Furutani、Michiko；古鲁台、吉崎；Matsuoka，Rumiko，例外作为计算机会发现的机会，KES Journal，2750-757（2008） [4] 马里奥·阿莱（Mario Alai）、基诺·塔罗齐（Gino Tarozzi）（编辑）、卡尔·波普尔（Karl Popper）科学哲学家、鲁贝蒂诺（Rubbettino）编辑、索维里亚·曼内利（Soveria Mannelli），2006年。；马里奥·阿莱（Mario Alai）、基诺·塔罗齐（Gino Tarozzi）（编辑）、卡尔·波普尔（Karl Popper）科学哲学家、鲁贝蒂诺（Rubbettino）编辑、索维里亚·曼内利（Soveria Mannelli），2006年。 [5] Amtoft Torben，Bandhakavi Sruthi，Banerjee Anindya，面向对象程序中信息流的逻辑，摘自：美国国会ACM SIGPLAN-SIGACT，编程语言原理研讨会，2006年，美国国会SIGPLAN通知，ISSN 1523-2867。；Amtoft Torben，Bandhakavi Sruthi，Banerjee Anindya，面向对象程序中信息流的逻辑，摘自：美国国会ACM SIGPLAN-SIGACT，编程语言原理研讨会，2006年，美国国会SIGPLAN公告，ISSN 1523-2867·Zbl 1369.68127号 [6] Amtoft，Torben，《信息流分析逻辑与简单命令程序的前向切片应用》，《计算机编程科学》，64，1，3-28（2007）·兹比尔1171.68538 [7] 阿尔特莫夫（Sergei N.Artmov）。；诺吉纳，埃琳娜，《将证明引入认知逻辑》，《逻辑与计算杂志》，第15期，第6期，第1059-1073页（2005年）·Zbl 1088.03015号 [8] Sergei N.Artmov，Elena Nogina，《证明逻辑的拓扑语义》，CSR 2008，第30-39页。；Sergei N.Artmov，Elena Nogina，《证明逻辑的拓扑语义》，CSR 2008，第30-39页·Zbl 1138.03015号 [9] Goda，Shinichi；Ohsawa，Yukio，《信贷风险管理中的机会发现：通过定向KeyGraph估计连锁反应破产结构》，国际计算科学会议，4142-149（2007） [10] Garcia-Almanza，A.L。；Tsang，E.P.K.，《利用机会发现和基因编程检测股价波动》，《基于知识和智能工程系统国际期刊》，12（2008） [11] 费金，R。；哈尔彭，J。；摩西，Y。；Vardi，M.，《关于知识的推理》（1995），麻省理工学院出版社·Zbl 0839.68095号 [12] 辛提卡，贾科；范达姆，费尔南多，《发现逻辑和话语逻辑》（1986），斯普林格出版社，ISBN:0306421577 [13] S.Kipnis Hahum，《机会之窗：贝克勒尔发现放射性的逻辑和机会》，《透视物理学》（PIP），巴塞尔，第2卷（1），2000年3月，第63-99页。；S.Kipnis Hahum，《机会之窗：贝克勒尔发现放射性的逻辑和机会》，《透视物理学》（PIP），巴塞尔，第2卷（1），2000年3月，第63-99页。 [14] Magnani，L.，科学中的诱拐和偶然发现，基于知识和智能工程系统国际期刊，12（2008） [15] （Ohsawa，Yukio；McBurney，Peter，Chance Discovery（高级信息处理）（2003），Springer-Verlag） [16] Ohsawa，Yukio，《未来情景出现的机会发现》，KES，11-12（2004） [17] Ohsawa，Yukio，Chance discovery，基于数据的系统设计决策，ISDA，1（2006）·Zbl 1054.68800号 [18] Ohsawa，Y。；Ishii，M.，《广告商和设计师之间的差距：可视化信息的结果》，《基于知识和智能工程系统国际期刊》，12（2008） [19] Rybakov，V.V.，模态系统S4和直觉主义逻辑中规则可接受性的标准，代数与逻辑，23，5，369-384（1984），英国。翻译·Zbl 0598.03013号 [20] V.V.Rybakov，《可接受逻辑推理规则——丛书：逻辑和数学基础研究》，第136卷，Elsevier Sci。出版物。，北荷兰，1997年。；V.V.Rybakov，《可接受逻辑推理规则——丛书：逻辑和数学基础研究》，第136卷，Elsevier Sci。出版物。，北荷兰，1997年·Zbl 0872.0302号 [21] Rybakov，V.V.，模态系统S4中允许规则的显式基础的构建，《数学逻辑季刊》，47，4，441-451（2001）·Zbl 0992.03027号 [22] Rybakov，V.V.，有限区间不及物时间线性逻辑中的逻辑连续性，逻辑计算杂志，15，5，633-657（2005）·Zbl 1091.03002号 [23] Rybakov，V.V.，《离散线性时序逻辑中的逻辑连续性》，《符号逻辑杂志》，70，4，1137-1149（2005）·兹比尔1110.03010 [24] V.V.Rybakov，整数上带Until和Before的线性时序逻辑，判定算法。《计算机科学-理论与应用》，《计算机科学讲义》，施普林格出版社，第3967卷，2006年，第322-334页。；V.V.Rybakov，整数上带Until和Before的线性时序逻辑，判定算法。《计算机科学-理论与应用》，《计算机科学讲义》，施普林格出版社，第3967卷，2006年，第322-334页·Zbl 1185.03022号 [25] V.V.Rybakov，《不确定情况下的发现逻辑——决定算法》。摘自：《基于知识的智能系统：KES 2007》，Verti sul Mare，LNAI，Springer，2007年，第4693卷，第950-958页。；V.V.Rybakov，《不确定情况下的发现逻辑——决定算法》。摘自：《基于知识的智能系统：KES 2007》，Verti sul Mare，LNAI，Springer，2007年，第4693卷，第950-958页。 [26] Rybakov，V.，基于整数束的分支时间逻辑，逻辑顺序，判定算法，计算系统理论，43，254-271（2008）·Zbl 1148.03011号 [27] V.Rybakov，《直到和下一个的线性时间逻辑》，《逻辑连续》，《纯粹与应用逻辑年鉴》，2008年，第1-14页，在线出版：《纯粹与应用逻辑年鉴》，2008年，doi:101016/j.apal.2008.03.001。；V.Rybakov，《直到和下一个的线性时间逻辑》，《逻辑连续》，《纯粹与应用逻辑年鉴》，2008年，第1-14页，在线出版：《纯粹与应用逻辑年鉴》，2008年，doi:101016/j.apal.2008.03.01·邮编1147.03008 [28] Van Rijsbergen，C.J.，《信息检索的非经典逻辑》，《计算机杂志》，29，6，481-485（1986）·Zbl 0633.68101号 [29] Thomason，S.K.，时态逻辑的语义分析，《符号逻辑杂志》，37，1（1972）·Zbl 0238.02027 [30] J.van Benthem，《时间的逻辑》，Reidel，Dordrecht，《综合图书馆》，第156卷，1983年。；J.van Benthem，《时间的逻辑》，Reidel，Dordrecht，《综合图书馆》，第156卷，1983年·Zbl 0508.03008号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。