搜索结果: 1-10 共查到“普通语言学 Logic”相关记录10条 . 查询时间(0.066 秒)
Language,logic and ontology:uncovering the structure of commonsense knowledge
Ontology semantics commonsense knowledge reasoning
2015/7/29
The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, which is the best know...
From Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds
Logic Aristotelian logic Domain Theory Computability Data-types Modes of being Universals Topological Information Storage Problem of Induction
2015/7/15
At the end of the 19th century, 'logic' moved from the discipline of philosophy to that of mathematics. One hundred years later, we have a plethora of formal logics. Looking at the situation form info...
Solving Logic Puzzles:From Robust Processing to Precise Semantics
Solving Logic Puzzles Robust Processing Precise Semantics
2015/6/12
This paper presents intial work on a system that bridges from robust, broad-coverage natural language processing to precise semantics and automated reasoning, focusing on solving logic puzzles drawn f...
Learning Alignments and Leveraging Natural Logic
Learning Alignments Leveraging Natural Logic
2015/6/12
We describe an approach to textual inference that improves alignments at both the typed dependency level and at a deeper semantic level. We present a machine learning approach to alignment scoring, a ...
This paper presents the first use of a computational model of natural logic—a system of logical inference which operates over natural language—for textual inference. Most current approaches to the PAS...
We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We extend past work in natural logic, ...
We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We extend past work in natural logic, ...
The Cognitive Ontogenesis of Predicate Logic
Abelard Aristotle Boethius Hamilton natural logic ontogenesis of logic Russell undue existential import
2015/5/6
Since Aristotle and the Stoa, there has been a clash, worsened by modern predicate logic, between logically defined operator meanings and natural intuitions. Pragmatics has tried to neutralize the cla...
Logic as Marr’s Computational Level: Four Case Studies
Logic Semantics Cognitive neuroscience Language Reasoning EEG
2015/5/5
We sketch four applications of Marr’s levels-of-analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the...
Arguments are presented supporting logical nativism: the conjecture that humans have an innate logic faculty. In making a case for logical nativism, this article concentrates on children’s acquisition...