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 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)

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)

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)

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.

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.

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 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.

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)

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)

[...] 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

The preceding theory represents, I believe, a large improvement over conceptual graph theories of analogy. In particular, it is possible for analogical reasoning to be flexible or ‘creative’ on this approach, an aspect of analogy that is not accounted for in conceptual graph theories. I also believe that searching by constraint violations is a more reasonable way to organize memory search than to look for properties of conceptual hierarchies. Proof of this last point, however, awaits an more detailed classification (...) of the constraints that figure in analogical reasoning. (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)

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)

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

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)

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)

The paper starts by setting the stage for two perennial pairs of problems about the receptacle: “metaphysics / physics” and “matter / space”. Then it provides a close reading of 49a6-50a4 that reinforces the reconstructionist interpretation, but also deviates from Cherniss in some respect. When applying the proposals Plato makes in 49a6-50a4, it reveals a Plato in search of a feature-placing language or language without particulars : though not formulating it himself, Plato provides all necessary material for doing so. (...) Having argued ex negativo and against the exclusivity-thesis regarding the first debate about the receptacle, the paper offers a new piece of evidence for the space interpretation of the receptacle—though not breaking new ground—because my LWOP thesis presupposes the interpretation of the receptacle as space and argues against the material-substrate reading. Throughout the paper, I have consciously operated with a less Aristotle-centered framework than those most often applied, a procedure that does justice to Plato’s different ontology and semantics of the sensible phenomena. My Plato does not pave the way to Aristotle in this passage because he does not wish to do so. (shrink)

Dynamic Topological Logic () is a combination of , under its topological interpretation, and the temporal logic interpreted over the natural numbers. is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples , where is a topological space, f a function on X and V a truth valuation assigning subsets of X to propositional variables. Our main result is that the set of valid formulas of over spaces (...) with continuous functions is recursively enumerable. We show this by defining alternative semantics for . Under standard semantics, is not complete for Kripke frames. However, we introduce the notion of a non-deterministic quasimodel, where the function f is replaced by a binary relation g assigning to each world multiple temporal successors. We place restrictions on the successors so that the logic remains unchanged; under these alternative semantics, becomes Kripke-complete. We then apply model-search techniques to enumerate the set of all valid formulas. (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 volume contains papers on truth, logic, semantics, and history of logic and philosophy. These papers are dedicated to Jan Wolenski to honor his 60th birthday. Jan Wolenski is professor of philosophy at the Department of Philosophy of the Jagiellonian University in Cracow, Poland. He is likely to be the most well-known Polish philosopher of this time, best known for his work on the history of the philosophy and logic of the Lvov-Warsaw School.

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)

In an article entitled "Is BAD a semantic primitive?", John Myhill suggested that the concept 'bad' should be removed from the list of semantic primitives put forward by Anna Wierzbicka and Cliff Goddard. Myhill argued that 'bad' is semantically decomposable, that there is no word in Biblical Hebrew that corresponds to the English word bad and, thus, no linguistic form that represents the primitive BAD in this language, and that 'bad' is dispensable in the semantic analysis and (...) can be replaced with other components without any loss or change of meaning. Discussing and illustrating some fundamental questions in the search for universal semantic primitives, the present author reconsiders these findings and finds a different answer to John Myhill's question. (shrink)