A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems

DOI10.1155/2015/134950zbMath1394.68391OpenAlexW1523218530WikidataQ59117338 ScholiaQ59117338MaRDI QIDQ1664711

Hui-lai Zhi

Publication date: 27 August 2018

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/134950

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cites Work

• Fast, flexible MUS enumeration
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Solving satisfiability problems with preferences
• Consistency-based diagnosis of configuration knowledge bases
• Algorithms for computing minimal unsatisfiable subsets of constraints
• On the Complexity of Dualization of Monotone Disjunctive Normal Forms
• Consistent subsets of inconsistent systems: structure and behaviour
• Reducibility among Combinatorial Problems