×
巴勃罗·卡斯特罗。;迈鲍姆，T.S.E。

道义逻辑，与责任推理和容错相反。 （英语） Zbl 1294.03019号

Marcus，Leo（编辑），容错逻辑方面研讨会论文集（LAFT 2009），美国加利福尼亚州洛杉矶，2009年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》258，第2期，17-34（2009）。
摘要：道义逻辑是在上个世纪上半叶引入的，用于形式化法律推理的各个方面。自那时以来，人们付出了大量努力来改进形式主义并扩大其适用性，包括在计算机科学和软件工程中。其中一部分工作集中于使用基于动作的方法来处理道义运算符，而不是传统的以属性为中心的运算符。我们提出了这种道义逻辑的一个新版本，它具有非常好的元逻辑特性，避免了道义逻辑中的许多传统问题，并且具有与责任推理相反的吸引人的处理方式。这种推理提供了一种关于违反规范约束并描述结果的条件推理。我们展示了如何应用这种形式来表征容错机制，然后对机制的性质进行推理。
关于整个系列，请参见[Zbl 1281.68033号].

引用于1文件

MSC公司：

03B70号 计算机科学中的逻辑
03B45号 模态逻辑（包括规范逻辑）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

容错;道义逻辑;软件规范;软件验证
PDF格式BibTeX公司 XML格式引用
\textit{P.F.Castro}和\textit{T.S.E.Maibaum}，电子。注释Theor。计算。科学。258，编号2，17--34（2009；Zbl 1294.03019）
全文： 内政部

参考文献：

[1] 扎伊尔·阿卜杜洛阿哈布；Braga，Isaias，《自适应列车行车调度员》（自适应列车行车控制器（2008），施普林格：施普林格荷兰），550-555
[2] Abrial，Jean-Raymond，《列车系统》（RODIN Book（2006），Springer）
[3] Aqvist，Lennart，《道义逻辑》（Gabbay，D.M.；Guenther，F.，《哲学逻辑手册》，第2卷（1984年），Kluwer学术出版社），605-714·兹伯利0875.03018
[4] 阿尼什·阿罗拉。容错计算的基础; 阿尼什·阿罗拉。容错计算的基础
[5] 布莱克本，P。；de Rijke，M。；de Venema，Y.，模态逻辑（剑桥理论计算机科学丛书，53（2001））·Zbl 0988.03006号
[6] 巴勃罗·卡斯特罗。用于容错规范和分析的道义行为逻辑; 巴勃罗·卡斯特罗。用于容错规范和分析的道义行为逻辑
[7] 巴勃罗·卡斯特罗和T.S.E.迈鲍姆。一个完整而紧凑的道义行动逻辑。在第四届国际计算理论研讨会; 巴勃罗·卡斯特罗和T.S.E.迈鲍姆。一个完整而紧凑的道义行动逻辑。在第四届国际计算理论研讨会·Zbl 1143.03343号
[8] 巴勃罗·卡斯特罗和T.S.E.迈鲍姆。关于容错推理的应负责任逻辑：腹泻哲学家。在第五届IEEE软件工程和形式化方法国际会议; 巴勃罗·卡斯特罗和T.S.E.迈鲍姆。关于容错推理的应负责任逻辑：腹泻哲学家。在第五届IEEE软件工程和形式化方法国际会议
[9] 巴勃罗·F·卡斯特罗和T·S·E·迈鲍姆。用道义逻辑推理系统退化和故障恢复。在容错方法、模型和工具研讨会; 巴勃罗·卡斯特罗和T.S.E.迈鲍姆。用道义逻辑推理系统退化和故障恢复。在容错方法、模型和工具研讨会·Zbl 1234.68038号
[10] 巴勃罗·卡斯特罗。；Maibaum，T.S.E.，道义行为逻辑的表格系统，（《计算机科学中的道义逻辑》，第九届国际会议，DEON 2008，卢森堡，卢森堡，2008年7月15日至18日（2008），斯普林格），论文集·Zbl 1143.68595号
[11] 巴勃罗·卡斯特罗和T.S.E.迈鲍姆。道义动作逻辑、原子布尔代数和容错。接受发表在《应用逻辑杂志》（2月27日）; 巴勃罗·F·卡斯特罗和T·S·E·迈鲍姆。道义行动逻辑、原子布尔代数和容错。接受发表在《应用逻辑杂志》（2月27日）·Zbl 1193.03060号
[12] Chellas，Brian F.，《模态逻辑：导论》（1999），剑桥大学出版社·Zbl 0431.03009号
[13] 丹尼·多列夫（Danny Dolev）；Strong，H.Raymond，拜占庭协议的认证算法，SIAM J.Compute。，12, 656-666 (1983) ·Zbl 0524.68021号
[14] 福雷斯特、詹姆斯·威廉（James William Forrester），《温和谋杀》（Gentle murray）或《状语撒玛利亚人》（the sufficial samarian），《哲学杂志》，第81期，193-197页（1984年）
[15] Harel，D。；Kozen，D。；Tiuryn，J.，《动态逻辑》（2000），麻省理工学院出版社·Zbl 0976.68108号
[16] 克劳德·亨尼伯特和杰拉德·D·吉奥。SACEM：列车速度控制的容错系统。在第二十三届容错计算国际年会; 克劳德·亨尼伯特和杰拉德·D·吉奥。SACEM：列车速度控制的容错系统。在第二十三届容错计算国际年会
[17] S.Kent、B.Quirk和T.S.E.Maibaum。在模态动作逻辑中指定道义行为。技术报告，森林研究项目，1991年；S.Kent、B.Quirk和T.S.E.Maibaum。在模态动作逻辑中指定道义行为。1991年森林研究项目技术报告
[18] 莱斯利·兰波特（Leslie Lamport）；罗伯特·肖斯塔克（Robert E.Shostak）。；Pease，Marshall C.，拜占庭将军问题，ACM Trans。程序。语言系统。，4, 382-401 (1982) ·Zbl 0483.68021号
[19] T.S.E.迈鲍姆。正式需求规范的逻辑。伦敦帝国理工学院技术报告。1987年林业可交付成果R3；T.S.E.迈鲍姆。正式需求规范的逻辑。伦敦帝国理工学院技术报告。1987年森林交付R3
[20] 保罗·麦克纳马拉。道义逻辑。技术报告，《斯坦福大学哲学百科全书》，2006年；保罗·麦克纳马拉。道义逻辑。技术报告，斯坦福大学哲学百科全书，2006年
[21] Meyer，J.J.，《道义逻辑的不同方法：道义逻辑被视为动态逻辑的变体》，《圣母院形式逻辑杂志》，29（1988）·Zbl 0695.03009号
[22] J.J.Meyer、R.J.Wieringa和F.P.M.Dignum。重温道义逻辑的悖论：计算机科学的视角。UU-CS-1994-38技术报告，乌得勒支大学，1994年；J.J.Meyer、R.J.Wieringa和F.P.M.Dignum。重温道义逻辑的悖论：计算机科学的视角。UU-CS-1994-38技术报告，乌得勒支大学，1994年
[23] 马雷克·塞尔戈特（Marek J.Sergot）和罗伯特·克雷文（Robert Craven）。动作语言nC+的道义成分。DEON公司; 马雷克·塞尔戈特（Marek J.Sergot）和罗伯特·克雷文（Robert Craven）。动作语言nC+的道义成分。DEON公司·Zbl 1148.68489号
[24] 马雷克·塞尔戈特（Marek J.Sergot）和亨利·普拉肯（Henry Prakken）。背离义务。在DEON 94（第二届计算机科学道义逻辑国际研讨会）; 马雷克·塞尔戈特（Marek J.Sergot）和亨利·普拉肯（Henry Prakken）。背离义务。在DEON 94（第二届计算机科学道义逻辑国际研讨会）·Zbl 0873.03025号
[25] 斯里坎思，T.K。；Toueg，Sam，《模拟认证广播以导出简单容错算法》，分布式计算，280-94（1987）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。