刚看到的书 < 多值逻辑函数结构理论研究>

smalloc

关于多值逻辑
一种非经典的逻辑系统。在经典逻辑中，每一个命题皆取真假二值之一为值 ，每一命题或者真或者假 。但实际上，一个命题可以不是二值的。命题可以有三值，推而广之，还可以有四值，五值。因此，对每一自然数n，有n值，以至于无穷多值。研究这类命题之间逻辑关系的理论，即为多值逻辑。多值逻辑建立于20世纪20年代初，由卢卡西维茨和美国逻辑学家E.L.波斯特创建。在60年代获得了新的推广，从多值的线序域推广到多值的偏序域，建立了格值逻辑。70年代后，多值逻辑被用于计算机科学和人工智能等方面。多值逻辑和经典逻辑一样，也可以用公理方法系统化，建立演算系统。

prolj

这个，目前的电子不能玩儿。

smalloc

见C版主的置顶帖
相关研究已经很成熟,
下面是在某图书馆搜索出来的
1 多值逻辑理论及应用研究:罗铸楷教授文集 罗铸楷, 国防科技大学出版社 2003 O141-53/H1 中文图书
2 多值逻辑的方法和理论:非正规多值逻辑研究 霍书全著 科学出版社 2009 O141.3/H3 中文图书
3 多值逻辑电路与神经网络和模糊计算机 陈书开著 国防工业出版社 2002 TP389.1/H22 中文图书
4 十值逻辑电路与十值数字模糊计算机 陈书开著 国防工业出版社 2002 TN79/H50 中文图书
5 多值逻辑的理论及应用 罗铸楷等著 科学出版社 1992.3 TP301.6/H9 中文图书
6 密码学中的逻辑函数 李世取 ... [等] 著 北京中软电子出版社 2003 TN918.1/H23 中文图书
多值逻辑的理论和方法——非规范多值逻辑研究 作　　者： 霍书全　著

下面的地址搜索出了现在的直接研究和实现
http://s.wanfangdata.com.cn/Pape ... op&n=10&p=1

smalloc

另一门关于逻辑的有意思的学科叫时间逻辑.
"时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支.它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足.对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用."

引入时间,明显的和逻辑悖论有很大关系.
PS:还是没看懂罗素的数学原理.

prolj

还是攒钱养媳妇吧，在天朝，技术真TMD难。

beepbug

多值逻辑，理论早就研究得透透了。实际电路，也早就有人搭出了不少。
问题是，现在的硬件，拿来实现多值逻辑远不如实现两值逻辑划算，而且是太不划算，没有优势。

cjaizss

多值逻辑的确是前人的结果，已经非常明了，对于任何n值逻辑都可以存在形式系统以之为基础。在也就是说其实不同的数理逻辑基础就可以有不同的模型论和证明论。但这些和电路是两码事。数学上的逻辑基础和数字电路还是有点区别的，这些东西最好建构的其实是组合电路。而当涉及到时序电路的时候，数学就数学，依然可以通过反馈的手段为之建模，但这个已经属于应用，单纯的数理逻辑基础是不研究这个的。我当初突发奇想，只是感兴趣于怎样在n值逻辑里搭建状态机（时序电路），并且不限定于某个n（这个很重要，我并不是想去研究三值、四值.....），而是想去了解一下所有的多值逻辑搭建状态机的共性。其实，既然有前人对于多值电路的努力，已经很成熟，我就没有必要再自己去努力，只是事先我对于多值电路缺乏了解，并且也没有找到相关的著作。

cjaizss

多值逻辑的确是前人的结果，已经非常明了，对于任何n值逻辑都可以存在形式系统以之为基础。在也就是说其实不 ...
cjaizss 发表于 2010-03-04 15:42

    另外，如果有人真的去搭建这样的电路，应该是用二值电路去模拟出来的。听说过三值电路，但其门级的原理我并不明白。
  而随着n值电路的n的增大，其组合电路说需的基础门个数级数级的往上增大，应该不会有人去搭的。
  而我从来也没想过技术，而研究这些也不属于技术范畴，而应属于数学范畴。虚拟出来的世界总比现实中的世界更多姿多彩，所以数学总是可以比实现出来的技术走得远的多。

beepbug

用二值电路，是很难模拟出多值电路的。输出容易，难的是输入。
用施密特电路可以做出多值电路，输入、输出都是多值的。但是，做出来的是模拟-数字混合电路，这个是很难大规模集成化的，还有可靠性与数字电路的差距实在太大，功耗与数字相比也大得吓人。
用二值电路模拟，出来的也只能是模拟-数字混合电路。
数学一定要比技术走在前头。偶尔出来一个新东西，有数学一块研究放在那里，它就有奔头，会有一大堆人围着它做。否则，很可能第一时间就被扔进垃圾筒了。
楼主说70年代被应用于人工智能，没听说过。它在人工智能方面，有什么特长？