Title :
A-Prolog with CR-rules and ordered disjunction
Author :
Balduccini, Marcello ; Mellarkod, Veena
Author_Institution :
Dept. of Comput. Sci., Texas Tech. Univ., Lubbock, TX, USA
Abstract :
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 CR-Prolog2 can be used to represent preferences intended both as strict preferences, and as desires.
Keywords :
PROLOG; common-sense reasoning; knowledge representation; common sense knowledge; common sense reasoning; consistency restoring prolog; consistency restoring rules; knowledge representation; ordered disjunction; Computational modeling; Computer science; Control system synthesis; Decision support systems; Hydrogen; Knowledge representation; Logic; Space shuttles; System recovery; Wire;
Conference_Titel :
Intelligent Sensing and Information Processing, 2004. Proceedings of International Conference on
Print_ISBN :
0-7803-8243-9
DOI :
10.1109/ICISIP.2004.1287614
