An Efficient Evaluation of Proof-theoretic Meaning for Normalized Recursive Rules using Shared - Nothing Parallel Architecture


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 11, pp. 2981-2988, Nov. 1999
10.3745/KIPSTE.1999.6.11.2981,   PDF Download:

Abstract

Until now, most intelligent Tutoring Systems are lacking in the modularity, the extensibility of the system, and the flexibility in the dynamic environment due to the static exchanges of knowledge among modules. To overcome these problems, we will suggest, in this paper, a Distance Intelligent Tutoring Framework, called DELFOM, based on the multiagent to cope with the various and complicated learner's requests. We could make different types of learning systems by simply changing the contents of DELFOM External that is variant part of DELFOM. This framework, therefore, provides software reuse and the extensibility based on object-oriented paradigm. And we will propose two different distance learning systems using DELFOM. Therefore this framework gives the developer/the learner the effective and easy development/learning environment. DELFOM is implemented using CORBA and Java for the network transparency and platform independence.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
W. H. Cho and J. H. Lee, "An Efficient Evaluation of Proof-theoretic Meaning for Normalized Recursive Rules using Shared - Nothing Parallel Architecture," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 11, pp. 2981-2988, 1999. DOI: 10.3745/KIPSTE.1999.6.11.2981.

[ACM Style]
Woo Hyun Cho and Jong Hee Lee. 1999. An Efficient Evaluation of Proof-theoretic Meaning for Normalized Recursive Rules using Shared - Nothing Parallel Architecture. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 11, (1999), 2981-2988. DOI: 10.3745/KIPSTE.1999.6.11.2981.