Search results for " Logic"

Wellfounded Trees and Dependent Polynomial Functors

2004

We set out to study the consequences of the assumption of types of wellfounded trees in dependent type theories. We do so by in- vestigating the categorical notion of wellfounded tree introduced in [16]. Our main result shows that wellfounded trees allow us to define initial algebras for a wide class of endofunctors on locally cartesian closed cat- egories.

The identity type weak factorisation system

2008

We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit characterisation of the elements of both the left class and the right class of the weak factorisation system. This characterisation is applied to relate identity types and the homotopy theory of groupoids.

An Extension of the DgLARS Method to High-Dimensional Relative Risk Regression Models

2020

In recent years, clinical studies, where patients are routinely screened for many genomic features, are becoming more common. The general aim of such studies is to find genomic signatures useful for treatment decisions and the development of new treatments. However, genomic data are typically noisy and high dimensional, not rarely outstripping the number of patients included in the study. For this reason, sparse estimators are usually used in the study of high-dimensional survival data. In this paper, we propose an extension of the differential geometric least angle regression method to high-dimensional relative risk regression models.

Control Structures in Motivational Psychology

1996

Abstract Motivational processes in psychology have been interpreted from many different viewpoints. In the general case, they present an information feedback structure, with goals and disturbances, in a similar way most control systems behave. In this contribution, this similarity is analysed and examples of motivational processes corresponding to the most common control system structures are given. This comparison will be fruitful from both sides: to explore a new field of control theory application and to provide a new framework to the analysis of these complex processes.

Abductive Reasoning and Linguistic Meaning

2006

Putting information back into biological communication.

2010

At the heart of many debates on communication is the concept of information. There is an intuitive sense in which communication implies the transfer of some kind of information, probably the reason why information is an essential ingredient in most definitions of communication. However, information has also been an endless source of misunderstandings, and recent accounts have proposed that information should be dropped from a formal definition of communication. In this article, we re-evaluate the merits and the internal logic of information-based vs. information-free approaches and conclude that information-free approaches are conceptually incomplete and operationally hindered. Instead, we …

Fuzziness, Cognition and Cybernetics: an outlook on future

2015

In the present paper, we connect some old reflections about the relationships existing between the theory of fuzzy sets and cybernetics with modern, contemporary analyses of the crucial (better: unavoidable) role that fuzziness plays in the attempts at scientifically describing aspects of information sciences. The connection, which has a basic conceptual origin, has been triggered also by the recent 50th anniversary of Norbert Wiener’ death which has been instrumental in looking again at some crucial aspects of the birth of information sciences in the midst of last Century. Fuzzy sets are an essential part of this revolution and share all the innovations as well as the difficulties of this …

1. Recognition And Social Ontology: An Introduction

2011

One of Hegel's big ideas is that creatures with a self-conception are the subjects of developmental processes that exhibit a distinctive structure. Call a creature 'essentially self-conscious' if what it is for itself, its self- conception, is an essential element of what it is in itself. How something that is essentially self-conscious appears to itself is part of what it really is. This chapter shows how the tripartite account of erotic awareness can be used in a natural way to build a notion of recognition that satisfies these twin philosophical constraints on the interpretation of Hegel's notion of self-consciousness in terms of recognition. Doing so it clarifies the nature of the trans…

David Marr: A Theory for Cerebral Neocortex

1986

This paper is an important contribution to the understanding of the visual system, it contains a part of those ideas which have become the commonly accepted basis of current research. Although some of these principles already had a history in 1970, Marr clearly deserves the credit for their sharp formulation and for a series of attempts leading to a formalization of the problems. His way of dividing the approach into the levels of computational theory, of the algorithm and of the implementation clarified the problems. His creed that human visual processing is modular, and that different types of information, which are encoded in the image can be decoded independently by modules, has been ge…

Emergent Collective Behaviors in a Multi-agent Reinforcement Learning Pedestrian Simulation: A Case Study

2015

In this work, a Multi-agent Reinforcement Learning framework is used to generate simulations of virtual pedestrians groups. The aim is to study the influence of two different learning approaches in the quality of generated simulations. The case of study consists on the simulation of the crossing of two groups of embodied virtual agents inside a narrow corridor. This scenario is a classic experiment inside the pedestrian modeling area, because a collective behavior, specifically the lanes formation, emerges with real pedestrians. The paper studies the influence of different learning algorithms, function approximation approaches, and knowledge transfer mechanisms on performance of learned ped…