| Presentation | 1997/11/13 The Extension of Axiomatic System of Frame-structure Logic by Introducing an Object Operator and Instances 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 the knowledge representation and inference systems are based on predicate logic. However, there are many differences in describing meanings between natural language and predicate logic. Using the frame-structure logic makes possible the direct description of relations among nouns, attributive relations, and a compound notions. In this paper, "join" operator and instances are introduced to the frame-structure logic. "Join" operator can represent the noun corresponding to several notions, and an instance can do a proper noun. An axiomatic system for the extended frame-structure logic is also constructed. To prove the availability of this extended system, the inference that is particular to a join operator and instances is examined closely. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | frame-structure logic / axiomatic system / lattice / instance / negation |
| Paper # | AI97-31 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 1997/11/13(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 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | The Extension of Axiomatic System of Frame-structure Logic by Introducing an Object Operator and Instances |
| Sub Title (in English) | |
| Keyword(1) | frame-structure logic |
| Keyword(2) | axiomatic system |
| Keyword(3) | lattice |
| Keyword(4) | instance |
| Keyword(5) | negation |
| 1st Author's Name | Kouji KOMATSU |
| 1st Author's Affiliation | Dept. of Electrical and Information Engineering, Faculty of Engineering, Yamagata University() |
| 2nd Author's Name | Noritaka NISHIHARA |
| 2nd Author's Affiliation | Dept. of Electrical and Information Engineering, Faculty of Engineering, Yamagata University |
| 3rd Author's Name | Shouichi YOKOYAMA |
| 3rd Author's Affiliation | Dept. of Electrical and Information Engineering, Faculty of Engineering, Yamagata University |
| Date | 1997/11/13 |
| Paper # | AI97-31 |
| Volume (vol) | vol.97 |
| Number (no) | 373 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |