人工智能——代数基础