Reference &
User Manual
    RTXPS  On-line Reference Manual

      Release Level 2.0
      Release Date 2012 06
      Revision Level 1.0
    Document was last modified on:   Monday, 13-Aug-12 17:03 CEST

    Knowledge Base Syntax Checker

    The Knowledge Base Syntax Checker reports on any syntactical errors found in an RTXPS configuration and Kowledge Base.

    This starts with the syntactic checking of Descriptors and Rules, available as an embedded auxiliar function with the respective editor tools that users can invoke manually, on demand.
    This basic level of checking can also be started automatically when the system is started, or at regular intervals, and log the results (and error conditions) in the log files. On start up, when the RTXPS knowldge base is loaded, a basic syntax check is performed, and the offending DESCRIPTOR definition or RULE indicated in the corresponding log file (user logs).

    The second level is the verification of consistency: this is designed to ensure that all DESCRIPTORS and FUNCTIONS referenced in RULES are indeed defined and available.

    Finally, for the backward chaining RULES and DESCRIPTORS, the syntax checker can verify that all legal values of a DESCRIPTOR can be "reached", i.e., whether there is at least ONE assignment to every one of the legal *symbolic) values for every DESCRIPTOR.

© Copyright 1995-2018 by:   ESS   Environmental Software and Services GmbH AUSTRIA | print page