期刊文献+

广义量词的计算复杂性

Computational Complexity of Generalized Quantifiers
下载PDF
导出
摘要 广义量词的复杂性有两个层次:句法层面的复杂性和语义层面的复杂性,我们集中研究了广义量词的语义复杂性。在有穷的语境中可以找出自然语言量化语句真值的复杂性。这些复杂性与图灵机中的可计算性、作为算法的意义的等价性、计算复杂性、易处理性和不易处理性等内容相关。广义量词计算复杂性已有诸多相关研究成果。 There are two levels of complexity of generalized quantifiers syntactic level and semantic level. The paper focuses on complexity of semantic of generalized quantifiers. The complexity of the truth-values of natural language quantified sentences can be found in finite situations. The complexity is related to other contents, such as computability in Turing machines, identify of meanings-as algorithms, computational complexity, tractability and intractability. There are many related fruits in computational complexity of generalized quantifiers.
作者 张晓君
出处 《贵州工程应用技术学院学报》 2015年第4期60-64,共5页 Journal of Guizhou University Of Engineering Science
基金 国家社会科学基金西部项目"汉语语句系统的逻辑语义学研究" 项目编号:13XYY016
关键词 广义量词 计算复杂性 算法 可计算性 Generalized Quantifiers Computational Complexity Algorithms Computability
  • 相关文献

参考文献12

二级参考文献37

  • 1蔡曙山、邹崇理,2010年.《自然语言形式理论研究》,人民出版社.
  • 2周礼全,1994年.《逻辑--正确思维和有效交际的理论》,人民出版社.
  • 3Lambalgen, M. V. and Hamm, F. , 2005, The Proper Treatment of Events, Explorations in Semantics, Wiley Blackwel.
  • 4Moschovakis, Y. , 1990, "Sense and denotation as algorithm and value", in J. Oikkonen and J. V~iananen (eds.), Lecture Notes in Logic 2, Springer.
  • 5Szymanik, J., 2009, " Quantifiers in time and space: computational complexity of generalized quantifiers in natural language" Dissertation, University of Amsterdam.
  • 6Tichy, P. , 1969, "Intension in terms of turing machines", in Studia Logica 24 ( 1 ) .
  • 7van Benthem, J. , 1986, Essays in Logical Semantics, Dordrecht: D. Reidel.
  • 8van Benthem, J. ,2010, Logic Dynamic of lnformation and Interaction, Cambridge University Press.
  • 9van Eijck, J. and Visser, A. , 2010, "Dynamic semantics", in E. N. Zalta (ed.), Stanford Encyclopedia of Philosophy.
  • 10A. Pietarinen, Signs of Logi c, Dordrecht : Springer,2006, pp. 182 - 186.

共引文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部