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.

[Book review] Rosalind W. Picard, Affective Computing

Review of: Rosalind W. Picard, Affective Computing

Temporal representation of state transitions

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.

A forum on case-based reasoning. Guest editorial

Guest editorial

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.

Culture-bound technological solutions: An artificial theoretic insight

Sometimes, technological solutions to practical problems are devised that conspicuously take into account the constraints to which a given culture is subjecting the particular task or the manner in which it is carried out. The culture may be a professional culture (e.g., the practice of law), or an ethnic-cum-professional culture (e.g., dance in given ethnic cultures from South-East Asia), or, again, a denominational culture prescribing an orthopraxy impinging on everyday life through, for example, prescribed abstinence from given categories of workday activities, or dietary laws. Massimo Negrotti's Theory of the artificial is a convenient framework for discussing some of these techniques. We discuss a few examples, but focus on the contrast of two that are taken from the same cultural background, namely, technological applications in compliance with Jewish Law orthopraxy. •Soya-, mycoprotein- or otherwise derived meat surrogates are an example ofnaturoid; they emulate the flavours and olfactory properties, as well as the texture and the outer and inner appearance, of the meat product (its kind, cut, form) they set out to emulate (including amenability to cooking in the usual manner for the model), while satisfying cultural dietary prohibitions. •In contrast, the Sabbath Notebook, a writing surrogate we describe in this paper, is atechnoid: it emulates a technique (writing to store alphanumeric information), while satisfying the prohibition of writing at particular times of the liturgical calendar (the Sabbath and the major holidays).

Guest editorial. [Computers and Artificial Intelligence. 1998. Vol. 17, No. 2-3]

Editorial