我编写了一个代码，其中包含了数独的所有规则（每列、每行和每个方块内数字只能出现一次）。该代码接受一个输入（未填写的数独网格），通过将逻辑条款转换为DIMACS格式并使用SAT求解器来返回一个解。
鉴于该算法遵循规则，接受数据，并根据推论（例如，如果第一个单元格中有1，那么第二个单元格中就不能有1）得出结论，这个代码是否被认为是“专家系统”？谢谢。
回答：
一个程序是否是专家系统是主观的，但我认为，除非你的程序编码了从领域专家那里获得的非平凡知识，否则它不是一个专家系统。如果你无法教其他人实际做你程序所做的事情，那么它就不是一个专家系统。
根据这个定义，你所做的可能不是一个专家系统，因为一个人使用同样的技术会过于耗时。我编写了一个使用生产系统的数独求解器（https://sourceforge.net/p/clipsrules/code/HEAD/tree/branches/63x/examples/sudoku/），我认为这是一个专家系统。编码的知识是从提供人类解决数独谜题的高级技术的网站上获取的。所有编码的技术都可以被人类实际用于解决谜题（尽管一些更复杂的技术接近这个界限）。
尽管我的数独求解器能够解决比我更复杂的谜题，但将其称为专家系统并不表明其复杂性。解决极端复杂的数独谜题有比模仿人类可能采取的方法更好的方法。
