A-prolog with CR-rules and ordered disjunction

Autor:	M. Balduccini, V. Mellarkod
Rok vydání:	2004
Předmět:	Prolog TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Theoretical computer science Knowledge representation and reasoning Representation (systemics) Commonsense reasoning Extension (predicate logic) computer Mathematics computer.programming_language
Zdroj:	International Conference on Intelligent Sensing and Information Processing, 2004. Proceedings of.
DOI:	10.1109/icisip.2004.1287614
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0d0083a2593afc2d77bb657679e41778 https://doi.org/10.1109/icisip.2004.1287614 Zobrazit plný text záznamu