Deverbal semantics and the Montagovian generative lexicon

We propose a lexical account of action nominals, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature about nominalisations often assumes that the semantics of the base verb completely defines the structure of action nominals. We argue that the information in the base verb is not sufficient to completely determine the semantics of action nominals. We exhibit some data from different languages, especially from Romance language, which show that nominalisations focus on some aspects of the verb semantics. The selected aspects, however, seem to be idiosyncratic and do not automatically result from the internal structure of the verb nor from its interaction with the morphological suffix. We therefore propose a partially lexicalist approach view of deverbal nouns. It is made precise and computable by using the Montagovian Generative Lexicon, a type theoretical framework introduced by Bassac, Mery and Retor\'e in this journal in 2010. This extension of Montague semantics with a richer type system easily incorporates lexical phenomena like the semantics of action nominals in particular deverbals, including their polysemy and (in)felicitous copredications.Comment: A revised version will appear in the Journal of Logic, Language and Informatio

A PRISMA-driven systematic mapping study on system assurance weakeners

Context: An assurance case is a structured hierarchy of claims aiming at demonstrating that a given mission-critical system supports specific requirements (e.g., safety, security, privacy). The presence of assurance weakeners (i.e., assurance deficits, logical fallacies) in assurance cases reflects insufficient evidence, knowledge, or gaps in reasoning. These weakeners can undermine confidence in assurance arguments, potentially hindering the verification of mission-critical system capabilities. Objectives: As a stepping stone for future research on assurance weakeners, we aim to initiate the first comprehensive systematic mapping study on this subject. Methods: We followed the well-established PRISMA 2020 and SEGRESS guidelines to conduct our systematic mapping study. We searched for primary studies in five digital libraries and focused on the 2012-2023 publication year range. Our selection criteria focused on studies addressing assurance weakeners at the modeling level, resulting in the inclusion of 39 primary studies in our systematic review. Results: Our systematic mapping study reports a taxonomy (map) that provides a uniform categorization of assurance weakeners and approaches proposed to manage them at the modeling level. Conclusion: Our study findings suggest that the SACM (Structured Assurance Case Metamodel) -- a standard specified by the OMG (Object Management Group) -- may be the best specification to capture structured arguments and reason about their potential assurance weakeners

Events states and times

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis

Parameterized monads in linguistics

A thesis submitted in partial fulfilment of the requirements of the University of Wolverhampton for the degree of Doctor of Philosophy.This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these theories. Specifically, this dissertation uses parameterized monads, a particular theoretical framework in category theory, as a dynamic semantic framework to reinterpret the compositional Discourse Representation Theory(cDRT), and to provide an analysis of donkey anaphora. Parameterized monads are also used in this dissertation to interpret information states as lists of presuppositions, and as dot types. Alternative interpretations for demonstratives and imperatives are produced, and the conventional implicature phenomenon in linguistics substantiated, using the framework. Interpreting donkey anaphora shows that parameterized monads is able to handle the sentential dependency. Therefore, this framework shows an expressive power equal to that of related frameworks such as the typed logical grammar and the dynamic predicate logic. Interpreting imperatives via parameterized monads also provides a compositional dynamic semantic analysis which is one of the main approaches to analysing imperatives

Considerations in Assuring Safety of Increasingly Autonomous Systems

Recent technological advances have accelerated the development and application of increasingly autonomous (IA) systems in civil and military aviation. IA systems can provide automation of complex mission tasks-ranging across reduced crew operations, air-traffic management, and unmanned, autonomous aircraft-with most applications calling for collaboration and teaming among humans and IA agents. IA systems are expected to provide benefits in terms of safety, reliability, efficiency, affordability, and previously unattainable mission capability. There is also a potential for improving safety by removal of human errors. There are, however, several challenges in the safety assurance of these systems due to the highly adaptive and non-deterministic behavior of these systems, and vulnerabilities due to potential divergence of airplane state awareness between the IA system and humans. These systems must deal with external sensors and actuators, and they must respond in time commensurate with the activities of the system in its environment. One of the main challenges is that safety assurance, currently relying upon authority transfer from an autonomous function to a human to mitigate safety concerns, will need to address their mitigation by automation in a collaborative dynamic context. These challenges have a fundamental, multidimensional impact on the safety assurance methods, system architecture, and V&V capabilities to be employed. The goal of this report is to identify relevant issues to be addressed in these areas, the potential gaps in the current safety assurance techniques, and critical questions that would need to be answered to assure safety of IA systems. We focus on a scenario of reduced crew operation when an IA system is employed which reduces, changes or eliminates a human's role in transition from two-pilot operations