×
埃米利亚诺·洛里尼;乔瓦尼·萨托

推理社会影响的STIT逻辑。 （英语） Zbl 1417.03225号

螺柱日志。 104，第4期，773-812（2016）.
摘要：在本文中，我们提出了一种在STIT行动方法中建模社会影响的方法。我们的建议包括使用特殊运算符扩展STIT语言，使我们能够表示代理的选择对另一代理的理性选择的影响。

引用于三文件

MSC公司：

03B80号 逻辑的其他应用
03B42型 知识和信念的逻辑（包括信念变化）
03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑
91D10号 社会、社会和城市演变模型
91D20型 数学地理学和人口学

关键词：

STIT逻辑;公理学;影响

软件：

SQEMA公司
PDF格式BibTeX公司 XML格式引用
\textit{E.Lorini}和\textit{G.Sartor}，Stud.Log。104，第4号，773--812（2016；Zbl 1417.03225）
全文： 内政部

参考文献：

[1] Balbiani P.，Herzig A.，Troquard N.：审议性STIT理论的替代公理学和复杂性。《哲学逻辑杂志》37（4），387-406（2008）·Zbl 1151.03008号 ·doi:10.1007/s10992-007-9078-7
[2] Belnap N.，Perloff M.：注意：代词的标准形式。理论54，175-199（1988）·doi:10.1111/j.1755-2567.1988.tb00717.x
[3] Belnap N.、Perloff M.、Xu M.：面向未来：我们不确定世界中的代理人和选择。牛津大学出版社，纽约（2001）
[4] 贝罗夫斯基，B.，《如果、罐和自由意志：问题》，R.凯恩（编辑），《牛津自由意志手册》，牛津大学出版社，牛津，2002年，第181-201页·Zbl 0917.03007号
[5] Blackburn P.，de Rijke M.，Venema Y.：模态逻辑。剑桥大学出版社，剑桥（2001）·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884
[6] Broersen J.：逻辑与时间。符号逻辑杂志44，556-582（1979）·兹伯利0423.03018
[7] Broersen，J.，《知识和行动的完整STIT逻辑及其一些应用》，载于《第六届声明性代理语言和技术国际研讨会论文集》（DALT 2008），LNCS第5397卷，斯普林格，海德堡，2008年，第47-59页·Zbl 1207.03021号
[8] Broersen J.：从Stit对故意行为的逻辑分析开始。《哲学逻辑杂志》40，399-420（2011）·兹比尔1241.03019 ·doi:10.1007/s10992-011-9190-6
[9] Broersen J.：道义认知主义——犯罪意图的逻辑区分模式。应用逻辑杂志9（2），137-152（2011）·Zbl 1221.03017号 ·doi:10.1016/j.jal.2010.06.002
[10] Castelfranchi C.：模拟人工智能代理的社会行为。人工智能103（1-2），157-182（1998）·Zbl 0909.68180号 ·doi:10.1016/S0004-3702（98）00056-3
[11] Chellas B.J.：代理逻辑中的时间和形式。Studia Logica《逻辑研究》51，485-517（1992）·Zbl 0788.0302号 ·doi:10.1007/BF01028972
[12] 克拉克，E.M。；施林格洛夫，B.H。；Robinson，A.（编辑）；Voronkov，A.（编辑），模型检查，1635-1790（2001），阿姆斯特丹·兹比尔1066.68075 ·doi:10.1016/B978-044450813-3/50026-6
[13] 科恩·P·R、列夫斯克·H：意图是有承诺的选择。人工智能42（2-3），213-261（1990）·Zbl 0721.03017号 ·doi:10.1016/0004-3702（90）90055-5
[14] Conradie W.，Goranko V.，Vakarelov D.：模态逻辑中的算法对应和完备性I：核心算法SQEMA。计算机科学中的逻辑方法2（1），1-26（2006）·Zbl 1126.03018号 ·doi:10.2168/LMCS-2（1:5）2006年
[15] Elgesem D.：代理的模态逻辑。《北欧哲学逻辑杂志》2，1-46（1997）·Zbl 0934.03027号
[16] Herzig A.，Lorini E.：机构I的动态逻辑：STIT，能力和权力。《逻辑、语言与信息杂志》19（1），89-121（2010）·Zbl 1189.03025号 ·doi:10.1007/s10849-009-9105-x
[17] Herzig，A.和E.Troquard，《知道如何玩：代理逻辑中的统一选择》，载于《第五届国际自治代理和多代理系统联合会议论文集》（AAMAS 2006），美国计算机学会出版社，纽约，2006年，第209-216页·Zbl 1189.03025号
[18] 霍蒂·J·F：代理与道义逻辑。牛津大学出版社，牛津（2001）·Zbl 1119.03313号 ·doi:10.1093/019513413613.001.0001
[19] Horty J.F.，Belnap N.：审议性STIT：对作为、不作为和义务的研究。《哲学逻辑杂志》24（6），583-644（1995）·Zbl 0846.03001号 ·doi:10.1007/BF01306968
[20] 琼斯，A。；塞尔戈特，M。；Meyer，J.J.Ch.（编辑）；Wieringa，R.J.（编辑），《法律和计算机系统的特征：规范系统视角》，275-307（1993），奇切斯特
[21] 康格S.：法律与逻辑。理论38，105-132（1972）·Zbl 0265.02020 ·doi:10.1111/j.1755-2567.1972.tb00928.x
[22] 莱布尼茨，G.W.，《神学：关于上帝的仁慈、人的自由和邪恶起源的论文》，公开法庭，伊利诺伊州拉萨尔，[1719]1985（译：E.M.雨加德）·Zbl 0909.68180号
[23] List，C.和W.Rabinowicz，《关于自由意志的两种直觉：替代可能性和认可》，伦敦经济学院技术报告，伦敦，2013年
[24] 时间STIT逻辑及其在规范推理中的应用。应用非经典逻辑杂志23（4），372-399（2013）·Zbl 1398.03080号 ·doi:10.1080/11663081.2013.841359
[25] Lorini，E.和R.Ciuni，时态STIT逻辑的语义比较，IRIT技术报告，n.IRIT/RT-2015-01-FR，2015·Zbl 1436.03121号
[26] Lorini E.，Schwarzentruber F.：认知游戏的模态逻辑。游戏1（4），478-526（2010）·Zbl 1311.91047号 ·doi:10.3390/g1040478
[27] Lorini E.，Schwarzentruber F.：推理反事实情绪的逻辑。人工智能175（3-4），814-847（2011）·Zbl 1223.68107号 ·doi:10.1016/j.artint.2010.11.022
[28] Meyer J.J.Ch.、van der Hoek W.和van Linder B.：承诺动态的逻辑方法。人工智能113（1-2），1-40（1999）·Zbl 0939.68831号 ·doi:10.1016/S0004-3702（99）00061-2
[29] Moore，G.E.，《伦理学：道德哲学的本质》，牛津大学出版社，牛津，[1912]2005·Zbl 1151.03008号
[30] Panzarasa P.、Jennings N.、Norman T.J.：将多智能体系统中的协作决策和实践推理形式化。逻辑与计算杂志12（1），55-117（2002）·兹比尔1012.91011 ·doi:10.1093/log.com/12.1.55
[31] Plaza，J.，《公共通信逻辑》，第四届智能系统方法学国际研讨会论文集，ACM出版社，纽约，1989年，第201-216页·Zbl 1066.68075号
[32] Pörn I.：权力的逻辑。牛津大学布莱克威尔分校（1970年）
[33] Pörn，I.，《论社会秩序的本质》，J.E.Fenstad、I.T.Frolov和R.Hilpinen（编辑），《逻辑、方法学和科学哲学》，第8卷，荷兰北部，阿姆斯特丹，1989年，第553-67页·Zbl 0694.03003号
[34] 前A：过去、现在和未来。牛津克拉伦登出版社（1967）·Zbl 0169.29802号 ·doi:10.1093/acprof:oso/9780198243113.001.0001
[35] 雷诺M：分支时间公理。逻辑与计算杂志4679-697（2002）·Zbl 1004.03015号 ·doi:10.1093/log.com/12.4.679
[36] Santos，F.、A.Jones和J.Carmo，《描述有组织交互的行动概念》，载于《第三十届夏威夷国际系统科学年会论文集》，IEEE计算机学会，圣何塞，1997年，第373-382页
[37] Schwarzentrouber F.：STIT片段的复杂性结果。Studia Logica 100（5），1001-1045（2012）·Zbl 1283.03036号 ·doi:10.1007/s11225-012-9445-4
[38] van Benthem J.，Liu F.：偏好升级的动态逻辑。应用非经典逻辑杂志17（2），157-182（2007）·Zbl 1186.03034号 ·doi:10.3166/1月17日157-182
[39] Wölf S.：命题Q逻辑。《哲学逻辑杂志》31，387-414（2002）·Zbl 1011.03010号 ·doi:10.1023/A:1020163602542
[40] 徐明：审议性STIT公理。《哲学逻辑杂志》27，505-552（1998）·Zbl 0917.03007号 ·doi:10.1023/A:1004274131669
[41] Zanardo A.：在分支上进行量化的时间逻辑分支：模态逻辑的观点。符号逻辑杂志61（1），143-166（1996）·Zbl 0858.03021号 ·doi:10.2307/2275595
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。