<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Resolution Principle and Fuzzy Logic

Name: Resolution Principle and Fuzzy Logic
Creator: Hashim Habiballa

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Other literature type 28 Mar 2012 English Publisher:InTech

Authors: Hashim Habiballa;

doi: 10.5772/36161

Resolution Principle and Fuzzy Logic

- Summary
- Metrics

Abstract

Fuzzy Predicate Logic with Evaluated Syntax (FPL) (Novak, V.) is a well-studied and wide-used logic capable of expressing vagueness. It has a lot of applications based on robust theoretical background. It also requires an efficient formal proof theory. However the most widely applied resolution principle (Dukic, N.) brings syntactically several obstacles mainly arising from normal form transformation. FPL is associating with even harder problems when trying to use the resolution principle. Solutions to these obstacles based on the non-clausal resolution (Bachmair, L.) were already proposed in (Habiballa, H.).

Related Organizations

University of the Republic
Uruguay

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Green

hybrid