如何讓計算機(jī)來解決推理問題？人是如何運(yùn)用邏輯推理問題的？

如果是Ａ如果是Ｂ如果是Ｃ如果是ＤＡ：不是我

Ｄ：是Ｃ

Ｃ：是Ｄ

Ｄ：他胡說

計算機(jī)是如何表達(dá)邏輯的？如果讓計算機(jī)來解決此問題，則首先能夠表示Ａ,Ｂ,Ｃ,Ｄ幾個不同的人機(jī)器是如何運(yùn)用邏輯推理問題的？即用不同的整數(shù)來表示不同的“人”機(jī)器是如何運(yùn)用邏輯推理問題的？charsuspect;//定義變量，表示“嫌疑犯”

變量suspect=‘A’;//表示“嫌疑犯”是Ａ

suspect=‘B’;//表示“嫌疑犯”是Bsuspect=‘C’;//表示“嫌疑犯”是Csuspect=‘D’;//表示“嫌疑犯”是D還要能夠表示“是或不是嫌疑犯”機(jī)器是如何運(yùn)用邏輯推理問題的？每個人說的話怎么用程序語句的形式來表示？Ａ：不是我Ｂ：是Ｃ嫌疑犯不是Ａ嫌疑犯是ＣＣ：是ＤＤ：他胡說嫌疑犯是Ｄ嫌疑犯不是Ｄ嫌疑犯與Ｃ是同一人嫌疑犯與Ａ不是同一人嫌疑犯與Ｄ是同一人嫌疑犯與Ｄ不是同一人suspect!=‘A’suspect==‘C’suspect==‘D’suspect!=‘D’機(jī)器是如何運(yùn)用邏輯推理問題的？每個人說的話表達(dá)為程序理解的語義：關(guān)系表達(dá)式Ａ：不是我suspect!=‘A’Ｂ：是Ｃsuspect==‘C’Ｃ：是Ｄsuspect==‘D’Ｄ：他胡說suspect!=‘D’機(jī)器是如何運(yùn)用邏輯推理問題的？怎么來統(tǒng)計有三個人說的話是真話？是不是可以用一個計數(shù)器來統(tǒng)計說真話的次數(shù)??？intcount=0;if(suspect!=‘A’)count++;if(suspect==‘C’)

count++;if(suspect==‘D’)count++;if(suspect!=‘D’)count++;人是如何運(yùn)用邏輯推理問題的？suspect=‘A’;intcount=0;if(suspect!=‘A’)count++;if(suspect==‘C’)count++;if(suspect==‘D’)count++;if(suspect!=‘D’)count++;If(count==3)

printf(“\n%c是嫌疑犯\n\n”,suspect);else{

suspect=‘B’;count=0;……}機(jī)器是如何運(yùn)用邏輯推理問題的？重復(fù)的操作可否合并，用循環(huán)來處理？suspect=‘A’;while(suspect<=‘D’){……

suspect++;}intcount=0;if(suspect!=‘A’)count++;if(suspect==‘C’)

count++;if(suspect==‘D’)count++;if(suspect!=‘D’)count++;If(count==3)printf(“\n%c是嫌疑犯\n\n”,suspect);else{……}是否還可以對程序做進(jìn)一步的優(yōu)化？機(jī)器是如何運(yùn)用邏輯推理問題的？總結(jié)：假設(shè)第一種情況試算第一種情況是否有效？假設(shè)第二種情況試算第二種情況是否有效？假設(shè)第三種情況試算第三種情況是否有效？假設(shè)第四種情況試算第四種情況是否有效？即：列舉出所有可能的情況，逐一測試和尋找．這種方式稱為枚舉．再挑戰(zhàn)一下自己，試一試吧……某地刑偵大隊對涉及六個嫌疑人的一樁疑案進(jìn)行分析：A、B至少有一人作案；A、E、F三人中至少有兩人參與作案；A、D不可能是同案犯；B、C或同時作案，或與本案無關(guān)；C、D中有且僅有一人作案；如果D沒有參與作案，則E也不可能參與作案。試編一程序，將作案人找出來。分析問題中有六個嫌疑人，對于每個人來說，都有參與作案和沒有參與作案的兩種可能如果枚舉所有可能的情況，則有：

26

種情況．對于這個題目來講，是否參與作案本身是沒有規(guī)律的，也是沒有順序的？人為的給定一個順序：我們用數(shù)值來表示是否參與作案（即對參與作案和沒有參與作案分別給一個編號）利用循環(huán)，使每個變量遍歷所有的編號取值，以實現(xiàn)枚舉過程分析用0表示沒有參與作案，1表示參與作案例如，枚舉某個人是否參與作案就可以寫成這樣一個式子

for(某人=0;某人<=1;某人++)這樣，我們就能夠依次枚舉“某人”作案和沒作案這兩種情況，即取0