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


Vol. 6,  No. 11, pp. 2981-2988, Nov.  1999
10.3745/KIPSTE.1999.6.11.2981


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals