智能通用邏輯問(wèn)題解題器，能夠解決諸如愛(ài)因斯坦難題之類(lèi)的邏輯題目。64W紅軟基地

軟件介紹

為了能夠表達(dá)現(xiàn)實(shí)的邏輯題目，軟件作者設(shè)計(jì)了一門(mén)語(yǔ)言，這門(mén)語(yǔ)言一方面很簡(jiǎn)單，另一方面也具有很強(qiáng)的表達(dá)能力。對(duì)于一個(gè)實(shí)際的邏輯問(wèn)題，用戶(hù)只需要用這門(mén)語(yǔ)言描述一下，就可一交給程序搜索需要的解。同時(shí)用戶(hù)還可以按照自己的需求定義輸出的格式。 64W紅軟基地

軟件特點(diǎn)

五一的時(shí)候我發(fā)現(xiàn)一本邏輯題目的小冊(cè)子，買(mǎi)過(guò)來(lái)之后本想做做腦力體操消磨一下時(shí)間，可是做了不到3到題我就不耐煩了，閑下來(lái)我就想能否寫(xiě)一個(gè)程序讓計(jì)算機(jī)去求解這類(lèi)問(wèn)題呢，經(jīng)過(guò)整個(gè)假期的努力居然做成了，欣喜之余我忍不住就想把它共享出來(lái)。64W紅軟基地
首先我們看一下書(shū)里面的第一個(gè)題目：64W紅軟基地
斯科特先生、他的妹妹、他的兒子、他的女兒都是網(wǎng)球選手。關(guān)于這四人有以下的情況:64W紅軟基地
(1) 最佳選手的的孿生同胞與最差選手的性別相同。64W紅軟基地
(2) 最佳選手與最差選手的年齡相同64W紅軟基地
請(qǐng)問(wèn)誰(shuí)是最佳選手64W紅軟基地
對(duì)于這樣的問(wèn)題，我的第一個(gè)困難是如何讓計(jì)算機(jī)理解它，經(jīng)過(guò)分析我設(shè)計(jì)了一門(mén)描述這類(lèi)問(wèn)題的語(yǔ)言，只要輸入這種語(yǔ)言的文件，計(jì)算機(jī)就能為你自動(dòng)搜索出所要的結(jié)果。為了讓讀者對(duì)這門(mén)語(yǔ)言有一個(gè)感性的認(rèn)識(shí)，下面給出描述最佳選手問(wèn)題的輸入：64W紅軟基地
所有人{(lán)} = {"斯科特"，"妹妹"，"兒子"，"女兒"};64W紅軟基地
性別{} = {"男"，"女"}; 年齡{} = {1，2，3，4}; 64W紅軟基地
年齡 year(所有人); 性別 sex(所有人);64W紅軟基地
所有人 同胞(所有人); 所有人 最差，最佳;64W紅軟基地
sex("斯科特") = "男"; sex("妹妹") = "女"; sex("兒子") = "男"; sex("女兒") = "女";64W紅軟基地
year("斯科特") > year("兒子"); year("斯科特") > year("女兒");64W紅軟基地
同胞("斯科特")="妹妹";同胞("妹妹")="斯科特";64W紅軟基地
同胞("兒子")="女兒";同胞("女兒") = "兒子";64W紅軟基地
最佳 != 最差;64W紅軟基地
year(最佳) = year(同胞(最佳)); //(1)最佳選手的的孿生同胞64W紅軟基地
sex(同胞(最佳)) != sex(最差); //(1)64W紅軟基地
year(最差) = year(最佳); //(2)64W紅軟基地
輸出 { "最佳選手是: " 最佳 }64W紅軟基地
假如上面的文本保存在一個(gè)”最佳選手.txt”文件中，在得到了我的znlog.exe程序后在控制臺(tái)下輸入”znlog最佳選手.txt”就會(huì)產(chǎn)生 “最佳選手是： 女兒”的輸出。64W紅軟基地
如果得到了ZnLogWin.exe程序，只需用此程序打開(kāi) 最佳選手.txt 文件就能在輸出窗口產(chǎn)生結(jié)果。64W紅軟基地

相關(guān)介紹

狹義上邏輯既指 思維的規(guī)律，也指研究思維規(guī)律的學(xué)科即邏輯學(xué)。廣義上邏輯泛指規(guī)律，包括思維規(guī)律和客觀規(guī)律。邏輯包括形式邏輯與辯證邏輯，形式邏輯包括歸納邏輯與演繹邏輯.64W紅軟基地
邏輯指的是思維的規(guī)律和規(guī)則，是對(duì)思維過(guò)程的抽象。64W紅軟基地
從狹義來(lái)講，邏輯就是指 形式邏輯或抽象邏輯，是指人的抽象思維的邏輯；廣義來(lái)講，邏輯還包括具象邏輯，即人的整體思維的邏輯。64W紅軟基地

軟件截圖

64W紅軟基地