A generic ATMS

DOI10.1016/0888-613X(95)00118-ZMaRDI QIDQ1125788zbMATH OpenOpenAlexFDO

Authors J. L. Castro, J. M. Zurita

Publication date 1996

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0888-613x(95)00118-z

zbMATH Keywords

truth maintenance systemDe Kleer algorithm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• An assumption-based truth maintenance system dealing with non-ground justifications
• scientific article; zbMATH DE number 4106294
• scientific article; zbMATH DE number 67477
• scientific article; zbMATH DE number 4174346

Cites work

• scientific article; zbMATH DE number 4060781 (Why is no real title available?)
• A heuristic in rules-based systems
• A new approach to approximate reasoning using a fuzzy logic
• Diagnosing multiple faults
• Linear resolution for consequence finding

Cited in

(6)

• A Fixed Point Semantics for the ATMS
• scientific article; zbMATH DE number 4106294 (Why is no real title available?)
• scientific article; zbMATH DE number 4106297 (Why is no real title available?)
• scientific article; zbMATH DE number 67477 (Why is no real title available?)
• scientific article; zbMATH DE number 4162312 (Why is no real title available?)
• Abductive inference methods in problems of job planning in complex objects

This page was built for publication: A generic ATMS

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