Logos: a constraint-directed reasoning shell for operations management
- 1 February 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Expert
- Vol. 6 (1) , 20-28
- https://doi.org/10.1109/64.73814
Abstract
A description is given of the Logos reasoning shell, an expert system that performs reactive scheduling, i.e. reschedules operations in the context of new information. Logos' constraint system supports the use of temporal constraints as well as the need to add and retract constraints incrementally. Logos' problem-solving approach is discussed and constraint-based reasoning and dynamic modeling, both of which are used by Logos, are examined. Some current applications are described.<>Keywords
This publication has 5 references indexed in Scilit:
- Constraint logic programming languagesCommunications of the ACM, 1990
- Constraint propagation with interval labelsArtificial Intelligence, 1987
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979