Search results for " Semantics"

showing 10 items of 95 documents

Multi-pass execution of functional logic programs

1994

An operational semantics for functional logic programs is presented. In such programs functional terms provide for reduction of expressions, provided that they ground. The semantics is based on multi-pass evaluation techniques originally developed for attribute grammars. Program execution is divided into two phases: (1) construction of an incomplete proof tree, and (2) its decoration into a complete proof tree. The construction phase applies a modified SLD-resolution scheme, and the decoration phase a partial (multi-pass) traversal over the tree. The phase partition is generated by static analysis where data dependencies are extracted for the functional elements of the program. The method g…

Scheme (programming language)Theoretical computer scienceComputer scienceSemantics (computer science)Programming languageStatic analysiscomputer.software_genrePartition (database)Operational semanticsTree (data structure)Tree traversalRule-based machine translationcomputercomputer.programming_languageProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94
researchProduct

Naming MINERALITY of French white wines : a contrastive study on the emergence of a " new " wine descriptor

2016

International audience; [Context] MINERAL / MINERALITY has emerged in wine prescriptive and descriptive discourses for about 20 years, especially to characterize special kinds of French white wines like Chablis in Northern Burgundy. Despite its very popular use by both experts and consumers, it still lacks a terminological definition that would be accepted by all wine professionals. For this reason, a research program was conducted in the last two years by an interdisciplinary team at the University of Burgundy and the Wine School of Changins (Switzerland) in order to cross semantic and sensory data enabling the establishment of a prototypical definition.[Aims] Building on the results of th…

Sensory AnalysisCorpus linguisticsLSP[ SHS.LANGUE ] Humanities and Social Sciences/LinguisticsWine[SHS.LANGUE]Humanities and Social Sciences/LinguisticsTerminology[SHS.LANGUE] Humanities and Social Sciences/LinguisticsProfessional DiscourseLexical semanticsSemantics
researchProduct

TSVD as a Statistical Estimator in the Latent Semantic Analysis Paradigm

2015

The aim of this paper is to present a new point of view that makes it possible to give a statistical interpretation of the traditional latent semantic analysis (LSA) paradigm based on the truncated singular value decomposition (TSVD) technique. We show how the TSVD can be interpreted as a statistical estimator derived from the LSA co-occurrence relationship matrix by mapping probability distributions on Riemanian manifolds. Besides, the quality of the estimator model can be expressed by introducing a figure of merit arising from the Solomonoff approach. This figure of merit takes into account both the adherence to the sample data and the simplicity of the model. In our model, the simplicity…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniHellinger DistanceLatent semantic analysisComputer sciencebusiness.industryProbabilistic logicEstimatorStatistical modelPattern recognitionComputer Science ApplicationsHuman-Computer Interactiondata-driven modelingData models Semantics Probability distribution Matrix decomposition Computational modeling Probabilistic logicLSASingular value decompositionComputer Science (miscellaneous)Probability distributionTruncation (statistics)Artificial intelligenceHellinger distancebusinessAlgorithmInformation SystemsIEEE Transactions on Emerging Topics in Computing
researchProduct

A Conceptual Probabilistic Model for the Induction of Image Semantics

2010

In this paper we propose a model based on a conceptual space automatically induced from data. The model is inspired to a well-founded robotics cognitive architecture which is organized in three computational areas: sub-conceptual, linguistic and conceptual. Images are objects in the sub-conceptual area, that become "knoxels" into the conceptual area. The application of the framework grants the automatic emerging of image semantics into the linguistic area. The core of the model is a conceptual space induced automatically from a set of annotated images that exploits and mixes different information concerning the set of images. Multiple low level features are extracted to represent images and…

Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniImage ClassificationComputer sciencebusiness.industryFeature extractionimage semantics conceptual spaceConceptual model (computer science)Statistical modelcomputer.software_genreConceptual schemaVisualizationSet (abstract data type)Data setAutomatic image annotationLatent Semantic AnalysisArtificial intelligencebusinesscomputerNatural language processing
researchProduct

Ontology in Game Theoretical Semantics

2013

Settore M-FIL/02 - Logica E Filosofia Della ScienzaLogical Games Hintikka Independence-friendly Logic truth ontology semanticsRealism
researchProduct

Representation

2020

Representation is a primitive notion of many philosophical theories and of cognitive science. It is assumed as an intuitively understandable label assigned to the functions by which a biological or an artificial agent takes part in the world in an epistemological or a behavioral manner. It is employed to define the conditions for the semantic individuation of the states of the agent. The notion of representation was introduced systematically in the Scholastics’ view of cognition. In modern philosophy, the term is often used as a verb. Representation becomes the function of a class of mental states. In contemporary philosophy, the debate over the semantic individuation of states is intertwin…

Settore M-FIL/04 - Esteticarepresentation philosophy of mind form semantics modelSettore M-FIL/06 - Storia Della Filosofia
researchProduct

The impact of deep dysgraphia on graphemic output buffer disorders

2004

This article describes an investigation into the residual writing skills of a severely dysgraphic patient (DA). We found that they were powerfully influenced by a number of lexical variables (lexicality, frequency, imageability, length and geminates). His error pattern was characterized by semantic, lexical, substitution, deletion errors and fragment responses that preserved the first letter. Thus, DA's written spelling was characterized by both deep dysgraphic and graphemic output buffer effects. It is proposed that this pattern of performance represents a new "putative functional syndrome."

Settore M-PSI/02 - Psicobiologia E Psicologia Fisiologicaadult anomia article case report comprehension dysgraphia human imagery language disability male neuropsychological test reading semanticsspeech writing
researchProduct

Interazione tra diversi codici attenzionali: spazio e semantica

2010

The asymmetric distribution of human spatial attention has been repeatedly documented in both patients and healthy controls. Biases in the distribution of attention and/or in the mental representation of space may also affect some aspects of language processing. The present talk will be focused whether biases in attention and/or mental representation of space affect semantic representations. In particular, we investigated whether semantic judgments could be modulated by the location in space where the semantic information was presented and the role of the left and right parietal cortices in this task. Findings suggest the existence of an attentional and/or mental representational bias in se…

Settore M-PSI/02 - Psicobiologia E Psicologia Fisiologicaspace semantics parietal cortex TMS
researchProduct

Quasi conjunction and p-entailment in nonmonotonic reasoning

2010

We study, in the setting of coherence, the extension of a probability assessment defined on n conditional events to their quasi conjunction. We consider, in particular, two special cases of logical dependencies; moreover, we examine the relationship between the notion of p-entailment of Adams and the inclusion relation of Goodman and Nguyen. We also study the probabilistic semantics of the QAND rule of Dubois and Prade; then, we give a theoretical result on p-entailment.

Settore MAT/06 - Probabilita' E Statistica MatematicaProbability assessmentProbabilistic semanticsInclusion relationExtension (predicate logic)Coherence (statistics)Logical consequenceConjunction (grammar)Coherence lower/upper probability bounds quasi conjunction QAND rule p-entailmentCalculusp-entailment.; quasi conjunction; lower/upper probability bounds; qand rule; coherence; p-entailmentNon-monotonic logicAlgorithmMathematics
researchProduct

Extending the semiotics of embodied interaction to blended spaces.

2015

In this paper, we develop a new way of understanding interactions in blended spaces. We do this by developing ideas about embodied semiotics and then apply these ideas to the analysis of interaction in mixed-reality blended spaces (where the physical world and digital world are blended deliberately to provide new forms of interaction). We discuss how blended spaces provide a new medium within which people have experiences. The semiotic analysis reveals how blended spaces are constructed across the physical and the digital, highlighting the ontology, topology, volatility, and agency present within them. It shows how people move between the physical and digital spaces through the objects and …

Social PsychologyInteraction design004 Data processing & computer scienceQA75 Electronic computers. Computer scienceAgency (philosophy)Cognitive semanticscognitive semantics302 Social interactionSemanticsEmbodiementHuman–computer interactionHN Social history and conditions. Social problems. Social reformSemioticsembodimentCognitive scienceCentre for Interaction Designlcsh:T58.5-58.64lcsh:Information technologyCommunicationblended spaceAI and TechnologiesHuman-Computer InteractionsemioticsEmbodied cognitionOntologyPsychologyBlended spaces
researchProduct