Abstract. In this paper, a linearized backward Euler method is discussed for the equations of motion arising in the Oldroyd model of viscoelastic fluids. Some new a priori bounds are obtained for the solution under realistically assumed conditions on the data. Further, the exponential decay properties for the exact as well as the discrete solutions are established. Finally, a priori error estim...

1 University of Tartu, Estonia email: [email protected] Abstract. This paper describes a computational model that we are implementing in an experimental dialogue system. Agreement negotiation process is modelled where one participant is trying to influence his/her partner to agree to do an action. Argumentation is used to direct reasoning of the partner. Our goal is to model natural dialogue wher...

Intention reconsideration is a central challenge in BDI theory. The intention reconsideration models of the early nineties focus on when a commitment may be reconsidered, for example when it has been achieved, when it is no longer achievable, or when the associated goal has been dropped. In this paper, we create an abstract framework in which we add the “reasons” and the “assumptions” that form...

Multiagent systems offer a design paradigm used to conceptualise and implement systems composed of autonomous agents. Autonomy facilitates proactive independent behaviour yet in practice agents are constrained in order to ensure the system satisfies a desired social objective. Explicit constraints on agent behaviour, in the form of social norms, encourage this desirable system behaviour, yet re...

To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reas...

Abstract. Let Fn, n ≥ 2, be the free group with n generators, denoted by U1, U2, . . . , Un. Let C ∗ (Fn) be the full C ∗-algebra of Fn. Let X be the vector subspace of the algebraic tensor product C∗ (Fn) ⊗ C∗ (Fn), spanned by 1 ⊗ 1, U1 ⊗ 1, . . . , Un ⊗ 1, 1 ⊗ U1, . . . , 1⊗Un. Let ‖ · ‖min and ‖ · ‖max be the minimal and maximal C∗ tensor norms on C∗ (Fn)⊗C (Fn), and use the same notation fo...

This article presents a new database of 2,654 German nouns rated by a sample of 3,907 subjects on three psycholinguistic attributes: concreteness, valence, and arousal. As a new means of data collection in the field of psycholinguistic research, all ratings were obtained via the Internet, using a tailored Web application. Analysis of the obtained word norms showed good agreement with two existi...

The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual agents. Recently many programming languages have been proposed to facilitate the implementation of such environments. This extended abstract is motivated by the emerging programming languages that are designed to implement environments in terms of normative concepts su...