scientific article; zbMATH DE number 67434

MaRDI QIDQ4012146zbMATH OpenFDO

Authors G. Ravi Prakash, Eswaran Subrahmanian, H. N. Mahabala

Publication date 27 September 1992

zbMATH Keywords

production systems\(OPS5\)-based knowledge base management

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Methods and algorithms for verification of knowledge bases in integrated expert systems
• scientific article; zbMATH DE number 4039340
• Rewrite semantics for production rule systems: theory and applications
• Validation and verification of decision making rules
• The use of mathematical programming to verify rule-based knowledge

Cited in

(1)

• scientific article; zbMATH DE number 4039340 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012146)