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

DOI10.1016/S0020-7373(88)80074-9zbMath0665.68080OpenAlexW1981541822MaRDI QIDQ3817013

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

expert systemsknowledge-based systemsdefault reasoningdefault knowledgemathematical programming algorithmnon- monotonic knowledgereasoning in propositional logic

Mathematics Subject Classification ID

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

Related Items

Fuzzy boolean programming problems with fuzzy costs: A general study, Three models of fuzzy integer linear programming, Modeling and integer programming techniques applied to propositional calculus, Toward a general theory of information aggregation, Computational experience with an interior point algorithm on the satisfiability problem, Fuzzy sets and operations research: Perspectives, Boolean programming problems with fuzzy constraints