The search functionality is under construction.
The search functionality is under construction.

Keyword Search Result

[Keyword] knowledge representation system(1hit)

1-1hit
  • On a Logic Based on Graded Modalities

    Akira NAKAMURA  

     
    PAPER-Logic and Logic Functions

      Vol:
    E76-D No:5
      Page(s):
    527-532

    The purpose of this paper is to offer a modal logic which enables us symbolic reasoning about data, especially, fuzzy relations. For such a purpose, the present author provided some systems of modal fuzzy logic. As a continuous one of those previous works, a logic based on the graded modalities is proposed. After showing some properties of this logic, the decision procedure for this logic is given in the rectangle method.