Computational Semantics

Information and Meaning are present everywhere around us and within ourselves. Specific studies have been implemented in order to link information and meaning: - Semiotics - Phenomenology - Analytic Philosophy - Psychology No general coverage is available for the notion of meaning. We propose to complement this lack by a systemic approach to meaning generation.

Information and Meaning are present everywhere around us and within ourselves. Specific studies have been implemented in order to link information and meaning: - Semiotics - Phenomenology - Analytic Philosophy - Psychology No general coverage is available for the notion of meaning. We propose to complement this lack by a systemic approach to meaning generation.

Information and meaning exist around us and within ourselves, and the same information can correspond to different meanings. This is true for humans and animals, and is becoming true for robots. We propose here an overview of this subject by using a systemic tool related to meaning generation that has already been published (C. Menant, Entropy 2003). The Meaning Generator System (MGS) is a system submitted to a constraint that generates a meaningful information when it receives an incident information that (...) has a relation with the constraint. The content of the meaningful information is explicited, and its function is to trigger an action that will be used to satisfy the constraint of the system. The MGS has been introduced in the case of basic life submitted to a "stay alive" constraint. We propose here to see how the usage of the MGS can be extended to more complex living systems, to humans and to robots by introducing new types of constraints, and integrating the MGS into higher level systems. The application of the MGS to humans is partly based on a scenario relative to the evolution of body self-awareness toward self-consciousness that has already been presented (C. Menant, Biosemiotics 2003, and TSC 2004). The application of the MGS to robots is based on the definition of the MGS applied to robots functionality, taking into account the origins of the constraints. We conclude with a summary of this overview and with themes that can be linked to this systemic approach on meaning generation. (shrink)

Early artificial intelligence research was dominated by intellectualist assumptions, producing explicit representation of facts and rules in “good old-fashioned AI”. After this approach foundered, emphasis shifted to deep learning in neural networks, leading to the creation of Large Language Models which have shown remarkable capacity to automatically generate intelligible texts. This new phase of AI is already producing profound social consequences which invite philosophical reflection. This paper argues that Charles Peirce’s philosophy throws valuable light on genAI’s capabilities first with regard (...) to meaning, then knowledge and truth. Firstly, I explore how Peirce’s icon/index/symbol distinction illuminates the functioning of genAI. I argue that genAI’s engineers have skilfully captured a form of symbolicity, but no other sign-kind. In lacking indexical signs, LLMs lack connection with, and accountability to, particular worldly objects. In lacking iconic signs, LLMs are insufficiently disciplined by structural – most notably logical – relationships. Then I argue that GenAI’s astounding stream of articulate, truth-semblant, yet worthless texts issues a timely reckoning to modern philosophy’s representational realism. By contrast, Peirce’s pragmatism scaffolds a rich relational realism (Gili and Maddalena 2022), which shows how meaningful concepts, and a grasp of truth, can only occur across multiple cognitive systems who are simultaneously richly related with one another, and a shared environment in which they continually act and receive feedback, within a logical space of reasons. As Peirce himself noted, “Mere knowledge, though it be systematized, may be a dead memory; while by science we all habitually mean a living and growing body of truth”. (shrink)

In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.

The rapid advancements in artificial intelligence, particularly in natural language processing, have brought to light a critical challenge, i.e., the semantic grounding problem. This article explores the root causes of this issue, focusing on the limitations of connectionist models that dominate current AI research. By examining Noam Chomsky's theory of Universal Grammar and his critiques of connectionism, I highlight the fundamental differences between human language understanding and AI language generation. Introducing the concept of semantic grounding, I emphasise the need for (...) AI to connect language with real-world experiences and context to achieve true understanding. While multi-modal models represent a step forward, they fall short of addressing the core issue. The article concludes with a call for a course correction in AI development, advocating for the integration of embodied cognition, dynamic learning, hybrid models, and ethical practices. This shift is essential for creating AI systems that can meaningfully interact with the world, reducing the incidence of hallucinations and enhancing their reliability and utility. (shrink)

The fundamental algorithm in Nature: If zero then one, and, simultaneously, if one then zero. Basis for code and coding (all languages). Technically, then, 50 + 50 is 50.

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an argument or (...) subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided. (shrink)

In this paper, I defend a conception of Deleuze’s two volumes dedicated to film – Cinema I: The Movement-Image, and Cinema II: The Time-Image – as protracted expressions of his political philosophy. In this context, I will elaborate the difficult and entwined political claims Deleuze makes on behalf of cinema: that it is capable of engendering a tentative ‘belief in the world’, such as is the necessary correlate of political action; that it captures the contemporary political fact that ‘the people (...) are missing’, as a unified or coherent political agent; and finally that it might reveal those ‘impossible’ or ‘intolerable’ situations which would provoke such a people into being. In advancing this conceptual triumvirate, I will argue that the claims made here on behalf of cinema overspill the art form itself, linking up with Deleuze’s broader political ontology of thought and constituting a generalised political philosophy proper to so-called ‘late-capitalism’. (shrink)

This paper articulates the separate accounts of facial education and lecturing found in A Thousand Plateaus in order to theorize a new concept of lecturing for a post-digital university. Many accounts of Deleuze and Guattari in educational theory turn away from lecturing as hierarchical and striated, yet this approach denies Deleuze and Guattari’s deterritorialization of the practice through their description of a lecture by the character Professor Challenger. When read alongside their plateau on facialization, Challenger’s unusual performance can be interpreted (...) as an interruption of the abstract machine of facialization that animates traditional accounts of lecturing. The article concludes with implications for a de-faced form of lecturing for a post-digital university. (shrink)

Regular polysemes are sets of ambiguous words that all share the same relationship between their meanings, such as CHICKEN and LOBSTER both referring to an animal or its meat. To probe how a context embedding model, here exemplified by BERT, represents regular polysemy, we analyzed whether its embeddings support answering sense analogy questions similar to “is the mapping be- tween CHICKEN (as an animal) and CHICKEN (as a meat) the same as that which maps between LOBSTER (as an animal) to (...) LOBSTER (as a meat)?” We found that (1) the model was sensitive to the shared structure within a regularity type; (2) the shared structure varies across regularity types, potentially reflective of a “regularity continuum;” (3) some high-order latent structure may be shared across regularity types, suggestive of a similar la- tent structure across types; and (4) there is equivocal ev- idence that the aforementioned effects are explained by meaning overlap. (shrink)

Wittgenstein’s Private Language Argument holds that language requires rule-following, rule following requires the possibility of error, error is precluded in pure introspection, and inner mental life is known only by pure introspection, thus language cannot exist entirely within inner mental life. Fodor defends his Language of Thought program against the Private Language Argument with a dilemma: either privacy is so narrow that internal mental life can be known outside of introspection, or so broad that computer language serves as a counter-example. (...) I suggest that the developing field of artificial intelligence (deep learning neural networks) tends to vitiate Fodor’s defense and hence vindicate the Private Language Argument. The first horn of Fodor’s dilemma requires language to encompass genuinely internal mental life, i.e. non-projected intentional states, which are not exhibited in classical machine learning but only by deep learning neural networks (artificial intelligence). Such networks act as black boxes, however, whose state cannot be understood by tracking the changes in their supervenience bases without shared context, and that shared context introduces the possibility of error. The language of artificial intelligence is not private. (shrink)

If Large Language Models can make real scientific contributions, then they can genuinely use language, be systematically wrong, and be held responsible for their errors. AI models which can make scientific contributions thereby meet the criteria for scientific authorship.

In this article, we try to consider the concept of time or duaration of Deleuze in photomontage photography with reference to Francis Bacon's paintings. Deleuze discusses time using Bergson's philosophy of motion and duration. Philosophy is a work of art in the postmodernist view, it is anti-structuralist, and according to this issue, art cannot be considered a narrator, because art that is a narrator and is based on structure is a dead art. Deleuze's philosophy is neither subjective nor objective; He (...) tells the story of the very presence and life in the world. For this reason, and based on his initial teachings and Hegelian's totalitarian ideas, he reduced the world and thought in the world to a single whole called the nature of life, and tried to put this totalitarian thought into thought. The gradual-evolutionary naturalistic experience blends. Jilles Deleuze tackles the issue of art from an anti-structuralist perspective. He examines the relationship between times in photomontage photography. We assume that concepts in photography have a motion-driven and creative role with the principle of being in photomontage. The main claim and finding of this article is that it can be said that Deleuze, by violating narrative and being in the art of photography, considers photomontage as a creative movement in fluidity that takes time and space. The most prominent English formalist painter is Francis Bacon. Bacon was able to express the modernist European perception and mentality in his works through visual language or figurative art. Our method in this research is descriptive and analytical. This research seeks to find the answer to the question of how to bring becoming into the art of photography and prevent its narrative and structure. (shrink)

his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is the (...) main goal of this article. The statement is substantiated that the invention of mechanical computing devices, having a long history in the European engineering tradition, formed the prerequisites for the emergence of machine functionalism in the modern philosophy of mind. The idea of multiple implementation stems from the principle that a formal symbol system prescribes rules for the use of rational abstractions through the physical architecture of a computational engine. The article considers the reasons for the conceptual shift and reveals the semantic foundations for the metaphorical transfer of the properties of abstract objects from the theory of automata to the field of modern philosophy of mind. The criticism and ways of protecting the philosophical program of machine functionalism are analyzed by changing the content of the metaphor “Mind as machine”. The reasons for the stability of the information-computer approach in cognitive sciences are also disclosed and explained. (shrink)

Se defiende una política de lo común a partir de las aportaciones ontológicas y epistemológicas de Espinosa y de Deleuze. Una política capaz de articular las diferentes reivindicaciones de las minorías buscando escapar de la caída en los esencialismos identitarios excluyentes que definen de forma rígida quien es un verdadero proletario o una verdadera mujer, etc. Una política de lo común que partiendo de las diferencias se orienta hacia una política “de todo el mundo” y “para todo el mundo”, a (...) través de devenires minoritarios que concluyen en un “devenir imperceptible”; es decir, es una política de las diferencias que desemboca en la indiferencia de cada cual, ya que se refiere a lo que tienen de común los individuos más que en aquello que los separa. Es una política basada en la razón, pero una razón que hace las cuentas con las pasiones, en la estela espinosiana, y con los factores inconscientes, en la estela deleuziana. Una razón, pues, situada y abierta a la sensibilidad, los afectos y los sentimientos, pero sin caer en retóricas irracionalistas o sensibleras. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

A review of From Deleuze and Guattari to Posthumanism: Philosophies of Immanence, edited by Christine Daigle and Terrance H. McDonald.

IOP is, always, the tokenization of a naturally conserved circle. Meaning no information, no reality, no nothing. Observation always gets us the wrong answer (no such thing as a question, technically) (all questions are already answered) (the human imagines there are problems to solve) (because solving problems conserves an already-conserved circle) (everything is already 'answered') (else how could we ascertain the 'correct' answer?). Tokenization may appear as a transformation. But digging deeper we can observe (when we're ready) there is no (...) such thing as a transformation. Tokenization (the correct word for transformation) is the conservation of a circle, explaining IOP (what humans perceive as 'transformation' 'representation' 'tokenization' a 'process' of any kind' (nouns and verbs in general) etc). (shrink)

We propose a framework that makes space for both non-indexical contextualism and assessment-sensitivity. Such pluralism is motivated by considering possible variance in judgments about retraction. We conclude that the proposed pluralism, instead of problematizing, vindicates defining truth of a proposition w.r.t. a context of utterance and a context of assessment. To implement this formally, we formalize initialization of parameters by contexts. Then, a given parameter, depending on a speaker's judgment, can get initialized by either the context of utterance or the (...) context of assessment. An upshot of the proposal is that one need not exclusively espouse one of non-indexical contextualism or assessment-sensitivity about a particular class of expressions, for instance predicates of personal taste, in language; one can be pluralist in this sense. (This manuscript is part of an ongoing research project). (shrink)

This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...) a logical investigation of frames and frame concepts, Andreas devises a novel logic of tractable reasoning, called frame logic. Moreover, he devises a novel belief revision scheme, which is tractable for frame logic. These tractability results shed new light on our logical and cognitive means to carry out dynamic, inferential reasoning. Modularity remains central for tractability, and so the author sets forth a logical variant of the massive modularity hypothesis in cognitive science. (shrink)

Human creativity generates novel ideas to solve real-world problems. This thereby grants us the power to transform the surrounding world and extend our human attributes beyond what is currently possible. Creative ideas are not just new and unexpected, but are also successful in providing solutions that are useful, efficient and valuable. Thus, creativity optimizes the use of available resources and increases wealth. The origin of human creativity, however, is poorly understood, and semantic measures that could predict the success of generated (...) ideas are currently unknown. Here, we analyze a dataset of design problem-solving conversations in real-world settings by using 49 semantic measures based on WordNet 3.1 and demonstrate that a divergence of semantic similarity, an increased information content, and a decreased polysemy predict the success of generated ideas. The first feedback from clients also enhances information content and leads to a divergence of successful ideas in creative problem solving. These results advance cognitive science by identifying real-world processes in human problem solving that are relevant to the success of produced solutions and provide tools for real-time monitoring of problem solving, student training and skill acquisition. A selected subset of information content (IC Sánchez–Batet) and semantic similarity (Lin/Sánchez–Batet) measures, which are both statistically powerful and computationally fast, could support the development of technologies for computer-assisted enhancements of human creativity or for the implementation of creativity in machines endowed with general artificial intelligence. (shrink)

The paper introduces an extension of the proposal according to which conceptual representations in cognitive agents should be intended as heterogeneous proxytypes. The main contribution of this paper is in that it details how to reconcile, under a heterogeneous representational perspective, different theories of typicality about conceptual representation and reasoning. In particular, it provides a novel theoretical hypothesis - as well as a novel categorization algorithm called DELTA - showing how to integrate the representational and reasoning assumptions of the theory-theory (...) of concepts with the those ascribed to the prototype and exemplars-based theories. (shrink)

This paper presents a theoretical study of the binary oppositions underlying the mechanisms of natural computation understood as dynamical processes on natural information morphologies. Of special interest are the oppositions of discrete vs. continuous, structure vs. process, and differentiation vs. integration. The framework used is that of computing nature, where all natural processes at different levels of organisation are computations over informational structures. The interactions at different levels of granularity/organisation in nature, and the character of the phenomena that unfold through (...) those interactions, are modeled from the perspective of an observing agent. This brings us to the movement from binary oppositions to dynamic networks built upon mutually related binary oppositions, where each node has several properties. (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 [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) 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 [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] 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 [23] 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)

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)

This essay is divided into two parts. In the first part (§2), I introduce the idea of practical meaning by looking at a certain kind of procedural systems — the motor system — that play a central role in computational explanations of motor behavior. I argue that in order to give a satisfactory account of the content of the representations computed by motor systems (motor commands), we need to appeal to a distinctively practical kind of meaning. Defending the explanatory relevance (...) of semantic properties in a computationalist explanation of motor behavior, my argument concludes that practical meanings play a central role in an adequate psychological theory of motor skill. In the second part of this essay (§3), I generalize and clarify the notion of practical meaning, and I defend the intelligibility of practical meanings against an important objection. (shrink)

The orbital space environment is home to natural and artificial satellites, debris, and space weather phenomena. As the population of orbital objects grows so do the potential hazards to astronauts, space infrastructure and spaceflight capability. Orbital debris, in particular, is a universal concern. This and other hazards can be minimized by improving global space situational awareness (SSA). By sharing more data and increasing observational coverage of the space environment we stand to achieve that goal, thereby making spaceflight safer and expanding (...) our knowledge of near-Earth space. To facilitate data-sharing interoperability among distinct orbital debris and space object catalogs, and SSA information systems, I proposed ontology in (Rovetto, 2015) and (Rovetto and Kelso, 2016). I continue this effort toward formal representations and models of the overall domain that may serve to improve peaceful SSA and increase our scientific knowledge. This paper explains the project concept introduced in those publications, summarizing efforts to date as well as the research field of ontology development and engineering. I describe concepts for an ontological framework for the orbital space environment, near-Earth space environment and SSA domain. An ontological framework is conceived as a part of a potential international information system. The purpose of such a system is to consolidate, analyze and reason over various sources and types of orbital and SSA data toward the mutually beneficial goals of safer space navigation and scientific research. Recent internationals findings on the limitations of orbital data, in addition to existing publications on collaborative SSA, demonstrate both the overlap with this project and the need for data-sharing and integration. (shrink)

Space situational awareness (SSA) is vital for international safety and security, and for the future of space travel. The sharing of SSA data and information should improve the state of global SSA for planetary defense and spaceflight safety. I take steps toward a Space Situational Awareness (SSA) Ontology, and outline some central objectives, requirements and desiderata in the ontology development process for this domain. The purpose of this ontological system is to explore the potential for the ontology research topic to (...) (i) represent SSA general knowledge, data, and entities/objects, (ii) clearly express the meaning of SSA data, and (iii) foster SSA data-sharing. The overall goal and motivation is to (iv) improve our capacity for planetary defense, e.g., from near- or deep-space objects and phenomena, and (v) facilitate safer and peaceful space access, navigation and travel, by improving global SSA. This research is thereby intended only for peaceful space-domain applications and uses, with particular interests in orbital debris. There is little application of ontology to the space domain as compared with other disciplines and little if any ontological development of SSA and related domains. In this respect, this paper offers novel concepts. (shrink)

Come è emerso dall’analisi filosofica e dalla ricerca nelle scienze cogni- tive, la maggior parte dei concetti, tra cui molti concetti medici, esibisce degli “effetti prototipici” e non riesce ad essere definita nei termini di condizioni necessarie e sufficienti. Questo aspetto rappresenta un problema per la pro- gettazione di ontologie in informatica, poiché i formalismi adottati per la rap- presentazione della conoscenza (a partire da OWL – Web Ontology Langua- ge) non sono in grado di rendere conto dei concetti nei (...) termini dei loro tratti prototipici. Nel presente articolo ci concentriamo sulla classe dei disordini mentali facendo riferimento alle descrizioni che ne vengono date nel DSM-5. L’idea è quella di proporre un approccio ibrido, in cui i formalismi delle ontologie sono combinati a una rappresentazione geometrica della conoscenza basata sugli spazi concettuali. (shrink)

“There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...) states. On the other hand, as von Neumann already conjectured, irreversible information processing is expensive: to erase a single bit of information costs ~3 × 10−21 joules at room temperature. Information entropy is a thermodynamic cost, to be paid in non-computational energy dissipation. This paper addresses the problem drawing on Edward Fredkin’s Finite Nature hypothesis: the ultimate nature of the universe is discrete and finite, satisfying the axioms of classical, atomistic mereology. The chosen model is a cellular automaton with reversible dynamics, capable of retaining memory of the information present at the beginning of the universe. Such a CA can implement the Boolean logical operations and the other building bricks of computation: it can develop and host all-purpose computers. The model is a candidate for the realization of computational systems, capable of exploiting the resources of the physical world in an efficient way, for they can host logical circuits with negligible internal energy dissipation. (shrink)

This paper develops the ontology of space objects for theoretical and computational ontology applied to the space (astronautical/astronomical) domain. It follows “An ontological architecture for Orbital Debris Data” (Rovetto, 2015) and “Preliminaries of a Space Situational Awareness Ontology” (Rovetto, Kelso, 2016). Important considerations for developing a space object ontology, or more broadly, a space domain ontology are presented. The main category term ‘Space Object’ is analyzed from a philosophical perspective. The ontological commitments of legal definitions for artificial space objects are (...) also discussed. Space object taxonomies are offered and space object terms are defined. (shrink)

This paper applies some ontology architectures to the space domain, specifically the orbital and near-earth space environment and the space situational awareness domain. I briefly summarize local, single and hybrid ontology architectures, and offer potential space ontology architectures for each by showing how actual space data sources and space organizations would be involved.

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others. While doing so, it lays the groundwork for extending semantic theory with computational and cognitive aspects by combining linguistics and logic with computations and cognition. -/- Quantifier expressions occur whenever we describe the world and communicate about it. Generalized quantifier theory is therefore one of the basic tools of linguistics today, studying the possible meanings and the inferential power of quantifier (...) expressions by logical means. The classic version was developed in the 1980s, at the interface of linguistics, mathematics and philosophy. Before this volume, advances in "classic" generalized quantifier theory mainly focused on logical questions and their applications to linguistics, this volume adds a computational component, the third pillar of language use and logical activity. This book is essential reading for researchers in linguistics, philosophy, cognitive science, logic, AI, and computer science. (shrink)

The orbital debris problem presents an opportunity for inter-agency and international cooperation toward the mutually beneficial goals of debris prevention, mitigation, remediation, and improved space situational awareness (SSA). Achieving these goals requires sharing orbital debris and other SSA data. Toward this, I present an ontological architecture for the orbital debris and broader SSA domain, taking steps in the creation of an orbital debris ontology (ODO). The purpose of this ontological system is to (I) represent general orbital debris and SSA domain (...) knowledge, (II) structure, and standardize where needed, orbital data and terminology, and (III) foster semantic interoperability and data-sharing. In doing so I hope to (IV) contribute to solving the orbital debris problem, improving peaceful global SSA, and ensuring safe space travel for future generations. (shrink)

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)

Our contribution aims at individuating a valid philosophical strategy for a fruitful confrontation between human and artificial representation. The ground for this theoretical option resides in the necessity to find a solution that overcomes, on the one side, strong AI (i.e. Haugeland) and, on the other side, the view that rules out AI as explanation of human capacities (i.e. Dreyfus). We try to argue for Analytic Pragmatism (AP) as a valid strategy to present arguments for a form of weak AI (...) and to explain a notion of representation common to human and artificial agents. (shrink)

This paper seeks an explanation for the challenges faced by Semantic Web developers in achieving their vision, compared to the staggering near-instantaneous success of the World Wide Web. To this end it contrasts two broad philosophical understandings of meaning and argues that the choice between them carries real consequences for how developers attempt to engineer the Semantic Web. The first is Rene Descartes’ ‘private’, static account of meaning (arguably dominant for the last 400 years in Western thought) which understands the (...) meanings of signs as whatever their producers intend them to mean. The second is Charles Peirce’s still relatively unknown ‘public’, evolutionary account of meaning, according to which the meaning of signs just is the way they are interpreted and used to produce further signs. It is argued that only the latter approach can avoid the unmanageable attempts to ‘preprocess’ interpretation of signs on the Web which have dogged the project in its many stages, and thereby do justice to the scale, rapid changeability and exciting possibilities of online information today. (shrink)

pplied ontology, philosophical ontology, biomedical ontology, artifacts, cross section, philosophy of mathematics, Phenotypic Quality Ontology, PATO , ontology of shape.

Introduction -- Basic concepts -- Previous approaches -- Semantic expressions: introduction -- Formal issues -- Semantic expressions: basic features -- Advanced features -- Applications: capture -- Three little pigs -- Applications: creation.

Understanding computation as “a process of the dynamic change of information” brings to look at the different types of computation and information. Computation of information does not exist alone by itself but is to be considered as part of a system that uses it for some given purpose. Information can be meaningless like a thunderstorm noise, it can be meaningful like an alert signal, or like the representation of a desired food. A thunderstorm noise participates to the generation of meaningful (...) information about coming rain. An alert signal has a meaning as allowing a safety constraint to be satisfied. The representation of a desired food participates to the satisfaction of some metabolic constraints for the organism. Computations on information and representations will be different in nature and in complexity as the systems that link them have different constraints to satisfy. Animals have survival constraints to satisfy. Humans have many specific constraints coming in addition. And computers will compute what the designer and programmer ask for. We propose to analyze the different relations between information, meaning and representation by taking an evolutionary approach on the systems that link them. Such a bottom-up approach allows starting with simple organisms and avoids an implicit focus on humans, which is the most complex and difficult case. To make available a common background usable for the many different cases, we use a systemic tool that defines the generation of meaningful information by and for a system submitted to a constraint [Menant, 2003]. This systemic tool allows to position information, meaning and representations for systems relatively to environmental entities in an evolutionary perspective. We begin by positioning the notions of information, meaning and representation and recall the characteristics of the Meaning Generator System (MGS) that link a system submitted to a constraint to its environment. We then use the MGS for animals and highlight the network nature of the interrelated meanings about an entity of the environment. This brings us to define the representation of an item for an agent as being the network of meanings relative to the item for the agent. Such meaningful representations embed the agents in their environments and are far from the Good Old Fashion Artificial Intelligence type ones. The MGS approach is then used for humans with a limitation resulting of the unknown nature of human consciousness. Application of the MGS to artificial systems brings to look for compatibilities with different levels of Artificial Intelligence (AI) like embodied-situated AI, the Guidance Theory of Representations, and enactive AI. Concerns relative to different types of autonomy and organic or artificial constraints are highlighted. We finish by summarizing the points addressed and by proposing some continuations. (shrink)

What are shapes? The ancient Greek geometer is perhaps the most familiar with these entities, but shape is general enough to transcend domains of inquiry. In this communication I present a broad examination of shape and related notions, such as form, boundary and surface. I aim to explore this question and describe the category of shape by identifying some of its most general features. I contrast geometric (or perfect) shapes with physical or organic shapes (the shape of objects), discuss granularity, (...) artifactuality, the cognitive aspect of shape and introduce a preliminary ontological hierarchy of shape. (shrink)

We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same problem and suggest extending their experimental setting. Moreover, we give some direct empirical evidence linking computational complexity predictions with cognitive reality.<br>In the empirical study we compare time needed for understanding different types of quantifiers. We show that the computational distinction between quantifiers recognized by finite-automata and push-down automata is psychologically relevant. Our research improves upon hypothesis and (...) explanatory power of recent neuroimaging studies as well as provides<br>evidence. (shrink)

Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In particular, he gave formal semantic analyses of several interesting fragments of English in terms of typed logic. This led to the development of Montague grammar as a particular style of formal analysis of natural language.

Wikipedia is a goldmine of information; not just for its many readers, but also for the growing community of researchers who recognize it as a resource of exceptional scale and utility. It represents a vast investment of manual effort and judgment: a huge, constantly evolving tapestry of concepts and relations that is being applied to a host of tasks. This article provides a comprehensive description of this work. It focuses on research that extracts and makes use of the concepts, relations, (...) facts and descriptions found in Wikipedia, and organizes the work into four broad categories: applying Wikipedia to natural language processing; using it to facilitate information retrieval and information extraction; and as a resource for ontology building. The article addresses how Wikipedia is being used as is, how it is being improved and adapted, and how it is being combined with other structures to create entirely new resources. We identify the research groups and individuals involved, and how their work has developed in the last few years. We provide a comprehensive list of the open-source software they have produced. (shrink)