A-prolog with CR-rules and ordered disjunction
Marcello Balduccini, Veena S. Mellarkod · 2004
We present CR-Prolog/sub 2/, an extension of A-Prolog with CR-rules and ordered disjunction. CR-rules can be used to formalize various types of common-sense knowledge and reasoning, that, to the best of our knowledge, have no formalization in A-Prolog. The use of ordered disjunction often allows for a very concise, easy to read, representation of knowledge. We also show how CR-Prolog/sub 2/ can be used to represent preferences intended both as strict preferences, and as desires.