Computational complexity of the semantics of some natural language constructions

被引：13

作者：

Mostowski, M ^{[1
]}

Wojtyniak, D ^{[1
]}

机构：

[1] Warsaw Univ, Inst Philosophy, Dept Logic, PL-00047 Warsaw, Poland

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2004年 / 127卷 / 1-3期

关键词：

NP-completeness; PTIME; Henkin quantifiers; Edmond's thesis; Church's thesis;

D O I：

10.1016/j.apal.2003.11.016

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We consider an example of a sentence which according to Hintikka's claim essentially requires for its logical form a Henkin quantifier. We show that if Hintikka is right then recognizing the truth value of the sentence in finite models is an NP-complete problem. We discuss also possible conclusions from this observation. (C) 2003 Elsevier B.V. All rights reserved.

引用

页码：219 / 227

页数：9

共 50 条

[1] Computational Complexity of Intensional Emotive Constructions, (In)tractability and Natural Language Processing
Mondal, Prakash
[J]. NEW MATHEMATICS AND NATURAL COMPUTATION, 2021, 17 (02) : 505 - 527
[2] Algebraic semantics for natural language: Some philosophy, some applications
Link, G
[J]. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1995, 43 (5-6) : 765 - 784
[3] COMPUTATIONAL COMPLEXITY AND PROBABILITY CONSTRUCTIONS
WILLIS, DG
[J]. JOURNAL OF THE ACM, 1970, 17 (02) : 241 - +
[4] Is semantics computational? (Language)
Steedman, Mark
Stone, Matthew
[J]. THEORETICAL LINGUISTICS, 2006, 32 (01) : 73 - 89
[5] Representation and inference for natural language: A first course in computational semantics
Pelletier, Francis Jeffry
[J]. COMPUTATIONAL LINGUISTICS, 2006, 32 (02) : 283 - 286
[6] The computational complexity of ideal semantics
Dunne, Paul E.
[J]. ARTIFICIAL INTELLIGENCE, 2009, 173 (18) : 1559 - 1591
[7] SEMANTICS OF NATURAL LANGUAGE
DAVIDSON, D
HARMAN, G
[J]. SYNTHESE, 1970, 21 : 249 - 250
[8] SEMANTICS FOR NATURAL LANGUAGE
SPECTOR, A
[J]. EDUCATIONAL SCIENCES, 1969, 3 (03): : 223 - &
[9] Natural language semantics
Kibble, R
[J]. COMPUTATIONAL LINGUISTICS, 2002, 28 (01) : 84 - 86
[10] LINGUISTIC KNOWLEDGE, SEMANTICS, AND IDEAL SPEAKERS (Some Remarks on the Methodology of Natural Language Semantics)
Zouhar, Marian
[J]. EPISTEMOLOGIA, 2010, 33 (01): : 41 - 64

← 1 2 3 4 5 →