• About
  • Policies
  • What is open access
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Engineering
      • Department of Computer Engineering
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      UVT: a unification based tool for knowledge based verification

      Thumbnail
      View / Download
      832.3 Kb
      Author(s)
      Polat, F.
      Guvenir, H. A.
      Date
      1993
      Source Title
      IEEE Expert
      Print ISSN
      0885-9000
      Publisher
      IEEE
      Volume
      8
      Issue
      3
      Pages
      69 - 75
      Language
      English
      Type
      Article
      Item Usage Stats
      178
      views
      211
      downloads
      Abstract
      A method for verifying knowledge bases that is based on the unification of rules is discussed. One characteristic that distinguishes this approach from other verification tools is that it infers some of the rules that are not explicitly given in the rule base and considers their effect on the verification process. The method can determine conflicting, redundant, subsumed, circular, and dead-end rules, redundant if conditions in rules, and cycles and contradictions within rules. The method has been implemented in a computer program called UVT (for unification-based verification tool) and tested on sample knowledge bases.
      Keywords
      Expert Systems
      Knowledge Based Systems
      Software Tools
      Program Verification
      Knowledge Engineering
      Program Testing
      Permalink
      http://hdl.handle.net/11693/13621
      Published Version (Please cite this version)
      http://dx.doi.org/10.1109/64.215225
      Collections
      • Department of Computer Engineering 1561
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCoursesThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCourses

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 2976
      © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy