论证理论
计算机科学
三维旋转形式
逻辑程序设计
概率论证
非单调逻辑
人气
论证框架
人工智能
限制
跟踪(心理语言学)
程序设计语言
认知科学
认识论
数学
哲学
心理学
语言学
社会心理学
几何学
标识
DOI:10.1007/978-3-319-61660-5_4
摘要
Argumentation has gained popularity in AI in recent years to support several activities and forms of reasoning. This talk will trace back the logic programming and non-monotonic reasoning origins of two well-known argumentation formalisms in AI (namely abstract argumentation and assumption-based argumentation). Finally, the talk will discuss recent developments in AI making use of computational argumentation, in particular to support collaborative decision making.
科研通智能强力驱动
Strongly Powered by AbleSci AI