-
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
Authors:
Kees van Berkel,
Tim S. Lyon,
Matteo Pascucci
Abstract:
This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright's general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the…
▽ More
This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright's general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work.
△ Less
Submitted 23 February, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
DPCL: a Language Template for Normative Specifications
Authors:
Giovanni Sileno,
Thomas van Binsbergen,
Matteo Pascucci,
Tom van Engers
Abstract:
Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies have been proposed to systematize concepts and relationships relevant to normative reasoning. However, no solution amongst those has achieved general acceptance, and no common ground (representational, computational) has b…
▽ More
Several solutions for specifying normative artefacts (norms, contracts, policies) in a computational processable way have been presented in the literature. Legal core ontologies have been proposed to systematize concepts and relationships relevant to normative reasoning. However, no solution amongst those has achieved general acceptance, and no common ground (representational, computational) has been identified enabling us to easily compare them. Yet, all these efforts share the same motivation of representing normative directives, therefore it is plausible that there may be a representational model encompassing all of them. This presentation will introduce DPCL, a domain-specific language (DSL) for specifying higher-level policies (including norms, contracts, etc.), centred on Hohfeld's framework of fundamental legal concepts. DPCL has to be seen primarily as a "template", i.e. as an informational model for architectural reference, rather than a fully-fledged formal language; it aims to make explicit the general requirements that should be expected in a language for norm specification. In this respect, it goes rather in the direction of legal core ontologies, but differently from those, our proposal aims to keep the character of a DSL, rather than a set of axioms in a logical framework: it is meant to be cross-compiled to underlying languages/tools adequate to the type of target application. We provide here an overview of some of the language features.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Change-in-Slope Optimal Partitioning Algorithm in a Finite-Size Parameter Space
Authors:
Vincent Runge,
Marco Pascucci,
Nicolas Deschamps de Boishebert
Abstract:
We consider the problem of detecting change-points in univariate time series by fitting a continuous piecewise linear signal using the residual sum of squares. Values of the inferred signal at slope breaks are restricted to a finite set of size $m$. Using this finite parameter space, we build a dynamic programming algorithm with a controlled time complexity of $O(m^2n^2)$ for $n$ data points. Some…
▽ More
We consider the problem of detecting change-points in univariate time series by fitting a continuous piecewise linear signal using the residual sum of squares. Values of the inferred signal at slope breaks are restricted to a finite set of size $m$. Using this finite parameter space, we build a dynamic programming algorithm with a controlled time complexity of $O(m^2n^2)$ for $n$ data points. Some accelerating strategies can be used to reduce the constant before $n^2$. The adapted classic inequality-based pruning is outperformed by a simpler "channel" method on simulations. Besides, our finite parameter space setting allows an easy introduction of constraints on the inferred signal. For example, imposing a minimal angle between consecutive segment slopes provides robustness to model misspecification and outliers. We test our algorithm with an isotonic constraint on an antibiogram image analysis problem for which algorithmic efficiency is a cornerstone in the emerging context of mobile-health and embedded medical devices. For this application, a finite state approach can be a valid compromise.
△ Less
Submitted 7 April, 2022; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Authors:
Tomer Libal,
Matteo Pascucci
Abstract:
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In this article we look for a suitable way in between: the automation of a simple logic of normative ideality and sub-ideality that is not affected by many deontic paradoxes and that is expressive enough to capture contrary-t…
▽ More
Systems of deontic logic suffer either from being too expressive and therefore hard to mechanize, or from being too simple to capture relevant aspects of normative reasoning. In this article we look for a suitable way in between: the automation of a simple logic of normative ideality and sub-ideality that is not affected by many deontic paradoxes and that is expressive enough to capture contrary-to-duty reason- ing. We show that this logic is very useful to reason on normative scenarios from which one can extract a certain kind of argumentative structure, called a Normative Detachment Structure with Ideal Conditions. The theoretical analysis of the logic is accompanied by examples of automated reasoning on a concrete legal text.
△ Less
Submitted 23 October, 2018;
originally announced October 2018.
-
Compressive three-dimensional super-resolution microscopy with speckle-saturated fluorescence excitation
Authors:
Marco Pascucci,
Sivaramankrishna Ganesan,
Aditya Tripathy,
Ori Katz,
Valentina Emiliani,
Marc Guillon
Abstract:
Nonlinear structured illumination microscopy (nSIM) is an effective approach for super-resolution wide-field fluorescence microscopy with a theoretically unlimited resolution. In nSIM, carefully designed, highly-contrasted illumination patterns are combined with the saturation of an optical transition to enable sub-diffraction imaging. While the technique proved useful for two-dimensional imaging,…
▽ More
Nonlinear structured illumination microscopy (nSIM) is an effective approach for super-resolution wide-field fluorescence microscopy with a theoretically unlimited resolution. In nSIM, carefully designed, highly-contrasted illumination patterns are combined with the saturation of an optical transition to enable sub-diffraction imaging. While the technique proved useful for two-dimensional imaging, extending it to three-dimensions (3D) is challenging due to the fading/fatigue of organic fluorophores under intense cycling conditions. Here, we present a compressed sensing approach that allows for the first time 3D sub-diffraction nSIM of cultured cells by saturating fluorescence excitation. Exploiting the natural orthogonality of transverse speckle illumination planes, 3D probing of the sample is achieved by a single two-dimensional scan. Fluorescence contrast under saturated excitation is ensured by the inherent high density of intensity minima associated with optical vortices in polarized speckle patterns. Compressed speckle microscopy is thus a simple approach that enables 3D super-resolved nSIM imaging with potentially considerably reduced acquisition time and photobleaching.les fast 3D super-resolved imaging with considerably minimized photo-bleaching.
△ Less
Submitted 15 October, 2018; v1 submitted 13 October, 2017;
originally announced October 2017.