语义引擎的形成及其应用

认知计算主义的语义基础是:只要给予正确的形式系统和解释,一台机器能够一致的处理意义。最初由莱布尼兹提出这种理论假设,现代逻辑证明了这一设想在一定程度上是可行的。许多人工智能研究就是在这种思想的指导下工作的。福多正是基于此提出了"思想语言假说",为驱散意向的神秘性提供了一个重要的思路。不过,这一思想的生物机制还有待于进一步澄清。