Handbook of logic in computer science (vol. 1): background: mathematical structures
Handbook of logic in computer science (vol. 1): background: mathematical structures
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
First-order modal logic
Modal logic
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Graded Similarity-Based Semantics for Nonmonotonic Inferences
Annals of Mathematics and Artificial Intelligence
Decidable reasoning in terminological knowledge representation systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Further study of the fuzzy reasoning based on propositional modal logic
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
Theoretical Computer Science
Further study of the fuzzy reasoning based on propositional modal logic
RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology
| Hi-index | 0.00 |
The notion of the fuzzy assertion based on propositional modal logic is introduced and the properties of the fuzzy reasoning based on fuzzy assertions are studied. As an extending of the traditional semantics of modal logics, the fuzzy Kripke semantics is considered and a formal fuzzy reasoning system based on fuzzy constraint is established. In order to decide whether a fuzzy assertion is a logical consequence of a set of fuzzy assertions, the notion of the educed set based on fuzzy constraint is introduced and the relation between the fuzzy reasoning and the satisfiability of the educed set is revealed