판 이력 — AGM-like Paraconsistent Partial Meet Abductive Expansion Operation | AIChainDay