Temporal structure and enablement representation for mutual wills: A Petri net approach

Those temporal formalisms that are sporadically found nowadays in the literature of AI & Law are based on temporal logic. We claim a revived role for another major class of temporal representation: Petri nets. This formalism, popular in computing from the 1970s, had its potential recognized on occasion in the literature of legal computing as well, but apparently the discipline has lost sight of it, and its practitioners on average need be tutored into this kind of representation. Asynchronous, concurrent processes—for which the approach is well‐suited—are found in the legal domain, in disparate contexts. We develop an example for Mutual Wills.

Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Multi-function oxidases are responsible for the synergistic interactions occurring between repellents and insecticides in mosquitoes

Background: With the spread of pyrethroid resistance in mosquitoes, the combination of an insecticide (carbamate or organophosphate) with a repellent (DEET) is considered as a promising alternative strategy for the treatment of mosquito nets and other relevant materials. The efficacy of these mixtures comes from the fact that they reproduce pyrethroid features and that positive interactions occur between insecticides and repellent. To better understand the mechanisms involved and assess the impact of detoxifying enzymes (oxidases and esterases) in these interactions, bioassays were carried out in the laboratory against the main dengue vector Aedes aegypti. Methods: Topical applications of DEET and propoxur (carbamate), used alone or as a mixture, were carried out on female mosquitoes, using inhibitors of the two main detoxification pathways in the insect. PBO, an inhibitor of multi-function oxidases, and DEF, an inhibitor of esterases, were applied one hour prior to the main treatment. Results: Results showed that synergism between DEET and propoxur disappeared in the presence of PBO but not with DEF. This suggests that oxidases, contrary to esterases, play a key role in the interactions occurring between DEET and cholinesterase inhibitors in mosquitoes. Conclusion: These findings are of great interest for the implementation of "combination nets" in the field. They support the need to combine insecticide with repellent to overcome insecticide resistance in mosquitoes of public health importance.