【答案】《人工智能引论》(浙江大学)章节期末慕课答案.docx

【答案】《人工智能引论》(浙江大学)章节期末慕课答案

有些题目顺序不一致，下载后按键盘ctrl+F进行搜索

第二章逻辑与推理

单元测试

1.单选题：下列哪项是命题

选项：

A、您去上学吗？

B、杭州是浙江的省会。

C、这天真蓝！

D、请离开。

答案：【杭州是浙江的省会。】

2.单选题：形式化系统的可判定性指的是

选项：

A、所有能够从某形式化系统推导出来的知识，都可以从这个形式化系统中推到出来

B、形式化系统是自洽的，非矛盾的

C、所有可推导出来的知识不会同时推导出其否定

D、对于形式化系统推导得到的任何知识，存在算法可在有限步内判定其为真或为假

答案：【对于形式化系统推导得到的任何知识，存