你好 P规则：(前提引入) 在推导的任何步骤上,都可以引入前提。

T规则：(结论引用) 在推导任何步骤上所得结论都可以作为后继证明的前提！通俗地说，理想的人工智能应该具备抽象意义上的学习、推理与归纳能力，其通用性将远远强于解决国际象棋或是围棋这些具体问题的算法。

标签： 智能 软件