We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)
We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)
This essay discusses the main contentions of The Antinomies of Antonio Gramsci by Perry Anderson in a critical reading of both the positions of the British historian, and of his critics among ‘Togliattian Gramscianists’.
In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)
In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)
We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.
In this paper a possible general framework for the representation of concepts in cognitive artificial systems and cognitive architectures is proposed. The framework is inspired by the so called proxytype theory of concepts and combines it with the heterogeneity approach to concept representations, according to which concepts do not constitute a unitary phenomenon. The contribution of the paper is twofold: on one hand, it aims at providing a novel theoretical hypothesis for the debate about concepts in cognitive sciences by providing (...) unexplored connections between different theories; on the other hand it is aimed at sketching a computational characterization of the problem of concept representation in cognitively inspired artificial systems and in cognitive architectures. (shrink)
Señoras y señores, amigas y amigos:Para mí constituye una ocasión de gran alegría y honda satisfacción realizar, a nombre de la Universidad Bolivariana, esta presentación de homenaje a nuestro amigo y maestro Franz Josef Hinkelammert. Querría presentar sucintamente una semblanza de su personalidad intelectual y de su vasta obra investigativa. Nació en Alemania en 1931. Doctor en Economía por la Universidad Libre de Berlín, realizó su formación de postgrado en el Instituto de Europa Oriental..
Resume This paper offers a methodical review of the scientific literature of the last decade that concerns itself with online services offering supportive advocacy for anorexia nervosa and bulimia nervosa. The main question is whether these studies reproduce the traditional divide in the study of eating disorders, between clinical and social science perspectives, with limited mutual exchanges. Having first identified a specific body of literature, the authors investigate its content, methods and approaches, and analyse the network of cross-citations the components (...) generate and share. On this basis, the authors argue that the scientific literature touching on pro-ana websites can be regarded as a single transdisciplinary body of knowledge. What’s more, they show that the literature on computer-mediated sociabilities centred on eating disorders displays different structural characteristics with respect to the traditional, non-Web-related research on eating disorders. In the latter, the social sciences have usually provided a critical counterpoint to the development of a health sciences mainstream. In the case of Web-related research, however, the social sciences have taken the lead role in defining the field, with the health sciences following suit. (shrink)
Born in Granada, April 30, 1901, Antonio De Luna was educated in the universities of Granada and of Madrid, continued his studies at Freiburg in Bresgovia, Paris, and Oxford and received the doctorate in law from Bologna. At the age of 27 he was appointed to the chair of natural law at the University of La Laguna in the Canary Isles, and from there went on to Salamanca and Granada. In 1932 he obtained the chair of international public law (...) of the Faculty of Law of the University of Madrid. At this time he began a period of intense professional activity: He was Secretary of the Federation of Spanish Associations of International Studies (1932–1936), founder and director of the Institute of International and Economic Studies (1932–1936), and Secretary of the Juridical Assessory Commission of the Spanish Republic (1931–1934). After the interruption of the Civil War, Luna, with a sense of continuity, resumed his essential tasks. (shrink)
The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local law in which (...) a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)
Summary Robert Boyle did not subordinate chemistry to mechanical philosophy. He was in fact reluctant to explain chemical phenomena by having recourse to the mechanical properties of particles. For him chemistry provided a primary way of penetrating into nature. In his chemical works he employed corpuscles endowed with chemical properties as his explanans. Boyle's chemistry was corpuscular, rather than mechanical. As Boyle's views of seminal principles show, his corpuscular philosophy cannot be described as a purely mechanical theory of matter. Boyle's (...) classification of corpuscles allowed him to connect his corpuscular views of matter with chemistry. Boyle did not rule out the possibility of a classification of chemical substances based on their properties: his aim was to reform the received classification. (shrink)
During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR ) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION ) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available . In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors  more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors  for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)
Revonsuo proposed an intriguing and detailed evolutionary theory of dreams which stipulates that the biological function of dreaming is to simulate threatening events and to rehearse threat avoidance behaviors. The goal of the present study was to test this theory using a sample of 212 recurrent dreams that was scored using a slightly expanded version of the DreamThreat rating scale. Six of the eight hypotheses tested were supported. Among the positive findings, 66% of the recurrent dream reports contained one or (...) more threats, the threats tended to be dangerous and aimed at the dreamer, and when facing a threat, the dreamer tended to take defensive or evasive actions that were possible and reasonable. However, less than 15% of the recurrent dreams depicted realistic and probable situations critical for one’s physical survival or reproductive success and the dreamer rarely succeeded in fleeing the threat despite important and appropriate efforts. The findings thus provide mixed support for the threat simulation theory. (shrink)
ABSTRACTSome firms are initiating pro-stakeholder activities and policies that transcend conventional corporate social responsibility conceptions and seem inconsistent with their business interests or economic responsibilities. These initiatives, which are neither legally nor morally obligatory, are responding to calls for a more active role of business in society and for a broader interpretation of CSR. In fact, they benefit stakeholders in a superior and an innovative way and are difficult to reconcile with commonly used rationales in the extant CSR literature, such (...) as win-win opportunities, creating shared value, or corporate philanthropy. For better insight, we develop a qualified account of the concept of supererogation from ethical theory. This account, which examines voluntary responses to moral obligations from which a business is normally excused, is applied to identify the unique features of the initiatives that are not readily understood within conventional reasoning, which is generally focused on a business case. (shrink)
John Broome has developed an account of rationality and reasoning which gives philosophical foundations for choice theory and the psychology of rational agents. We formalize his account into a model that differs from ordinary choice-theoretic models through focusing on psychology and the reasoning process. Within that model, we ask Broome’s central question of whether reasoning can make us more rational: whether it allows us to acquire transitive preferences, consistent beliefs, non-akratic intentions, and so on. We identify three structural types of (...) rationality requirements: consistency requirements, completeness requirements, and closedness requirements. Many standard rationality requirements fall under this typology. Based on three theorems, we argue that reasoning is successful in achieving closedness requirements, but not in achieving consistency or completeness requirements. We assess how far our negative results reveal gaps in Broome's theory, or deficiencies in choice theory and behavioral economics. (shrink)
All of the attempts to date to find a set of necessary and sufficient conditions for life, in order to provide an essential definition of life, have failed. We only have at our disposal series of lists that contain diverse characteristics usually found in living beings. Some authors have drawn from this fact the conclusion that life is not a natural kind. It will be argued here that this conclusion is too hasty and that if life is understood as a (...) natural kind in the non-essentialist sense of a homeostatic property cluster, it is easy to see why the attempts to find a unique and essentialist definition of life have failed. Understanding life in this way would imply that the pretension to find such a type of definition should be abandoned. (shrink)
The paper presents a metaphysical characterization of spatiotemporal backgrounds from a realist perspective. The conceptual analysis is based on a heuristic sketch that encompasses the common formal traits of the major spacetime theories, such as Newtonian mechanics and general relativity. It is shown how this framework can be interpreted in a fully realist fashion, and what is the role of background structures in such a picture. In the end it is argued that, although backgrounds are a source of metaphysical discomfort, (...) still they make a spacetime theory easy to interpret. It is also suggested that this conclusion partially explains why the notion of background independence carries a lot of conceptual difficulties. (shrink)
This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)