An ontology-based first-order modal logic

Authors:
Feng Jiang;Yuefei Sui;Cungen Cao
Affiliations:
Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, P.R. China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, P.R. China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, P.R. China
Venue:
RSCTC'06 Proceedings of the 5th international conference on Rough Sets and Current Trends in Computing
Year:
2006

Citing 5
Cited 0

A translation approach to portable ontology specifications

Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Reasoning about knowledge

Reasoning about knowledge
First-order modal logic

First-order modal logic
On quantified modal logic

Fundamenta Informaticae - Special issue on symbolic computation and artificial intelligence
Description of fuzzy first-order modal logic based on constant domain semantics

RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

First-order modal logic is not just propositional modal logic plus classical quantifier machinery. The situation is much subtler than that. The addition of quantifiers to propositional modal logic may lead to many difficulties. In this paper we aim to solve one of them — the problem of rigidity versus non-rigidity for variables, that is, how to determine the denotations for each variable in different possible worlds or the connections among the denotations of each variable in different possible worlds. Since all the currently proposed semantics for first-order modal logic are not suitable to solve this problem, we proposed an ontology-based first-order modal semantics, in which ontologies are introduced to restrain the modal logic frames and models. An ontology-based counterpart relation S is introduced into each model. By requiring that the assignments of each variable in different possible worlds must accord with the relation S, we can correctly characterize the connections among the denotations of each variable in different worlds.