（ ）是一种基于一组特定规则来回答特定领域问题的程序系统。