-
[in Japanese]
Article type: Preface
1987 Volume 2 Issue 2 Pages
137
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Article
1987 Volume 2 Issue 2 Pages
138
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Cover article
1987 Volume 2 Issue 2 Pages
139-140
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Yousuke KINOE, Yuichiro ANZAI
Article type: Special issue
1987 Volume 2 Issue 2 Pages
141-149
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Fumio MIZOGUCHI
Article type: Special issue
1987 Volume 2 Issue 2 Pages
150-158
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Yutaka OGAWA
Article type: Special issue
1987 Volume 2 Issue 2 Pages
159-165
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Takao TERANO
Article type: Special issue
1987 Volume 2 Issue 2 Pages
166-173
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Shunji MORI
Article type: Special issue
1987 Volume 2 Issue 2 Pages
174-181
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Makoto TAKIZAWA
Article type: Technical paper
1987 Volume 2 Issue 2 Pages
182-191
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
This paper presents the design and implementation of deductive database systems for conventional network database systems. Although almost all of the researchers have been trying to combine the relational model and the logic programming, we try to augment the conventional network database system with inference facilities of resolutions. In this paper, we define a formal system based on the first-order theory for the conventional network model. Then, we show an improvement of the SLD resolution by taking advantage of the network model. In our refutation procedure, meaningless backtracking for finding a refutation and redundant refutations for finding all answer substitutions are prevented. Also, in our procedure, for a given goals, procedures which can obtain a set of answer substitutions are generated by accessing the conventional network database. The procedures are written in an object-oriented manner.
View full abstract
-
Yoshinori KATAYAMA, Fumio MIZOGUCHI
Article type: Technical paper
1987 Volume 2 Issue 2 Pages
192-205
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
Recently, a number of researches for knowledge representation have been progressing. Furthermore, over the past few years object-oriented programming languages have become popular in the Artificial Intelligence. In this paper, we describe a representation language based on object-oriented concepts and an "expert system" which takes advantage of the characteristics of it. The representation language has some features ; e. g. there are a number of programming styles, and there is the meta-program function integrating them. These features are utilized for the application program "expert system". This expert model is designed primarily as EMYCIN-like systems in which there is the strength of inference and in which the rules chain together to infer complex hypothesis. These property greatly harmonize with the representation language.
View full abstract
-
Takuo WATANABE, Ichirou OHSAWA, Akinori YONEZAWA
Article type: Technical paper
1987 Volume 2 Issue 2 Pages
206-213
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
A Japanese discourse understanding system is presented, which is designed to be adaptable for multiple discourse domains with small modification efforts. The system is constructed in an "object-oriented" manner so that domain-dependent/independent components are easily factored out. Dictionaries, grammatical rules, words and discourse situations are represented as objects. Two discourse domains, a railway ticket reservation domain and an electric-mail service domain, are currently used as a test bed for the system.
View full abstract
-
Makoto HIRAI, Tadahiro KITAHASHI
Article type: Technical paper
1987 Volume 2 Issue 2 Pages
214-222
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
Identifying homonyms is considered to be an important part of language understanding process. In Japanese, many verbs have homonyms. Some of auxiliary verbs and connective expressions also have multiple meanings. Therefore, Japanese understanding system must have the ability to select one correct meaning among them. It seem that top-down analysis based on contextual information such as "script" is indispensable to complete identification of homonyms in sentences. However, homonyms can often be identified within scope of a verb phrase when a verb is used with auxiliary verbs or connective expressions. For example, verb "SAKERU" has two meanings "avoid" and "split (intransitive) in two". When this verb is used with auxiliary verb "TAI (want)" like "SAKE-TAI" the meaning of "SAKERU" is "avoid". Because "TAI" requires volitional verbs. "SAKERU" as "avoid" is volitional, but "split in two" is not volitional. This paper discusses a method for identifying homonyms in Japanese verb phrases written in KANA. The method is based on several syntactic and semantic attributes of verbs and connection rules of auxiliary verbs and connective expressions. The attributes discussed here are volition, aspectual primitives, operativity, semantic categories based on the concept of "transfer and existence" and so forth. The connection rules are represented in term of these attributes. A connection rule, which is attached to each auxiliary verb or connective expression, checks whether it can be connected to a verb or a phrase by referring to its attribute values and it updates the values if necessary. The identification process proceeds by activating all rules associated with auxiliary verbs in a phrase in turn. On completion of activation of all the rules, permissible combinations of word meanings remain. This identification process is a part of Japanese understanding system called "MARION" now under development.
View full abstract
-
Tatsuya AKUTSU, Setsuo OHSUGA
Article type: Technical paper
1987 Volume 2 Issue 2 Pages
223-233
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
We have been making efforts to improve Shapiro's model inference system. We have not got answer yet, but we got three results from such consideration. The results are as follows. (1) The inference system which inferences a source prolog program from trace data. (2) Neither the limitation of amount of predicate symbols nor the limitation of amount of clauses used in prolog programs makes no hierarchy of programs which can be described. (3) The program P'which satisfies following properties can be constructed from any given program P and any given number k (0 < k < 1). ・If there exists an SLD-refutation of p⋃ {<-A} of length N, there exists an SLD-refutation of P'⋃ {<-A} of length under⌜kN&urcon;. ・Program P and P' have the same meaning in the sense of least fixpoints.
View full abstract
-
[in Japanese]
Article type: Other
1987 Volume 2 Issue 2 Pages
234-235
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Other
1987 Volume 2 Issue 2 Pages
235-236
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1987 Volume 2 Issue 2 Pages
237
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1987 Volume 2 Issue 2 Pages
241
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1987 Volume 2 Issue 2 Pages
242-243
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1987 Volume 2 Issue 2 Pages
244-245
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1987 Volume 2 Issue 2 Pages
245
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese]
Article type: Corner article
1987 Volume 2 Issue 2 Pages
246
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Other
1987 Volume 2 Issue 2 Pages
247
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
248-251
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
252
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
253
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
254
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
255
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
256-257
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
[in Japanese], [in Japanese], [in Japanese]
Article type: Corner article
1987 Volume 2 Issue 2 Pages
237_2-240
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
b001-b004
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Activity report
1987 Volume 2 Issue 2 Pages
b005-b011
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Cover page
1987 Volume 2 Issue 2 Pages
c002
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Cover page
1987 Volume 2 Issue 2 Pages
c002_2
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS
-
Article type: Table of contents
1987 Volume 2 Issue 2 Pages
i002
Published: June 01, 1987
Released on J-STAGE: September 29, 2020
MAGAZINE
FREE ACCESS