1.1 什么是人工智能？试从学科和能力两方面加以说明

答：人工智能是研究理解和模拟人类智能、智能行为及其规律的一门学科。其主要任务是建立智能信息处理理论，进而设计可以展现某些近似于人类智能行为的计算系统。

人工智能是一门涉及数学、逻辑学、认知学、心理学、神经心理学和计算机科学等多学科的交叉学科。人工智能包括智能感知、智能推理、智能学习和智能行动四个方面。

1.2 在人工智能的发展过程中，有哪些思想和思潮起了重要作用？

答：控制论思想对人工智能早期研究有重要影响。互联网为智能科学与技术提供了重要的研究、普及和应用平台。人工智能的主要学派有：符号主义/计算机学派、连接主义/生理学派和行为主义/控制论学派

1.3 为什么能用机器（计算机）模仿人的智能？

答：

1.4 现在人工智能有哪些学派？它们的认知观是什么？

答：人工智能的主要学派有：符号主义/计算机学派、连接主义/生理学派和行为主义/控制论学派。

计算机学派：认知基元是符号，智能行为通过符号操作实现。数理逻辑的形式化方法是基础。

生理学派 ：人的思维基元是神经元，智能是相互联结的神经元竞争与协作的结果。

控制论学派：控制论把神经系统的工作原理与信息论、控制论、逻辑以及计算机联系起来。早期的研究工作重点是模拟人在控制过程中的智能行为和作用。反馈是控制论的基石，没有反馈就没有智能。

2.1验证下列公式为永真式，其中A，B，C为语法变元 ，表示任意公式。

T1.A∨¬A

答：若A为真，则A∨¬A为真；若A为假，则¬A为真，故A∨¬A亦为真。因此，A∨¬A是永真式。

T2.A→(B→A)

答：若A为真，则B→A为真，故A→(B→A)亦为真；若A为假，则A→(B→A)为真。因此，A→(B→A)为永真式。

T3.A→(A∨B)，B→(A∨B)

答：若A为真，则A∨B为真，故A→(A∨B)亦为真；若A为假，则A→(A∨B)为真。因此，A→(A∨B)为永真式。

       若B为真，则A∨B为真，故B→(A∨B)亦为真；若B为假，则B→(A∨B)为真。因此，B→(A∨B)为永真式。

T4.(A∧B)→A，(A∧B)→B

答：若A为真，则(A∧B)→A为真；若A为假，则A∧B为假，故(A∧B)→A亦为真。因此，(A∧B)→A为永真式。

       若B为真，则(A∧B)→B为真；若B为假，则A∧B为假，故(A∧B)→B亦为真。因此，(A∧B)→B为永真式。

T5.(A∧(A∧B))→B

答：若B为真，则(A∧(A∧B))→B为真；若B为假，则A∧B为假，(A∧(A∧B))亦为假，故(A∧(A∧B))→B为真。因此，(A∧(A∧B))→B为永真式。

T6.(A→B)∧(B→C)→(A→C)

答：若C为真，则A→C为真，故(A→B)∧(B→C)→(A→C)为真；若C为假，则B→C为假，故（A→B)∧(B→C)亦为假，(A→B)∧(B→C)→(A→C)为真。因此，(A→B)∧(B→C)→(A→C)为永真式。

T7.(A→(B→C))→((A→B)→(A→C))

答：若C为真，则A→C为真，故(A→B)→(A→C)为真，因此，(A→(B→C))→((A→B)→(A→C))为真；若C为假，A为假，则A→C为真，故(A→B)→(A→C)为真；？