C
creation-zy
Unregistered / Unconfirmed
GUEST, unregistred user!
不知道大富翁里有没有AI的内行。 大家感兴趣的帮忙一下吧，先谢谢了！
（另： to 版主： 我实在不想把这个问题放到“非技术问题”中去，只能借宝地一用了，见谅！）
我是一个人工智能爱好者，一心想让电脑自动完成目前人类几乎所有的智能活动。可惜没有接受过
关于人工智能的正规教育，也没有遇到有空指导我的方家，至今除了一个破烂不堪的AI下棋程序之外
一事无成。自己花时间看了十来本人工智能的书，书中都是大谈特谈什么命题逻辑、Horn子句、广度
优先搜索、启发式搜索、神经网络、遗传算法、知识表示、问题求解...理论都是一套一套的。也许是
我悟性太差，看了半天大道理，还是丈二和尚摸不着头脑——这些逻辑、子句、算法什么的到底如何
编程实现呢？
如果方家看到此贴，还请您指点迷津，谢谢！（就是介绍几本好书也行）
唉！不会写程序，现在只能纸上谈兵了。下面我提几个问题：
在命题逻辑中有“原子命题”这个概念，顾名思义，原子命题是不能被分解的。现在我想对其进行
分解（样例如下），请问具体实现时应该如何做？
eg:
已知事实： 数学不等式由左、中、右三个部分组成，其中左、右两个部分均为数学表达式，中间
是关系符号（即 >、<、= 三者之中的任何一个）。
原子命题： x>0
分解（分析？）过程：
1.这是一个数学不等式
2.这个不等式的左、中、右三个部分分别为：x、>、0
就是这个了，如何摆平？
还有，对下面三个命题，如何用一句话就让电脑明白？
( ( A > B ) and ( C > D ) ) ==> ( A+B > C+D )
( ( A < B ) and ( C < D ) ) ==> ( A+B < C+D )
( ( A = B ) and ( C = D ) ) ==> ( A+B = C+D )
（注意：这三个命题仅仅有不等号的区别）
Move!
（另： to 版主： 我实在不想把这个问题放到“非技术问题”中去，只能借宝地一用了，见谅！）
我是一个人工智能爱好者，一心想让电脑自动完成目前人类几乎所有的智能活动。可惜没有接受过
关于人工智能的正规教育，也没有遇到有空指导我的方家，至今除了一个破烂不堪的AI下棋程序之外
一事无成。自己花时间看了十来本人工智能的书，书中都是大谈特谈什么命题逻辑、Horn子句、广度
优先搜索、启发式搜索、神经网络、遗传算法、知识表示、问题求解...理论都是一套一套的。也许是
我悟性太差，看了半天大道理，还是丈二和尚摸不着头脑——这些逻辑、子句、算法什么的到底如何
编程实现呢？
如果方家看到此贴，还请您指点迷津，谢谢！（就是介绍几本好书也行）
唉！不会写程序，现在只能纸上谈兵了。下面我提几个问题：
在命题逻辑中有“原子命题”这个概念，顾名思义，原子命题是不能被分解的。现在我想对其进行
分解（样例如下），请问具体实现时应该如何做？
eg:
已知事实： 数学不等式由左、中、右三个部分组成，其中左、右两个部分均为数学表达式，中间
是关系符号（即 >、<、= 三者之中的任何一个）。
原子命题： x>0
分解（分析？）过程：
1.这是一个数学不等式
2.这个不等式的左、中、右三个部分分别为：x、>、0
就是这个了，如何摆平？
还有，对下面三个命题，如何用一句话就让电脑明白？
( ( A > B ) and ( C > D ) ) ==> ( A+B > C+D )
( ( A < B ) and ( C < D ) ) ==> ( A+B < C+D )
( ( A = B ) and ( C = D ) ) ==> ( A+B = C+D )
（注意：这三个命题仅仅有不等号的区别）
Move!
（俺也想考...）
）