A Computational Framework for Institutional Agency

This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P\"orn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard Defeasible Logic can be extended to represent these concepts: the resulting system preserves some basic properties commonly attributed to them. In addition, the framework enjoys nice computational properties, as it turns out that the extension of any theory can be computed in time linear to the size of the theory itself.

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.

Variants of temporal defeasible logics for modelling norm modifications

This paper proposes some variants of Temporal Defeasible Logic (TDL) to reason about normative modifications. These variants make it possible to differentiate cases in which, for example, modifications at some time change legal rules but their conclusions persist afterwards from cases where also their conclusions are blocked.

Strategic argumentation: A game theoretical investigation

Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of arguments that have actually been exchanged, and given the probability of the factual premises. The probability of a conclusion is calculated using a standard variant of Defeasible Logic, in combination with standard probability calculus. It is a new element of the present approach that the exchange of arguments is analysed with game theoretical tools, yielding a prescriptive and to some extent even predictive account of the actual course of play. A brief comparison with existing argument-based dialogue approaches confirms that such a prescriptive account of the actual argumentation has been almost lacking in the approaches proposed so far.

Fast Structure-Based Assignment of 15N HSQC Spectra of Selectively 15N-Labeled Paramagnetic Proteins

A novel strategy for fast NMR resonance assignment of N-15 HSQC spectra of proteins is presented. It requires the structure coordinates of the protein, a paramagnetic center, and one or more residue-selectively N-15-labeled samples. Comparison of sensitive undecoupled N-15 HSQC spectra recorded of paramagnetic and diamagnetic samples yields data for every cross-peak on pseudocontact shift, paramagnetic relaxation enhancement, cross-correlation between Curie-spin and dipole-dipole relaxation, and residual dipolar coupling. Comparison of these four different paramagnetic quantities with predictions from the three-dimensional structure simultaneously yields the resonance assignment and the anisotropy of the susceptibility tensor of the paramagnetic center. The method is demonstrated with the 30 kDa complex between the N-terminal domain of the epsilon subunit and the theta subunit of Escherichia Coll DNA polymerase III. The program PLATYPUS was developed to perform the assignment, provide a measure of reliability of the assignment, and determine the susceptibility tensor anisotropy.

Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

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.

Modeling control objectives for business process compliance

Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate history. As organizations strive to meet compliance agendas, there is an evident need to provide systematic approaches that assist in the understanding of the interplay between (often conflicting) business and control objectives during business process design. In this paper, our objective is twofold. We will firstly present a research agenda in the space of business process compliance, identifying major technical and organizational challenges. We then tackle a part of the overall problem space, which deals with the effective modeling of control objectives and subsequently their propagation onto business process models. Control objective modeling is proposed through a specialized modal logic based on normative systems theory, and the visualization of control objectives on business process models is achieved procedurally. The proposed approach is demonstrated in the context of a purchase-to-pay scenario.

Compliance aware business process design

Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which stem from various legislative, standard and business partnership sources. Ensuring the compliance to regulations and industrial standards is an increasingly important issue in the design of business processes. In this paper, we advocate that control objectives should be addressed at an early stage, i.e., design time, so as to minimize the problems of runtime compliance checking and consequent violations and penalties. To this aim, we propose supporting mechanisms for business process designers. This paper specifically presents a support method which allows the process designer to quantitatively measure the compliance degree of a given process model against a set of control objectives. This will allow process designers to comparatively assess the compliance degree of their design as well as be better informed on the cost of non-compliance.

The Arabidopsis mutant iop1 exhibits induced over-expression of the plant defensin gene PDF1.2 and enhanced pathogen resistance

Jasmonate and ethylene are concomitantly involved in the induction of the Arabidopsis plant defensin gene PDF1.2. To define genes in the signal transduction pathway leading to the induction of PDF1.2, we screened for-mutants with induced over-expression of a beta-glucuronidase reporter, under the control of the PDF1.2 promoter. One mutant, iop1 (induced over-expressor of PDF1.2) produced small plants that showed induced over-expression of the pathogenesis-related genes PR-3, PR-4 and PR-1,2 (PDF1.2), combined with a down-regulated induction of PR-1 upon pathogen inoculation. The iop1 mutant showed enhanced resistance to a number of necrotrophic pathogens.

Prostatic Artery Embolization as a Primary Treatment for Benign Prostatic Hyperplasia: Preliminary Results in Two Patients

Symptomatic benign prostatic hyperplasia (BPH) typically occurs in the sixth and seventh decades, and the most frequent obstructive urinary symptoms are hesitancy, decreased urinary stream, sensation of incomplete emptying, nocturia, frequency, and urgency. Various medications, specifically 5-alpha-reductase inhibitors and selective alpha-blockers, can decrease the severity of the symptoms secondary to BPH, but prostatectomy is still considered to be the traditional method of management. We report the preliminary results for two patients with acute urinary retention due to BPH, successfully treated by prostate artery embolization (PAE). The patients were investigated using the International Prostate Symptom Score, by digital rectal examination, urodynamic testing, prostate biopsy, transrectal ultrasound (US), and magnetic resonance imaging (MRI). Uroflowmetry and postvoid residual urine volume complemented the investigation at 30, 90, and 180 days after PAE. The procedure was performed under local anesthesia; embolization of the prostate arteries was performed with a microcatheter and 300- to 500-mu m microspheres using complete stasis as the end point. One patient was subjected to bilateral PAE and the other to unilateral PAE; they urinated spontaneously after removal of the urethral catheter, 15 and 10 days after the procedure, respectively. At 6-month follow-up, US and MRI revealed a prostate reduction of 39.7% and 47.8%, respectively, for the bilateral PAE and 25.5 and 27.8%, respectively, for the patient submitted to unilateral PAE. The early results, at 6-month follow-up, for the two patients with BPH show a promising potential alternative for treatment with PAE.

GIGYF2 mutations are not a frequent cause of familial Parkinson`s disease

Mutations in the Grb10-interacting GYF protein 2 (GIGYF2) gene, within the PARK11 locus, have been nominated as a cause of Parkinson`s disease in Italian and French populations. By sequencing the whole GIGYF2 coding region in forty-six probands (thirty-seven Italians) with familial Parkinson`s disease compatible with an autosomal dominant inheritance, we identified no mutations. Our data add to a growing body of evidence suggesting that GIGYF2 mutations are not a frequent cause of PD. (C) 2009 Elsevier Ltd. All rights reserved.