×
托马斯·艾特;汉内斯·斯特拉斯;特鲁什琴斯基，米洛斯奥;斯特凡·沃尔特兰

格哈德·布鲁卡对人工智能的贡献一瞥。 （英语） Zbl 1432.68003号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9060, 1-16 (2015).
总结：格哈德·布鲁卡通过他的想法、合作和指导，对人工智能产生了显著的影响，尤其是在知识表达领域，他的激励能力总是让身边的人惊叹不已。这篇简短的论文提供了对四个研究领域的一瞥，在这四个领域中，Gerd的印记尤为明显，与作者的个人回忆交织在一起，并对Gerd的个人特征进行了评论，这些特征使得他的研究观点对其他人非常有吸引力。
关于整个系列，请参见[Zbl 1303.68014号].

MSC公司：

68-03 计算机科学史
01A70型 传记、讣告、个人信息、参考书目
68T27型 人工智能中的逻辑
68立方英尺 知识表示
68T42型 Agent技术与人工智能

传记参考：

格哈德·布鲁卡

软件：

卡奈德（Carneades）;钻石;CP网络;格拉帕
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Lect。注释计算。科学。9060，1--16（2015；Zbl 1432.68003）
全文： 内政部

参考文献：

[1] Alchourrón，C.，Gärdefors，P.，Makinson，D.：论理论变革的逻辑：部分满足收缩和修正功能。符号逻辑杂志50，510–530（1985）·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] Baral，C.：行动推理：非确定性影响、约束和限定。摘自：《第十四届国际人工智能联合会议（IJCAI）会议记录》，第2017-2023页。Morgan Kaufmann（1995）
[3] Baumann，R.，Brewka，G.：扩展论证框架：强制和单调结果。收录于：Baroni，P.、Cerutti，F.、Giacomin，M.、Simari，G.R.（编辑）《第三届辩论计算模型会议论文集》（COMMA 2010）。《人工智能与应用前沿》，第216卷，第75-86页。IOS出版社（2010）
[4] Baumann，R.、Brewka，G.、Dvořák，W.、Woltran，S.：参数化分割：一种简单的基于修改的方法。收录：Erdem，E.，Lee，J.，Lierler，Y.，Pearce，D.（编辑）《正确推理》。LNCS，第7265卷，第57-71页。施普林格，海德堡（2012）·Zbl 1357.68026号 ·doi:10.1007/978-3642-30743-05
[5] Baumann，R.，Brewka，G.，Strass，H.，Thielscher，M.，Zaslawski，V.：统一作用演算中的状态缺省值和分支。摘自：Lin，F.，Sattler，U.，Truszczynski，M.（编辑）《第十二届知识表示和推理原则国际会议论文集》（KR 2010），第435-444页。AAAI出版社（2010）
[6] Baumann，R.、Brewka，G.、Wong，R.：分裂论证框架：实证评估。收录：Modgil，S.、Oren，N.、Toni，F.（编辑）TAFA 2011。LNCS，第7132卷，第17-31页。斯普林格，海德堡（2012）·doi:10.1007/978-3-642-29184-5_2
[7] Bench-Capon，T.J.M.，Dunne，P.E.：《人工智能与法律的争论：编辑简介》。Artif公司。智力。法律13（1），1-8（2005）·doi:10.1007/s10506-006-9007-z
[8] Bench-Capon，T.J.M.，Dunne，P.E.：人工智能中的论证。人工智能171（10-15），619–641（2007）·Zbl 1168.68560号 ·doi:10.1016/j.artint.2007.05.001
[9] Boutiler，C.，Brafman，R.，Domshlak，C.，Hoos，H.，Poole，D.：CP-nets：一种用条件对等偏好语句表示和推理的工具。《人工智能研究杂志》21，135–191（2003）·Zbl 1080.68685号
[10] Brewka，G.：Tweety-仍在飞行：关于反常鸟类的一些评论适用规则和默认谚语。收录于：Kehler，T.（编辑）《第五届全国人工智能会议论文集》，费城，第8-12页。摩根·考夫曼（1986）
[11] Brewka，G.：框架系统中的继承逻辑。收录于：McDermott，J.P.（编辑）《第十届国际人工智能联合会议论文集》，第483-488页。摩根·考夫曼（1987）
[12] Brewka，G.：首选子理论：默认推理的扩展逻辑框架。摘自：Sridharan，N.S.（编辑）《第十一届国际人工智能联合会议论文集》，1989年国际人工智能学会，第1043-1048页。摩根·考夫曼（1989）·Zbl 0713.68053号
[13] Brewka，G.：累积缺省逻辑：为非单调推理规则辩护。人工智能50（2），183-205（1991）·Zbl 0753.03011号 ·doi:10.1016/0004-3702（91）90099-6
[14] 非单调推理：常识的逻辑基础。《剑桥理论计算机科学丛书》，第12卷，剑桥大学出版社（1991年）·Zbl 0723.68099号
[15] Brewka，G.：广义逻辑程序的诱因框架。在：Pereira，L.M.，Nerode，A.（编辑）第二届逻辑编程和非单调推理国际研讨会论文集，第349–564页。麻省理工学院出版社（1993）
[16] Brewka，G.：为默认逻辑添加优先级和特殊性。收录：MacNish，C.、Moniz Pereira，L.、Pearce，D.J.（编辑）JELIA 1994。LNCS，第838卷，第247-260页。斯普林格，海德堡（1994）·Zbl 0988.68614号 ·doi:10.1007/BFb0021977
[17] Brewka，G.：推理默认逻辑中的优先级。载于：AAAI 1994：《第十二届全国人工智能大会论文集》，第2卷，第940–945页。美国人工智能协会（1994）
[18] Brewka，G.：基于缺省逻辑重建Rescher的形式争议理论。摘自：Cohn，A.G.（编辑）《第十一届欧洲人工智能会议论文集》，第366–370页（1994年）
[19] Brewka，G.：具有动态偏好的扩展逻辑程序的良好语义。《人工智能研究杂志》4，19-36（1996）·Zbl 0900.68300号
[20] Brewka，G.：动态论证系统：基于情境演算的论证过程的形式化模型。《逻辑与计算杂志》11（2），257–282（2001）·Zbl 0986.68141号 ·doi:10.1093/log.com/11.2.257
[21] Brewka，G.：有序析取逻辑编程。摘自：Dechter，R.，Sutton，R.S.（编辑）《第18届全国人工智能会议和第14届人工智能创新应用会议论文集》，AAAI/IAAI-2002，第100-105页。AAAI出版社（2002）
[22] Brewka，G.：答案集优化的复杂偏好。摘自：Dubois，D.，Welty，C.A.，Williams，M.-A.（编辑）《第九届知识表示与推理原则国际会议论文集》，KR-2004，第213-223页。AAAI出版社（2004）
[23] Brewka，G.：一种基于等级的描述语言，用于定性偏好。摘自：de Mántaras，R.L.，Saitta，L.（编辑）《第16届欧洲人工智能会议论文集》，ECAI-2004，第303-307页。IOS出版社（2004）
[24] Brewka，G.：非单调的论证工具。收录：Janhunen，T.，Niemelä，I.（编辑）JELIA 2010。LNCS，第6341卷，第1-6页。斯普林格，海德堡（2010）·Zbl 1306.68185号 ·doi:10.1007/978-3-642-15675-5_1
[25] Brewka，G.：面向反应性多上下文系统。收录：Cabalar，P.，Son，T.C.（编辑）LPNMR 2013。LNCS，第8148卷，第1-10页。斯普林格，海德堡（2013）·兹比尔1405.68374 ·doi:10.1007/978-3-642-40564-8_1
[26] Brewka，G.，Benferhat，S.，Le Berre，D.：定性选择逻辑。人工智能157（1-2），203-237（2004）·Zbl 1085.68159号 ·doi:10.1016/j.artint.2004.04.006
[27] Brewka，G.，Dunne，P.E.，Woltran，S.：《抽象辩证框架和标准AF的语义关联》，摘自：Walsh，T.（ed.）《第22届国际人工智能联合会议论文集》（IJCAI 2011），第780-785页。AAAI出版社（2011）
[28] Brewka，G.，Eiter，T.：扩展逻辑程序的首选答案集。人工智能109（1-2），297–356（1999）·Zbl 0916.68091号 ·doi:10.1016/S0004-3702（99）00015-6
[29] Brewka，G.，Eiter，T.：确定默认逻辑的优先级。摘自：Hölldobler，S.（主编）《智能与计算逻辑》（在沃尔夫冈·比贝尔60岁生日之际）。《应用逻辑系列》，第19卷，第27-45页。Kluwer（2000）·Zbl 0997.03032号 ·doi:10.1007/978-94-015-9383-03
[30] Brewka，G.，Eiter，T.：异质非单调多上下文系统的平衡。摘自：《第二十届AAAI人工智能会议论文集》，第385-390页。AAAI出版社（2007）
[31] Brewka，G.，Eiter，T.：论证语境系统：抽象群体论证的框架。In:Erdem，E.，Lin，F.，Schaub，T.（编辑）LPNMR 2009。LNCS，第5753卷，第44-57页。斯普林格，海德堡（2009）·Zbl 1258.68154号 ·doi:10.1007/978-3-642-04238-67
[32] Brewka，G.，Eiter，T.，Fink，M.：非单调多上下文系统：集成异构知识源的灵活方法。收录：Balduccini，M.，Son，T.C.（编辑）逻辑编程、知识表示和非单调推理。LNCS，第6565卷，第233-258页。斯普林格，海德堡（2011）·Zbl 1326.68273号 ·doi:10.1007/978-3642-20832-4_16
[33] Brewka，G.、Eiter，T.、Fink，M.、Weinzierl，A.：托管多上下文系统。摘自：Walsh，T.（编辑）《第22届国际人工智能联合会议论文集》（IJCAI 2011），第786–791页。AAAI出版社（2011）
[34] Brewka，G.，Ellmauthaler，S.，Strass，H.，Wallner，J.P.，Woltran，S.：重新审视抽象辩证框架。参见：Rossi，F.（编辑）《第23届国际人工智能联合会议论文集》（IJCAI 2013），第803-809页。IJCAI/AAAI（2013）
[35] Brewka，G.，Gordon，T.F.：卡奈德和抽象辩证框架：重建。收录于：Baroni，P.、Cerutti，F.、Giacomin，M.、Simari，G.R.（编辑）《第三届辩论计算模型会议论文集》（COMMA 2010）。《人工智能与应用前沿》，第216卷，第3-12页。IOS出版社（2010）
[36] Brewka，G.，Gottlob，G.：默认逻辑的良好语义。芬丹。通知。 31(3/4), 221–236 (1997) ·Zbl 0902.03013号
[37] Brewka，G.，Hertzberg，J.：如何用世界做事：关于规范行动和计划。《逻辑与计算杂志》3（5），517-532（1993）·Zbl 0802.68145号 ·doi:10.1093/logcom/3.5.517
[38] Brewka，G.，Konolige，K.：一般逻辑程序和其他非单调系统的溯源框架。收录于：Bajcsy，R.（编辑）《第十三届国际人工智能联合会议论文集》，第9-17页。Morgan Kaufmann（1993）
[39] Brewka，G.，Niemelä，I.，Syrjänen，T.：有序析取的逻辑程序。计算智能20（2），335–357（2004）·doi:10.1111/j.0824-7935.2004.00241.x
[40] Brewka，G.，Niemelä，I.，Truszczynski，M.：答案集优化。收录于：Gottlob，G.，Walsh，T.（编辑）《第18届国际人工智能联合会议论文集》，IJCAI-2003，第867-872页。Morgan Kaufmann（2003）
[41] Brewka，G.、Niemelä，I.、Truszczynski，M.：优先组件系统。收录于：Veloso，M.M.，Kambhampati，S.（编辑）《第20届全国人工智能会议和第17届人工智能创新应用会议论文集》，AAAI/IAAI-2005，第596-601页。AAAI出版社（2005）
[42] Brewka，G.，Polberg，S.，Woltran，S.：粪便框架的概括及其在形式论证中的作用。IEEE智能系统29（1），30–38（2014）·doi:10.1109/MIS.2013.122
[43] Brewka，G.，Prakken，H.，Vreeswijk，G.：计算辩证法专题：导论。《逻辑与计算杂志》13（3），317–318（2003）·doi:10.1093/logcom/13.3.317
[44] Brewka，G.，Roelofsen，F.，Serafini，L.：语境默认推理。收录于：Veloso，M.M.（编辑）IJCAI 2007，《第20届国际人工智能联合会议论文集》，第268-273页（2007）
[45] Brewka，G.，Truszczynski，M.，Woltran，S.：表示集合之间的偏好。摘自：Fox，M.，Poole，D.（编辑）《第24届AAAI人工智能会议论文集》，AAAI-2010，第273-278页。AAAI出版社（2010）
[46] Brewka，G.，Woltran，S.：抽象辩证框架。摘自：Lin，F.，Sattler，U.，Truszczynski，M.（编辑）《第十二届知识表示和推理原则国际会议论文集》（KR 2010），第780-785页。AAAI出版社（2010）
[47] Brewka，G.，Woltran，S.：GRAPPA：基于图的参数处理的语义框架。摘自：Schaub，T.、Friedrich，G.、O'Sullivan，B.（编辑）ECAI 2014-第21届欧洲人工智能会议。《人工智能与应用前沿》，第263卷，第153-158页。IOS出版社（2014）·Zbl 1366.68281号
[48] Denecker，M.，Marek，V.W.，Truszczynski，M.：终极逼近及其在非单调知识表示系统中的应用。Inf.计算。 192(1), 84–121 (2004) ·Zbl 1074.68069号 ·doi:10.1016/j.ic.2004.02.004
[49] Diller，M.，Wallner，J.P.，Woltran，S.：使用量化布尔公式在抽象辩证框架中进行推理。收录于：Parsons，S.、Oren，N.、Reed，C.、Cerutti，F.（编辑）《论证的计算模型——2014年COMMA会议录》。《人工智能与应用前沿》，第266卷，第241-252页。IOS出版社（2014）
[50] Dung，P.M.：关于论点的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用。人工智能77（2），321–358（1995）·Zbl 1013.68556号 ·doi:10.1016/0004-3702（94）00041-X
[51] Ellmauthaler，S.，Strass，H.：论证的钻石体系：初步报告。CoRR，abs/1312.6140（2013）
[52] Ellmauthaler，S.，Strass，H.：使用抽象辩证框架进行计算的DIAMOND系统。收录于：Parsons，S.、Oren，N.、Reed，C.、Cerutti，F.（编辑）《论证的计算模型——2014年COMMA会议录》。《人工智能与应用前沿》，第266卷，第233-240页。IOS出版社（2014）
[53] Ellmauthaler，S.，Wallner，J.P.：用asp。收录于：Verheij，B.、Szeider，S.、Woltran，S.（编辑）《论证的计算模型——2012年COMMA会议录》。《人工智能与应用前沿》，第245卷，第505-506页。IOS出版社（2012）
[54] Gaggl，S.A.，Strass，H.：分解抽象辩证框架。收录于：Parsons，S.、Oren，N.、Reed，C.、Cerutti，F.（编辑）《论证的计算模型——2014年COMMA会议录》。《人工智能与应用前沿》，第266卷，第281-292页。IOS出版社（2014）
[55] Gelfond，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代计算9，365–385（1991）·Zbl 0735.68012号 ·doi:10.1007/BF03037169
[56] Ghidini，C.，Giunchiglia，F.：局部模型语义或上下文推理=局部性+兼容性。人工智能127（2），221-259（2001）·Zbl 0969.68141号 ·doi:10.1016/S0004-3702（01）00064-9
[57] Ginsberg，M.L.，Smith，D.E.：行动推理I：一种可能的世界方法。人工智能35，233–258（1987）
[58] Giunchiglia，F.，Serafini，L.：多语言层次逻辑或：没有模态逻辑我们怎么办。人工智能65（1），29-70（1994）·Zbl 0787.68093号 ·doi:10.1016/0004-3702（94）90037-X
[59] Goncalves，R.，Knorr，M.，Leite，J.：发展中的多上下文系统。摘自：Schaub，T.、Friedrich，G.、O'Sullivan，B.（编辑）《第21届欧洲人工智能会议论文集》，ECAI 2014。《人工智能与应用前沿》，第263卷，第225–230页。IOS出版社（2014）
[60] Gottlob，G.：将默认逻辑转换为标准自认知逻辑。J.ACM 42（4），711-740（1995）·Zbl 0884.03025号 ·doi:10.145/210332.210334
[61] Junker，U.，Brewka，G.：在TMS中处理部分排序的默认值。收录于：Kruse，R.，Siegel，P.（编辑）ECSQAU 1991和ECSQARU 1991。LNCS，第548卷，第211-218页。斯普林格，海德堡（1991）·doi:10.1007/3-540-54659-691
[62] G.N.卡塔：两个反例与贝克的框架问题方法有关。人工智能69（1-2），379–391（1994）·Zbl 0938.68838号 ·doi:10.1016/0004-3702（94）90089-2
[63] Kraus，S.、Lehmann，D.、Magidor，M.：非单调推理、优先模型和累积逻辑。人工智能44，167–207（1990）·Zbl 0782.03012号 ·doi:10.1016/0004-3702（90）90101-5
[64] Lehmann，D.，Magidor，M.：有条件的知识库需要什么？人工智能55，1–60（1992）·Zbl 0762.68057号 ·doi:10.1016/0004-3702（92）90041-U
[65] Linsbichler，T.：分裂抽象辩证框架。收录于：Parsons，S.、Oren，N.、Reed，C.、Cerutti，F.（编辑）《论证的计算模型——2014年COMMA会议录》。《人工智能与应用前沿》，第266卷，第357-368页。IOS出版社（2014）
[66] Lukaszewicz，W.：非单调推理——常识推理的形式化。埃利斯·霍伍德（1990）
[67] 麦凯恩，N，特纳，H：一个关于后果和资格的因果理论。摘自：《第十四届国际人工智能联合会议（IJCAI）会议记录》，第1978-1984页。Morgan Kaufmann（1995）
[68] McCarthy，J.：界限——一种非单调推理形式。人工智能13（1-2），27–39（1980）·Zbl 0435.68073号 ·doi:10.1016/0004-3702（80）90011-9
[69] McCarthy，J.：关于形式化上下文的注释。收录于：Bajcsy，R.（编辑）《第十三届国际人工智能联合会议论文集》，第555-562页。Morgan Kaufmann（1993）
[70] McDermott，D.，Doyle，J.：非单调逻辑I.人工智能13，41–72（1980）·Zbl 0435.68074号 ·doi:10.1016/0004-3702（80）90012-0
[71] Moore，R.：非单调逻辑的语义考虑。人工智能25，75–94（1985）·Zbl 0569.68079号 ·doi:10.1016/0004-3702（85）90042-6
[72] Pearl，J.：系统Z：默认值的自然排序，适用于非单调推理。摘自：《关于知识推理理论方面的第三届会议论文集》，TARK 1990年，第121-135页。摩根·考夫曼（1990）
[73] Polberg，S.：抽象辩证框架的基于扩展的语义。CoRR，abs/1405.0406（2014）·Zbl 1394.68374号
[74] Polberg，S.，Doder，D.：概率抽象辩证框架。收录：Fermé，E.，Leite，J.（编辑）JELIA 2014。LNCS，第8761卷，第591-599页。斯普林格，海德堡（2014）·Zbl 1343.68228号 ·doi:10.1007/978-3-319-11558-042
[75] 普尔：默认推理的逻辑框架。人工智能36（1），27–47（1988）·Zbl 0647.68094号 ·doi:10.1016/0004-3702（88）90077-X
[76] Reiter，R.：默认推理的逻辑。人工智能13（1-2），81–132（1980）·Zbl 0435.68069号 ·doi:10.1016/0004-3702（80）90014-4
[77] Reiter，R.：《行动中的知识：指定和实现动态系统的逻辑基础》。麻省理工学院出版社（2001）·Zbl 1018.03022号
[78] Shapiro，S.、Brewka，G.：目标和信念之间的动态互动。收录于：IJCAI 2007：第20届国际人工智能联合会议记录，第2625-2630页。摩根考夫曼出版公司（2007）
[79] Šimko，A.：基于规则偏好的逻辑编程。斯洛伐克布拉迪斯拉发夸美纽斯大学数学、物理和信息学院博士论文（2014年）
[80] Strass，H.：抽象辩证框架的近似运算符和语义。人工智能205，39–70（2013）·兹比尔1334.68212 ·doi:10.1016/j.artint.2013.09.004
[81] 斯特拉斯，H.：在抽象辩证框架中实例化知识库。收录人：Leite，J.、Son，T.C.、Torroni，P.、van der Torre，L.、Woltran，S.（编辑）CLIMA XIV 2013。LNCS，第8143卷，第86–101页。斯普林格，海德堡（2013）·兹比尔1343.68229 ·doi:10.1007/978-3-642-40624-96
[82] Strass，H.：关于论证框架、常规逻辑程序和抽象辩证框架的相对表达性。收录：Konieczny，S.，Tompits，H.（编辑）第十五届非单调推理国际研讨会论文集（2014）
[83] Strass，H.，Wallner，J.P.：通过近似不动点理论分析抽象辩证框架的计算复杂性。摘自：《第十四届知识表示与推理原则国际会议论文集》，第101-110页。AAAI出版社（2014）·Zbl 1346.68188号
[84] Tasharofi，S.，Ternovska，E.：广义多上下文系统。收录于：Baral，C.、Giacomo，G.D.、Eiter，T.（编辑）《第十四届知识表示与推理原则国际会议论文集》，第368-377页。AAAI出版社（2014）
[85] 蒂尔舍尔，M.：分枝和因果关系。人工智能89（1-2），317-364（1997）·Zbl 1018.03514号 ·doi:10.1016/S0004-3702（96）00033-1
[86] Winslett，M.：使用可能的模型方法推理行动。摘自：《第七届全国人工智能会议记录》（AAAI 1988），第89–93页（1988）
[87] Witteveen，C.，Brewka，G.：持怀疑态度的理由维护和信念修正。人工智能61（1），1-36（1993）·Zbl 0779.68081号 ·doi:10.1016/0004-3702（93）90090-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。