CR-Prolog with Ordered Disjunction

We present CR-Prolog2, 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 CRProlog2 can be used to represent preferences intended both as strict preferences, and as desires.

• Type: Conference
• Year: 2003
• Where: ASP
• Authors: Marcello Balduccini, Veena S. Mellarkod
• Keywords: ASP 2003, Common-sense Knowledge, Disjunction, Various Types