A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems
From MaRDI portal
Publication:1664711
DOI10.1155/2015/134950zbMath1394.68391OpenAlexW1523218530WikidataQ59117338 ScholiaQ59117338MaRDI QIDQ1664711
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
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
This page was built for publication: A max-term counting based knowledge inconsistency checking strategy and inconsistency measure calculation of fuzzy knowledge based systems
