Search results for " Semantic"

showing 10 items of 271 documents

PER UNA TEORIA DEL SIGNIFICATO REALISTA RICERCHE PER UNA DIA-LOGICA DEI GIOCHI

Teoria del significato teoria dei Giochi Logica filo-indipendente Hintikka Dummett logiche non classiche semantica Realismo/antirealismo.
researchProduct

Logica dei quantificatori dipendenti e indipendenti. Saggio critico-introduttivo alla logica filo-indipendente di Hintikka

2009

A differenza della logica tradizionale, in questa prima monografia italiana sulla logica filo-indipendente di Jaakko Hintikka, la verità logica non è la conclusione di una dimostrazione affidata a regole deduttive, ma è piuttosto il risultato della contesa dialogante tra un falsificatore (Abelardo) e un verificatore (Eloisa). In tal modo Hintikka sviluppa un linguaggio logico con una semantica basata sulla teoria dei giochi di von Neumann e Morgenstern che è in grado di descrivere, attraverso un ‘dialogo’ tra un proponente ed un opponente, l’ontologia del mondo. Che cos’è allora la verità? È forse la capacità di possedere una strategia vincente contro un opponente secondo l’attività di socr…

Teoria semantica dei giochi informazione perfetta e imperfetta Quantificatori definizione di verità Dummett significato e costanti logiche.
researchProduct

Automatic Dictionary Creation by Sub-symbolic Encoding of Words

2006

This paper describes a technique for automatic creation of dictionaries using sub-symbolic representation of words in cross-language context. Semantic relationship among words of two languages is extracted from aligned bilingual text corpora. This feature is obtained applying the Latent Semantic Analysis technique to the matrices representing terms co-occurrences in aligned text fragments. The technique allows to find the “best translation” according to a properly defined geometric distance in an automatically created semantic space. Experiments show an interesting correctness of 95% obtained in the best case.

Text corpusCorrectnessProbabilistic latent semantic analysisComputer scienceLatent semantic analysisbusiness.industryContext (language use)Translation (geometry)computer.software_genreFeature (linguistics)Artificial intelligencebusinessRepresentation (mathematics)computerNatural language processing
researchProduct

Using Topic Modeling Methods for Short-Text Data: A Comparative Analysis

2020

With the growth of online social network platforms and applications, large amounts of textual user-generated content are created daily in the form of comments, reviews, and short-text messages. As a result, users often find it challenging to discover useful information or more on the topic being discussed from such content. Machine learning and natural language processing algorithms are used to analyze the massive amount of textual social media data available online, including topic modeling techniques that have gained popularity in recent years. This paper investigates the topic modeling subject and its common application areas, methods, and tools. Also, we examine and compare five frequen…

Topic modelshort textInformation retrievalSocial networkbusiness.industryLatent semantic analysisComputer scienceRandom projectiontopic modelingUser-generated contentSubject (documents)Context (language use)Latent Dirichlet allocationlcsh:QA75.5-76.95symbols.namesakeArtificial Intelligenceonline social networkssymbolsMethodslcsh:Electronic computers. Computer sciencenatural language processingbusinessuser-generated contentFrontiers in Artificial Intelligence
researchProduct

Automatic Extraction of Semantic Roles in Support Verb Constructions

2021

This paper deals with paraphrastic relations in Italian. In the following sentences: (a) Max strappò delle lacrime a Sara 'Max moved Sara to tears' and (b) Max fece piangere Sara 'Max made Sara cry', the verbs differ syntactically and semantically. Strappare 'tear/rip/wring' is transitive, fare ‘have/make’ is a causative, and piangere 'cry' is intransitive. Despite this, a translation of (a) as (b) is legitimate and therefore (a) is a paraphrase of (b). In theoretical linguistics this raises an issue concerning the relationship between strappare and fare/piangere in Italian, and that in English between move and make. In computational linguistics, can such paraphrases be obtained automatical…

Transitive relationSemantic role labelingParaphrase Entailments Meaning Extraction Automatic Detection of Semantic RolesTheoretical linguisticsVerbCausativeComputational linguisticsPsychologyParaphraseLinguisticsSettore L-LIN/01 - Glottologia E LinguisticaInternational Journal on Natural Language Computing
researchProduct

Global Understanding Environment: Towards Self-managed Web of Everything

2012

Current Web grows rapidly to several directions (from the Web of Documents to the Webs of Humans, Things, Services, Knowledge, Intelligence, etc.). Consequently the recent and future Web-based applications, systems and frameworks (like, e.g., Social and Ubiquitous Computing, SOA and Cloud Computing, etc.) should take into account challenges related to extremely high heterogeneity of components and exponentially increased complexity of a business logic connecting and making them interoperable. Enabling self-management enhanced with semantic technology seems to be an only option to handle that. We suggest adding a "virtual representative" to every resource in the Web to solve the global inter…

Ubiquitous computingComputer sciencebusiness.industryCloud computingcomputer.software_genreSocial Semantic WebWorld Wide WebIntelligent agentSemantic gridSemantic technologyWeb resourcebusinesscomputerSemantic Web
researchProduct

Conceptual graph operations for formal visual reasoning in the medical domain

2014

International audience; Objective - Conceptual graphs (CGs) are used to represent clinical guidelines because they support visual reasoning with a logical background, making them a potentially valuable representation for guidelines.Materials and methods - Conceptual graph formalism has an essential and basic component: a formal vocabulary that drives all of the other mechanisms, notably specialization and projection. The graph's theoretical operations, such as projection, rules, derivation, constraints, probabilities and uncertainty, support diagrammatic reasoning.Results - A conceptual graph's graphical user interface includes a multilingual vocabulary management, some query and decision-m…

VocabularyKnowledge representation and reasoningComputer sciencemedia_common.quotation_subjectBiomedical EngineeringBiophysicsHeart failurecomputer.software_genreVisual reasoning[INFO.INFO-IM]Computer Science [cs]/Medical ImagingClinical guidelines and protocolsGraphical user interfacemedia_commonImagerie médicalebusiness.industryVisual reasoningFormal semanticsDiagrammatic reasoningConceptual graphsKnowledge representationConceptual graphGraph (abstract data type)Artificial intelligenceUser interfacebusinesscomputerNatural language processing
researchProduct

tre modelli di produzione della voce: Ippocrate, Aristotele e Galeno

1995

Il contributo mette a confronto i modeli di priduzione della voce e del linguaggio ricostruiti, rispettivamente, a partire dai tre corpora delle opere attribuite ad Ippocrate, Aristotele e Galeno. I primi due autori sono esponenti del cosiddetto 'monocentrismo biologico' (Vegetti). I modelli biologici più antiche in Grecia concetravano infatti tutte le funzioni vitali in un unico organo: il cervello (Ippocrate) o il cuore (Aristotele9: Dunque, coerentemente, in Ippocrate il cervello è l'organo in cui ha sede la vita, da cui proviene la voce e che sovraintende al pensiero. La medesima funzione è svolta in Aristotele dal cuore. Galeno, autore tardoantico, è fieramente avverso al monocentrismo…

Voce voce articolata Ippocrate Aristotele Galeno espressività semanticità
researchProduct

Semantic web technologies for facilities management

2007

Facility management is the practice of coordinating the physical workplace with the people and work of the organization. It integrates the principles of business administration, architecture and the behavioral and engineering sciences. To deal with these requirements, we have developed a framework based on Semantic Web technologies: RDF, OWL, SWRL and named graph. This framework, called C-DMF, allows facilities manager to organize all knowledge generating during building lifecycle in end-user contextual graphs.

Web standardsKnowledge managementComputer sciencebusiness.industrycomputer.internet_protocolSocial Semantic WebOWL-SWorld Wide WebSemantic gridSemantic analyticsSemantic Web StackbusinesscomputerSemantic WebData Web2007 2nd International Conference on Digital Information Management
researchProduct

Context DataModel Framework: semantic facilities management

2008

Facility management is the practice of coordinating the physical workplace with the people and work of the organisation. It integrates the principles of business administration, architecture and the behavioural and engineering sciences. Software dedicated to facility management are usually limited to spreadsheet software. With the development of the Industry Foundation Class (IFC; a new object-oriented standard to model buildings) and web-based networks, a new generation of methods and tools dedicated to facility management are required. To deal with these requirements, we have developed a framework based on Semantic Web technologies: RDF, Ontology Web Language (OWL), Semantic Web Rule Lang…

Web standardsKnowledge managementbusiness.industrySemantic Web Rule Languagecomputer.internet_protocolComputer scienceManagement Science and Operations ResearchOWL-SSocial Semantic WebSemantic analyticsSemantic Web StackBusiness and International ManagementSafety Risk Reliability and QualitySoftware engineeringbusinesscomputerSemantic WebData WebInternational Journal of Product Lifecycle Management
researchProduct