Det har föreslagits en syntaktisk utvidgning av den possibilistiska logiken (s.k. PLFC) som handlar om fuzzy konstanter och fuzzily limited quanti ers. I detta dokument presenterar vi steg mot både formalisering av PLFC självt och ett automatiserat avdragssystem för det genom att (i) tillhandahålla en formell semantik (ii) de ning en sund upplösning stil kalkyl genom vederläggning och (iii) beskriva en rst-order bevis förfarande för PLFC klausuler baserade på ii) och en ny uppfattning om de flesta allmänna ersättning av två ordagranna i ett upplösning steg.
Alsinet, m.fl. REF förse PLFC med en formell semantik och en ljudupplösningskalkyl.
On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}