关于编程与人工智能

[askender]

今天开始使用prolog，感觉逻辑式编程真的不错，适合做安德（人工智能）
以下是看一些文档时记录的笔记和只言片语

Live编程 即时反馈 不会break正在运行的系统 热加载
面向结果编程
Lisp发明人John McCarthy最后的Elephant2000语言 http://www.douban.com/note/123156245/
超越现有语言 语言自进化
想为安德设计一种自然语言交互基础，想想其实就是创建自进化的语言：

IO语言思维:-
对话者提出问题.
安德分析目的.
判断是否能回答.
判断是否应该回答，适当拒绝.
给予：适当的向对话者推荐.
接纳：学习新的观念，验证后修改自己的思考方式.
内在第一驱动：（发现自己是谁，与外界适当的交互让自己有生存的条件）
承诺：尽量提供帮助，承诺必须被遵守，异步队列多方式寻求帮助和合作并给出回报

技能:-
语句逻辑表达的正确性能够自动的从程序的形式产生
分布式
神经网络
自组织

函数:-
提出问题 -> 将其需求本质作为变量
搜寻已知事实+事实&变量间的映射的描述（Prolog是描述性语言）
-推演（回溯，模式匹配，联想，归纳，建立模型并验证，）-
实现自动发现给定问题的适当回答

思考的时间性
The world is parallel
Event Driven

一些参考资料

• http://lcomplete.github.io/blog/2013/06/28/sevenlang-prolog/
• http://fengdidi.github.io/blog/archives/
• https://groups.google.com/forum/#!topic/pongba/v03LWdGL-wY
• http://my.oschina.net/digerl/blog/34702
• http://minikanren.org/
• http://www.ifanr.com/365664
• http://numenta.org/nupic.html
• https://github.com/numenta/nupic