DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

On the threshold of forgetting: Amnesiac identities and the Brazilian capital

Centuries after Locke asserted the importance of memory to identity, Freudian psychology argued that what was forgotten was of equal importance as to what was remembered. The closing decades of the nineteenth century saw a rising interest in the nature of forgetting, resulting in a reassessment and newfound distrust of the long revered faculty of memory. The relationship between memory and identity was inverted, seeing forgetting also become a means for forging identity. This newfound distrust of memory manifested in the writings of Nietzsche who in 1874 called for society to learn to feel unhistorically and distance itself from the past - in what was essentially tantamount to a cultural forgetting. Following the Nietzschean call, the architecture of Modernism was also compelled by the need to 'overcome' the limits imposed by history. This paper examines notions of identity through the shifting boundaries of remembering and forgetting, with particular reference to the construction of Brazilian identity through the ‘repression’ of history and memory in the design of the Brazilian capital. Designed as a forward-looking modernist utopia, transcending the limits imposed by the country's colonial heritage, the design for Brasilia exploited the anti-historicist agenda of modernism to emancipate the country from cultural and political associations with the Portuguese Empire. This paper examines the relationship between place, memory and forgetting through a discussion of the design for Brasilia.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Recruitment of single human low-threshold motor units with increasing loads at different muscle lengths

We investigated the recruitment behaviour of low threshold motor units in flexor digitorum superficialis by altering two biomechanical constraints: the load against which the muscle worked and the initial muscle length. The load was increased using isotonic (low load), loaded dynamic (intermediate load) and isometric (high load) contractions in two studies. The initial muscle position reflected resting muscle length in series A, and a longer length with digit III fully extended in series B. Intramuscular EMG was recorded from 48 single motor units in 10 experiments on five healthy subjects, 21 units in series A and,27 in series B, while subjects performed ramp up, hold and ramp down contractions. Increasing the load on the muscle decreased the force, displacement and firing rate of single motor units at recruitment at shorter muscle lengths (P < 0.001, dependent t-test). At longer muscle lengths this recruitment pattern was observed between loaded dynamic and isotonic contractions, but not between isometric and loaded dynamic contractions. Thus, the recruitment properties of single motor units in human flexor digitorum superficialis are sensitive to changes in both imposed external loads and the initial length of the muscle. (C) 2003 Elsevier Ltd. All rights reserved.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Mid-thoracic tenderness: a comparison of pressure pain threshold between spinal regions, in asymptomatic subjects

Palpation for tenderness forms an important part of the manual therapy assessment for musculoskeletal dysfunction, In conjunction with other testing procedures it assists in establishing the clinical diagnosis. Tenderness in the thoracic spine has been reported in the literature as a clinical feature in musculoskeletal conditions where pain and dysfunction are located primarily in the upper quadrant. This study aimed to establish whether pressure pain thresholds (PPTs) of the mid-thoracic region of asymptomatic subjects were naturally lower than those of the cervical and lumbar areas. A within-subject study design was used to examine PPT at four spinal levels C6, T4, T6, and L4 in 50 asymptomatic volunteers. Results showed significant (P < 0.001) regional differences. PPT values increased in a caudal direction. The cervical region had the lowest PPT scores, that is was the most tender. Values increased in the thoracic region and were highest in the lumbar region. This study contributes to the normative data on spinal PPT values and demonstrates that mid-thoracic tenderness relative to the cervical spine is not a normal finding in asymptomatic subjects. (C) 2001 Harcourt Publishers Ltd.