科学网—zhtprog的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › zhtprog的博文

zhtprog

https://wap.sciencenet.cn/?2398747

语义处理| 自动索引| 手机的物理| 天文| 观点| 雾霭| Terry Pratchett| 拓扑| 数学符号| 机器证明| 答疑| 人工智能| 物理|

推荐Software Abstractions: Logic， Language and Analysis: 张海涛 2015-1-31 14:10; 这是MIT的Daniel Jackson介绍使用relational algebra来模拟抽象模型的书。书是围绕着他创立的Alloy语言及其开源软件工具而写的，但使用First Order Relational Logic(FORL)的技巧是通用的，而且写得非常引人入胜。Alloy工具的独特之处是使用model checker在维度够小的空间全自动地验证模型或给出反例，比起使用theorem p ...; 个人分类: 语义处理|2427 次阅读|没有评论

真不需要常识吗？: 热度 1 张海涛 2015-1-29 11:41; 拜读了李维老师的几篇博文，连在下面方便以后复习：【立委科普：自然语言理解当然是文法为主，常识为辅】 http://blog.sciencenet.cn/blog-362400-734340.html 科研笔记：自然语言处理领域中的语义路线及其代表人物 http://blog.sciencenet.cn/blog-362400-818487.html 同意泛泛的语义研究不 ...; 个人分类: 语义处理|2577 次阅读|3 个评论热度 1

会议

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-26 22:05

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部