In this paper we describe an approach to practical reasoning, reasoning about what it is best for a particular agent to do in a given situation, based on presumptive justifications of action through the instantiation of an argument scheme, which is then subject to examination through a series of critical questions. We identify three particular aspects of practical reasoning which distinguish it from theoretical reasoning. We next provide an argument scheme and an associated set of critical questions which (...) is able to capture these features. In order that both the argument scheme and the critical questions can be given precise interpretations we use the semantic structure of an Action-Based Alternating Transition System as the basis for their definition. We then work through a detailed example to show how this approach to practical reasoning can be applied to a problem solving situation, and briefly describe some other previous applications of the general approach. In a second example we relate our account to the social laws paradigm for co-ordinating multi-agent systems. The contribution of the paper is to provide firm foundations for an approach to practical reasoning based on presumptive argument in terms of a well-known model for representing the effects of actions of a group of agents. (shrink)

Why is it so plausible that business organisations in contemporary society use values in their communication? In order to answer this question, a sociological, system theoretical approach is applied which approaches values not pre-empirically as invisible drivers for action but as observable semantics that form organisational behaviour. In terms of empirical material, it will be shown that business organisations resort to a communication of values whenever uncertainty or complexity is very high. Inevitably, value semantics are applied in (...) organisations first when the speakers are uncertain about which stakeholders to whom they have to address (uncertainty) or when different stakeholder groups have to be addressed simultaneously (complexity); second, when the identity of the organisation has to be described; and third, when future strategic options that cannot be expressed by quantitative terms have to be communicated. Values accordingly play a role in organisational practice when certain aspects are indeterminate. Therefore, they are a means for organisations to communicate under fuzzy circumstances. On the basis of these findings, new approaches to value management can now be formulated. (shrink)

We propose a unified theory of intentions as neural processes that integrate representations of states of affairs, actions, and emotional evaluation. We show how this theory provides answers to philosophical questions about the concept of intention, psychological questions about human behavior, computational questions about the relations between belief and action, and neuroscientific questions about how the brain produces actions. Our theory of intention ties together biologically plausible mechanisms for belief, planning, and motor control. The computational feasibility of these mechanisms (...) is shown by a model that simulates psychologically important cases of intention. (shrink)

Why is it so plausible that business organisations in contemporary society use values in their communication? In order to answer this question, a sociological, system theoretical approach is applied which approaches values not pre-empirically as invisible drivers for action but as observable semantics that form organisational behaviour. In terms of empirical material, it will be shown that business organisations resort to a communication of values whenever uncertainty or complexity is very high. Inevitably, value semantics are applied in (...) organisations first when the speakers are uncertain about which stakeholders to whom they have to address or when different stakeholder groups have to be addressed simultaneously ; second, when the identity of the organisation has to be described; and third, when future strategic options that cannot be expressed by quantitative terms have to be communicated. Values accordingly play a role in organisational practice when certain aspects are indeterminate. Therefore, they are a means for organisations to communicate under fuzzy circumstances. On the basis of these findings, new approaches to value management can now be formulated. (shrink)

The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these (...) constructions provide ways to handle various problems related to free choice permission. The main result is a sound and complete axiomatization of the semantics. (shrink)

This paper introduces deontic logic based on inquisitive semantics. A semantics for action formulas is introduced where each action formula is associated with a set of alternatives. Deontic operators are then interpreted as quantifying over all alternatives associated with the action formulas within their scope. It is shown how this construction provides solutions to problems related to free choice permissions and obligations, including issues concerning Hurford disjunctions. The main technical result is a complete axiomatization (...) of the logic. (shrink)

Previous studies have shown that children retreat from argument‐structure overgeneralization errors (e.g., *Don’t giggle me) by inferring that frequently encountered verbs are unlikely to be grammatical in unattested constructions, and by making use of syntax‐semantics correspondences (e.g., verbs denoting internally caused actions such as giggling cannot normally be used causatively). The present study tested a new account based on a unitary learning mechanism that combines both of these processes. Seventy‐two participants (ages 5–6, 9–10, and adults) rated overgeneralization errors (...) with higher (*The funny man’s joke giggled Bart) and lower (*The funny man giggled Bart) degrees of direct external causation. The errors with more‐direct causation were rated as less unacceptable than those with less‐direct causation. This finding is consistent with the new account, under which children acquire—in an incremental and probabilistic fashion—the meaning of particular constructions (e.g., transitive causative = direct external causation) and particular verbs, rejecting generalizations where the incompatibility between the two is too great. (shrink)

Disaster response requires the cooperation of multiple emergency responder organizations (EROs). However, after‐action reports relating to large‐scale disasters identity communication difficulties among EROs as a major hindrance to collaboration. On the one hand, the use of two‐radio communication, based on multiple orthogonal frequencies and uneven coverage, has been shown to degrade inter‐organization communication. On the other hand, because they reflect different areas of expertise, EROs use differing terminologies, which are difficult to reconcile. These issues lead to ambiguities, misunderstandings, (...) and inefficient exchange of data and information among those involved, which can impede the response process and slow decision making. We, therefore, hypothesize that promoting semantic interoperability across ERO information systems might improve information exchange among stakeholders and thereby allow a more coherent response to the disaster. We propose an ontology‐based messaging service on the basis of the Emergency Data Exchange Language (EDXL) standards. The parties involved will continue to use the terminologies to which they are accustomed, but the system will resolve inconsistencies and thereby enhance mutual understanding among EROs by ensuring semantic translation of the exchanged information. The evaluation of the semantic translation demonstrated the effectiveness and accuracy of the proposed service. (shrink)

The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief. After arguing that in its present form, success semantics is vulnerable to decisive objections, I examine the possibilities of salvaging the core of this proposal. More specifically, I propose that the content of some very simple, but very important, mental states, the (...) immediate mental antecedents of action, can be explained in this manner. (shrink)

Abstract Since their inception, distributional models of semantics have been criticized as inadequate cognitive theories of human semantic learning and representation. A principal challenge is that the representations derived by distributional models are purely symbolic and are not grounded in perception and action; this challenge has led many to favor feature-based models of semantic representation. We argue that the amount of perceptual and other semantic information that can be learned from purely distributional statistics has been underappreciated. We (...) compare the representations of three feature-based and nine distributional models using a semantic clustering task. Several distributional models demonstrated semantic clustering comparable with clustering-based on feature-based representations. Furthermore, when trained on child-directed speech, the same distributional models perform as well as sensorimotor-based feature representations of children’s lexical semantic knowledge. These results suggest that, to a large extent, information relevant for extracting semantic categories is redundantly coded in perceptual and linguistic experience. Detailed analyses of the semantic clusters of the feature-based and distributional models also reveal that the models make use of complementary cues to semantic organization from the two data streams. Rather than conceptualizing feature-based and distributional models as competing theories, we argue that future focus should be on understanding the cognitive mechanisms humans use to integrate the two sources. (shrink)

In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which (...) allow to refine Brandom’s concept of defeasible inference and to account for those non-monotonic and relevant inferences that are expressible in linear logic. Moreover, I will suggest an interpretation of discursive practices based on an abstract notion of agreement on what counts as a reason which is deeply connected with linear logic semantics. (shrink)

This article is the second step in our research into the Symbol Grounding Problem (SGP). In a previous work, we defined the main condition that must be satisfied by any strategy in order to provide a valid solution to the SGP, namely the zero semantic commitment condition (Z condition). We then showed that all the main strategies proposed so far fail to satisfy the Z condition, although they provide several important lessons to be followed by any new proposal. Here, we (...) develop a new solution of the SGP. It is called praxical in order to stress the key role played by the interactions between the agents and their environment. It is based on a new theory of meaning—Action-based Semantics (AbS)—and on a new kind of artificial agents, called two-machine artificial agents (AM²). Thanks to their architecture, AM2s implement AbS, and this allows them to ground their symbols semantically and to develop some fairly advanced semantic abilities, including the development of semantically grounded communication and the elaboration of representations, while still respecting the Z condition. (shrink)

Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider additional constraints on measuring distance between possible worlds, and we prove that, in the presence of the AGM postulates, these constraints characterize precisely Parikh’s axiom (P). These additional constraints essentially generalize a criterion of similarity that predates axiom (P) and was originally introduced in the context of Reasoning about Action. A by-product of our study is the identification of (...) two possible readings of Parikh’s axiom (P), which we call the strong and the weak versions of the axiom. An interesting feature of the strong version is that, unlike classical AGM belief revision, it makes associations between the revision policies of different theories. (shrink)

We propose a lexical account of event nouns, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature on 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é 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 felicitous copredications. (shrink)

In this paper, we give an alternative semantics to the non-normal logic of knowing how proposed by Fervari et al., based on a class of Kripke neighborhood models with both the epistemic relations and neighborhood structures. This alternative semantics is inspired by the same quantifier alternation pattern of ∃∀\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document} in the semantics of the know-how modality and the neighborhood semantics for the standard modality. We (...) show that this new semantics is equivalent to the original Kripke semantics in terms of the validities. A key result is a representation theorem showing that the more abstract Kripke neighborhood models can be represented by the concrete Kripke models with action transitions modulo the valid formulas. We prove the completeness of the logic for the neighborhood semantics. The neighborhood semantics can be adapted to other variants of logics of knowing how. It provides us a powerful technical tool to study these logics while preserving the basic semantic intuition. (shrink)

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. This book characterizes a notion of type that covers both linguistic and non-linguistic action, and lays the foundations for a theory of action based on a Theory of Types with Records (TTR). Robin Cooper argues that a theory (...) of language based on action allows the adoption of a perspective on linguistic content that is centred on interaction in dialogue; this approach is crucially different to the traditional view of natural languages as essentially similar to formal languages such as logics developed by philosophers or mathematicians. At the same time, he claims that the substantial technical advantages made by the formal language view of semantics can be incorporated into the action-based view, and that this can lead to important improvements in both intuitive understanding and empirical coverage. This enterprise uses types rather than possible worlds as commonly employed in studies of the semantics of natural language. Types are more tractable than possible worlds and offer greater potential for understanding the implementation of semantics both on machines and in biological brains. (shrink)

This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form (...) of a logical system. This system is semantically defined by providing its intended models in which the role of actions of various types is accentuated. Since the consequence relation is not finitary, other semantically defined variants of are defined. The focus is on the finitary system in which only finite compound actions are admissible. An adequate axiom system for it is defined. The strong completeness theorem is the central result. The role of the canonical model in the proof of the completeness theorem is emphasized. (shrink)

Information exchange can be viewed as a process of asking questions and answering them. While dynamic epistemic logic traditionally focuses on statements, recent developments have been concerned with ways of incorporating questions. One approach, based on the framework of inquisitive semantics, is inquisitive dynamic epistemic logic ). In this system, agents are represented with issues as well as information. On the dynamic level, it can model actions that raise new issues. Compared to other approaches, a limitation of \ (...) is that it can only encode public announcements. \ can be refined to encode private questions, by merging its static basis, inquisitive epistemic logic ), with action model logic ). This can be done in two ways, namely by enriching action models with questions as possible actions or with issues concerning which action takes place. This paper describes the corresponding dynamic logics, which are conservative extensions of both \ and \, and a sound and complete axiomatization is given for both. (shrink)

This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.

Purpose The developing academic field of machine ethics seeks to make artificial agents safer as they become more pervasive throughout society. In contrast to computer ethics, machine ethics is concerned with the behavior of machines toward human users and other machines. This study aims to use an action-based ethical theory founded on the combinational aspects of deontological and teleological theories of ethics in the construction of an artificial moral agent. Design/methodology/approach The decision results derived by the AMA are (...) acquired via fuzzy logic interpretation of the relative values of the steady-state simulations of the corresponding rule-based fuzzy cognitive map. Findings Through the use of RBFCMs, the following paper illustrates the possibility of incorporating ethical components into machines, where latent semantic analysis and RBFCMs can be used to model dynamic and complex situations, and to provide abilities in acquiring causal knowledge. Research limitations/implications This approach is especially appropriate for data-poor and uncertain situations common in ethics. Nonetheless, to ensure that a machine with an ethical component can function autonomously in the world, research in artificial intelligence will need to further investigate the representation and determination of ethical principles, the incorporation of these ethical principles into a system’s decision procedure, ethical decision-making with incomplete and uncertain knowledge, the explanation for decisions made using ethical principles and the evaluation of systems that act based upon ethical principles. Practical implications To date, the conducted research has contributed to a theoretical foundation for machine ethics through exploration of the rationale and the feasibility of adding an ethical dimension to machines. Further, the constructed AMA illustrates the possibility of utilizing an action-based ethical theory that provides guidance in ethical decision-making according to the precepts of its respective duties. The use of LSA illustrates their powerful capabilities in understanding text and their potential application as information retrieval systems in AMAs. The use of cognitive maps provides an approach and a decision procedure for resolving conflicts between different duties. Originality/value This paper suggests that cognitive maps could be used in AMAs as tools for meta-analysis, where comparisons regarding multiple ethical principles and duties can be examined and considered. With cognitive mapping, complex and abstract variables that cannot easily be measured but are important to decision-making can be modeled. This approach is especially appropriate for data-poor and uncertain situations common in ethics. (shrink)

We propose a lexical account of event nouns, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature on 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é 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 felicitous copredications. (shrink)

More than half a century ago, the Supreme Court held that the free speech protection of the First Amendment is not limited to verbal communication, but also applies to such expressive conduct as saluting a flag or burning a flag. Even though the Supreme Court has decided a number of important cases involving expressive conduct, the Court has never announced any standards for distinguishing such conduct from conduct without communicative value. The aim of this paper is to examine which conceptions (...) of nonverbal expression underlie judicial decisions on expressive conduct, and to offer an account of expressive conduct grounded in contemporary semantic theory. The central hypothesis of this paper is that significance of expressive conduct can be explained by principles that explain important features of linguistic meaning. I propose an analysis of expressive conduct that takes the meaningfulness of conduct as a function of the action and its consequences in context. I develop a theory of expressive conduct whose underlying conception of expression is based on a number of ideas from speech act theory. These are Grice's account of nonnatural meaning, Austin's theory of illocutionary force, and Grice's work on conversational implicature. My analysis understands the meaningfulness of conduct in terms of its relational properties and relevant features of the context upon which illocutionary force, perlocutionary properties and implicature are predicated. The natural and conventional properties of types of conduct, features of the context, and underlying social and cultural presumptions and expectations about human conduct thus play a role in the constitution of symbolic speech. (shrink)

More than half a century ago, the Supreme Court held that the free speech protection of the First Amendment is not limited to verbal communication, but also applies to such expressive conduct as saluting a flag or burning a flag. Even though the Supreme Court has decided a number of important cases involving expressive conduct, the Court has never announced any standards for distinguishing such conduct from conduct without communicative value. The aim of this paper is to examine which conceptions (...) of nonverbal expression underlie judicial decisions on expressive conduct, and to offer an account of expressive conduct grounded in contemporary semantic theory. The central hypothesis of this paper is that significance of expressive conduct can be explained by principles that explain important features of linguistic meaning. I propose an analysis of expressive conduct that takes the meaningfulness of conduct as a function of the action and its consequences in context. I develop a theory of expressive conduct whose underlying conception of expression is based on a number of ideas from speech act theory. These are Grice's account of nonnatural meaning, Austin's theory of illocutionary force, and Grice's work on conversational implicature. My analysis understands the meaningfulness of conduct in terms of its relational properties and relevant features of the context upon which illocutionary force, perlocutionary properties and implicature are predicated. The natural and conventional properties of types of conduct, features of the context, and underlying social and cultural presumptions and expectations about human conduct thus play a role in the constitution of symbolic speech. (shrink)

Action theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoretic constructs. This ontology isolates various types of actions as structured entities: atomic, sequential, compound, ordered, situational actions etc., and it is a solid and non-removable foundation of any rational activity. The paper is mainly concerned with a bunch of (...) issues centered around the notion of performability of actions. It seems that the problem of performability of actions, though of basic importance for purely practical applications, has not been investigated in the literature in a systematic way thus far. This work, being a companion to the book as reported, elaborates the theory of performability of actions based on relational models and formal constructs borrowed from formal lingusistics. The discussion of performability of actions is encapsulated in the form of a strict logical system. This system is semantically defined in terms of its intended models in which the role of actions of various types is accentuated. Since due to the nature of compound actions the system is not finitary, other semantic variants of are defined. The focus in on the system of performability of finite compound actions. An adequate axiom system for is defined. The strong completeness theorem is the central result. The role of the canonical model in the proof of the completeness theorem is highlighted. The relationship between performability of actions and dynamic logic is also discussed. (shrink)

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued fluents. To address this problem, we propose a language with sensing actions and multi-valued fluents, called AMK, provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then define the entailment relationship between action theories and queries in AMK, denoted by ⊧AMK, and discuss some properties (...) about AMK. (shrink)

This paper argues that Locke has a representative theory of sensitive knowledge. Perceivers are immediately aware of nothing but sensory ideas in the mind; yet perceivers think of real external substances that correspond to and cause those ideas, and they are warranted in believing that those substances exist (at that time). The theory poses two questions: what warrants the truth of such beliefs? What is it in virtue of which sensory ideas represent external objects and how do they make perceivers (...) think of those objects? Both the epistemic and semantic issues need to be addressed. This paper urges that Locke's basic account of warrant is roughly reliabilist. The causal origin of sensory ideas assures that, in general, sense based beliefs are true. Locke defines the limit of this warrant by the theoretical point that we cannot discuss skeptical doubt without assuming the truthfulness of our perceptual faculty. Turning to the semantic question, the paper argues that ideas are mental modifications or entities. They are not intrinsically representative (satisfiable), but rather represent only by virtue of their causal origin. They merely “track” the presence of substances and their qualities. Ideas nevertheless prompt perceivers to think of their causes. This is roughly because sensory ideas have a specific mental role, namely, to serve as marks for distinguishing substances and their respective qualities for purposes of action. The paper suggests that, for Locke, the challenge posed by the semantic veil of ideas is to explain this externally directed marking function within bounds of his anti‐innatism. But it concludes that his answers to the twin questions fit together reasonably well. (shrink)

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in (...) Multiplicative Linear Logic , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

It is argued that early language learning in children emerges from five primary knowledge structures: Space, objects, actions, number and events. These structures constitute the basis for the semantic domains that are used to form categories that represent the meanings of early words. The domains are naturally modeled in conceptual spaces that are based on geometric notions rather than on symbolic representations. It is shown how these semantics domains can be used to generate an epigenetic model of language (...) acquisition. The four first primary knowledge systems are used for prepositions, nouns, verbs and quantifiers respectively, while events form the meanings of declarative sentences. This semantic model leads to direct recommendations for how the model can be implemented in robots and other artificial systems. (shrink)

A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we (...) systematically study multi-relational structures, whose investigation is still relatively underdeveloped. After a brief introduction to two different versions of multi-relational semantics – which we call strong and weak multi-relational semantics – we proceed to study several modal schemata. Special attention is paid to the schemata CON and D. Finally we offer completeness proofs for several systems using both strong and weak semantic tools: The proofs thus cover both classical system.. (shrink)

The book contains essays in honor of Victor Raskin. The contributions are all directly related to some of the major areas of work in which Raskin's scholarship has spanned for decades. The obvious connecting idea is the encyclopedic script-based foundation of lexical meaning, which informs his pioneering work in semantics in the 1970s and 1980s. The first part of the book collects articles directly concerned with script-based semantics, which examine both the theoretical and methodological premises of (...) the idea and its applications. Script-based semantics is the foundation of both Raskin's ground-breaking work in humor research (addressed by the articles in part 2) and in Ontological semantics (addressed in part 3), the most recent development of script-based semantics. The fourth part is dedicated to a less-known, but equally important, strand of Raskin's research, the applications of linguistics to other fields, including writing, lexicography, and professional applications (e,g., tourism). Overall, the book provides and up-to-date, in-depth discussion of an influential strand of the discussion on semantics and its most recent developments and influence on other seemingly unrelated fields, such as Cognitive Linguistics. (shrink)

Silent gesture is not considered to be linguistic, on par with spoken and sign languages. It is claimed that silent gestures, unlike language, represent events holistically, without compositional structure. However, recent research has demonstrated that gesturers use consistent strategies when representing objects and events, and that there are behavioral and clinically relevant limits on what form a gesture may take to effect a particular meaning. This systematicity challenges a holistic interpretation of silent gesture, which predicts that there should be no (...) stable form‐meaning correspondence across event representations. Here, we demonstrate to the contrary that untrained gesturers systematically manipulate the form of their gestures when representing events with and without a theme (e.g., Someone popped the balloon vs. Someone walked), that is, transitive and intransitive events. We elicited silent gestures and annotated them for manual features active in coding transitivity distinctions in sign languages. We trained linear support vector machines to make item‐by‐item transitivity predictions based on these features. Prediction accuracy was good across the entire dataset, thus demonstrating that systematicity in silent gesture can be explained with recourse to subunits. We argue that handshape features are constructs co‐opted from cognitive systems subserving manual action production and comprehension for communicative purposes, which may integrate into the linguistic system of emerging sign languages. We further suggest that nonsigners tend to map event participants to each hand, a strategy found across genetically and geographically distinct sign languages, suggesting the strategy's cognitive foundation. (shrink)

There exist many competing philosophical definitions of joint action and no clear criteria to decide between them; so far the search for definitions has by and large been a semantical enterprise rather than an empirical one. This chapter describes and assesses several constraints that could help converge towards a set of necessary and sufficient conditions for joint action. The tightness constraint favours definitions that fit joint actions in which the links between agents are as relaxed as possible, so (...) as to better pinpoint the conceptual core of jointness. The developmental constraint asks for definitions based on realistic psychological states that could be entertained by agents less cognitively developed than ideal human beings. The motor constraint holds that definitions should refer to psychological mechanisms involved in actual human coordination. These first three constraints are discussed and dismissed, mainly because they manage to establish vague limits at best (for various reasons). I then introduce a fourth one, the efficiency constraint, based on the fact that most of our joint actions are generally successful, and according to which definitions should involve conditions that help justify this success. Finally, the rational and evolutionary versions of the efficiency constraint are examined and defended against objections. (shrink)

Our understanding of body ownership largely relies on the Rubber Hand Illusion (RHI) paradigm where synchronous stroking of the real and fake hands leads to an illusion of ownership of RH provided its physical, anatomical, and spatial plausibility. Self-attribution of a fake hand also occurs during visuomotor synchrony, when the visual feedback of self-initiated movements follows the trajectory of the instantiated motor command. In both cases, the experience of ownership is established through bottom-up integration and top-down prediction of multisensory (proximodistal) (...) cues within the peripersonal space. It seems, however, that depending on whether the signals are externally or self-generated, top-down expectation signals are qualitatively different. On the one hand, in RHI, the sensory correlations are modulated by empirically induced priors about the internal model of the body. On the other hand, in mRHI, body ownership is actively shaped by processes allowing for continuous comparison between the actual and predicted sensory consequences of the actions. Ample research demonstrates that the differential processing of the predicted and the actual reafferent information is addressed by the central nervous system via an internal Forward Model (FM). Indeed, results from mRHI suggest that in action-contexts mechanism underlying body ownership could be similar to the FM. Crucially FMs integrate across all sensory input including not only proximodistal (visuomotor) but also purely distal sensory signals (visuoauditory). Thus if body ownership results from a consistency of FM, it would be affected by the (in)congruency of purely distal signals provided that they inform about the action-consequences relevant to the task. Here we explicitly address this question. To test our hypothesis, we devise an embodied VR-based task where action outcomes were signaled by distinct auditory cues. By manipulating the cues with respect to their spatial, temporal and semantic congruency, we show that purely distal feedback violating predictions about action outcomes compromises both body ownership and performance. These results demonstrate that body ownership is influenced by cues which not only pertain to the body itself but also those arising outside of the body, and suggest that in goal-oriented tasks body ownership might result from the consistency of forward models. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to the Logic of (...) the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)

Aimed at linguists and computer scientists working on natural language processing, this is the first book that shows, at a large scale, how to do semantics for spatio-temporal information based on annotation structures that conform to ISO international standards such as ISO-TimeML or ISO-Space.

I present a computational-level model of semantic interference effects in online word production within a rate–distortion framework. I consider a bounded-rational agent trying to produce words. The agent's action policy is determined by maximizing accuracy in production subject to computational constraints. These computational constraints are formalized using mutual information. I show that semantic similarity-based interference among words falls out naturally from this setup, and I present a series of simulations showing that the model captures some of the key (...) empirical patterns observed in Stroop and Picture–Word Interference paradigms, including comparisons to human data from previous experiments. (shrink)

Conflicts between legal norms are common in reality. In many legislations, legal conflicts between norms are resolved by applying ordered principles. This work presents a formalization of the conflict resolution mechanism and introduces action legal logic (⁠ALL) to reason about the normative consequences of possibly conflicting legal systems. The semantics of ALL is explicitly based on legal systems consisting of norms and ordered principles. Legal systems specify the legal status of transitions in transition systems and the language (...) of ALL describes the legal status of paths in transition systems. The formalization is used to study abstract revisions of legal systems. The expressivity of ALL is studied and its completeness is proved. (shrink)

This paper adds evidence structure to standard models of belief, in the form of families of sets of worlds. We show how these more fine-grained models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. We show how this perspective leads to new richer languages for existing neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence.

Taking the perspective of knowledge representation, we introduce a simple logic of agency where the agents’ actions are described by their precondition and effects and whose semantics is based on the concept of attempt. We give its syntax, semantics, and axiomatics and discuss the relation with other proposals, in particular Belnap and Horty’s ‘branching time and agent choice’ semantics (BT+AC) and Czelakowski’s relational semantics.

Based on economic ethics, this paper reflects on and aims to improve the semantics of responsibility. The traditional concept of responsibility is threatened with erosion when responsibility is attributed to an actor who is unable to exercise individual control over the outcome of his actions. In the modern world-society this is increasingly the case. The concept of ordo-responsibility is helpful in identifying a suitable approach for the attribution and acceptance of responsibility. The perspective of economic ethics systematically differentiates (...) between the initial basic game of business and the related meta-games of politics and public discourse. In this way, the focus shifts to the rule-setting processes and rule-finding discourses for which the actors can accept governance responsibility and discourse responsibility, respectively. These two forms of ordo-responsibility demonstrate a characteristic which is extremely important for processes of New Governance: they can be attributed to corporative actors, and they can be perceived by them in their own well-reflected interests. (shrink)

The object of this work is the interdisciplinary dialogue between natural sciences and Christian theology. The objective is to study the theological, epistemological and semantic conditions that make possible an articulation between scientific worldviews and theological discourses. In this study "to articulate" means that scientific theories and theological discourses do not share the same semantic horizon. At the same time, the verb "to articulate" implies that there is a possible mediation between scientific worldviews and systematic theology. The main thesis of (...) this study is that an articulation between scientific worldviews and systematic theology is possible through the mediation of philosophy. Natural sciences and philosophy refer to the order of manifestation where real things appear as phenomena. Christian theology refers to the order of revelation where God communicates Himself to the human person. The relationship between these two orders can be expressed with the maxim: neither confusion nor separation. Furthermore, there is a positive formulation of that relation: revelation assumes and transfigures what is manifested. This model of relation is the fundamental theological condition that makes possible an articulation between natural sciences and theology. In addition, there is an epistemological condition: the homologous rational structure of each rational field (sciences, philosophy and theology). Based on these theological and epistemological conditions, this research work proposes a theological method that articulates scientific worldviews into systematic theology through the mediation of philosophy. The method seeks two objectives: (a) that theology remains in ist epistemological boundaries and (b) to respect symmetrically the autonomy of natural sciences' procedures. Finally, the proposed method is applied to three examples: the elaboration of theological discourses, in dialogue with natural sciences, about (i) creation, (ii) human action and (iii) a spiritual contemplation of God's presence in the world. This research follows the contributions of two major scholars of the twentieth century: Jean Ladriere and Xavier Zubiri. Our considerations are based on the scholars' analyses of the plurality of epistemologies and their analyses of the intellectual act. (shrink)

In this paper we suggest that Duffley’s sign-based semantics rests on two main claims: a methodological one and an ontological one. The methodological one is the analysis of corpora and the ontological one is the postulate of mental content. By adopting a linguistic enactivist perspective with a Wittgensteinian twist, we endorse Duffley’s methodological claim and suggest that a sign-based semantics doesn’t have to rely on mental content if it takes into account the conception of meaningful material (...) engagement in cognitive archeology and its development into sign-using as an enactive capacity. (shrink)

There are complex posture changes in dance movements, which lead to the low accuracy of dance movement recognition. And none of the current motion recognition uses the dancer’s attributes. The attribute feature of dancer is the important high-level semantic information in the action recognition. Therefore, a dance movement recognition algorithm based on feature expression and attribute mining is designed to learn the complicated and changeable dancer movements. Firstly, the original image information is compressed by the time-domain fusion module, (...) and the information of action and attitude can be expressed completely. Then, a two-way feature extraction network is designed, which extracts the details of the actions along the way and takes the sequence image as the input of the network. Then, in order to enhance the expression ability of attribute features, a multibranch spatial channel attention integration module based on an attention mechanism is designed to extract the features of each attribute. Finally, using the semantic inference and information transfer function of the graph convolution network, the relationship between attribute features and dancer features can be mined and deduced, and more expressive action features can be obtained; thus, high-performance dance motion recognition is realized. The test and analysis results on the data set show that the algorithm can recognize the dance movement and improve the accuracy of the dance movement recognition effectively, thus realizing the movement correction function of the dancer. (shrink)

A major obstacle to formulating a broad-content intentional psychology is the occurrence of ''Frege cases'' - cases in which a person apparently believes or desires Fa but not Fb and acts accordingly, even though "a" and "b" have the same broad content. Frege cases seem to demand narrow-content distinctions to explain actions by the contents of beliefs and desires. Jerry Fodor ( The elm and the expert: Mentalese and its semantics , Cambridge, MA: MIT Press, 1994) argues that an (...) explanatorily adequate broad-content psychology is nonetheless possible because Frege cases rarely occur in intentional-explanatory contexts, and they are not systematically linked to intentional laws in a way that demands intentional explanation. Thus, he claims, behaviors associated with Frege cases can be considered ceteris-paribus exceptions to broad-content intentional laws without significantly decreasing the explanatory power of intentional psychology. I argue that Frege cases are plentiful and systematically linked to intentional laws in a way that requires intentional explanation, specifically in the explanation of why certain actions are not performed. Consequently, Frege-case behaviors cannot be construed as ceteris-paribus exceptions to intentional laws without significantly eroding the explanatory power of intentional psychology and reducing the rationality of the agent. Fodor thus fails to save broad-content psychology from the prima facie objections against it based on Frege cases. (shrink)

In this paper, we apply relating semantics to the widely discussed problem of free choice between permitted actions or situations in normative systems. Leaving aside contexts in which the free choice principle is obviously unacceptable or uncontroversially valid, we concentrate on free choice for explicit permissions. In order to construct a formal representation of explicit permissions, we introduce a special constant, $\texttt {permit}$, which is analogous to the constant $\texttt {violation}$ used in the Andersonian–Kangerian approach to deontic logic with (...) respect to prohibition and obligation. Consequently, we define a permission operator on the basis of the $\texttt {permit}$ constant and a relation of legitimization. The general idea is that $P \varphi $ is true if and only if $\texttt {permit}$ is true, which means that a permission is actually issued and $\varphi $ is legitimized by $\texttt {permit}$. The intuitive notion of legitimization is formally represented by an operator of relating implication: a non-classical implication that is semantically defined by adding a constraint to the classical meaning of implication to the effect that arguments are related by a special relation. The properties of this relation are based on an informal, intuitive meaning of legitimization and determine the properties of the permission operator. We show that the resulting permission operator possesses the free choice property and avoids certain unwanted consequences that follow from alternative approaches. (shrink)

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on (...) relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic. (shrink)

The paper is based on the following two assumptions. Firstly, evasive utterances are those which are semantically irrelevant to the question they are an answer to. Secondly, they can be divided into two main categories — overt and covert.The question to be asked as regards covert evasion is: How is it possible that an evasive speaker can nevertheless count on her/his utterance being considered cooperative? The objective of this paper is to analyse the means which are used by evasive (...) speakers to pretend that their utterance does cooperatively answer the question and thereby meet its conversational demand.Semantic and pragmatic means were identified as serving the purpose of concealing evasive action. Within the former ones operation within the same topic as the questioner, and, secondly, equipping her/his evasive utterance with some formal characteristics which may indicate its relationship with the question, were listed. On a pragmatic level, the speaker may explicitly or implicitly indicate her/his willingness to answer the question: by statement or implication as well as licenses of uncooperativeness or hedging. (shrink)