| Project/Area Number |
02558003
|
|---|
| Research Category |
Grant-in-Aid for Developmental Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Informatics
|
|---|
| Research Institution | Hokkaido University |
|---|
Principal Investigator |
AKAMA Kiyoshi Hokkaido University, Fac.of engineering, Associate Professor, 工学部, 助教授 (50126265)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
WATANABE Shinya Hokkaido University, FAc.of Engineering, Assistant, 工学部, 助手 (70210903)
UNEMI Tatsuo Nagaoka University of Technology, Dep.of Planning and Management Science, Lectur, 計画経営系, 講師 (50151915)
|
|---|
| Project Period (FY) |
1990 – 1991
|
| Project Status |
Completed (Fiscal Year 1991)
|
| Budget Amount *help |
¥2,300,000 (Direct Cost: ¥2,300,000)
Fiscal Year 1991: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1990: ¥1,700,000 (Direct Cost: ¥1,700,000)
|
|---|
| Keywords | Natural language understanding / Object / Learning / Programming language / Constraint logic programming |
|---|
| Research Abstract |
We have constructed a new logic programming language, which is tentatively called PAL-II, where (1) users can create various objects by defining the algorithm to unify such objects, (2) users can define relations between objects. We have shown the availability of PAL-II for constructing of natural language understanding systems and learning systems. User defined objects are very useful for representing meanings of sentences, situation and knowledge as a logic program. By the transofrmation technique of such generalized logic programs, we can construct a procedure to find meaning from sentence. User defined objects are also very useful for representing a system of transforming degital circuits as a logic program. By the transformation technique of such generalized logic programs, we can construct a procedure to compose two transformation rules into a new one. We have also shown that programming languages such as miranda and smalltalk are declaratively embeded into out PALL-II, which sugests that PAL-II provides a new unifying framework for many programming languages.
|
