• DocumentCode
    2833438
  • 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
  • fYear
    2004
  • fDate
    2004
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Sensing and Information Processing, 2004. Proceedings of International Conference on
  • Print_ISBN
    0-7803-8243-9
  • Type

    conf

  • DOI
    10.1109/ICISIP.2004.1287614
  • Filename
    1287614
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2833438