The use of mathematical programming to verify rule-based knowledge

DOI10.1007/BF02187331MaRDI QIDQ1815834zbMATH OpenOpenAlexFDO

Authors Daniel E. O'Leary, Joanne R. Schaffer

Publication date 19 November 1996

Published in Annals of Operations Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02187331

zbMATH Keywords

rule-based knowledge

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Applications of mathematical programming (90C90) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• A mathematical programming approach to inference with the capability of implementing default rules
• Validation and verification of decision making rules
• scientific article; zbMATH DE number 1497762
• Methods and algorithms for verification of knowledge bases in integrated expert systems
• scientific article; zbMATH DE number 4053361

Cited in

(4)

• A mathematical programming approach to inference with the capability of implementing default rules
• scientific article; zbMATH DE number 67434 (Why is no real title available?)
• Unification of Linear Programming with a Rule-Based System by the Post-Model Analysis Approach
• A Rule-Based System for Computation and Deduction in Mathematica

This page was built for publication: The use of mathematical programming to verify rule-based knowledge

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