| Presentation | 1998/11/20 Evolving Frame-structure Logic by Using Instances and Three Types of Object Operators Kouji KOMATSU, Noritaka NISHIHARA, Shouichi YOKOYAMA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Most of logical approaches to knowledge representation and reasoning are based on first-order logic. In first-order logic, semantics is, however, built on the set theory and various notions in the world and logical relations of them are interpreted as relations on an individual set. On the other hand, frame-structure logic is a system with semantics based on the lattice theory. In frame-structure logic, a compound notion is described as a structural object and class hierarchy of objects and attribute inheritance between them are represented as semiorder relations on lattice. This thesis proposes a system called FSB(Frame-Structure login based on Boolean lattice)and also constructs an axiom system of it. In this system, the direct negation of class hierarchy and attribute relationship comes to be possible, and an instance, which is corresponding to proper noun in natural language, is introduced. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | frame-structure / boolean lattice / object / instance / negation |
| Paper # | COMP98-53 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1998/11/20(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Theoretical Foundations of Computing (COMP) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Evolving Frame-structure Logic by Using Instances and Three Types of Object Operators |
| Sub Title (in English) | |
| Keyword(1) | frame-structure |
| Keyword(2) | boolean lattice |
| Keyword(3) | object |
| Keyword(4) | instance |
| Keyword(5) | negation |
| 1st Author's Name | Kouji KOMATSU |
| 1st Author's Affiliation | Dept.of Electrical and Information Engineering, Faculty of Engneering, Yamagata University.() |
| 2nd Author's Name | Noritaka NISHIHARA |
| 2nd Author's Affiliation | Dept.of Electrical and Information Engineering, Faculty of Engneering, Yamagata University. |
| 3rd Author's Name | Shouichi YOKOYAMA |
| 3rd Author's Affiliation | Dept.of Electrical and Information Engineering, Faculty of Engneering, Yamagata University. |
| Date | 1998/11/20 |
| Paper # | COMP98-53 |
| Volume (vol) | vol.98 |
| Number (no) | 432 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |