computational logic是AI里最基础最理论的一个方向吗?

发信人: ciwp (孤鸿~~make your way down), 信区: AI
标  题: [合集] computational logic是AI里最基础最理论的一个方向吗?
发信站: 水木社区 (Sun Jun 18 23:10:35 2006), 站内

☆─────────────────────────────────────☆
   fatfatcat (胖胖猫) 于  (Thu Jun  8 18:54:15 2006)  提到:

现在有个去 European Master′s Program in Computational Logic 学习的机会.可是不知道这个专业以后的应用,就业前景如何,还请牛们发表意见,不吝赐教啊!

那个Computational Logic Group是在AI 里面的一个group,我感觉课程很理论,
列举一些课程如下:
advanced logic, reasoning,  Knowledge Representation and Reasoning , constraint programming.     Computer Algebra, Combinatorial Optimization,
Data Analysis and Mining,   Design and Analysis with Petri Nets,
Integrated Logic Systems,   Natural Language Processing,
Syntax Directed Semantics,
Machine Learning,           Theory and Applications of the Curry-                            Howard correspondence 数据挖掘实验室

问了一些我学校里计算机系的人,都对computational logic这个方向不大知道.所以来这里问问,这里牛牛多啊,哈哈


☆─────────────────────────────────────☆
   fatfatcat (胖胖猫) 于  (Thu Jun  8 19:02:48 2006)  提到:


忘了问的一点了,对于他的课程设置,我怎么觉得很多AI现在研究的东西,比如语音,视频识别, 人机什么的,他都没有涉及到呢,连沾边的一个词都没有.
感觉那些课都很理论,基本就是数学和逻辑,那学完了这个课程,会不会AI偏应用方面的还没入门呢?


【 在 fatfatcat (胖胖猫) 的大作中提到: 】
: 现在有个去 European Master′s Program in Computational Logic 学习的机会.可是不知道这个专业以后的应用,就业前景如何,还请牛们发表意见,不吝赐教啊!
: 那个Computational Logic Group是在AI 里面的一个group,我感觉课程很理论,
: 列举一些课程如下:
: ...................





☆─────────────────────────────────────☆ 数据挖掘研究院
   wodaxia (papers are rejected -_- & resign) 于  (Fri Jun  9 00:24:35 2006)  提到:


注意它是关于computational logic方面的,而不是关于模式识别方面的,所以图关于natural language和sermantic方面的比较多.

【 在 fatfatcat (胖胖猫) 的大作中提到: 】
现在有个去 European Master′s Program in Computational Logic 学习的机会.可是不知道这个专业以后的应用,就业前景如何,还请牛们发表意见,不吝赐教啊!

那个Computational Logic Group是在AI 里面的一个group,我感觉课程很理论,
列举一些课程如下:
advanced logic, reasoning,  Knowledge Representation and Reasoning , constraint programming.     Computer Algebra, Combinatorial Optimization,
Data Analysis and Mining,   Design and Analysis with Petri Nets,
Integrated Logic Systems,   Natural Language Processing,
Syntax Directed Semantics,
Machine Learning,           Theory and Applications of the Curry-                            Howard correspondence

问了一些我学校里计算机系的人,都对computational logic这个方向不大知道.所以来这里问问,这里牛牛多啊,哈哈


☆─────────────────────────────────────☆
   takemehome (第五季节) 于  (Fri Jun  9 13:56:03 2006)  提到:

欧洲那边，特别是荷兰等地方，对AI的基础理论是非常重视的，尤其是有关逻辑方法的研究，稍早的模态逻辑，到后来的认知逻辑等非经典逻辑，以及现在热门的有关Semantic Web的逻辑基础－描述逻辑等的研究，这些大热点都是在欧洲进行的。
【 在 fatfatcat (胖胖猫) 的大作中提到: 】
: 现在有个去 European Master′s Program in Computational Logic 学习的机会.可是不知道这个专业以后的应用,就业前景如何,还请牛们发表意见,不吝赐教啊!
: 那个Computational Logic Group是在AI 里面的一个group,我感觉课程很理论,
: 列举一些课程如下:
: ...................