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.

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.

Excitatory synaptic inputs to pyramidal neurons of the lateral amygdala

Whole-cell patch clamp recordings were made from pyramidal neurons in the rat lateral amygdala (LA). Synaptic currents were evoked by stimulating in either the external capsule (ec), internal capsule (ic) or basolateral nucleus (BLA). Stimulation of either the ic, ec or BLA evoked a glutamatergic excitatory synaptic current (EPSC) which was mediated by both non-NMDA and NMDA (N-methyl-D-aspartic acid) receptors, The ratio of the amplitude of the NMDA receptor-mediated component measured at +40 mV to the amplitude of the alpha-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) component measured at -60 mV was similar regardless of whether EPSCs were evoked in the ec, ic or BLA. At resting membrane potentials, excitatory synaptic potentials evoked from either the ec or putative thalamic inputs were unaffected by application of the NMDA receptor antagonist APV. Spontaneous glutamatergic currents had two components to their decay phase. The slow component was selectively blocked by the NMDA receptor antagonist D-APV, indicating that AMPA and NMDA receptors are colocalized in spiny neurons. We conclude that pyramidal cells of the LA receive convergent inputs from the cortex, thalamus and basal nuclei. At all inputs, both AMPA/kainate and NMDA-type receptors are active and colocalized in the postsynaptic density.

Morphological and electrophysiological properties of principal neurons in the rat lateral amygdala in vitro

In this study, we characterize the electrophysiological and morphological properties of spiny principal neurons in the rat lateral amygdala using whole cell recordings in acute brain slices. These neurons exhibited a range of firing properties in response to prolonged current injection. Responses varied from cells that showed full spike frequency adaptation, spiking three to five times, to those that showed no adaptation. The differences in firing patterns were largely explained by the amplitude of the afterhyperpolarization (AHP) that followed spike trains. Cells that showed full spike frequency adaptation had large amplitude slow AHPs, whereas cells that discharged tonically had slow AHPs of much smaller amplitude. During spike trains, all cells showed a similar broadening of their action potentials. Biocytin-filled neurons showed a range of pyramidal-like morphologies, differed in dendritic complexity, had spiny dendrites, and differed in the degree to which they clearly exhibited apical versus basal dendrites. Quantitative analysis revealed no association between cell morphology and firing properties. We conclude that the discharge properties of neurons in the lateral nucleus, in response to somatic current injections, are determined by the differential distribution of ionic conductances rather than through mechanisms that rely on cell morphology.

A medial to lateral shift in pre-movement cortical activity in hemi-Parkinson's disease

Objective: Recent evidence suggests that cortical activity associated with voluntary movement is relatively shifted from medial to lateral premotor areas in Parkinson's disease. This shift occurs bilaterally even for unilateral responses. It is not clear whether the shift in processing reflects an overall change in movement strategy, thereby involving alternate cortical areas, or reflects a compensatory change whereby, given the appropriate conditions, less impaired cortical areas are able to provide a similar function in compensation for those areas which are more impaired. This issue was examined in patients with hemi-Parkinson's disease, in whom basal ganglia impairment is most pronounced in one hemisphere. Methods: Fourteen patients with hemi-Parkinson's disease and 15 age-matched control subjects performed a Go/NoGo finger movement task and the contingent negative variation (CNV) was recorded from 21 scalp positions. Results and conclusions: Maximal CNV amplitudes were found over central medial regions for control subjects, but were shifted more frontally for Parkinson's disease patients, reduced in amplitude over the midline and lateralized towards the side ipsilateral to the greatest basal ganglia impairment. This shift in cortical activity from medial to lateral areas in Parkinson's disease patients appears to reflect a compensatory mechanism operating predominantly on the side of greatest basal ganglia impairment. (C) 2001 Elsevier Science Ireland Ltd. All rights reserved.

Physiological role of calcium-activated potassium currents in the rat lateral amygdala

Principal neurons in the lateral nucleus of the amygdala (LA) exhibit a continuum of firing properties in response to prolonged current injections ranging from those that accommodate fully to those that fire repetitively. In most cells, trains of action potentials are followed by a slow after hyperpolarization (AHP) lasting several seconds. Reducing calcium influx either by lowering concentrations of extracellular calcium or by applying nickel abolished the AHP, confirming it is mediated by calcium influx. Blockade of large conductance calcium-activated potassium channel (BK) channels with paxilline, iberiotoxin, or TEA revealed that BK channels are involved in action potential repolarization but only make a small contribution to the fast AHP that follows action potentials. The fast AHP was, however, markedly reduced by low concentrations of 4-aminopyridine and alpha-dendrotoxin, indicating the involvement of voltage-gated potassium channels in the fast AHP. The medium AHP was blocked by apamin and UCL1848, indicating it was mediated by small conductance calcium-activated potassium channel (SK) channels. Blockade of these channels had no effect on instantaneous firing. However, enhancement of the SK-mediated current by 1-ethyl-2-benzimidazolinone or paxilline increased the early interspike interval, showing that under physiological conditions activation of SK channels is insufficient to control firing frequency. The slow AHP, mediated by non-SK BK channels, was apamin-insensitive but was modulated by carbachol and noradrenaline. Tetanic stimulation of cholinergic afferents to the LA depressed the slow AHP and led to an increase in firing. These results show that BK, SK, and non-BK SK-mediated calcium-activated potassium currents are present in principal LA neurons and play distinct physiological roles.

Excitatory synaptic transmission in the lateral and central amygdala

The amygdala plays a major role in the acquisition and expression of fear conditioning. NMDA receptor-dependent synaptic plasticity within the basolateral amygdala has been proposed to underlie the acquisition and possible storage of fear memories. Here the properties of fast glutamatergic transmission in the lateral and central nuclei of the amygdala are presented. In the lateral amygdala, two types of neurons, interneurons and projection neurons, could be distinguished by their different firing properties. Glutamatergic inputs to interneurons activated AMPA receptors with inwardly rectifying current-voltage relations (I-Vs), whereas inputs to projection neurons activated receptors that had linear I-Vs, indicating that receptors on interneurons lack GluR2 subunits. Inputs to projection neurons formed dual component synapses with both AMPA and NMDA components, whereas at inputs to interneurons, the contribution of NMDA receptors was very small. Neurons in the central amygdala received dual component glutamatergic inputs that activated AMPA receptors with linear I-Vs. NMDA receptor-mediated EPSCs had slow decay time constants in the central nucleus. Application of NR2B selective blockers ifenprodil or CP-101,606 blocked NMDA EPSCs by 70% in the central nucleus, but only by 30% in the lateral nucleus. These data show that the distribution of glutamatergic receptors on amygdalar neurons is not uniform. In the lateral amygdala, interneurons and pyramidal neurons express AMPA receptors with different subunit compositions. Synapses in the central nucleus activate NMDA receptors that contain NR1 and NR2B subunits, whereas synapses in the lateral nucleus contain receptors with both NR2A and NR2B subunits.

A medial to lateral shift in premovement cortical activity in hemi-Parkinson's disease: Studies of event-related potentials and whole-scalp magneto encephalography

Cortical activity associated with voluntary movement is shifted from medial to lateral premotor areas in Parkinson's disease. This occurs bilaterally, even for unilateral movements. We have used both EEG and MEG to further investigate medial and lateral premotor activity in patients with hemi-Parkinson's disease, in whom basal ganglia impairment is most pronounced in one hemisphere. The CNV, recorded from 21 scalp positions in a Go/NoGo task, was maximal over central medial regions in control subjects. For hemi-Parkinson's disease subjects, activity was shifted more frontally, reduced in the midline and lateralised towards the side of greatest basal ganglia impairment. With 143 channel whole-scalp magneto encephalography (MEG) we are further examining asymmetries in supplementary motor/premotor cortical activity prior to self-paced voluntary movement. In preliminary results, one hemi-Parkinson's disease patient with predominantly left-side symptoms showed strong medial activity consistent with a dominant source in the left supplementary motor area (SMA). Three patients showed little medial activity, but early bilateral sources within lateral premotor cortex. Results suggest greater involvement of lateral premotor rather than the SMA prior to movement in Parkinson's disease and provide evidence for asymmetric function of the SMA in hemi- Parkinson's disease, with reduced activity on the side of greatest basal ganglia deficit.

Naloxone fails to antagonize initial hypoalgesic effect of a manual therapy treatment for lateral epicondylalgia

Background: Recent research has shown that Mulligan's Mobilization With Movement treatment technique for the elbow (MWM), a peripheral joint mobilization technique, produces a substantial and immediate pain relief in chronic lateral epicondylalgia (48% increase in pain-free grip strength).(1) This hypoalgesic effect is far greater than that previously reported with spinal manual therapy treatments, prompting speculation that peripheral manual therapy treatments may differ in mechanism of action to spinal manual therapy techniques. Naloxone antagonism and tolerance studies, which employ widely accepted tests for the identification of endogenous opioid-mediated pain control mechanisms, have shown that spinal manual therapy-induced hypoalgesia does not involve an opioid mechanism. Objective: The aim of this study was to evaluate the effect of naloxone administration on the hypoalgesic effect of MWM. Methods: A randomized, controlled trial evaluated the effect of administering naloxone, saline, or no-substance control injection on the MWM-induced hypoalgesia in 18 participants with lateral epicondylalgia. Pain-free grip strength, pressure pain threshold, thermal pain threshold, and upper limb neural tissue provocation test 2b were the outcome measures. Results: The results demonstrated that the initial hypoalgesic effect of the MWM was not antagonized by naloxone, suggesting a nonopioid mechanism of action. Conclusions: The studied peripheral mobilization treatment technique appears to have a similar effect profile to previously studied spinal manual therapy techniques, suggesting a nonopioid-mediated hypoalgesia following manual therapy.

Firing properties and connectivity of neurons in the rat lateral central nucleus of the amygdala

Using whole cell recordings from acute slices of the rat amygdala, we have examined the physiological properties of and synaptic connectivity to neurons in the lateral sector of the central amygdala (CeA). Based on their response to depolarizing current injections, CeA neurons could be divided into three types. Adapting neurons fired action potentials at the start of the current injections at high frequency and then showed complete spike-frequency adaptation with only six to seven action potentials evoked with suprathreshold current injections. Late-firing neurons fired action potentials with a prolonged delay at threshold but then discharged continuously with larger current injections. Repetitive firers discharged at the start of the current injection at threshold and then discharged continuously with larger current injections. All three cells showed prolonged afterhyperpolarizations (AHPs) that followed trains of action potentials. The AHP was longer lasting with a larger slow component in adapting neurons. The AHP in all cell types contained a fast component that was inhibited by the SK channel blocker UCL1848. The slow component, not blocked by UCL1848, was blocked by isoprenaline and was significantly larger in adapting neurons. Blockade of SK channels increased the discharge frequency in late firers and regular-spiking neurons but had no effect on adapting neurons. Blockade of the slow AHP with isoprenaline had no effect on any cell type. All cells received a mixed glutamatergic and GABAergic input from a medial pathway. Electrical stimulation of the lateral (LA) and basolateral (BLA)nuclei evoked a large monosynaptic glutamatergic response followed by a disynaptic inhibitory postsynaptic potential. Activation of neurons in the LA and BLA by puffer application of glutamate evoked a small monosynaptic response in 13 of 55 CeA neurons. Local application of glutamate to the CeL evoked a GABAergic response in all cells. These results show that at least three types of neurons are present in the CeA that can be distinguished on their firing properties. The firing frequency of two of these cell types is determined by activation of SK channels. Cells receive a small input from the LA and BLA but may receive inputs that course through these nuclei en route to the CeA.