Searching through semantic memory may involve the use of several retrieval cues. In a verbal fluency task, the set of available cues is limited and every candidate word is a target. Individuals exhibit clustering behavior as predicted by optimal foraging theory. In another semantic search task, the remote associates task, three cues are presented and a single target word has to be found. Whereas the task has been widely studied as a task of creativity or insight problem (...) solving, in this article, the RAT is treated as a semantic retrieval task and assessed from the perspective of information foraging theory. Experiments are presented that address the superadditive combination of cues and the anti-clustering behavior in the recall sequence. A new type of search behavior in the RAT is put forward that involves maximizing the difference in activation between target and distractors. This type of search is advantageous when the target is weak and cue patches are contaminated with strong competitors. (shrink)

In natural language processing (NLP), named entity recognition (NER) and semantic classification are essential tasks. NER is a fundamental task, that identify named entities in text such as people, organizations, and locations. In Legal domain, NER is particularly important due to the variety of named entities that appear in legal documents and are important for legal analysis whereas Semantic classification is the process of giving each sentence in a text a semantic label, such as ”fact,””arguments,” or”judgement”. Both (...) NER and Semantic classi- fication are critical component of many NLP applications such as Knowledge base construction and semantic search. Semantic searching of legal documents is a powerful technique that can be used to quickly find the information that you need. By combining NER and semantic classification, one can identify the key elements of a legal document and search for documents that are related to a particular topic or contain a particular type of information. This paper proposes a novel approach to NER and Semantic classification in legal domain using Long short-term memory (LSTM) model. The proposed approach is evaluated on a corpus of legal text and the result of this study suggest that LSTM models are a promising approach for NER and Semantic classification in legal domain and can be used to improve the performance of semantic searching of legal documents. (shrink)

We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations of formulae and indexes them with substitution tree indexing. In version 0.4 we have parallelized and distributed the search server and augmented the web interface with a new JavaScript-based visual editor for content math formulae. Furthermore, we have extended the query language by generalization, variants, unification, and text search facilities, which can also be mixed. Our experiments show that this architecture (...) results in a scalable application. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. (shrink)

Considerable work during the past two decades has focused on modeling the structure of semantic memory, although the performance of these models in complex and unconstrained semantic tasks remains relatively understudied. We introduce a two‐player cooperative word game, Connector (based on the boardgame Codenames), and investigate whether similarity metrics derived from two large databases of human free association norms, the University of South Florida norms and the Small World of Words norms, and two distributional semantic models based (...) on large language corpora (word2vec and GloVe) predict performance in this game. Participant dyads were presented with 20‐item word boards with word pairs of varying relatedness. The speaker received a word pair from the board (e.g., exam‐algebra) and generated a one‐word semantic clue (e.g., math), which was used by the guesser to identify the word pair on the board across three attempts. Response times to generate the clue, as well as accuracy and latencies for the guessed word pair, were strongly predicted by the cosine similarity between word pairs and clues in random walk‐based associative models, and to a lesser degree by the distributional models, suggesting that conceptual representations activated during free association were better able to capture search and retrieval processes in the game. Further, the speaker adjusted subsequent clues based on the first attempt by the guesser, who in turn benefited from the adjustment in clues, suggesting a cooperative influence in the game that was effectively captured by both associative and distributional models. These results indicate that both associative and distributional models can capture relatively unconstrained search processes in a cooperative game setting, and Connector is particularly suited to examine communication and semantic search processes. (shrink)

When searching for concepts in memory—as in the verbal fluency task of naming all the animals one can think of—people appear to explore internal mental representations in much the same way that animals forage in physical space: searching locally within patches of information before transitioning globally between patches. However, the definition of the patches being searched in mental space is not well specified. Do we search by activating explicit predefined categories and recall items from within that category, or do (...) we activate and recall a connected sequence of individual items without using categorical information, with each item recalled leading to the retrieval of an associated item in a stream, or both? Using semantic representations in a search of associative memory framework and data from the animal fluency task, we tested competing hypotheses based on associative and categorical search models. Associative, but not categorical, patch transitions took longer to make than position-matched productions, suggesting that categorical transitions were not true transitions. There was also clear evidence of associative search even within categorical patch boundaries. Furthermore, most individuals' behavior was best explained by an associative search model without the addition of categorical information. Thus, our results support a search process that does not use categorical information, but for which patch boundaries shift with each recall and local search is well described by a random walk in semantic space, with switches to new regions of the semantic space when the current region is depleted. (shrink)

The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific classifications are identified together with the (...) conditions for the lattice of closed subsets describing information to allow its existence. The structures can be used for logical analysis outside of language at the more general level of information, which in turn can be applied to the description of semantic relations in the context of information. (shrink)

One factor that has engendered skepticism about semantic content is the idea that there can be content only if there is exactly one thing that performs all the functions that have been associated with content. This paper argues that there is no such thing as content in this unified sense. Rather, what exists is a structure of related contents. Instead of a single grail, there is more of a semantic tea service.

This is a relatively breezy version of an exploration of some issues about how to provide a theory of concepts and conceptual semantics. I have also written more conventional versions of some of this material (without the Three Bears motif), though those are set in a broader context.

The reductive, as opposed to deductive, view of logic is the form of logic that is, perhaps, most widely employed in practical reasoning. In particular, it is the basis of logic programming. Here, building on the idea of uniform proof in reductive logic, we give a treatment of logic programming for BI, the logic of bunched implications, giving both operational and denotational semantics, together with soundness and completeness theorems, all couched in terms of the resource interpretation of BI’s semantics. We (...) use this set-up as a basis for exploring how coalgebraic semantics can, in contrast to the basic denotational semantics, be used to describe the concrete operational choices that are an essential part of proof-search. The overall aim, toward which this paper can be seen as an initial step, is to develop a uniform, generic, mathematical framework for understanding the relationship between the deductive structure of logics and the control structures of the corresponding reductive paradigm. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, (...) and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, (...) and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

A large literature suggests that the organization of words in semantic memory, reflecting meaningful relations among words and the concepts to which they refer, supports many cognitive processes, including memory encoding and retrieval, word learning, and inferential reasoning. The co‐activation of related items has been proposed as a mechanism by which semantic knowledge influences cognition, and contemporary accounts of semantic knowledge propose that this co‐activation is graded—that it depends on how strongly related the items are in (...) class='Hi'>semantic memory. Prior research with adults yielded evidence supporting this prediction; however, there is currently no evidence of graded co‐activation early in development. This study provides the first evidence that in children the co‐activation of related items depends on their relational strength in semantic memory. Participants (N = 84, age range: 3–9 years) were asked to identify a target (e.g., bone) amid distractors. Children's responses were slowed down by the presence of a related distractor (e.g., puppy) relative to unrelated distractors (e.g., flower)—suggesting that children co‐activated related items upon hearing the name of the target. Importantly, the degree of this co‐activation was predicted by the strength of the target–distractor relation, such that distractors more strongly related to the targets slowed down children to a larger extent. These findings have important implications for understanding how organized semantic knowledge affects other cognitive processes across development. (shrink)

In 2000 the Wittgenstein Archives at the University of Bergen (WAB) published the CD-ROM edition of Wittgenstein’s Nachlass: The Bergen Electronic Edition (BEE). Moreover, since then WAB has worked towards complementing the static CD-ROM edition with an interactive web platform that additionally allows more user-specific and more user-tailored utilizations of WAB’s Nachlass resources. The paper describes two specific web service tools of this platform: Interactive Dynamic Presentation (IDP) of the Wittgenstein Nachlass and Semantic Faceted Search and Browsing (SFB) (...) of Wittgenstein domain metadata. The paper argues that it is only when these two tools are fully implemented and functional that WAB can adequately serve the scholarly needs of the Wittgenstein Nachlass user community. The paper discusses some selected features and functionalities of the two tools in detail. An earlier version of this paper was published as „Complementing Static Scholarly Editions with Dynamic Research Platforms: Interactive Dynamic Presentation (IDP) and Semantic Faceted Search and Browsing (SFB) for the Wittgenstein Nachlass“ in Selected Papers from the CLARIN Annual Conference 2020, ed. by C. Navarretta & M. Eskevich (Utrecht: CLARIN ERIC). In writing this paper I have benefitted from comments by K. De Smedt, N. Gangopadhyay, Ø. Gjesdal, J. Hendrickson, C. Huitfeldt, H. Al Ruweh, the Clarin 2020 conference reviewers and editors as well as Jasmin Trächtler. (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)

Law search is fundamental to legal reasoning and its articulation is an important challenge and open problem in the ongoing efforts to investigate legal reasoning as a formal process. This Article formulates a mathematical model that frames the behavioral and cognitive framework of law search as a sequential decision process. The model has two components: first, a model of the legal corpus as a search space and second, a model of the search process that is compatible (...) with that environment. The search space has the structure of a “multi-network”—an interleaved structure of distinct networks—developed in earlier work. In this Article, we develop and formally describe three related models of the search process. We then implement these models on a subset of the corpus of U.S. Supreme Court opinions and assess their performance against two benchmark prediction tasks. The first is to predict the citations in a document from its semantic content. The second is to predict the search results generated by human users. For both benchmarks, all search models outperform a null model with the learning-based model outperforming the other approaches. Our results indicate that through additional work and refinement, there may be the potential for machine law search to achieve human or near-human levels of performance. (shrink)

The abundant and systematic presence of metaphor in language has in particular been explored by departing from the embodied nature of many metaphors. In the current research we investigate the manner in which the concept EATING in two nonrelated languages, namely Afrikaans (a Germanic language) and Northern Sotho (a Bantu language) gives rise to metaphorical expressions in these two languages. The two notions of cultural model and metaphor form the cornerstones of our research. The basic question guiding our research is (...) whether the metaphorical mappings originating from the same source domain (EATING) onto various target domains are the same in the two languages and secondly, whether there is any evidence that differences—if any—are culturally motivated.Our study is corpus-based. Lexical items belonging to the source domain of eating were used as search nodes in our corpus search. Our analysis indicates that the metaphorical source-domain–target-domain mappings in the two languages show a large amount of overlap. As far as the metaphors that we identified are concerned, remarkable similarities and very few—and these not significant—differences were found. (shrink)

Purpose of the work is to identify and justify the moral priorities in multicultural communication. Theoretical basis is the works of foreign and Ukrainian authors, revealing the main approaches to the problem of multiculturalism; studies on ethics and philosophical anthropology that define the problem field in the anthropo-logy of morality. The work uses: the conceptual provisions of phenomenology – for the disclosure of the semantic uncertainty of human existence as a prerequisite of moral search; existential philosophy – to (...) substantiate the essential relationship of a man and culture. Originality of the results obtained consists of 1) understanding multiculturalism as a "dialogue of people", in which the moral search of every person is actualized; 2) in justifying the demand for inter-individual communication of "negative" ethics : its requirement not to commit immoral acts stimulates a person to moral search, reveals the specifics of the existence of a "person navigator" ; 3) in the definition of intercultural communication as the creation of opportunities for the search for tolerant forms of existence. Conclusions : 1) multiculturalism is a contradictory phenomenon, producing conflicts and creating prerequisites for overcoming them; 2) the possibilities of non-conflict existence in a situation of multiculturalism arise in inter-individual communication, which is a situation of moral search for every person; 3) "ethics of opportunities" unites universal and situational moral norms in multicultural communication: people enable each other to remain people; 4) "ethics of opportunities" creates conditions for tolerant interaction between people and cultures. (shrink)

In this paper we give relational semantics and an accompanying relational proof theory for full Lambek calculus (a sequent calculus which we denote by FL). We start with the Kripke semantics for FL as discussed in [11] and develop a second Kripke-style semantics, RelKripke semantics, as a bridge to relational semantics. The RelKripke semantics consists of a set with two distinguished elements, two ternary relations and a list of conditions on the relations. It is accompanied by a Kripke-style valuation system (...) analogous to that in [11]. Soundness and completeness theorems with respect to FL hold for RelKripke models. Then, in the spirit of the work of Orlowska [14], [15], and Buszkowski and Orlowska [3], we develop relational logic RFL. The adjective relational is used to emphasize the fact that RFL has a semantics wherein formulas are interpreted as relations. We prove that a sequent Γ → α in FL is provable if and only if a translation, t( $\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha)\varepsilon \upsilon u$ , has a cut-complete fundamental proof tree. This result is constructive: that is, if a cut-complete proof tree for $t(\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha)\varepsilon \upsilon u$ is not fundamental, we can use the failed proof search to build a relational countermodel for $t(\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha)\varepsilon \upsilon u$ and from this, build a RelKripke countermodel for $\gamma_1 \bullet \cdots \bullet \gamma_n \supset \alpha$ . These results allow us to add FL, the basic substructural logic, to the list of those logies of importance in computer science with a relational proof theory. (shrink)

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)

Machine generated contents note: Part 1 - The Constituent Disciplines of Cognitive Science -- Philosophical Epistemology -- Glossary -- 1.0 What is Philosophical Epistemology? -- 1.1 The reduced history of Philosophy Part I - The Classical Age -- 1.2 Mind and World - The problem of objectivity -- 1.3 The reduced history of Philosophy Part II - The twentieth century -- 1.4 The philosophy of Cognitive Science -- 1.5 Mind in Philosophy: summary -- 1.6 The Nolanian Framework (so far) -- (...) Psychology -- 2.0 Why is Psychology so difficult? -- 2.1 A brief history of Experimental Psychology -- 2.2 Methodologies in Psychology -- 2.3 Perception -- 2.4 Memory -- 2.5 Mind in Psychology -- Linguistics -- 3.0 Introduction -- 3.1 Why Linguistics? -- 3.2 Computation and Linguistics -- 3.3 The main grammatical theories -- 3.4 Language development and linguistics -- 3.5 Toward a definition of context -- 3.6 The multifarious uses of Language -- 3.7 Linguistics and Computational Linguistics -- 3.8 Language and other symbol systems -- 3.9 On the notion of context -- 3.10 Mind in Linguistics: summary -- Neuroscience -- 4.0 The constituent disciplines of Neuroscience -- 4.1 The methodology of Neuroscience -- 4.2 Gross Neuroanatomy -- 4.3 Some relevant findings -- 4.4 Connectionism (PDP) -- 4.5 The victory of Neuroscience? -- 4.6 Mind in Neuroscience: summary -- Artificial Intelligence -- 5.0 Introduction -- 5.1 Al and Cognitive Science -- 5.2 Skeptics and their techniques -- 5.3 Al as Computer Science -- 5.4 Al as software -- 5.5 The current methodological debate -- 5.6 Context, syntax and semantics -- 5.7 Mind in Al -- 5.8 Texts on Al -- Etholoqy and Ethnoscience -- 6.1 Etology -- 6.2 Ethnoscience -- 6.3 Mind in Ethology arid Ethnoscience -- Part II - A New Foundation for Cognitive Science -- - Symbol Systems -- 7.1 Characteristics of symbol systems -- 7.2 Context and the layers of symbol systems -- 7.3 Mind and symbol systems -- Consciousness and Selfhood -- 8.0 Introduction -- 8.1 Cognitive views -- 8.2 What is at stake? -- 8.3 Consciousness as treated in Philosophy -- 8.4 The Development of Selfhood -- 8.5 The minimal requirements for this theory -- 8.6 Self as a filter -- 8.7 Self and motivation -- 8.8 Conclusions -- 8.9 Recent developments -- Cognitive Science and the Search for Mind -- 9.1 Introduction -- 9.2 Review -- 9.3 A Theory of Mind anyone? -- 9.4 Foundational considerations -- 9.5 Coda: the Nolanian Framework. (shrink)

We commonly evaluate search engines and the results they return, but what grounds those evaluations? One straightforward way of evaluating search engines appeals to their ability to satisfy the goals of the user. Are there, in addition, user-independent norms, that allow us to evaluate search engines in ways that may come apart from their ability to satisfy the individuals who use them? One way of grounding such norms appeals to moral or political considerations. I argue that in (...) addition to those norms, there are also distinct user-independent epistemic norms that apply to search engines. Evaluating search engines relative to them, however, requires us to appreciate the impact search engines have on our practices and norms of inquiry more broadly: by systematically altering the accessibility of information, search engines don’t just give us information but shape our collective imagination, and the categories it operates over. (shrink)

[...] it would seem natural to assume that the disciplines of literary studies and linguistics should by rights converge regularly to exchange views as each pursues its own goals. Is such a convergence possible on the question of sense and nonsense? James W. Underhill (this volume) The contributors to the present volume have focused their attention on two sets of problems that are leitmotifs in all the articles gathered. Firstly, should literary semantics - the linguistic study of texts/discourses marked with (...) the feature of 'literariness' and 'poeticalness' - strive after an interpretation of all such texts at all costs? Are all literary texts interpretable? How do we cope with such troublesome linguistic phenomena as anomaly, deviance, and absurdity? Aren't we, by any chance, fascinated by nonsense? Do we try to make it at least partly meaningful? Is interpretability our default value? The introductory article by the renowned scholar Margaret H. Freeman is an important voice, indeed a manifesto of sorts of literary semanticists in this respect. Secondly, while trying to answer all these questions, well aware of the fact that literary semantics is a fuzzy branch of linguistic studies, we have attempted at exploring its borderline zone to see to what extent we have to draw from various theoretical sources. Literary semanticists have often proved that they are capable of arguing contrastively in the atmosphere of openness to such neighbouring fields as: discourse analysis, literary pragmatics and reader-response theories, narratology, literary semiotics and hermeneutics, translation studies and - very importantly - the philosophy of language. The authors contributing to this book, an international company of regularly cooperating linguists and literary scholars, strike a nice balance between the cognitive and the more traditionally or philosophically-oriented frameworks of study, being a vivid proof that cognitive and other "denominations" are perfectly capable of fruitful coexistence. The volume ends with a short presentation by RadosÅaw Nowakowski, already known to academic and artistic audiences in Europe as a creator and propagator of liberature - the art of unusual bookmaking, the art of the book liberated from our traditional preconceptions. We hope that our volume will be of interest to academics and students of literary theory and linguistics alike, especially those involved in literary semantics, stylistics and poetics. Naturally, the book is also addressed to members and sympathizers of IALS (International Association of Literary Semantics) and the readers of Journal of Literary Semantics, scattered across the world. (shrink)

Reaction time to detect a phoneme target in a sentence was found to be faster when the word in which the target occurred formed part of the semantic focus of the sentence. Focus was determined by asking a question before the sentence; that part of the sentence which comprised the answer to the sentence was assumed to be focussed. This procedure made it possible to vary position of focus within the sentence while holding all acoustic aspects of the sentence (...) itself constant. It is argued that sentence understanding is facilitated by rapid identification of focussed information. Since focussed words are usually accented, it is further argued that the active search for accented words demonstrated in previous research should be interpreted as a search for semantic focus. (shrink)

Access to legal information and, in particular, to legal literature is examined for the creation of a search and retrieval system for Italian legal literature. The design and implementation of services such as integrated access to a wide range of resources are described, with a particular focus on the importance of exploiting metadata assigned to disparate legal material. The integration of structured repositories and Web documents is the main purpose of the system: it is constructed on the basis of (...) a federation system with service provider functions, aiming at creating a centralized index of legal resources. The index is based on a uniform metadata view created for structured data by means of the OAI approach and for Web documents by a machine learning approach, which, in this paper, has been assessed as regards document classification. Semantic searching is a major requirement for legal literature users and a solution based on the exploitation of Dublin Core metadata, as well as the use of legal ontologies and related terms prepared for accessing indexed articles have been implemented. (shrink)

This paper offers an interpretation of the later Wittgenstein's handling of the idea of an "essence of human language", and examines in particular his treatment of the 'Augustinean' vision of reference as constituting this "essence". A central theme of the interpretation is the perennial philosophical desire to impose upon linguistic meaning conceptual templates drawn from outside the forms of thought about meaning in which we engage when we exercise our capacity to speak and understand a language. The paper closes with (...) a consideration of ways in which Donald Davidson's generally congenial work on interpretation may diverge from Wittgenstein's thinking in this vicinity. (shrink)

The aim of this paper is to explore some of the possibilities, advantages and difficulties of corpus-based analyses of semantic and pragmatic aspects of language in one particular field, namely the linguistic expression of emotion concepts. For this purpose, a methodological procedure is proposed and an exemplary analysis of the emotion concept “fear” in English is performed. The procedure combines Kövecses' lexical approach and Stefanowitsch's metaphorical pattern analysis with additional concepts from corpus linguistics such as semantic preference and (...) semantic prosody. The results of the study show that such a corpus-based analysis of emotion words offers several advantages. Firstly, by exploring the surroundings of the search word in a vast amount of text, we are not only able to find evidence of conceptual metaphor and metonymy that structure the emotion concept and of related emotion concepts, but also we can enrich the description of the emotion concept with information from a series of dimensions and add a pragmatic viewpoint by revealing an explicit or implicit evaluation of the emotion. The second advantage offered by a corpus-based approach lies in the possibility of quantifying results, i.e., comparing the frequency, productivity and creative use of individual metaphors and metonymies, which is especially interesting in view of contrastive studies. (shrink)

This paper pursues the idea that human and non-human great apes share a common set of directive (imperative) gestures and their meanings. We investigate gestures that are multifunctional, in that they have different effects in different contexts, focusing on non-human ape gestures that communicate “Stop that” in some contexts, and “Move away” in others. What may superficially appear to be lexical ambiguity can be derived from a single abstract lexical entry, “Not X!”, concluded to be a candidate for a universal (...) building block of meaning, shared by human and non-human great apes, reflections of which may also be found in the pragmatic gestures in humans. (shrink)

Based on the Eleventh International Conference on General Semantics--"A search for relevance, 1968".

Visual search studies have shown that East Asians rely more on information gathered through their extrafoveal (i.e., peripheral) vision than do Western Caucasians, who tend to rely more on information gathered using their foveal (i.e., central) vision. However, the reasons for this remain unclear. Cognitive linguists suggest that the difference is attributable linguistic variation, while cultural psychologists contend it is due to cultural factors. The current study used eye-tracking data collected during a visual search task to compare these (...) explanations by leveraging a semantic difference against a cultural difference to determine which view best explained strategies used on the task. The task was administered to Chinese, American, and Japanese participants with a primary focus on the Chinese participants’ behaviors since the semantic difference aligned the Chinese participants with the Americans, while their cultural affiliation aligned them with the Japanese participants. The results indicated that the Chinese group aligned more closely with the American group on most measures, suggesting that semantic differences were more important than cultural affiliation on this particular task. However, there were some results that could not be accounted for by the semantic differences, suggesting that linguistic and cultural factors might affect visual search strategies concurrently. (shrink)

We propose a new sequent calculus for bi intuitionistic logic which sits somewhere between display calculi and traditional sequent calculi by using nested sequents. Our calculus enjoys a simple (purely syntactic) cut elimination proof as do display calculi. But it has an easily derivable variant calculus which is amenable to automated proof search as are (some) traditional sequent calculi. We first present the initial calculus and its cut elimination proof. We then present the derived calculus, and then present a (...) proof search strategy which allows it to be used for automated proof search. We prove that this search strategy is terminating and complete by showing how it can be used to mimic derivations obtained from an existing calculus GBiInt for bi intuitionistic logic. As far as we know, our new calculus is the first sequent calculus for bi intuitionistic logic which uses no semantic additions like labels, which has a purely syntactic cut elimination proof, and which can be used naturally for backwards proof search. Keywords: Bi-intuitionistic logic, display calculi, proof search. (shrink)

Here, S is a sentence—or possibly a smaller or larger unit of meaningful expression for a language—that's written by an author and c is the circumstance in which S is used. R is defined as the language conventions holding between an author and a reader (or better yet, his readership). P, probably the most important part of the equation, is the content of S or, the intended meaning of the author. We assume that the communication between an author and a (...) reader is limited only to written text. Consequently, it is not possible to ask the author about his intention for writing S; that will have to be discovered by a reader. (shrink)

Combining the communicative language competence model and the perspective of multimodal research, this research proposes a research framework for oral communicative competence under the multimodal perspective. This not only truly reflects the language communicative competence but also fully embodies the various contents required for assessment in the basic attributes of spoken language. Aiming at the feature sparseness of the user evaluation matrix, this paper proposes a feature weight assignment algorithm based on the English spoken category keyword dictionary and user (...) class='Hi'>search records. The algorithm is mainly based on the self-built English oral category classification dictionary and converts the user’s query vector into a user-English-speaking type vector. Through the calculation rules proposed in this paper, the target user’s preference score for a specific type of spoken English is obtained, and this score is assigned to the unrated item of the original user’s feature matrix as the initial starting score. At the same time, in order to solve the problem of insufficient user similarity calculation accuracy, a user similarity calculation algorithm based on “Synonyms Cilin Extended Edition” and search records is proposed. The algorithm introduces “Synonyms Cilin” to calculate the correlation between the semantic items, vocabulary, and query vector in the user query record to obtain the similarity between users and finally gives a user similarity calculation that integrates user ratings and query vectors method. For the task of Chinese grammar error correction, this article uses two methods of predicting the relationship between words in the corpus, Word2Vec and GloVe, to train the word vectors of different dimensions and use the word vectors to represent the text features of the experimental samples, avoiding sentences brought by word segmentation. On the basis of word vectors, the advantages and disadvantages of CNN, LSTM, and SVM models in this shared task are analyzed through experimental data. The comparative experiment shows that the method in this paper has achieved relatively good results. (shrink)

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

Recent studies of semantic memory have investigated two theories of optimal search adopted from the animal foraging literature: Lévy flights and marginal value theorem. Each theory makes different simplifying assumptions and addresses different findings in search behaviors. In this study, an experiment is conducted to test whether clustering in semantic memory may play a role in evidence for both theories. Labeled magnets and a whiteboard were used to elicit spatial representations of semantic knowledge about animals. (...) Category recall sequences from a separate experiment were used to trace search paths over the spatial representations of animal knowledge. Results showed that spatial distances between animal names arranged on the whiteboard were correlated with inter-response intervals during category recall, and distributions of both dependent measures approximated inverse power laws associated with Lévy flights. In addition, IRIs were relatively shorter when paths first entered animal clusters, and longer when they exited clusters, which is consistent with marginal value theorem. In conclusion, area-restricted searches over clustered semantic spaces may account for two different patterns of results interpreted as supporting two different theories of optimal memory foraging. (shrink)

Cognitive semantic studies have shown that our conceptualization of morality is at least partially metaphorical and that our moral cognition is grounded in some fundamental contrastive categories of our embodied experience in the physical environment. It is argued that our moral cognition is built on a moral metaphor system. Within the framework of conceptual metaphor theory, this study aims to examine the spatial subsystem of moral metaphors in English. We set out with five pairs of moral metaphors that involve (...) the following spatial source concepts: HIGH and LOW, UPRIGHT and TILTED, LEVEL and UNLEVEL, STRAIGHT and CROOKED, and BIG and SMALL. These metaphors were found to constitute the spatial subsystem of moral metaphors in Chinese. Our primary goal is to find out if the five pairs of moral–spatial metaphors are manifested in English as well. To that end we collected linguistic data from the Corpus of Contemporary American English and searched Google Images for multimodal evidence. Our finding is that the five pairs of moral–spatial metaphors are applicable in English as they are in Chinese. We also discuss issues related to conceptual metaphor theory. (shrink)

In this paper we address an important issue in the development of an adequate formal theory of underspecified semantics. The tension between expressive power and computational tractability poses an acute problem for any such theory. Generating the full set of resolved scope readings from an underspecified representation produces a combinatorial explosion that undermines the efficiency of these representations. Moreover, Ebert (2005) shows that most current theories of underspecified semantic representation suffer from expressive incompleteness. In previous work we present an (...) account of underspecified scope representations within Property Theory with Curry Typing (PTCT), an intensional first-order theory for natural language semantics. We review this account, and we show that filters applied to the underspecified-scope terms of PTCT permit expressive completeness. While they do not solve the general complexity problem, they do significantly reduce the search space for computing the full set of resolved scope readings in non-worst cases. We explore the role of filters in achieving expressive completeness, and their relationship to the complexity involved in producing full interpretations from underspecified representations. This paper is dedicated to Jim Lambek. (shrink)