一类具有3种否定的模糊模态命题逻辑 (Fuzzy Modal Propositional Logic with Three Kinds of Negation).
Cheng ChenZhenghua PanYongxi LvPublished in: 计算机科学 (2017)
Keyphrases
- propositional logic
- nonmonotonic logics
- belief revision
- first order logic
- fuzzy sets
- propositional variables
- valued logic
- quantified boolean formulae
- fuzzy logic
- possibilistic logic
- logic programming
- answer set semantics
- satisfiability testing
- modal logic
- semantics for logic programs
- integrity constraints
- logic programs
- machine learning
- lattice theory
- search space
- proof procedure
- propositional satisfiability
- horn logic
- theorem proving
- truth values
- stable models
- fuzzy set theory
- belief change
- deductive databases
- expressive power
- expert systems
- natural language
- artificial intelligence