Reasoning about Emotional Agents

In this paper we are concerned with reasoning about agents with emotions. To be more precise: we aim at a logical account of emotional agents. The very topic may already raise some eyebrows. Reasoning / rationality and emotions seem opposites, and reasoning about emotions or a logic of emotional agents seems a contradiction in terms. However, emotions and rationality are known to be more interconnected than one may suspect. There is psychological evidence that having emotions may help one to do reasoning and tasks for which rationality seems to be the only factor [1]. Moreover, work by e.g. Sloman [5] shows that one may think of designing agentbased systems where these agents show some kind of emotions, and, even more importantly, display behaviour dependent on their emotional state. It is exactly in this sense that we aim at looking at emotional agents: artificial systems that are designed in such a manner that emotions play a role. Also in psychology emotions are viewed as a structuring mechanism. Emotions are held to help human beings to choose from a myriad of possible actions in response to what happens in ou

Free choice and contextually permitted actions

We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action term

Integrability of the critical point of the Kagom\'e three-state Potts mode

The vicinity of the critical point of the three-state Potts model on a Kagom\'e lattice is studied by mean of Random Matrix Theory. Strong evidence that the critical point is integrable is given.Comment: 1 LaTex file + 3 eps files 7 page

Toy Model for Pion Production II: The role of three-particle singularities

The influence of three-particle breakup singularities on s-wave meson production in nucleon-nucleon collisions is studied within the distorted wave Born approximation. This study is based on a simple scalar model for the two-nucleon interaction and the production mechanism. An algorithm for the exact numerical treatment of the inherent three-body cuts, together with its straightforward implementation is presented. It is also shown that two often-used approximations to avoid the calculation of the three-body breakup are not justified. The possible impact on pion production observables is discussed.Comment: 14 pages, 6 figure

Actors, actions, and initiative in normative system specification

The logic of norms, called deontic logic, has been used to specify normative constraints for information systems. For example, one can specify in deontic logic the constraints that a book borrowed from a library should be returned within three weeks, and that if it is not returned, the library should send a reminder. Thus, the notion of obligation to perform an action arises naturally in system specification. Intuitively, deontic logic presupposes the concept of anactor who undertakes actions and is responsible for fulfilling obligations. However, the concept of an actor has not been formalized until now in deontic logic. We present a formalization in dynamic logic, which allows us to express the actor who initiates actions or choices. This is then combined with a formalization, presented earlier, of deontic logic in dynamic logic, which allows us to specify obligations, permissions, and prohibitions to perform an action. The addition of actors allows us to expresswho has the responsibility to perform an action. In addition to the application of the concept of an actor in deontic logic, we discuss two other applications of actors. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate from CCS in favor of internal and external choice. We show that our generalization allows a more accurate specification of system behavior than is possible without it. Second, we show that actors can be used to resolve a long-standing paradox of deontic logic, called the paradox of free-choice permission. Towards the end of the paper, we discuss whether the concept of an actor can be combined with that of an object to formalize the concept of active objects

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems

From 25.06.06 to 30.06.06, the Dagstuhl Seminar 06261 ``Foundations and Practice of Programming Multi-Agent Systems\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects

When constructing a formal model of emotions for intelligent agents, two types of aspects have to be taken into account. First, qualitative aspects pertain to the conditions that elicit emotions. Second, quantitative aspects pertain to the actual experience and intensity of elicited emotions. In this presentation, we show how the qualitative aspects of a well-known psychological model of human emotions can be formalized in an agent specification language and how its quantitative aspects can be integrated into this model. Furthermore, we discuss several unspecified details and implicit assumptions in the psychological model that are explicated by this effort

Carbenicillin-Induced Coagulopathy

In high dosage, carbenicillin may interfere with the conversion of fibrinogen to fibrin and result in a haemorrhagic diathesis. The effect is dose-dependent and requires a high concentration of carbenicillin in plasma. Such a level may be attained in renal failure unless the dose of the drug is appropriately reduced. In such situations the screening coagulation tests may be prolonged and this should alert one to the development of a haemorrhagic diathesis due to the drug.S. Afr. Med. J., 48, 457 (1974

Reconstruction of {\AA}ngstr{\o}m resolution exit-waves by the application of drift-corrected phase-shifting off-axis electron holography

Phase-shifting electron holography is an excellent method to reveal electron wave phase information with very high phase sensitivity over a large range of spatial frequencies. It circumvents the limiting trade-off between fringe spacing and visibility of standard off-axis holography. Previous implementations have been limited by the independent drift of biprism and sample. We demonstrate here an advanced drift correction scheme for the hologram series that allow to obtain reliable phase information at the 1 {\AA} information limit of the used Titan 80-300 kV environmental transmission electron microscope using a single biprism at moderate voltage of 250 V. The obtained phase and amplitude information is validated at a thin Pt sample by use of multislice image simulation with the frozen lattice approximation and shows excellent agreement. The presented method drastically reduces the hardware requirements and thus allows to achieve high resolution in off-axis holography in various instruments including those for in-situ applications. A software implementation for the acquisition, calibration and reconstruction is provided