A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

A demonstration case on the derivation of process-level logical architectures for ambient assisted living ecosystems

When representing the requirements for an intended software solution during the development process, a logical architecture is a model that provides an organized vision of how functionalities behave regardless of the technologies to be implemented. If the logical architecture represents an ambient assisted living (AAL) ecosystem, such representation is a complex task due to the existence of interrelated multidomains, which, most of the time, results in incomplete and incoherent user requirements. In this chap- ter, we present the results obtained when applying process-level modeling techniques to the derivation of the logical architecture for a real industrial AAL project. We adopt a V-Model–based approach that expresses the AAL requirements in a process-level perspec- tive, instead of the traditional product-level view. Additionally, we ensure compliance of the derived logical architecture with the National Institute of Standards and Technology (NIST) reference architecture as nonfunctional requirements to support the implementa- tion of the AAL architecture in cloud contexts.

A simple logical approach to questioned envelopes examination.

This case report outlines research undertaken as the result of a document examination case in which two envelopes were involved. The combination of the circumstances of the case and the results of the examination allows a simple application of a logical approach to pre-assess the probability that an envelope (or a package) potentially recovered at a suspect's home comes from the same batch (same source) as questioned envelopes. This highlights that it is useful to examine envelopes.

Automatic self-configuration of the logical network using distributed software agents

We present a system for dynamic network resource configuration in environments with bandwidth reservation. The proposed system is completely distributed and automates the mechanisms for adapting the logical network to the offered load. The system is able to manage dynamically a logical network such as a virtual path network in ATM or a label switched path network in MPLS or GMPLS. The system design and implementation is based on a multi-agent system (MAS) which make the decisions of when and how to change a logical path. Despite the lack of a centralised global network view, results show that MAS manages the network resources effectively, reducing the connection blocking probability and, therefore, achieving better utilisation of network resources. We also include details of its architecture and implementation

Nutrition parentérale compé- mentaire de la nutrition entérale aux soins intensifs: une association logique [Supplemental parenteral nutrition for intensive care patients: a logical combination with enteral nutrition]

Undernutrition is a widespread problem in the intensive care and is associated with a worse clinical outcome. Enteral nutrition is the recommended nutritional support in ICU patients. However, enteral nutrition is frequently insufficient to cover protein-energy needs. The initiation of supplemental parenteral nutrition, when enteral nutrition is insufficient, could optimize the nutritional therapy. Such a combination could allow reducing morbidity, length of stay and recovery, as well as improving quality of life and health care costs. Prospective studies are currently underway to test this hypothesis.

Estimating the time since discharge of spent cartridges: a logical approach fro interpreting the evidence

Estimating the time since discharge of a spent cartridge or a firearm can be useful in criminal situa-tions involving firearms. The analysis of volatile gunshot residue remaining after shooting using solid-phase microextraction (SPME) followed by gas chromatography (GC) was proposed to meet this objective. However, current interpretative models suffer from several conceptual drawbacks which render them inadequate to assess the evidential value of a given measurement. This paper aims to fill this gap by proposing a logical approach based on the assessment of likelihood ratios. A probabilistic model was thus developed and applied to a hypothetical scenario where alternative hy-potheses about the discharge time of a spent cartridge found on a crime scene were forwarded. In order to estimate the parameters required to implement this solution, a non-linear regression model was proposed and applied to real published data. The proposed approach proved to be a valuable method for interpreting aging-related data.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Between Cratylism and Positivism: the Old Poem and What Alice Found There

En aquest article em referiré molt sumàriament a la fi lologia del dinou, mirant de relacionar-la amb tot el joc de paraules en Lewis Carrol, per tal d'establir-hi una trama correcta de (dis)continuïtats. El meu objectiu és considerar el Jabberwocky de Humpty Dumpty en el context de la feina i les descobertes de la moderna fi lologia. F. A. Wolf i J. Grimm condensen bona cosa dels experiments radicals i les troballes que tingueren lloc en aquells moments, que podríem contrastar amb les aventures textuals d'Alícia a l'altra banda de l'espill. Els llibres de l'altra banda necessiten intèrprets i cerquen la versió correcta, original, de la mateixa manera que la interpretació dels mots depèn d'un mètode fi able. Segurament Lewis Carroll com a jove fi lòleg era capaç de jugar bé amb aquelles troballes, entre un món que s'acabava i un altre que començava.

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system. It is shown that background of Vasiliev's ideas lies deeply in Russia's culture and particular approach to logical discourse. Several Russian scholars expressed ideas similar to Vasiliev's though not in such explicit form. This period might be called the prehistory of paraconsistency. Real history of paraconsistency starts with N.C.A. da Costa's works.