A Logic Representation of Manufacturing Control
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
This paper explores some of the typical problems in manufacturing systems planning and control, particularly those pertinent to automatic operation, and describes how artificial intelligence methods can be applied. We demonstrate how predicate logic and theorem-proving techniques using resolution can be used in a manufacturing environment. Assertions of fact and axioms representing the knowledge required are given in an underlying data base. Illustrative examples demonstrate how user problems, such as assignment of jobs to machines when conflicts occur, can be handled by a decision support system in the framework of resolution in a problemreduction approach.
@inproceedings{ijcai1979p31,
title = {A Logic Representation of Manufacturing Control},
author = {Bullers, William I. and Nof, Shimon Y. and Whinston, Andrew B.},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/31},
}
TY - CPAPER TI - A Logic Representation of Manufacturing Control AU - Bullers, William I. AU - Nof, Shimon Y. AU - Whinston, Andrew B. T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/31 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
