中文
相关论文

相关论文: Analysing viewpoints in design through the argumen…

200 篇论文

The use of argumentation in education has been shown to improve critical thinking skills for end-users such as students, and computational models for argumentation have been developed to assist in this process. Although these models are…

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving…

人工智能 · 计算机科学 2007-05-23 Patrick Albert , Laurent Henocque , Mathias Kleiner

Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and…

人工智能 · 计算机科学 2011-10-31 Ian P. Gent , Chris Jefferson , Lars Kotthoff , Ian Miguel

From daily discussions to marketing ads to political statements, information manipulation is rife. It is increasingly more important that we have the right set of tools to defend ourselves from manipulative rhetoric, or fallacies. Suitable…

人工智能 · 计算机科学 2023-10-26 Ryuta Arisaka , Ryoma Nakai , Yusuke Kawamoto , Takayuki Ito

Abstract argumentation provides us with methods such as gradual and Dung semantics with which to evaluate arguments after potential attacks by other arguments. Some of these methods can take intrinsic strengths of arguments as input, with…

人工智能 · 计算机科学 2021-09-02 Jeroen Paul Spaans

Abstract argumentation is a popular toolkit for modeling, evaluating, and comparing arguments. Relationships between arguments are specified in argumentation frameworks (AFs), and conditions are placed on sets (extensions) of arguments that…

人工智能 · 计算机科学 2024-08-21 Johannes K. Fichte , Markus Hecher , Yasir Mahmood , Arne Meier

We consider multi-agent argumentation, where each agent's view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur on this basis. We think of a deliberative process as taking…

计算机科学中的逻辑 · 计算机科学 2014-08-08 Truls Pedersen , Sjur Dyrkolbotn

Argumentation frameworks, consisting of arguments and an attack relation representing conflicts, are fundamental for formally studying reasoning under conflicting information. We use methods from mathematical logic, specifically…

人工智能 · 计算机科学 2025-12-01 Uri Andrews , Luca San Mauro

Most people participate in meetings almost every day, multiple times a day. The study of meetings is important, but also challenging, as it requires an understanding of social signals and complex interpersonal dynamics. Our aim this work is…

应用统计 · 统计学 2013-06-11 Been Kim , Cynthia Rudin

In dynamic architectures, component activation and connections between components may vary over time. With the emergence of mobile computing such architectures became increasingly important and several techniques emerged to support in their…

软件工程 · 计算机科学 2017-03-21 Diego Marmsoler

In this article, we are interested in the annotation of transcriptions of human-human dialogue taken from meeting records. We first propose a meeting content model where conversational acts are interpreted with respect to their…

计算与语言 · 计算机科学 2007-05-23 Vincenzo Pallotta , Hatem Ghorbel , Patrick Ruch , Giovanni Coray

Many of the requirements engineering (RE) difficulties have been argued to be due to the evolving nature of design problems in dynamic environments, characterized by high levels of uncertainty, ambiguity and emergence. It has also been…

软件工程 · 计算机科学 2019-03-26 Sami Jantunen , Rex Dumdum , Donald C. Gause

Over the recent twenty years, argumentation has received considerable attention in the fields of knowledge representation, reasoning, and multi-agent systems. However, argumentation in dynamic multi-agent systems encounters the problem of…

人工智能 · 计算机科学 2022-11-30 Minal Suresh Patil

The intent of control argumentation frameworks is to specifically model strategic scenarios from the perspective of an agent by extending the standard model of argumentation framework in a way that takes unquantified uncertainty regarding…

人工智能 · 计算机科学 2022-10-24 Minal Suresh Patil

Product configuration systems are often based on a variability model. The development of a variability model is a time consuming and error-prone process. Considering the ongoing development of products, the variability model has to be…

软件工程 · 计算机科学 2015-04-15 Uwe Lesta , Ina Schaefer , Tim Winkelmann

In dialogical argumentation it is often assumed that the involved parties always correctly identify the intended statements posited by each other, realize all of the associated relations, conform to the three acceptability states (accepted,…

人工智能 · 计算机科学 2017-12-11 Sylwia Polberg , Anthony Hunter

Argumentation is a process of evaluating and comparing a set of arguments. A way to compare them consists in using a ranking-based semantics which rank-order arguments from the most to the least acceptable ones. Recently, a number of such…

人工智能 · 计算机科学 2016-02-03 Elise Bonzon , Jérôme Delobelle , Sébastien Konieczny , Nicolas Maudet

This paper presents an unusual view of interference wireless networks based on complex system thinking. To proceed with this analysis, a literature review of the different applications of complex systems is firstly presented to illustrate…

信息论 · 计算机科学 2013-03-13 Pedro H. J. Nardelli , Paulo Cardieri , William A. Kretzschmar , Matti Latva-aho

The design and development of complex products invariably involves many actors who have different points of view on the problem they are addressing, the product being developed, and the process by which it is being developed. The actors'…

其他计算机科学 · 计算机科学 2007-06-11 Hichem Geryville , Abdelaziz Bouras , Yacine Ouzrout , Nikolaos Sapidis

Modelling qualitative uncertainty in formal argumentation is essential both for practical applications and theoretical understanding. Yet, most of the existing works focus on \textit{abstract} models for arguing with uncertainty. Following…

人工智能 · 计算机科学 2026-02-18 Carlo Proietti , Antonio Yuste-Ginel