https://bbs.feng.com/read-htm-tid-11991328.html
科学问题：是什么，为什么
价值问题：该不该，好不好
工程问题：怎么办，
休谟问题是指英国哲学家大卫.休谟（David Hume）1711年在《人性论》的第一卷和《人类理智研究》里面提出来的。
所谓从“是”（being）能否推出“应该”（should），也即“事实”命题能否推导出“价值”命题。
由“是”推导出“应该”，必须分两步来完成。
1、由事实关系的“是”可以推导出价值关系的“是”。
事实关系的“是”反映了“客观事物”的状态、特性及其规律性；价值关系的“是”反映了“客观事物对于人的价值”的状态、特性及其规律性。
价值关系的“是”是由众多事实关系的“是”按照一定的组合规则（即是否有利于人的生存与发展）复合而成，或者说，价值关系是事实关系的“函数”。实际上，价值就是直接或间接的有序化能量，就是按照主体的生存与发展的需要有机地、有序地组合起来的能量，即价值是能量的“函数”。
2、由价值关系的“是”可以推导出价值关系的“应该”。
人的一切行为和思想都是为了追求可持续的利益最大化或可持续的价值最大化，价值关系的“应该”是指所有价值关系中具有最大价值率的那一种价值关系，即价值关系的“应该”是从众多价值关系的“是”之中选取具有最大价值率的那一种价值关系的“是”。 总之，“应该”是由众多“是”所组成的函数并取其极大值或最大值。
由事实命题推导出价值命题，必须分两步来完成。
1、由事实命题可以推导出价值概念。事实命题是关于事实关系的描述方式，事实关系就是指客观事物之间客观存在的、不以人的意志为转移的相互联系与相互作用；在所有事实关系中，存在一种特殊的事实关系，它体现了人类主体与客观事物之间的的相互作用，它就是能够维持和促进人类主体的有序化进程的动力源——广义有序化能量（即价值），对于这种特殊的事实关系最基本的描述方式就是价值概念。也就是说，价值概念是由众多事实命题按照主体的有序化进程为规则所组成的“函数”。
2、由价值概念可以推导出价值命题。以物理学意义的价值概念为基础，可以推演出一个最重要的、最基础的、最普遍的价值命题：人的一切行为和思想都是为了追求可持续的利益最大化或可持续的价值率最大化，再根据这一命题可以推演出所有社会领域的价值命题，因此由价值概念可以推导出所有价值命题。也就是说，价值命题是由价值概念按照不同的事实命题的要求取其极大值或最大值。
总之，价值命题是由众多事实命题按照主体的有序化进程为规则所组成的函数并取其极大值或最大值。
价值的多重性、相对性以及随机性
形式化方法 formal methods
形式化是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。
形式化方法的本质是基于数学的方法来描述目标软件系统属性的一种技术。不同的形式化方法的数学基础是不同的，有的以集合论和一阶谓词演算为基础（如Z和 VDM），有的则以时态逻辑为基础。形式化方法需要形式化规约说明语言的支持。
形式规约(Formal Specification,也称形式规范或形式化描述),它是对程序“做什么”(what to do)的数学描述,是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。
对形式规约通常要讨论其一 致性(自身无矛盾)和完备性(是否完全、无遗漏地刻画所要描述的对象)等性质。
形式规约的方法主要可分为两类:
一类是面向模型的方法也称为系统建模,该方 法通过构造系统的计算模型来刻画系统的不同行为特征；
另一类是面向性质的方法也称为性质描述,该方法通过定义系统必须满足的一些性质来描述一个系统。
形式验证(Formal Verification)。形式验证与形式规约之间具有紧密的联系，形式验证就是验证已有的程序(系统)P，是否满足其规约(φ,ψ)的要求(即P (φ,ψ)),它也是形式化方法所要解决的核心问题。传统的验证方法包括模拟(simulation)和测试(testing)，它们都是通过实验的方法 对系统进行查错。
意向性（英语：Intentionality）是一种心灵代表或呈现事物、属性或状态的能力。简单的说，很多心理活动是关于外部世界的，意向性就是此“关于”。
形而上学是指对世界的各种事物的概念的来源和意义作出抽象的界定、分析、和论证，比如什么叫本质、形式、原因、结果、共相，它是哲学中最抽象的分枝从概念到概念
metaphysics：the branch of philosophy that deals with the nature of existence, truth and knowledge
知识库上的自然语言查询 question answering over knowledge base
本质是一个NLP的问题，即如何将一个自然语言查询转换个kb上的结构化查询
自由意志是相信人类能选择自己行为的信念或哲学理论。通俗的说就是人希望不完全由大脑控制，人的自由意志拥有对人自身的最高管理权限。一般使用上，这个词有客观和主观的附加意义，客观是行动者的行动不完全受默认因素影响，主观是行动者认为自己的行动起因于自己的意志。
在伦理学，自由意志可能意味个人在道义上要对自己的行为负责；在心理学，这意味心灵控制身体的部份动作；在科学领域，自由意志可能意味身体的动作，包括大脑在内，不全由物理因果所决定。
意识5大问题：Max Velmans
（1）意识是什么，它位于何处？
（2）如何理解意识与物质之间的因果关系？
（3）意识有什么功能？
（4）与意识相关的物质形式是什么？
（5）检测意识的最恰当的方式是什么？
涌现一词字面意义即指很多个单一要素组成整体系统后,出现了系统组成之前单个要素所不具有的性质。整体大于部分之和中，多出的部分就是涌现性的体现。而还原性则是指系统的所有功能可以还原为组成系统的各个元部件各自的贡献。
尤琳·普莱斯（Ullin Place）:一旦我们知道脑状态导致了意识体验，一个有意识的体验就可以被还原为给定的脑状态。
雷·杰肯道夫（Ray Jackendoff）在《意识与可计算心智》一书中提出了自己的意识中层理论，即将意识分为物理脑，计算的心智与可感知到的心智三个等级。
安德森（John Robert Anderson）提出了ACT_R模型，此模块有4个子模块组成，分别为目标模块、视觉模块、动作模块和描述性知识模块。每一个模块各自独立工作，并且由一个中央产生系统协调。
加来道雄（Michio Kaku）则在《心灵的未来》一书中提出了意识的时空模型：意识是为了实现一个目标（例如，寻找配偶，食物，住宿）创建一个世界模型的过程，在创建过程中要用到多个反馈回路和多个参数。
IPU信息处理单元（Information Processing Unit）
一个N维的布尔向量进来，经过处理，一个M维的布尔向量出去
在输入数据的驱动下，可以改变自己处理信息能力的IPU，我们称为学习机