Abstract
In expert system applications, it is often necessary to modularize large knowledge bases in such a way that only a subset of the modules is required for a problem. This results in a reduction in the search for appropriate models at each stage. Using the formalism of first order predicate calculus, we develop a modularization scheme of an inventory system which minimizes a pseudo-cost function representing the actual search process.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bu-Hulaiga, M. I. and Chakravarty, A. K. (1988) “An Object-Oriented Knowledge Representation for Hierarchical Real Time Control of Flexible Manufacturing”,International Journal of Production Research 26, pp. 777–793.
Chang, C. L. and Lee, R. C. (1973)Symbolic Logic and Mechanical Theorem Proving, New York: Academic Press.
Dahl, V. (1982) ‘On Database System Design Through Logic’,ACM Transactions on Database Systems 7, pp. 102–123.
Dutta, A. and Basu, A. (1984) ‘An Artificial Intelligence Approach to Model Management in Decision Support Systems’,IEEE Computer, 89–97.
Gallaire, H., and Lasserre, C. (1982) ‘Metalevel Control for Logic Programs’Logic Programming, K. L. Clark and S. A. Tarnland (eds.), New York: Academic Press.
Hax, A. C. and Candea, D. (1984)Production and Inventory Management, New Jersey: Prentice Hall.
International Journal of Production Research. Special issue on A.I. in Manufacturing 26, May 1988.
King, J. R. (1980) ‘Machine-Component Grouping in Production Flow Analysis; an Approach Using a Rank Order Clustering Algorithm’,International Journal of Production Research 20, pp. 117–133.
Kowalski, R. (1979)Logic for Problem Solving, Amsterdam: North Holland.
Nilsson, N. J. (1980)Principles of Artificial Intelligence, California: Tioga Publishing Co.
Nnaji, B. O. (1988) ‘A Framework for CAD-Based Geometric Reasoning for Robot Assembly Language’,International Journal of Production Research 26, pp. 735–764.
Operations Research, Special Focus Articles on Decision Support Systems 36, November–December 1988.
Shaw, M. J. (1988) ‘Knowledge Based Scheduling in Flexible Manufacturing Systems: An Integration of Pattern Directed Inference and Heuristic Search’.International Journal of Production Research 26, pp. 821–844.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Chakravarty, A.K., Sinha, D. Supporting production operations decisions with a modularized knowledge base. J Intell Manuf 1, 93–103 (1990). https://doi.org/10.1007/BF01472506
Issue Date:
DOI: https://doi.org/10.1007/BF01472506