|
Digital Library of the
European Council for Modelling and Simulation |
Title: |
Modelling And Reasoning With Fuzzy Logic
Redundant Knowledge Bases |
Authors: |
Hashim Habiballa, Eva Volna,
Michal Janosek, Martin Kotyrba |
Published in: |
(2013).ECMS 2013 Proceedings edited
by: W. Rekdalsbakken, R. T. Bye, H. Zhang European Council for Modeling
and Simulation. doi:10.7148/2013 ISBN:
978-0-9564944-6-7 27th
European Conference on Modelling and Simulation, Aalesund, Norway, May 27th –
30th, 2013 |
Citation
format: |
Hashim Habiballa,
Eva Volna, Michal Janosek,
Martin Kotyrba (2013). Modelling
And Reasoning With Fuzzy Logic Redundant Knowledge Bases, ECMS 2013 Proceedings edited by: W. Rekdalsbakken, R. T. Bye, H. Zhang, European Council for Modeling
and Simulation. doi:10.7148/2013-0361 |
DOI: |
http://dx.doi.org/10.7148/2013-0361 |
Abstract: |
Fuzzy
Predicate Logic with evaluated syntax together with resolution principle is
presented. The paper focuses mainly on modelling
and treating redundancy in knowledge bases. It presents original resolution
rule together with algorithm DCF - Detection of Consequent Formulas developed
especially for fuzzy logic with evaluated syntax. |
Full
text: |