| Presentation | 1997/3/19 Changing Knowledge Representation Systems by Expanding Specialization Systems Kiyoshi Akama, Eiichi Miyamoto, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | It is well known that the efficiency of computation depends on knowledge representation systems on which problems and algorithms are based. No general theory has yet been established. however, for changing knowledge representation systems correctly. The difficulty is due to the absence of a theory for discussing many knowledge representation systems in a unified mainner. This paper proposes a new theory for changing knowledge representation systems in the framework of problem-solving based on equivalent transformation. where knowledge representation systems are formalized as "specialization systems". A new notion of "safe extension" of specialization systems is established and is proved to preserve the declarative semantics of declarative programs on them. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | knowledge representation / representation change / equivalent transformation / declarative program |
| Paper # | SS96-63 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 1997/3/19(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Changing Knowledge Representation Systems by Expanding Specialization Systems |
| Sub Title (in English) | |
| Keyword(1) | knowledge representation |
| Keyword(2) | representation change |
| Keyword(3) | equivalent transformation |
| Keyword(4) | declarative program |
| 1st Author's Name | Kiyoshi Akama |
| 1st Author's Affiliation | Division of System and Information Engineering, Hokkaido University() |
| 2nd Author's Name | Eiichi Miyamoto |
| 2nd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
| Date | 1997/3/19 |
| Paper # | SS96-63 |
| Volume (vol) | vol.96 |
| Number (no) | 601 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |