A representation of antimatroids by Horn rules and its application to educational systems

Hiyori Yoshikawa, Hiroshi Hirai, Kazuhisa Makino

We study a representation of an antimatroid by Horn rules, motivated by its recent application to computer-aided educational systems. We associate any set $\mathcal{R}$ of Horn rul…