• DocumentCode
    2805533
  • Title

    Structural Error Verification in Active Rule-Based Systems using Petri Nets

  • Author

    Chavarria-Baez, Lorena ; Li, XiaoOu

  • Author_Institution
    CINVESTAV-IPN, Mexico
  • fYear
    2006
  • fDate
    Nov. 2006
  • Firstpage
    12
  • Lastpage
    21
  • Abstract
    A knowledge base needs to be verified so that it works corretly. Up to date, approaches on production rule base verification have been reported adequately. However, active rule base verification cannot be found. In this paper, we primitively define structural errors in active rule base. Then, a verification approach is proposed based on Conditional Colored Petri Nets.
  • Keywords
    Artificial intelligence; Information systems; Knowledge based systems; Petri nets; Production systems; Proposals; Redundancy; Petri nets; active rules; knowledge base; verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Artificial Intelligence, 2006. MICAI '06. Fifth Mexican International Conference on
  • Conference_Location
    Mexico City, Mexico
  • Print_ISBN
    0-7695-2722-1
  • Type

    conf

  • DOI
    10.1109/MICAI.2006.44
  • Filename
    4022134
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2805533