Pour la plupart des systèmes de représentation de la connaissance orientés concept, l’un des problèmes principaux relève de la commodité technique. A savoir, la représentation de connaissance en termes prototypiques, tout comme la possibilité d’exploiter des formes de raisonnement conceptuel basées sur la typicalité, ne sont pas autorisées. Au contraire, dans les sciences cognitives, il existe des données en faveur de concepts prototypiques, et des formes non-monotoniques de raisonnement conceptuel ont été largement étudiées. Ce fossé cognitif concernant la représentation et (...) le raisonnement constitue un problème pour les systèmes computationnels, puisque l’information prototypique joue un rôle crucial dans plusieurs tâches importantes. Dans la lignée des théories du raisonnement et de la rationalité dites du double processus, nous soutenons que la représentation conceptuelle dans les systèmes computationnels devrait dépendre de (au moins) deux composantes représentationnelles, chacune spécialisée dans le traitement de différents genres de processus de raisonnement. Dans cet article, nous présentons les avantages computationnels de cette approche en termes de double processus, et les comparons brièvement avec d’autres solutions d’orientation logique, adoptées pour traiter du même problème. (shrink)

The co-evolutionary concept of tri-modal stable evolutionary strategy (SESH) of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot be instrumental reduced to others ones. Resulting volume of both parameters define the vectors of human evolution by two gear mechanism ˗ genetic and cultural co-evolution and techno-humanitarian balance. Explanatory model and (...) methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. The mechanism of influence of each module on the evolution of the two remaining modules of SESH a priori can be twofold: (1) informational co-evolution (direct selective pressure); (2) semantic co-evolution (time-varying semantic code, the compliance of the biological, socio- cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). More rapidly evolving autonomous element of the co-evolutionary pair becomes making sense factor for the partner. Semantic co-evolution is the discrete acquisition of adaptive significance of individual alleles by changing socio-cultural types, manifested as an increase in the genetic variability of populations of Homo sapiens, and domesticated species parallel to socio-culturogenesis. The socio- cultural landscape leads to drastically difference of direction in biological evolution of Atlantic and East-Slavic ethnicities/civilizations. (shrink)

Purpose of the present work is to attempt to give a glance at the problem of existential and anthropological risk caused by the contemporary man-made civilization from the perspective of comparison and confrontation of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap present between the represented social reality and its representation in perception of works of (...) art and in the political doctrines as well. Methodology of the research is evolutionary anthropologicalcomparativistics. Originality of the conducted analysis comes to the following: As the antithesis to biological and social reductionism in interpretation of the phenomenon of bio-power it is proposed a co-evolutionary semantic model in accordance with which the described semantic gap is of the substantial nature related to the complex module organization of a consistent and adaptive human strategy consisting of three associated but independently functional modules. Evolutionary trajectory of all anthropogenesis components including civilization cultural and social-political evolution is identified by the proportion between two macro variables – evolutionary effectiveness and evolutionary stability, i.e. preservation in the context of consequential transformations of some invariants of Homo sapiens species specificity organization. It should be noted that inasmuch as in respect to human, some modules of the evolutionary strategy assume self-reflection attributes, it would be more correctly to state about evolutionary correctness, i.e. correspondence to some perfection. As a result, the future of human nature depends not only on the rationalist principles of ethics of Homo species, but also on the holistic and emotionally aesthetic image of «Self». In conclusion it should be noted that there is a causal link between the development of High Hume technologies and the totality of the trend in the anthropological phenomenon of bio-power that permeates all the available human existence in modern civilization. As a result, there is a transformation of a contemporary social risk in the evolutionary civilization risk. (shrink)

Purpose (metatask) of the present work is to attempt to give a glance at the problem of existential and anthropo- logical risk caused by the contemporary man-made civilization from the perspective of comparison and confronta- tion of aesthetics, the substrate of which is emotional and metaphorical interpretation of individual subjective values and politics feeding by objectively rational interests of social groups. In both cases there is some semantic gap pre- sent between the represented social reality and its representation in (...) perception of works of art and in the political doctrines as well. Methodology of the research is evolutionary anthropological comparativistics. Originality of the conducted analysis comes to the following: As the antithesis to biological and social reductionism in interpretation of the phenomenon of bio-power it is proposed a co-evolutionary semantic model in accordance with which the de- scribed semantic gap is of the substantial nature related to the complex module organization of a consistent and adaptive human strategy consisting of three associated but independently functional modules (genetic, cultural and techno-rational). Evolutionary trajectory of all anthropogenesis components including civilization cultural and so- cial-political evolution is identified by the proportion between two macro variables – evolutionary effectiveness and evolutionary stability (sameness), i.e. preservation in the context of consequential transformations of some invari- ants of Homo sapiens species specificity organization. It should be noted that inasmuch as in respect to human, some modules of the evolutionary (adaptive) strategy assume self-reflection attributes, it would be more correctly to state about evolutionary correctness, i.e. correspondence to some perfection. As a result, the future of human nature de- pends not only on the rationalist principles of ethics of Homo species (the archaism of Jurgen Habermas), but also on the holistic and emotionally aesthetic image of «Self». In conclusion it should be noted that there is a causal link between the development of High Hume (NBIC) technologies and the totality of the trend in the anthropological phenomenon of bio-power that permeates all the available human existence in modern civilization. As a result, there is a transformation of a contemporary social (man-made) risk in the evolutionary civilization risk. (shrink)

This paper is a review of words and their meanings in the field of technology studies, and an analysis the semantics of an idealistic international technology-related social movement that flourished briefly during the second half of the twentieth century. Sloppy nomenclature employed by proponents and observers of the movement led to people with opposite views appearing to agree (and vice versa), with the consequence that the movement’s valuable policy insights exerted only marginal influence on mainstream technology policy. (...) I conclude that poor technological semantics may undermine effective technological practice. Suggestions for a constructive technological nomenclature are presented. (shrink)

‘Semantic technologies’ are touted as the next big wave in Educational Technology and as the solution to many problems in this arena. Interdisciplinary work between the fields of Knowledge Management (KM) and Educational Technology (ET) is booming. But the crop of actual systems and semantically enhanced learning objects is still meager, maybe KM and EL they are lacking a consensus on the underlying notions e.g. of ‘semantics’, yielding specific problems in their interplay. In this paper we take (...) a look at semantic educational technologies and draw conclusions for their approach in KM. In particular, we (re)-evaluate the notions of ‘semantics’, ‘knowledge’, ‘learning’, their role for learning materials in ET, and how they interact with the contexts involved in the learning/teaching process. Based on this, we distill a list of conditions the underlying knowledge representation format must fulfil to support these. As these conditions are still rather abstract, we show how they can be realized in a concrete language design, taking in our OMDoc (Open Mathematical Documents) format as a point of departure. (shrink)

Linguistic Issues in Language Technology (LiLT) is an open-access journal that focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, deeper and more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data (text and speech, annotated and unannotated, formal and informal) provides unprecedented opportunities for data-intensive analysis (...) of linguistic phenomena, which can in turn enrich computational methods. Taking an eclectic view on methodology, LiLT provides a forum for this work. In this volume, contributors offer new perspectives on semantic representations for textual inference. (shrink)

The article analyzes ontological possibilities of the meaning of information setting. For this, a modern approach of information technologies is considered in relation to setting the meaning of textual information. At the same time, the problem of setting the meaning of number and the meaning of word is formulated, which is discussed from the perspective of an ontological approach based on the solution of the problem of being, where the ontology of semantics is the result of such a solution. As (...) the ontology itself, a relational ontology is chosen, the initial position of which is the thesis: “to be” means “to be distinctive”. Based on this, information is defined as the result of ontological distinction, which allows mathematical formalization through the operation of subtraction, which expresses the essence of ontological distinction. This in turn allows to build constantly a numerical order of the meanings of any information, including textual, while the meaning of the information is its place in such a numerical range. Such a method, called Relational method, leads to an exact numerical specification of the meaning of any information, and by dignity of this numerical form, the meanings of any information can be easily input into a computer with subsequent processing and operation of these senses. (shrink)

The article deals with the role and significance of value-semantic reflection concerning teachers' professional positions. The purpose of study to reveal the strategy for the implementation of upbringing technologies for solving the problems of spiritual and moral formation of subjects of education. The complex picture of systemic ideas about a person, the nonlinearity of his formation leads to attempts to simplify technological solutions, which contradicts the essence of the individual's spiritual and moral upbringing. The scientific novelty lies in the (...) description of the function of value-semantic reflection in relation to the content of the teacher's professional position. As a result, the author proposes an algorithm for the application of educational technologies based on the systemic value-semantic reflection of the teacher's professional position. (shrink)

The Department of Defense is working at all levels to rationalize its data management strategy (Stenbit, 2003). However, though this strategy is broad in its application, its reach has thus far not extended to specialized areas of interest such as modeling and simulation. Now, however, the rapid development of net-centric technologies and methods provides new opportunities for the modeling and simulation community within the DoD and in fact offers opportunities to bring together communities of practice (such as C2, logistics) in (...) ways that can help to bring greater coordination in use of data and systems and enable more rapid configuration of models that can bridge separate domains. The specific components that we shall address here include: -/- 1. Ontologies 2. Strategy for the identification and treatment of authoritative data 3. Service oriented architectures (including Web Services) 4. Semantic search 5. Reasoning and analysis engines 6. Data Interoperability . (shrink)

Intelligent sensors should be seamlessly, securely, and trustworthy interconnected to enable automated high-level smart applications. Semantic metadata can provide contextual information to support the accessibility of these features, making it easier for machines and humans to process the sensory data and achieve interoperability. The unique overview of sensor ontologies according to the semantic needs of the layers of IoT solutions can serve a guideline of engineers and researchers interested in the development of intelligent sensor-based solutions. The explored trends (...) show that ontologies will play an even more essential role in interlinked IoT systems as interoperability and the generation of controlled linkable data sources should be based on semantically enriched sensory data. (shrink)

The subject of semantics has been appropriated by various disciplines including linguistic philosophy, logic, cognitive psychology, anthropological linguistics, and computer technology. As a result, it is difficult to define the study of semantics as an actual discipline without discovering what each field using a semantic approach to its subject matter has contributed to the understanding of what words mean. This volume is a result of those discoveries. Primarily an introductory work, this volume outlines the approaches that various disciplines (...) have taken to the subject, attempts to show their relationships and their limitations, and presents the more important aspects of each approach -- from psychosemantics to artificial intelligence -- using pertinent source material from psychology, philosophy, logic, linguistics, and sociology. For individuals coming to the study of semantics for the first time, or those who are interested in what the overall study may offer beyond their specialization, this volume will provide a helpful overview of the subject. (shrink)

Research has indicated that microRNAs (miRNAs), a special class of non-coding RNAs (ncRNAs), can perform important roles in different biological and pathological processes. miRNAs’ functions are realized by regulating their respective target genes (targets). It is thus critical to identify and analyze miRNA-target interactions for a better understanding and delineation of miRNAs’ functions. However, conventional knowledge discovery and acquisition methods have many limitations. Fortunately, semantic technologies that are based on domain ontologies can render great assistance in this regard. In (...) our previous investigations, we developed a miRNA domain-specific application ontology, Ontology for MIcroRNA Target (OMIT), to provide the community with common data elements and data exchange standards in the miRNA research. This paper describes (1) our continuing efforts in the OMIT ontology development and (2) the application of the OMIT to enable a semantic approach for knowledge capture of miRNA-target interactions. (shrink)

This article seeks to address the problem of the ‘resource consumption bottleneck’ of creating legal semantic technologies manually. It describes a semantic role labeling based information extraction system to extract definitions and norms from legislation and represent them as structured norms in legal ontologies. The output is intended to help make laws more accessible, understandable, and searchable in a legal document management system.

With the current changes driven by the expansion of the World Wide Web, this book uses a different approach from other books on the market: it applies ontologies to electronically available information to improve the quality of knowledge management in large and distributed organizations. Ontologies are formal theories supporting knowledge sharing and reuse. They can be used to explicitly represent semantics of semi-structured information. These enable sophisticated automatic support for acquiring, maintaining and accessing information. Methodology and tools are developed for (...) intelligent access to large volumes of semi-structured and textual information sources in intra- and extra-, and internet-based environments to employ the full power of ontologies in supporting knowledge management from the information client perspective and the information provider. The aim of the book is to support efficient and effective knowledge management and focuses on weakly-structured online information sources. It is aimed primarily at researchers in the area of knowledge management and information retrieval and will also be a useful reference for students in computer science at the postgraduate level and for business managers who are aiming to increase the corporations' information infrastructure. The Semantic Web is a very important initiative affecting the future of the WWW that is currently generating huge interest. The book covers several highly significant contributions to the semantic web research effort, including a new language for defining ontologies, several novel software tools and a coherent methodology for the application of the tools for business advantage. It also provides 3 case studies which give examples of the real benefits to be derived from the adoption of semantic-web based ontologies in "real world" situations. As such, the book is an excellent mixture of theory, tools and applications in an important area of WWW research. * Provides guidelines for introducing knowledge management concepts and tools into enterprises, to help knowledge providers present their knowledge efficiently and effectively. * Introduces an intelligent search tool that supports users in accessing information and a tool environment for maintenance, conversion and acquisition of information sources. * Discusses three large case studies which will help to develop the technology according to the actual needs of large and or virtual organisations and will provide a testbed for evaluating tools and methods. The book is aimed at people with at least a good understanding of existing WWW technology and some level of technical understanding of the underpinning technologies (XML/RDF). It will be of interest to graduate students, academic and industrial researchers in the field, and the many industrial personnel who are tracking WWW technology developments in order to understand the business implications. It could also be used to support undergraduate courses in the area but is not itself an introductory text. (shrink)

Since the beginnings of the Semantic Web, ontologies have played key roles in the design and deployment of new semantic technologies. Yet over the years, the level of collaboration between the Sema...

Information and communication technologies are widely used in healthcare. However, there is not still a unified taxonomy for them. The lack of understanding of this phenomenon implies theoretical and ethical issues. This paper attempts to find out the basis for a classification, starting from a new perspective: the structural elements are obtained from the etymologies of the lexicon commonly used, that is words like telemedicine, telehealth, telecare and telecure. This will promote a better understanding of communication technologies; at the same (...) time, it will allow to draw some reflection about health, medicine and care, and their semantic and relational nature. (shrink)

The co-evolutionary concept of three-modal stable evolutionary strategy of Homo sapiens is developed. The concept based on the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined by descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot be instrumental reduced to other ones. Resulting volume of both parameters define the vectors of biological, social, cultural and techno-rationalistic human evolution by two gear mechanism — genetic and cultural co-evolution and techno-humanitarian (...) balance. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the biological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). (shrink)

We argue for an intimate relation between semantic externalism and semantic deference and propose a typology of speakers’ metasemantic views as revealed by their deferential attitudes. Building on this typology, we then offer a classification of metasemantic disagreements understood as verbal disputes between speakers who (consciously or unconsciously) hold divergent metasemantic views about the same word. In particular, we distinguish lower-order metasemantic disagreements between speakers who disagree on the exact source of meaning determination for a word yet agree (...) on the kind of deferential attitude this word is liable to, from higher-order metasemantic disagreements between speakers who do not even agree on the suitable kind of deferential attitude. We demonstrate the fruitfulness of our classification through the concrete implications it has for conceptual engineering. (shrink)

Interdisciplinary investigations marry the methods and concerns of different fields. Computer science is the study of precise descriptions of finite processes; semantics is the study of meaning in language. Thus, computational semantics embraces any project that approaches the phenomenon of meaning by way of tasks that can be performed by following definite sets of mechanical instructions. So understood, computational semantics revels in applying semantics, by creating intelligent devices whose broader behavior fits the meanings of utterances, and not just their form. (...) IBM’s Watson (Ferrucci, Brown, Chu-Carroll, Fan, Gondek, Kalyanpur, Lally, Murdock, Nyberg, Prager, Schlaefer & Welty 2010) is a harbinger of the excitement and potential of this technology. (shrink)

The notion of validity fulfils a crucial role in legal theory. In the emerging Web 3.0, Semantic Web languages, legal ontologies, and normative multi-agent systems are designed to cover new regulatory needs. Conceptual models for complex regulatory systems shape the characteristic features of rules, norms, and principles in different ways. This article outlines one of such multilayered governance models, designed for the CAPER platform, and offers a definition of Semantic Web Regulatory Models . It distinguishes between normative-SWRM and (...) institutional-SWRM. It also compares existing principles in privacy by design, linked open data , legal information institutes , and online dispute resolution . The article concludes by proposing the notion of Relational Law to summarize the ethical dimension of SWRM. Ethics are the only regulatory way to constitute a global space, out of the jurisdictional public domain set by national, international, or transnational law, and opposed to the private one. (shrink)

Lockheed Martin Corp. has funded research to generate a framework and methodology for developing semantic reasoning applications to support the discipline oflntelligence Analysis. This chapter outlines that framework, discusses how it may be used to advance the information sharing and integrated analytic needs of the Intelligence Community, and suggests a system I software architecture for such applications.

Semantic Scholar extracted view of "Space-Shaping Technologies and the Geographical Disembedding of Place" by Jonathan Smith.

This paper develops a model theoretic semantics for so called “natural kind terms” that reflects the viewpoint of (Kripke, 1980) and (Putnam, 1975). The semantics generates a formal counterpart of the “K-mechanism” investigated in (Salmon, 1981) and in unpublished work by Keith Donnellan.

Since the beginnings of the Semantic Web, ontologies have played key roles in the design and deployment of new semantic technologies. Yet over the years, the level of collaboration between the Sema...

Increasing computational power and improving deep learning methods have made computer vision technologies pervasively common in urban environments. Their applications in policing, traffic management, and documenting public spaces are increasingly common (Ridgeway 2018, Coifman et al. 1998, Sun et al. 2020). Despite the often-discussed biases in the algorithms' training and unequally borne benefits (Khosla et al. 2012), almost all applications similarly reduce urban experiences to simplistic, reductive, and mechanistic measures. There is a lack of context, depth, and specificity in these (...) practices that enables semantic knowledge or analysis within urban contexts, especially within the context of using and occupying urban space. This paper will critique existing uses of artificial intelligence and computer vision in urban practices to propose a new framework for understanding people, action, and public space. This paper revisits Geertz's (1973) use of thick descriptions in generating interpretive theories of culture and activity and uses this lens to establish a framework to approach evaluating the varied uses of computer vision technologies that weigh meaning. By discussing cases of implemented examples of urban computer vision—from LinkNYC and Numina's urban measurements to the Detroit Police's use of DataWorks Plus's facial recognition technology—it proposes a framework for evaluating the thickness of the algorithm's conclusions against the computational method's complexity required to produce that outcome. Further, we discuss how the framework's positioning may differ (and conflict) between different users of the technology, from engineer to urban planner and policymaker, to citizen. This paper also discusses how the current use and training of deep learning algorithms and how this process limits semantic learning and proposes three potential methodologies toward gaining a more contextually specific, urban-semantic, description of urban space relevant to urbanists. This paper contributes to the critical conversations regarding the proliferation of artificial intelligence by challenging the current applications of these technologies in the urban environment by highlighting their failures within this context while also proposing an evolution of these algorithms that may ultimately make them sensitive and useful within this spatial and cultural milieu. (shrink)

Philosophy in technology is a research program that studies the philosophical roots of engineering and technology. Technologists, by virtue of their education, believe that the limits, goals, possibilities, and effects of technology on society and humankind are exclusively technological problems, hence their solutions must lie exclusively in technology. In contrast, philosophy in technology asserts that the resolutions to these problems need to be rooted in an understanding of their philosophical origins. This program paper defines the (...) objectives of philosophy in technology, the kinds of questions it explores, the methods it uses, and how it differs from the philosophy of technology. (shrink)

The inclusion of Semantic Web technologies into the lexicographic ‘Middle High German Conceptual Database’ (MHDBDB) is a challenge for this long-term project. Since the 1970 s the Middle High German Concept Database has aimed to provide an onomasiological dictionary for Middle High German. The latest technological revision dates back to 1992, so there is a growing demand for more contemporary infrastructure and usability. The data models themselves, as well as the linking of data sets with authority files, need to (...) be modernised to ensure compatibility with the Semantic Web. This paper summarises the current discussion on formats and ontologies for online dictionaries with a focus on Middle High German lexicography. (shrink)

We investigate mathematical structures that provide natural semantics for families of (quantified) non-classical logics featuring special unary connectives, known as recovery operators, that allow us to ‘recover’ the properties of classical logic in a controlled manner. These structures are known as topological Boolean algebras, which are Boolean algebras extended with additional operations subject to specific conditions of a topological nature. In this study, we focus on the paradigmatic case of negation. We demonstrate how these algebras are well-suited to provide a (...) semantics for some families of paraconsistent Logics of Formal Inconsistency and paracomplete Logics of Formal Undeterminedness. These logics feature recovery operators used to earmark propositions that behave ‘classically’ when interacting with non-classical negations. Unlike traditional semantical investigations, which are carried out in natural language (extended with mathematical shorthand), our formal meta-language is a system of higher-order logic (HOL) for which automated reasoning tools exist. In our approach, topological Boolean algebras are encoded as algebras of sets via their Stone-type representation. We use our higher-order meta-logic to define and interrelate several transformations on unary set operations, which naturally give rise to a topological cube of opposition. Additionally, our approach enables a uniform characterization of propositional, first-order and higher-order quantification, including restrictions to constant and varying domains. With this work, we aim to make a case for the utilization of automated theorem proving technology for conducting computer-supported research in non-classical logics. All the results presented in this paper have been formally verified, and in many cases obtained, using the Isabelle/HOL proof assistant. (shrink)

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper (...) discusses the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

Decentralised ledgers are gaining momentum following the interest of industries and people in smart contracts. Major attention is paid to blockchain applications intended for trading assets that exploit digital cryptographic certificates called tokens. Particularly relevant tokens are the non-fungible tokens (NFTs), namely, unique and non-replicable tokens used to represent the cryptographic counterpart of assets ranging from pieces of art through to licenses and certifications. A relevant consequence of the hard-coded nature of blockchains is the hardness of probing, in particular when (...) advanced searchers involving the capabilities of the smart contracts or the assets digitised by NFTs are required. For this purpose, a formal representation for the operational semantics of smart contracts and of tokens has become particularly urgent, especially in economy and finance, where blockchains become increasingly relevant. Hence, we feel the need to tailor Semantic Web technologies to achieve that semantic representation at least for NFTS. This article reports on an ontology that leverages the Ontology for Agents, Systems, and Integration of Services (“OASIS”) towards the semantic representation of smart contracts responsible for managing ERC721-compliant NFTs and running on the Ethereum blockchain. Called Ether-OASIS, the proposed ontology adopts OASIS and tailors its behaviouristic approach to the Ethereum blockchain by conceiving smart contracts as agents running on the blockchain and, consequently, smart contract interactions as agent commitments. Smart contracts are represented in terms of their actions, purposes and tokens that they manage, thus realising a blockchain that is more usable both by users and automated applications. The ontology is evaluated using standard ontological metrics and applied on a case study concerning the minting and transferring of NFTs that digitise batches of wheat. (shrink)

Much work in philosophy, psychology, and neuroscience has argued for continuism about remembering and imagining (see, e.g., Addis J R Soc N Z 48(2–3):64–88, 2018). This view claims that episodic remembering is just a form of imagining, such that memory does not have a privileged status over other forms of episodic simulation (esp. imagination). Large parts of contemporary philosophy of memory support continuism. This even holds for work in semantics and the philosophy of language, which has pointed out substantial similarities (...) in the distribution of the verbs remember and imagine. Our paper argues against the continuist claim, by focusing on a previously neglected source of evidence for discontinuism: the semantics of episodic memory and imagination reports. We argue that, in contrast to imagination reports, episodic memory reports are essentially diachronic, in the sense that their truth requires a foregoing reference-fixing experience. In this respect, they differ from reports of experiential imagination, which is paradigmatically synchronic. To defend our claim about this difference in diachronicity, we study the truth-conditions of episodic memory and imagination reports. We develop a semantics for episodic uses of remember and imagine that captures this difference. (shrink)

ABSTRACT This article focuses on Arne Naess's work in the philosophy of language, which he began in the mid-1930s and continued into the 1960s. This aspect of his work is nowadays relatively neglected, but it deserves to be revisited. Firstly, it is intrinsically interesting to the history of analytic philosophy in the twentieth century, because Naess questioned some of the established philosophical methodologies and assumptions of his day. Secondly, it suggests a compelling but unacknowledged intellectual pedigree for some recent developments (...) in linguistics. Naess's philosophy of language developed from his reaction against logical positivism, in particular against what he saw as its unempirical assumptions about language. He went on to establish ?empirical semantics?, in which the study of language was based on real-life linguistic data, drawn primarily from questionnaires issued to philosophically naïve subjects. He also experimented with methods for ?occurrence analysis?, but concluded that the collection and analysis of sufficiently large bodies of naturally-occurring data was impractical. Empirical semantics was not well received by Naess's philosophical contemporaries. It was also seen as being at odds with contemporary trends in linguistics. However, some present-day branches of linguistics have striking resonances with Naess's work from as much as seventy years ago. In sociolinguistics, questionnaires have become an established means of collecting linguistic data. In corpus linguistics, advances in technology have made Naess's unobtainable ideal of ?occurrence analysis? a viable methodology. Some of the principal conclusions reached as a result of this methodology are strikingly similar to Naess's own findings. (shrink)

This paper addresses one of the fundamental problems of the philosophy of information: How does semantic information emerge within the underlying dynamics of the world?—the dynamical semantic information problem. It suggests that the canonical approach to semantic information that defines data before meaning and meaning before use is inadequate for pre-cognitive information media. Instead, we should follow a pragmatic approach to information where one defines the notion of information system as a special kind of purposeful system emerging (...) within the underlying dynamics of the world and define semantic information as the currency of the system. In this way, systems operating with semantic information can be viewed as patterns in the dynamics—semantic information is a dynamical system phenomenon of highly organized systems. In the simplest information systems, the syntax, semantics, and pragmatics of the information medium are co-defined. It proposes a new more general theory of information semantics that focuses on the interface role of the information states in the information system—the interface theory of meaning. Finally, with the new framework, it addresses the debate between weakly semantic and strongly semantic accounts of information, siding with the strongly semantic view because the pragmatic account developed here is a better generalization of it. (shrink)

A truthmaker for a proposition P is exact if it contains nothing irrelevant to P. What are the exact truthmakers for necessitated propositions? This paper makes progress on this issue by showing how to extend Fine’s truthmaker semantics for intuitionistic logic to an exact truthmaker semantics for intuitionistic modal logic. The project is of interest also to the classical logician: while all distinctively classical theorems may be true, they differ from the intuitionistic ones in how they are made true. This (...) sheds new light on the status of the T and B axioms. (shrink)

As an informational technology, the World Wide Web has enjoyed spectacular success. In just ten years it has transformed the way information is produced, stored, and shared in arenas as diverse as shopping, family photo albums, and high-level academic research. The “Semantic Web” was touted by its developers as equally revolutionary but has not yet achieved anything like the Web’s exponential uptake. This 17 000 word survey article explores why this might be so, from a perspective that bridges (...) both philosophy and IT. (*Also translated into Croatian and republished in Vjesnik bibliotekara Hrvatske 53, 1(2010), 155-206: See external link #2). (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)

We start with the ambition -- dating back to the early days of the semantic web -- of assembling a significant portion human knowledge into a contradiction-free form using semantic web technology. We argue that this would not be desirable, because there are concepts, known as essentially contested concepts, whose definitions are contentious due to deep-seated ethical disagreements. Further, we argue that the ninetenth century hermeneutical tradition has a great deal to say, both about the ambition, and (...) about why it fails. We conclude with some remarks about statistics. (shrink)

The multilevel conversational exchanges between a mentor and a learner could be seen as a radical constructivist account of their comprehensions. The process of knowledge construction could be realised to have significant importance in the context of mentor-learner interactions. The most important fundamental is that ‘the conversational exchanges between mentors and learners ask questions and give answers concerning their individual conceptions, comprehensions and reasonings’. These questions and answers are the main building blocks of the ‘Relations’ between mentors and learners. In (...) this article, I will employ Predicate Logic in order to focus on the relationships between learners and mentors. This research will—conceptually and logically—be concerned with [formal] semantic analysis of mentoring-learning relationships in the context of constructivist interactions. The conclusions will shed light on how a [formal] semantics for constructivist interactions is established. (shrink)

The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information. This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing and Philosophy of Information regarding the production of meaning and the value system with applications. The first part develops a unified dual-aspect theory of information and computation, in which information is characterized as structure, and computation is the information dynamics. (...) This enables naturalization of epistemology, based on interactive information representation and communication. In the study of systems modeling, meaning, truth and agency are discussed within the framework of the PI/PC unification. The second part of the thesis addresses the necessity of ethical judgment in rational agency illustrated by the problem of information privacy and surveillance in the networked society. The value grounds and socio-technological solutions for securing trustworthiness of computing are analyzed. Privacy issues clearly show the need for computing professionals to contribute to understanding of the technological mechanisms of Information and Communication Technology. The main original contribution of this thesis is the unified dual-aspect theory of computation/information. Semantics of information is seen as a part of the data-information-knowledge structuring, in which complex structures are self-organized by the computational processing of information. Within the unified model, complexity is a result of computational processes on informational structures. The thesis argues for the necessity of computing beyond the Turing-Church limit, motivated by natural computation, and wider by pancomputationalism and paninformationalism, seen as two complementary views of the same physical reality. Moreover, it follows that pancomputationalism does not depend on the assumption that the physical world on some basic level is digital. Contrary to many believes it is entirely compatible with dual quantum-mechanical computing. (shrink)

Mathematical models are an important tool in the development ofsoftware technology, including programming languages and algorithms.During the last few years, a new class of such models has beendeveloped based on the notion of a mathematical game that isespecially well-suited to address the interactions between thecomponents of a system. This paper gives an introduction to thesegame-semantical models of programming languages, concentrating onmotivating the basic intuitions and putting them into context.