問(wèn)答題
用謂詞表示法求解修道士和野人問(wèn)題。在河的北岸有三個(gè)修道士、三個(gè)野人和一條船，修道士們想用這條船將所有的人都運(yùn)過(guò)河去，但要受到以下條件限制：
（1）修道士和野人都會(huì)劃船，但船一次只能裝運(yùn)兩個(gè)人。
（2）在任何岸邊，野人數(shù)不能超過(guò)修道士，否則修道士會(huì)被野人吃掉。
假定野人愿意服從任何一種過(guò)河安排，請(qǐng)規(guī)劃出一種確保修道士安全的過(guò)河方案。要求寫(xiě)出所用謂詞的定義、功能及變量的個(gè)體域。
您可能感興趣的試卷
最新試題
相對(duì)化學(xué)沉淀等傳統(tǒng)工藝而言，萃取工藝的主要優(yōu)點(diǎn)是（）。
題型：多項(xiàng)選擇題
數(shù)量歸約中無(wú)參數(shù)的方法一般使用（）。
題型：多項(xiàng)選擇題
在自然語(yǔ)言處理中，哪些方法可以用于提升自動(dòng)對(duì)話系統(tǒng)和文本摘要生成的自然性和流暢性（）？
題型：多項(xiàng)選擇題
在深度學(xué)習(xí)中，哪些技術(shù)可以用于加速模型訓(xùn)練并提高模型在圖像分類(lèi)和文本處理任務(wù)上的精確度（）？
題型：多項(xiàng)選擇題
依存句法分析（DependencyParsing）主要用于分析什么（）？
題型：?jiǎn)雾?xiàng)選擇題
反向傳播算法的主要目的是什么（）？
題型：?jiǎn)雾?xiàng)選擇題
在自然語(yǔ)言處理中，哪些技術(shù)可以用于改善實(shí)體識(shí)別和文本生成任務(wù)的性能（）？
題型：多項(xiàng)選擇題
人工智能發(fā)展的早期階段主要側(cè)重于哪方面的研究（）？
題型：多項(xiàng)選擇題
在機(jī)器學(xué)習(xí)中，核技巧（KernelTrick）主要用于解決什么問(wèn)題（）？
題型：?jiǎn)雾?xiàng)選擇題
在強(qiáng)化學(xué)習(xí)中，什么是“馬爾可夫性質(zhì)”（）？
題型：?jiǎn)雾?xiàng)選擇題