Many-valued Horn Logic is Hard
Authors: Stefan Borgwardt, Marco Cerami and Rafael Peñaloza
Paper Information
| Title: | Many-valued Horn Logic is Hard |
| Authors: | Stefan Borgwardt, Marco Cerami and Rafael Peñaloza |
| Proceedings: | PRUV 2014 Proceedings |
| Editors: | Thomas Lukasiewicz, Rafael Peñaloza and Anni-Yasmin Turhan |
| Keywords: | fuzzy logic, Horn theories, complexity |
| Abstract: | ABSTRACT. In this short paper we prove that deciding satisfiability of fuzzy Horn theories with n-valued Lukasiewicz semantics is NP-hard, for any n greater or equal to 4. |
| Pages: | 7 |
| Talk: | Jul 23 15:30 |
| Paper: |  |