scholarly journals Hyperintensional Reasoning Based on Natural Language Knowledge Base

2020 ◽  
Vol 28 (03) ◽  
pp. 443-468
Author(s):  
Marie Duží ◽  
Aleš Horák
Keyword(s):  
Natural Language ◽  
Intensional Logic ◽  
Partial Functions ◽  
Procedural Semantics ◽  
Automatic Reasoning ◽  
Fine Grained ◽  
Reasoning Systems ◽  
Language Analysis ◽  
Language Knowledge ◽  
Hyperintensional Logic

The success of automated reasoning techniques over large natural-language texts heavily relies on a fine-grained analysis of natural language assumptions. While there is a common agreement that the analysis should be hyperintensional, most of the automatic reasoning systems are still based on an intensional logic, at the best. In this paper, we introduce the system of reasoning based on a fine-grained, hyperintensional analysis. To this end we apply Tichy’s Transparent Intensional Logic (TIL) with its procedural semantics. TIL is a higher-order, hyperintensional logic of partial functions, in particular apt for a fine-grained natural-language analysis. Within TIL we recognise three kinds of context, namely extensional, intensional and hyperintensional, in which a particular natural-language term, or rather its meaning, can occur. Having defined the three kinds of context and implemented an algorithm of context recognition, we are in a position to develop and implement an extensional logic of hyperintensions with the inference machine that should neither over-infer nor under-infer.

scholarly journals Negation and presupposition, truth and falsity

2018 ◽  
Vol 54 (1) ◽  
pp. 15-46 ◽  
Author(s):  
Marie Duží
Keyword(s):  
Logic Programming ◽  
Intensional Logic ◽  
Semantic Features ◽  
Wide Scope ◽  
Partial Functions ◽  
Procedural Semantics ◽  
Narrow Scope ◽  
Background Theory ◽  
The Difference ◽  
Presupposition Triggers

Abstract There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a complete list, nor to analyse all of them. Rather, I am going to deal with negation of propositions that come attached with a presupposition that is entailed by the positive as well as negated form of a given proposition. However, there are two kinds of negation, namely internal and external negation. I am going to prove that while the former is presupposition-preserving, the latter is presupposition-denying. This issue has much in common with the difference between topic and focus articulation within a sentence. Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment. The main contribution of this paper is the proof that the two kinds of negation are not equivalent. While the Russellian wide-scope (external) negation gets the truthconditions of a sentence right for a subject occurring as a focus, Strawsonian narrow-scope (internal) negation is validly applicable for a subject occurring as the topic. I also deal with other kinds of presupposition triggers, in particular factive attitudes and prerequisites of a given property. My background theory is Transparent Intensional Logic (TIL). TIL is an expressive logic apt for the analysis of sentences with presuppositions, because in TIL we work with partial functions, in particular with propositions with truth-value gaps. Moreover, the procedural semantics of TIL make it possible to uncover the hidden semantic features of sentences, make them explicit and logically tractable.

scholarly journals Datives with psych nouns and adjectives in Basque

2020 ◽  
Vol 54 (3) ◽  
pp. 647-696
Author(s):  
Beatriz Fernández ◽  
Fernando Zúñiga ◽  
Ane Berro
Keyword(s):  
Natural Language ◽  
Linguistic Theory ◽  
Psychological State ◽  
Formal Expression ◽  
Fine Grained ◽  
Psych Verbs ◽  
Other Regarding ◽  
Psychological Verbs

Abstract This paper explores the formal expression of two Basque dative argument types in combination with psych nouns and adjectives, in intransitive and transitive clauses: (i) those that express the experiencer, and (ii) those that express the stimulus of the psychological state denoted by the psych noun and adjective. In the intransitive structure involving a dative experiencer (DatExpIS), the stimulus is in the absolutive case, and the intransitive copula izan ‘be’ shows both dative and absolutive agreement. This construction basically corresponds to those built upon the piacere type of psychological verbs typified in (Belletti, Adriana & Luigi Rizzi. 1988. Psych-verbs and θ-theory. Natural Language and Linguistic Theory 6. 291–352) three-way classification of Italian psych verbs. In the intransitive structure involving a dative stimulus (DatStimIS), the experiencer is marked by absolutive case, and the same intransitive copula shows both absolutive and dative agreement (with the latter corresponding to the dative stimulus and not to the experiencer). We show that the behavior of the dative argument in the two constructions is just the opposite of each other regarding a number of morphosyntactic tests, including agreement, constituency, hierarchy and selection. Additionally, we explore two parallel transitive constructions that involve either a dative experiencer and an ergative stimulus (DatExpTS) or a dative stimulus and an ergative experiencer (DatStimTS), which employ the transitive copula *edun ‘have’. Considering these configurations, we propose an extended and more fine-grained typology of psych predicates.

A WORD-BASED CHINESE LANGUAGE UNDERSTANDING SYSTEM

1988 ◽  
Vol 02 (01) ◽  
pp. 25-35
Author(s):  
TIAN-SHUN YAO
Keyword(s):  
Natural Language Processing ◽  
Natural Language ◽  
Language Processing ◽  
Chinese Language ◽  
Computer Programs ◽  
World Knowledge ◽  
Knowledge Source ◽  
Language Understanding ◽  
Language Analysis ◽  
The World

With the word-based theory of natural language processing, a word-based Chinese language understanding system has been developed. In the light of psychological language analysis and the features of the Chinese language, this theory of natural language processing is presented with the description of the computer programs based on it. The heart of the system is to define a Total Information Dictionary and the World Knowledge Source used in the system. The purpose of this research is to develop a system which can understand not only Chinese sentences but also the whole text.

Agile sensor tasking for CoIST using natural language knowledge representation and reasoning

2014 ◽  
Author(s):  
David Braines ◽  
Geeth de Mel ◽  
Chris Gwilliams ◽  
Christos Parizas ◽  
Diego Pizzocaro ◽  
...  
Keyword(s):  
Knowledge Representation ◽  
Natural Language ◽  
Knowledge Representation And Reasoning ◽  
Language Knowledge ◽  
Sensor Tasking

scholarly journals From Text to Thought: How Analyzing Language Can Advance Psychological Science

2020 ◽  
Author(s):  
Joshua Conrad Jackson ◽  
Joseph Watts ◽  
Johann-Mattis List ◽  
Ryan Drabble ◽  
Kristen Lindquist
Keyword(s):  
Natural Language ◽  
Language Processing ◽  
Statistical Power ◽  
Culturally Diverse ◽  
Large Scale ◽  
Human Cognition ◽  
Comparative Linguistics ◽  
Psychological Science ◽  
Language Analysis ◽  
The Mind

Humans have been using language for thousands of years, but psychologists seldom consider what natural language can tell us about the mind. Here we propose that language offers a unique window into human cognition. After briefly summarizing the legacy of language analyses in psychological science, we show how methodological advances have made these analyses more feasible and insightful than ever before. In particular, we describe how two forms of language analysis—comparative linguistics and natural language processing—are already contributing to how we understand emotion, creativity, and religion, and overcoming methodological obstacles related to statistical power and culturally diverse samples. We summarize resources for learning both of these methods, and highlight the best way to combine language analysis techniques with behavioral paradigms. Applying language analysis to large-scale and cross-cultural datasets promises to provide major breakthroughs in psychological science.

scholarly journals Densely Supervised Hierarchical Policy-Value Network for Image Paragraph Generation

2019 ◽  
Author(s):  
Siying Wu ◽  
Zheng-Jun Zha ◽  
Zilei Wang ◽  
Houqiang Li ◽  
Feng Wu
Keyword(s):  
Natural Language ◽  
State Of The Art ◽  
Cross Entropy ◽  
Image Captioning ◽  
Value Network ◽  
Entropy Loss ◽  
Fine Grained ◽  
Performance Improvements ◽  
Single Sentence ◽  
Multiple State

Image paragraph generation aims to describe an image with a paragraph in natural language. Compared to image captioning with a single sentence, paragraph generation provides more expressive and fine-grained description for storytelling. Existing approaches mainly optimize paragraph generator towards minimizing word-wise cross entropy loss, which neglects linguistic hierarchy of paragraph and results in ``sparse" supervision for generator learning. In this paper, we propose a novel Densely Supervised Hierarchical Policy-Value (DHPV) network for effective paragraph generation. We design new hierarchical supervisions consisting of hierarchical rewards and values at both sentence and word levels. The joint exploration of hierarchical rewards and values provides dense supervision cues for learning effective paragraph generator. We propose a new hierarchical policy-value architecture which exploits compositionality at token-to-token and sentence-to-sentence levels simultaneously and can preserve the semantic and syntactic constituent integrity. Extensive experiments on the Stanford image-paragraph benchmark have demonstrated the effectiveness of the proposed DHPV approach with performance improvements over multiple state-of-the-art methods.

Sign in / Sign up

Export Citation Format

Share Document