natural language and logic
Processing of Syntax and Semantics of Natural Language by Predicate Logic of Predicate Logic
... PROCESSING OF SYNTAX AND SEMANTICS OF NATURAL LANGUAGE BY PREDICATE LOGIC OF PREDICATE LOGIC PROCESSING OF SYNTAX AND SEMANTICS OF NATURAL LANGUAGE BY PREDICATE LOGIC Hiroyuki Yamauchi Institute of Sp[.] ...
8
PP 2011 32: Dynamic Logic in Natural Language
... Process theories: the larger picture The above suggests a study of process equivalences, as processes have many natural levels of detail. Also, the decidability of PDL suggests a balance between the expressive ...
17
A Modular Architecture for the Wide-Coverage Translation of Natural Language Texts into Predicate Logic Formulas
... Abstract. We present a new method for translating unrestricted natural language texts into predicate logic formulas. This relies on the semantic evaluation procedure of Scope Control Theory (SCT), a ...
8
How to Invert a Natural Language Parser Into an Efficient Generator: An Algorithm for Logic Grammars
... HOW TO INVERT A NATURAL LANGUAGE PARSER INTO AN EFFICIENT GENERATOR AN ALGORITHM FOR LOGIC GRAMMARS H O W TO I N V E R T A N A T U R A L L A N G U A G E P A R S E R I N T O AN E F F I C I E N T G E N[.] ...
6
Simple Interval Temporal Logic for Natural Language Assertion Descriptions
... from natural language assertion ...in natural language descriptions, we develop a new logical form called simple interval temporal logic (SIT L) which can deal formally with temporal ...
11
Default Logic, Natural Language and Generalized Quantifiers
... Default Logic, Natural Language and Generalized Quantifiers Default Logic, Natural Language and Generalized Quantifiers P a t r i c k S a i n t D i z i e r 1RISA INRIA, CAMPUS de BEAULIEU, 35042 RENNE[.] ...
6
PP 2015 03: Natural Language and Logic of Agency
... of language goes back to a strand that has been present in semantics since the 1970s: the idea that ‘the inferences are part of the ...a language is not just a grammar generating (interpreted) expressions ...
18
Markov Logic Networks for Situated Incremental Natural Language Understanding
... For our experiments, we used task-oriented con- versational data from the Pentomino domain (Fern´andez et al., 2007); more specifically, we worked with the corpus also used recently in (Heintze et al., 2010) and ...
10
Fourth Conference on Computational Natural Language Learning and the Second Learning Language in Logic Workshop
... Finally, we would like to thank the sponsors of LLL-2000 and CoNLL-2000 for their generous financial and moral support: the Network of Excellence in Inductive Logic Programming ILPNet2, [r] ...
15
Programming in Logic with Constraints for Natural Language Processing
... Dislog is an extension to Prolog; its procedural and declarative semantics are given in Saint-Dizier 1988b, computer applications like compiler writing and planning are given in Saint-Di[r] ...
8
LP 1998 05: Linguistic Grammar as Dynamic Logic
... of logic, but it has mainly studied static formal objects produced by one single thinker, rather than dynamic communication processes, which crucially involve actions of several agents, and discourse states that ...
12
Multiple Underlying Systems: Translating User Requests into Programs to Produce Answers
... In this paper, we describe a component of the Janus natural language interface that translates intensional logic expressions representing the meaning of a request into executable code fo[r] ...
8
PP 2007 03: Logic and Reasoning: Do the Facts Matter?
... psychology, witness the chapter by Steedman in van Benthem & ter Meulen, eds., 1997 a handbook on Logic and Natural Language which borders on psychology at many places, or the work on 'n[r] ...
17
A Hybrid Approach to Representation in the Janus Natural Language Processor
... Abstract In BBN's natural language understanding and generation system Janus, we have used a hybrid approach to representation, employing an intensional logic for the representation of t[r] ...
10
Can Natural Language Processing Become Natural Language Coaching?
... Closer to the subject at hand is the automated generation of mathematical word problems that are organized around themes of interest to kids, such as “School of Wizardry” (Polozov et al., 2015). The method allows the ...
8
Natural Language Inference with Monotonicity
... This paper is a contribution to the third category, as are Abzianidze (2015, 2017); MacCartney and Manning (2009); Angeli and Manning (2014); Angeli et al. (2016); Hu et al. (2018); Mineshima et al. (2015). Specifically, ...
8
Low Dimensional Embeddings of Logic
... map natural language to symbolic representations of ...first-order logic capture the richness of natural language and support complex reasoning, but often fail in practice due to their ...
5
A Tableau Prover for Natural Logic and Language
... of natural language ...for Natural Logic, a logic whose terms resemble natural lan- guage ...of Natural Logic from linguistic expressions, results in a proof system ...
11
A Critical Thinker Abroad
... Fourth , the context of the statements is of importance in natural language, whereas tradition- al logic has no interest in the context or use of statements.. It is [r] ...
7
Paraphrasing Questions Using Given and new information
... 1979 Centered Logic: The Role of Entity Centered Sentence Representation in Natural Language Inferencing.. 1979 Cooperative Responses from a Portable Natural Language Data Base Query Sys[r] ...
10