A formulation for language independent prelogical deductive inference

被引：0

作者：

Miró, J ^{[1
]}

机构：

[1] Univ Illes Balears, Dept Ciencies Matemat & Informat, Palma de Mallorca 07122, Spain

来源：

COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003 | 2003年 / 2809卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A reality, supposedly described by an Object Attrribute Table, and an unspecified language capable to describe subsets of objects are assumed. The requirements for an statement to be true are investigated, using set theoretical concepts only. The results lead to a sufficient condition for a statement to be deduced from a set of other statements (premises), by means of some algorithmic approach.

引用

页码：74 / 82

页数：9

共 50 条

[1] Neural correlates of deductive inference: A language independent distributed network
Monti, MM
Parsons, LM
Martinez, MJ
Osherson, DN
[J]. JOURNAL OF COGNITIVE NEUROSCIENCE, 2005, : 170 - 170
[2] Functional neuroanatomy of deductive inference: A language-independent distributed network
Monti, Martin M.
Osherson, Daniel N.
Martinez, Michael J.
Parsons, Lawrence M.
[J]. NEUROIMAGE, 2007, 37 (03) : 1005 - 1016
[3] The boundaries of language and thought in deductive inference
Monti, Martin M.
Parsons, Lawrence M.
Osherson, Daniel N.
[J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2009, 106 (30) : 12554 - 12559
[4] A DEDUCTIVE QUESTION-ANSWERER FOR NATURAL LANGUAGE INFERENCE
SCHWARCZ, RM
BURGER, JF
SIMMONS, RF
[J]. COMMUNICATIONS OF THE ACM, 1970, 13 (03) : 167 - &
[5] DEDUCTIVE INFERENCE
FALMAGNE, RJ
GONSALVES, J
[J]. ANNUAL REVIEW OF PSYCHOLOGY, 1995, 46 : 525 - 559
[6] Explaining Deductive Inference
Prawitz, Dag
[J]. DAG PRAWITZ ON PROOFS AND MEANING, 2015, 7 : 65 - 100
[7] GOODMAN ON DEDUCTIVE INFERENCE
TODD, W
[J]. PHILOSOPHICAL STUDIES, 1963, 14 (06) : 82 - 85
[8] IN DEFENSE OF DEDUCTIVE INFERENCE
KORNBLITH, H
[J]. PHILOSOPHICAL STUDIES, 1994, 76 (2-3) : 247 - 257
[9] Inference by generating in deductive databases
Lozinskii, Eliezer L.
[J]. Data and Knowledge Engineering, 1992, 7 (04): : 327 - 357
[10] INFERENCE ERRORS IN DEDUCTIVE REASONING
DICKSTEIN, LS
[J]. BULLETIN OF THE PSYCHONOMIC SOCIETY, 1980, 16 (06) : 414 - 416

← 1 2 3 4 5 →