Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.
Zaiyue ZhangYuefei SuiCungen CaoPublished in: RSFDGrC (1) (2005)
Keyphrases
- conditional logic
- fuzzy sets
- action descriptions
- formal semantics
- modal logic
- high level
- sound and complete with respect
- nonmonotonic logics
- knowledge representation
- fuzzy logic
- logic programming
- domain specific
- precise definition
- action theories
- semantic representation
- domain experts
- membership functions
- semantic information
- fuzzy rules
- model theoretic
- predicate calculus
- conceptual model
- higher order
- default reasoning
- propositional logic
- real numbers
- belief revision
- autoepistemic logic
- dynamic logic
- uml class diagrams
- valued logic