| Presentation | 1997/11/13 A Situated Inference System with Class-Hierarchy and Two Properties of Predicate Ken KANEIWA, Satoshi TOJO, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The problem of knowledge representation systems is to apply various kind of knowledge. The means to mention a concept and the relation between concepts is necessary for the difference in the abstract degree of knowledge representation. The purpose of this paper is to develop a situated inference system has class-hierarchy over argument structure and two properties of predicate. Allowing not only a class-hierarchy of sorts but also a class-hierarchy of predicates gives new problems which are the complexity to represent class-hierarchy of predicate and the semantic ambiguousness of two interpretations of predicate. This system solved the problems. For the implementation of the system, we formalized the programming language by the definitions of the logical syntax and semantics. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Logic Programming Language / Situation Theory / Order-Sorted Logic / Class-Hierarchy / Feature Structure / Unification |
| Paper # | AI97-30 |
| 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) | A Situated Inference System with Class-Hierarchy and Two Properties of Predicate |
| Sub Title (in English) | |
| Keyword(1) | Logic Programming Language |
| Keyword(2) | Situation Theory |
| Keyword(3) | Order-Sorted Logic |
| Keyword(4) | Class-Hierarchy |
| Keyword(5) | Feature Structure |
| Keyword(6) | Unification |
| 1st Author's Name | Ken KANEIWA |
| 1st Author's Affiliation | Japan Advanced Institute of Science and Technology() |
| 2nd Author's Name | Satoshi TOJO |
| 2nd Author's Affiliation | Japan Advanced Institute of Science and Technology |
| Date | 1997/11/13 |
| Paper # | AI97-30 |
| Volume (vol) | vol.97 |
| Number (no) | 373 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |