Description of fuzzy first-order modal logic based on constant domain semantics

Authors:
Zaiyue Zhang;Yuefei Sui;Cungen Cao
Affiliations:
Department of Computer Science, Jiangsu University of Science and Technology, Jiangsu, Zhenjiang, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
Venue:
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Year:
2005

Citing 4
Cited 1

Reasoning about knowledge

Reasoning about knowledge
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
A comparative study of fuzzy sets and rough sets

Information Sciences: an International Journal

An ontology-based first-order modal logic

RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

As an extension of the traditional modal logic, the fuzzy first-order modal logic is discussed in this paper. A description of fuzzy first-order modal logic based on constant domain semantics is given, and a formal system of fuzzy reasoning based on the semantic information of models of first-order modal logic is established. It is also introduced in this paper the notion of the satisfiability of the reasoning system and some properties associated with the satisfiability are proved.