The rest of this survey is divided into two parts. Part I describes the propositional framework of Nmatrices. We begin with some preliminaries and a review of many-valued matrices in Section 2. The basic definitions of the framework of Nmatrices are presented in Section 3. In Section 4 we introduce canonical signed calculi, a natural family of proof systems manipulating sets of signed formulae (Gentzen-type systems can be thought of as a specific instance of such calculi). The relation between Nmatrices and canonical calculi is then explored in two complementary directions. In Section 4.1 we provide a general proof theory for Nmatrices using canonical calculi. In Section 4.2 modular non-deterministic semantics is provided for every canonical calculus (satisfying a simple syntactic condition). We then proceed to describe further applications of Nmatrices. In Section 5 we extend the modular approach to two non-canonical families of Gentzentype calculi: those that are obtained from the positive fragments of classical logic and intuitionistic logic by adding various natural Gentzen-type rules for negation. In Section 6 Nmatrices are used for yet another family of nonclassical logics: paraconsistent logics, designed for reasoning in the presence of contradictions. In Part II we handle the extension of the framework of Nmatrices to the first-order level and beyond. In Section 7 we briefly review the two standard approaches to interpreting unary quantifiers in many-valued logics. In Section 8 we extend the propositional framework of Nmatrices to languages with such quantifiers and discuss the problems that this move reveals (and were not evident on the propositional level). Section 9 is devoted to the particular case of the usual first-order quantifiers. An application of this case is presented in Section 10, where we extend the results from Section 6, and provide semantics for a large family of first-order paraconsistent logics. Section 11 further generalizes the framework of Nmatrices to multi-ary quantifiers and extends the relation between Nmatrices and canonical signed calculi to languages with such quantifiers. Due to lack of space, we omit in what follows most of the proofs, providing instead pointers to the relevant papers.Those of the proofs we do include are intended to give the reader a better insight into the nature of Nmatrices, and a flavour of the (mostly new) methods that can be employed in handling and applying them.
Facial expressions in non-human animals are closely linked to their internal affective states, with the majority of empirical work focusing on facial shape changes associated with pain. However, existing tools for facial expression analysis are prone to human subjectivity and bias, and in many cases also require special expertise and training. This paper presents the first comparative study of two different paths towards automatizing pain recognition in facial images of domestic short haired cats (n = 29), captured during ovariohysterectomy at different time points corresponding to varying intensities of pain. One approach is based on convolutional neural networks (ResNet50), while the other—on machine learning models based on geometric landmarks analysis inspired by species specific Facial Action Coding Systems (i.e. catFACS). Both types of approaches reach comparable accuracy of above 72%, indicating their potential usefulness as a basis for automating cat pain detection from images.
Abstract. We define in precise terms the basic properties that an 'ideal propositional paraconsistent logic' is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n > 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n.
Behavioural studies revealed that the dog–human relationship resembles the human mother–child bond, but the underlying mechanisms remain unclear. Here, we report the results of a multi-method approach combining fMRI (N = 17), eye-tracking (N = 15), and behavioural preference tests (N = 24) to explore the engagement of an attachment-like system in dogs seeing human faces. We presented morph videos of the caregiver, a familiar person, and a stranger showing either happy or angry facial expressions. Regardless of emotion, viewing the caregiver activated brain regions associated with emotion and attachment processing in humans. In contrast, the stranger elicited activation mainly in brain regions related to visual and motor processing, and the familiar person relatively weak activations overall. While the majority of happy stimuli led to increased activation of the caudate nucleus associated with reward processing, angry stimuli led to activations in limbic regions. Both the eye-tracking and preference test data supported the superior role of the caregiver’s face and were in line with the findings from the fMRI experiment. While preliminary, these findings indicate that cutting across different levels, from brain to behaviour, can provide novel and converging insights into the engagement of the putative attachment system when dogs interact with humans.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.