本研究探讨了人工智能中知识表示形式的选择争议，提出了一个通用框架以捕捉各种知识表示形式。研究表明，所有通用表示形式在递归同构方面相同，为这一长期争论提供了部分解答，具有重要的理论意义。