𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Implementation techniques for a knowledge-processing system using PROLOG

✍ Scribed by Liang-He Li; Shi-Quan Su


Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
301 KB
Volume
2
Category
Article
ISSN
0952-1976

No coin nor oath required. For personal study only.

✦ Synopsis


Although PROLOG has an inherently strong capability to handle extensive logic-inferencing problems, it has a relatively poor capacity for undertaking numerical processing. In this paper, we look at PROLOG's capabilities in this latter area, and examine techniques to enhance them. A mathematical programming, model-based system, and its relevant management file structure, are designed and implemented on a small computer system, using Micro-PROLOG. The inference tree architecture of the optimization model, and the relevant implementation techniques, are presented. Finally, we give a double-objective decision-making proglem as an example to show the numerical-value processing capability. We further explore the possibility of implementing the integration of the inference techniques of AI with the optimization techniques of system science.


πŸ“œ SIMILAR VOLUMES


Prolog-based system for nursing staff sc
✍ Mihoko Okada; Masahiko Okada πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 641 KB

An approach to the problem of nursing staff scheduling in a hospital is presented. For scheduling nurses, a variety of requirements with varied levels of significance has to be taken into account simultaneously. Because of the nature of the problem, where it is difficult to define what is the optima

A blueprint for the implementation of pr
✍ Ulrich Remus; Stephan Schub πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 633 KB

## Abstract Process‐oriented Knowledge Management aims at the integration of business processes and knowledge management. In order to provide knowledge for value adding activities within the business processes KM instruments and KM systems have to be adapted to business and knowledge processes. In