Считается ли мой алгоритм судоку «экспертной системой»?

Question

Я написал код, в котором записаны все правила судоку (один раз цифра на столбец, строку и квадрат).Код принимает входные данные (незаполненную сетку судоку) и возвращает решение путем перевода логических предложений в формат DIMACS и использования решателя SAT.

Учитывая, что алгоритм уважает правила, принимает данные и использует эти данные длязаключение формы, основанное на значениях (например, если в первой ячейке есть 1, во второй ячейке не может быть 1), считается ли этот код «экспертной системой»?Спасибо.

Answer 1

Является ли программа экспертной системой, субъективно, но я бы сказал, что если ваша программа не кодирует нетривиальные знания, полученные от эксперта в предметной области, это не экспертная система. Если вы не можете научить другого человека практически делать то, что делает ваша программа, это не экспертная система.

По этому определению то, что вы сделали, вероятно, не является экспертной системой, поскольку человеку будет слишком много времени использовать ту же технику. Я написал решатель судоку с использованием производственной системы (https://sourceforge.net/p/clipsrules/code/HEAD/tree/branches/63x/examples/sudoku/), которую я бы назвал экспертной системой). Закодированные знания были получены с веб-сайтов с передовыми методами, которые люди могут использовать для решения головоломок судоку. Все закодированные методы могут практически использоваться людьми для решения головоломок (хотя некоторые из более сложных методов выходят за эту границу).

Хотя мой решатель судоку может решать гораздо более сложные головоломки, чем я, называть его экспертной системой не означает ее сложности. Существуют лучшие подходы для решения чрезвычайно сложных головоломок судоку, чем эмуляция подходов, которые могут использовать люди.