Skip to main content
Log in

Supporting production operations decisions with a modularized knowledge base

  • Papers
  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

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.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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.

    Google Scholar 

  • Chang, C. L. and Lee, R. C. (1973)Symbolic Logic and Mechanical Theorem Proving, New York: Academic Press.

    Google Scholar 

  • Dahl, V. (1982) ‘On Database System Design Through Logic’,ACM Transactions on Database Systems 7, pp. 102–123.

    Google Scholar 

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

    Google Scholar 

  • Hax, A. C. and Candea, D. (1984)Production and Inventory Management, New Jersey: Prentice Hall.

    Google Scholar 

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

    Google Scholar 

  • Kowalski, R. (1979)Logic for Problem Solving, Amsterdam: North Holland.

    Google Scholar 

  • Nilsson, N. J. (1980)Principles of Artificial Intelligence, California: Tioga Publishing Co.

    Google Scholar 

  • Nnaji, B. O. (1988) ‘A Framework for CAD-Based Geometric Reasoning for Robot Assembly Language’,International Journal of Production Research 26, pp. 735–764.

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01472506

Keywords

Navigation