Search results for " Semantic"
showing 10 items of 271 documents
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
2013
AbstractWe prove that the unification type of Łukasiewicz (infinite-valued propositional) logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background to such diverse tools. In particular, we offer a detailed proof of the duality …
Motor and linguistic linking of space and time in the cerebellum
2009
Background: Recent literature documented the presence of spatial-temporal interactions in the human brain. The aim of the present study was to verify whether representation of past and future is also mapped onto spatial representations and whether the cerebellum may be a neural substrate for linking space and time in the linguistic domain. We asked whether processing of the tense of a verb is influenced by the space where response takes place and by the semantics of the verb. Principal Findings: Responses to past tense were facilitated in the left space while responses to future tense were facilitated in the right space. Repetitive transcranial magnetic stimulation (rTMS) of the right cereb…
A Semantic Web Approach for Geodata Discovery
2013
International audience; Currently, vast amounts of geospatial information are o ffered through OGC's services. However this information has limited formal semantics. The most common method to search for a dataset consists in matching keywords to metadata elements. By adding semantics to available descriptions we could use modern inference and reasoning mechanisms currently available in the SemanticWeb. In this paper we present a novel architecture currently in development in which we use state of the art triplestores as the backend of a CSW service. In our approach, each metadata record is considered an instance of a given class in a domain ontology. Our architecture also adds a spatial dat…
Graph-grammar semantics of a higher-order programming language for distributed systems
1994
We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational semantics given as algebraic graph rewrite rules in a certain category of labeled graphs. Our approach allows to separate actions which affect several processes from local changes such as variable bindings. We also sketch how to derive an implementation from this specification.
The term “political oeconomy” in Adam Smith
2020
This article analyses the use of the term “‘political oeconomy” in the Wealth of Nations, considered by many the founding text of the discipline of Political Economy. It shows that Adam Smith could not accept the use of the term “political oeconomy” that had been made by other authors to indicate the subject matter of his scientific inquiry, devoted to the nature and causes of the wealth of nations; he used the term “political oeconomy” as a synonym for economic policy, especially in the fourth book of the Wealth of Nations. In order to understand this statement, it is necessary to keep in mind the methodological and epistemological perspective developed by Smith; in his view, the inquiry i…
Una Comunità di Chatbot per i Beni Culturali
2005
L'intuizione occupa un ruolo fondamentale nella capacità di ragionamento degli esseri umani. L'obiettivo del lavoro è la progettazione di un'infrastruttura in grado di fornire informazioni che oltre ad appoggiarsi ad un insieme di conoscenze basato su regole sia dotata anche di capacità intuitive. A tal fine è presentato un sistema preliminare che rappresenta il primo passo verso la realizzazione di tale infrastruttura. Il sistema permette ad un utente di interagire con una comunità di chat-bot aventi competenze specifiche in modo da navigare in uno spazio concettuale generato automaticamente con il paradigma di analisi della semantica latente (LSA). La base di conoscenza di ciascun chat-bo…
Polysemy and gestaltist computation. some notes on gestaltist compositionality
2019
The paper is devoted to the concept of Gestaltist Compositionality. It is divided into two parts. The first part will introduce a minimal definition of «Gestaltist Compositionality». Moreover, it will prove that the computations implemented by this model of compositionality are sufficiently flexible to ensure the presence of several orders of semantic determination. The second part will be devoted to an investigation of the consequences of this result with particular reference to the identification of some versions of compositionality which relax the condition of semantic atomism without weakening the links of determination between understanding of the compounds and understanding of the com…
From Thinking to Raging: Reflexes of Indo-European *men- Polysemy in Homer
2020
This paper aims at investigating the semantic value of the verb μαίνομαι “to rage, to be furious” in Homeric Greek, in order to clarify the striking semantic relationship between the common ‘irrational’ meaning of the verb and the original ‘rational’ meaning of the Indo-European root *men- “to think”, to which the verb traces back. The corresponding words for μαίνομαι in other Indo-European languages (e.g. OInd. mányatē; Av. mainyeite; OIr. (do)moiniur; OCS mъnjo; Lit. miniu) can be translated as “to think”, thus showing an opposite meaning. From a textual analysis of all the occurrences of μαίνομαι in the Iliad and the Odyssey, the study aims at finding semantic traces of the original mean…
Semantic web service discovery system for road traffic information services
2015
Create a multi-agent platform for a traveller information system (FIPA standards).Extend Paulucci algorithm with the use of seven similarity measures.Weight the similarity measure according to semantic relation and parameter nature.Improved running-time with a filtering pre-process for non-functional parameters.Improved the recall by measuring the sibling relationship concepts. We describe a multi-agent platform for a traveller information system, allowing travellers to find the road traffic information web service (WSs) that best fits their requirements. After studying existing proposals for discovery of semantic WS, we implemented a hybrid matching algorithm, which is described in detail …
Semantic Portal for Legislative Information
2006
Semantic portals enabled by Semantic Web technologies have been suggested to provide a point of access to an integrated body of information about some domain. In the area of e-Government there are multiple possible domains for semantic portals, one of them being legislative work. In this paper we propose a semantic portal based on a rich metadata repository to support the retrieval of legislative information. The portal provides process oriented semantic browsing capabilities. A prototype of the portal has been implemented for the retrieval of Finnish legislative information.