10275573
The role of logic programming in the Fifth Generation Computer Project
This paper describes the role of logic programming in the Fifth Generation Computer Project. We started the project with the conjecture that logic programming is the “bridge” connecting knowledge information processing and parallel computer architecture. Four years have passed since we started the project, and now we can say that this conjecture has been substantially confirmed. The paper gives an overview of the developments which have reinforced this foundational conjecture and how our “bridge” is being realized.
37726421
A Framework for Interactive Problem Solving Based on Interactive Query Revision
Logic programming has been widely used because of the clearness of its semantics and its extensibility. Many inference systems have been proposed using a logic programming framework. But few of these have studied logic based man-machine interaction, apart from systems based on incremental query [Emden 1985]. Incremental query allows users to enter a part of queries incrementally instead of entering the whole query at once, as in Prolog. In this paper we investigate essential concepts of interactive problem solving and generalize incremental query further. And we propose a new query model for logic programming, which we call interactive query revision. Interactive query revision allows a user to modify queries and hypotheses and to act as a part of the inference engine, in addition to entering queries incrementally. We apply interactive query revision to an interactive LSI layout system.
30844306
Specification Languages versus Programming Languages (Panel)
13025235
Query Evaluation of Deductive Database by MGTP and its Application to Data Mining
2374698
A Model of Children's Vocabulary Acquisition Using Inductive Logic Programming
9638240
Curried least general generalization: A framework for higher order concept learning
Continued progress with research in inductive logic programming relies on further extensions of their underlying logics. The standard tactics for extending expressivity include a generalization to higher order logics, which immediately forces attention to the computational complexity of higher order reasoning.
11394601
On the number of securities which constitute an efficient portfolio
The purpose of this paper is to discuss the relationship between the number of securities which constitute an efficient portfolio as defined by the standard mean-variance portfolio selection model and the number of periods used to compute the efficient portfolio. It is shown that the number of data gives the upper bound of the number of securities which constitute an efficient portfolio, when each efficient portfolio is unique for a given expected return. Empirical tests based on actual return data show that this upper bound is very tight when the number of data is small. However, when more data are used, the upper bound becomes looser. This result is incompatible with the market efficiency. These empirical tests also indicate that a very tight upper bound often causes a degenerate case ensuring zero-variance portfolios.