随笔分类 - AI 自然语言处理01 总论
机器定理证明
摘要：机器定理证明 - 正文[回目录]把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和自动演绎。机器定理证明是人工智能的重要研究领域，它的成果可应用于问题求解、自然语言理解、程序验证和自动程序设计等方面。数学定理证明的过程尽管每一步都很严格有据，但决定采取什么样的证明步骤，却依赖于经验、直觉、想象力和洞察力，需要人的智能。因此，数学定理的机器证明和其他类型的问题求解,就成为人工智能研究的起点。早在17世纪中叶，莱布尼兹就提出过用机器实现定理证明的思想。19世纪后期G.弗雷格的“思想语言”的形式系统，即后来的谓词演算，奠定了符号逻辑的基础，
阅读全文
史上最详细最容易理解的HMM文章
摘要：http://blog.csdn.net/daringpig/article/details/8072794http://www.52nlp.cn/hmm-learn-best-practices-four-hidden-markov-modelswiki上一个比较好的HMM例子分类隐马尔科夫模型 HMM(隐马尔科夫模型)是自然语言处理中的一个基本模型，用途比较广泛，如汉语分词、词性标注及语音识别等，在NLP中占有很重要的地位。网上关于HMM的介绍讲解文档很多，我自己当时开始看的时候也有点稀里糊涂。后来看到wiki上举得一个关于HMM的例子才如醍醐灌顶，忽然间明白HMM的三大问题是怎么回事了.
阅读全文
数据堂：科研数据共享平台, 免费下载, 计算机, 交通数据, 数据挖掘.htm
摘要：http://www.datatang.com/data/39276CASIA汉语疑问句语料库http://www.datatang.com/data/39276
阅读全文
国内语料库建设一览表
摘要：http://blog.sina.com.cn/s/blog_4835e3000100a50l.htmlhttp://download.csdn.net/tag/%E8%AF%AD%E6%96%99%E5%BA%93/track_scores/1(CSDN语料库)英语学习者语料库（书面语及口语）中国学习者语料库 CLEC（100万）广外、上海交大大学英语学习者口语语料库 COLSEC (5万) 上海交大香港科技大学学习者语料库 HKUST Learner Corpus 香港科技大学中国英语专业语料库 CEME (148万) 南京大学中国英语学习者口语语料库 SECCL (100万) 南京大学国
阅读全文
!!常用语料库语言学相关软件下载1
摘要：http://lingualspark.blog.sohu.com/16502306.html1.concapp04 (concapp03的修订版,可支持超大字符集) 软件下载地址 http://chinese.hust.edu.cn/Concapp04.exe http://chinese.hust.edu.cn/concapp03.exe (concapp03版)2.Wconcord----语料库分析软件软件介绍：A slow but very stable concordancer that can create concordances, collocation...
阅读全文
做中文自然语言处理或者聊天机器人的同学可能需要的几个资源
摘要：http://tieba.baidu.com/p/1680195712知网：事件关系和角色转换http://pan.baidu.com/netdisk/singlepublic?fid=162013_406654329情感词分类http://pan.baidu.com/netdisk/singlepublic?fid=162013_1073361563语义相似度论文和查询程序http://pan.baidu.com/netdisk/singlepublic?fid=162013_1236671594知网查询程序http://pan.baidu.com/netdisk/singlepublic?
阅读全文
各种语料库
摘要：语料库在线(www.cncorpus.org)教育部语言文字应用研究所 http://www.cncorpus.org/CorpusIntro.aspx北大汉语语料库--听雪阁.htm http://sh21.bokee.com/blog/6808090.html
阅读全文
领域类专家+研究机构
摘要：冯志伟http://www.lingviko.net/feng/bfu.htm吴蔚天http://lib.gzhu.edu.cn/opac/HoldingRetr.aspx?BIBNO=248770&TABNAME=ILASBIBLIOS&DISP=Holding汉语计算语义学——关系、关系义场和形式分析陈力为、曹右琦、常宝儒、董振东、黄昌宁、冯志伟、史有为、吴蔚天、许卓群、叶蜚声、袁琦、张普、赵淑华等先生。国内信息处理学界与语言学界的这些最著名的专家无论是在鉴定会上的肯定还是在鉴定会外的指教都鼓舞了课题组在漫长的岁月里坚持攻关的勇气与信心，特别是两度担任鉴定委员会主任的中国工
阅读全文
自然语言处理著作或期刊名称2
摘要：序号著作或期刊名称作者或出版者适用对象及要求 1An Introduction to Corpus Linguistics(语料库语言学入门)Graeme Kennedy硕士必读 2Aspects of the Theory of Syntax(语法理论方面)Chomsky硕士选读 3Comprehension: A Paradigm for Cognition(理解： 一个 范式 的 认知)Kintsch博士选读 4Computational Linguistics(计算 语言学)The Association for Computational Linguistics硕士选读博士必读 5C
阅读全文
CBR(基于案例的推理)的产生和Roger Schank=----Schank教授在他的著作中提出了以“记忆组织包"
摘要：http://blog.csdn.net/xifeng_2008/article/details/3043638CBR的产生和Roger Schank分类：CBR技术2008-10-09 17:34549人阅读评论(0)收藏举报基于案例的推理（Case-Based Reasoning, CBR）是人工智能（Artificial Intelligence, AI）领域的重要研究内容，它属于AI中求解问题的知识密集型方法（即强方法）的一种[1]。鉴于CBR思想的提出者Roger Schank于2006年前后回归AI研究[2]，我们在此重新回顾CBR的产生过程。1982年，美国耶鲁大学的Roger
阅读全文
北京师范大学语言学及应用语言学研究生培养方案
摘要：北京师范大学研究生培养方案汉语文化学院 语言学及应用语言学专业（代码： 050102 ）语言信息处理方向（一级学科： ）本专业具有 硕士 学位授予权和 博士 学位授予权一、培养目标与学习年限1.硕士生培养语言信息处理（特别是中文信息处理）方面的专业人才，为我国语言信息科技的可持续发展和保持竞争优势创造基础条件。毕业生应达到以下要求：（1）德智体全面发展；（2）熟悉我国语言信息处理领域的历史、现状和发展方向；（3）具有扎实的语言学基础知识；（4）能熟练使用电脑，并熟悉语言信息处理所需的计算机基本技术；（5）能胜任语言信息处理方面的基础研发工作，并具有一定的独立研究能力；（6）至少精通一门外语，并
阅读全文
机器翻译和自然语言信息处理专业硕士研究生培养方案
摘要：http://ling.cass.cn/yanjiusheng/fuaiping.htm2．专业基础课（由导师在下列课程中指定３－４门） （１）语言学概论 2学分 《语言学概论》邢公畹, 语文出版社 （２）语法理论 4学分 《现代语言学流派》 冯志伟, 陕西人民出版社 (1981) （３）形式语言理论 2学分 《形式语言与自动机》 陈崇昕, 北京邮电学院出版社 (1988) （４）离散数学（数理逻辑） 3学分3．专业课（由导师在下列课程中指定２－３门） （１）自然语言的计算机处理 4学分 《自然语言的计算机处理》 ...
阅读全文
nlp那个方向都能达到毕业
摘要：在万方和cnki里看看各高校的博士论文就明白了 底层的分词 标注 统计模型分类 聚类 抽取 机器翻译 自动问答 现在流行的社交话题发现 情感分析 倾向性分析 维稳 ......统统都能做博士论文
阅读全文
