A mathematical programming approach to inference with the capability of implementing default rules

DOI10.1016/S0020-7373(88)80074-9MaRDI QIDQ3817013zbMATH OpenOpenAlexFDO

Authors Ronald R. Yager

Publication date 1988

Published in International Journal of Man-Machine Studies (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-7373(88)80074-9

zbMATH Keywords

default knowledgedefault reasoningexpert systemsknowledge-based systemsmathematical programming algorithmnon- monotonic knowledgereasoning in propositional logic

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35) Numerical mathematical programming methods (65K05)

Recommendations

• An extended rule-based inference for general decision-making problems
• scientific article; zbMATH DE number 3894501
• Automatic derivation of probabilistic inference rules
• Generalizing inference rules in a coherence-based probabilistic default reasoning
• The use of mathematical programming to verify rule-based knowledge
• scientific article; zbMATH DE number 517029
• scientific article; zbMATH DE number 517004
• scientific article; zbMATH DE number 2080906
• scientific article; zbMATH DE number 762062

Cited in

(9)

• Toward a general theory of information aggregation
• Fuzzy sets and operations research: Perspectives
• Boolean programming problems with fuzzy constraints
• Fuzzy boolean programming problems with fuzzy costs: A general study
• Three models of fuzzy integer linear programming
• The use of mathematical programming to verify rule-based knowledge
• scientific article; zbMATH DE number 2014711 (Why is no real title available?)
• Computational experience with an interior point algorithm on the satisfiability problem
• Modeling and integer programming techniques applied to propositional calculus

This page was built for publication: A mathematical programming approach to inference with the capability of implementing default rules

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