The article presents refutational resolution theorem proving system for Fuzzy Description Logic (FDL) based on general (non-clausal) resolution rule. It brings several new notions of refutation degree and proves its relation to provability degree in fuzzy predicate logic.
© 2015 AIP Publishing LLC.
2015
AIP Publishing LLC
You do not currently have access to this content.
