Detail Knowledge Verification With An Enhanced High-Level Petri-Net Model   Oleh:  Lee, Shie-Jue ; Wu, Chih-Hung Jenis: Article from Bulletin/Magazine Dalam koleksi: IEEE Intelligent Systems vol. 12 no. 5 (1997), page 73-80. Topik: models and modeling; knowledge verification; high - level; petri - net model Ketersediaan Perpustakaan Pusat (Semanggi) Nomor Panggil: II60.2 Non-tandon: 1 (dapat dipinjam: 0) Tandon: tidak ada     Lihat Detail Induk Isi artikel We describe how to model rule - based systems using advanced Petri - net models in which variables and negation are exactly represented. We also explain how such models achieve knowledge verification. We explore the detection of improper knowledge, including redundancy, subsumption, conflicts, cycles, and unnecessary conditions, through reachability problems solved using an enhanced high - level Petri - net (Ehlpn) model. We assume that each rule describes an implication relation from a collection of conditions (left - hand side) to a collection of actions or conclusions (right hand side). Negative elements may appear in both the left - and right - hand sides. For convenience, we represent a variable in a rule by a string beginning with an uppercase letter, and a constant by a string beginning with a lowercase letter. Opini Anda Klik untuk menuliskan opini Anda tentang koleksi ini! Kembali

Copyright © 2006, 2007 Unika Atma Jaya, all rights reserved