辽、北水(编辑);罗洁婷(编辑);范德托雷、伦德特(编辑) 新一代AI 2021的逻辑。第一次国际研讨会,LNGAI 2021,2021年6月18日至20日,中国杭州。 (英语) 兹比尔1483.68009 伦敦:学院出版物(ISBN 978-1-84890-373-9)。iv,159页。,开放存取(2021年)。 将索引文章显示为搜索结果。 出版商描述:随着人工智能若干新方向的发展,包括可解释人工智能、伦理人工智能和基于知识的人工智能,相应的逻辑研究方向正在发展:因果推理、规范和价值推理以及知识图推理。在开放的动态环境中,对此类推理建模的主要挑战是处理典型的不完整、不确定、动态和冲突的信息,并向普通人有效解释推理的结果和过程。非单调逻辑和形式论证可以作为应对这些挑战的基本理论。本卷中的论文很好地反映了相关主题的研究现状。本卷的文章将单独进行审查。索引文章:李崇辉;辽、北水,集体论证中内在和外在论证的优势,1-17[Zbl 1484.68230号]福恩市长,大卫;亚历山大·斯蒂恩,使用定理证明进行论证框架分析的灵活方法,18-32[Zbl 1484.68228号]大卫·斯特雷特,因果关系和STIT实验,33-45[Zbl 1484.68314号]Dov Gabbay;提摩太·坎皮克,《Shkop在正式辩论中解决冲突的方法简介》,46-62[Zbl 1484.68229号]加布里埃拉·皮戈齐;朱丽叶·鲁奇,论证空间及其相互作用,63-67[Zbl 1484.68233号]董惠民;Wang,Yi N。,可废止推理的模态逻辑,68-80[Zbl 1484.68227号]卢卡·帕塞托;克里斯塔尼·马特奥(Matteo Cristani);弗朗西斯科·奥利维耶里;圭多州长,将合同文本自动翻译为可废止的道义逻辑,81-92[Zbl 1484.68232号]乔丽莎;沈一奇;于刘文;廖,北水;范德托雷,利安德特,抽象论证中的联盟论证,93-106[Zbl 1484.68234号]达斯,拉米特;拉马努贾姆,R。,社交网络游戏战略的逻辑描述,107-119[Zbl 1484.91079号]雷卡·马尔科维奇;阿姆罗纳贾尔;范德托雷、伦德特,《新一代人工智能:规范和价值推理》,120-131[Zbl 1484.68231号]于哲;Ju,Shier先生,通过基于上下文的论证框架达成共识,132-145[Zbl 1484.68237号]魏斌,用渐进论证模型分析似是而非的推理,146-149[Zbl 1484.68235号]郑恒;格罗西,戴维德;巴特·维尔海伊,案例推理中案例比较的形式化方法:研究摘要,150-153[Zbl 1484.68238号]雷卡·马尔科维奇;罗伊,奥利维尔《将知情权形式化:作为规范立场的认识权》,154-159[Zbl 1484.03037号] 引用于1审查 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 68T27型 人工智能中的逻辑 00B25型 杂项特定利益的会议记录 PDF格式BibTeX公司 XML格式引用 \textit{B.Liao}(编辑)等,新一代AI 2021的逻辑。第一次国际研讨会,LNGAI 2021,2021年6月18日至20日,中国杭州。伦敦:学院出版物(2021;Zbl 1483.68009)