Issue No. 02 - March/April (1994 vol. 11)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.268961
<p>The Comex modeling tool (control knowledge modeling and execution tool) focuses on modeling a problem-solving strategy and representing control knowledge, the knowledge of how to select among several problem-solving actions. In addition, Comex has facilities that let you execute early versions of the model to simulate the intended system's behavior and continuously execute the evolving model, until it becomes the real system. Comex addresses the rule-based paradigm's biggest shortcoming by adding control structures to executable models. Beginning with the specification phase, you can simulate a system's behavior, then map tasks to a rule base. The result is a structured, rule-based system built according to accepted software-engineering principles.</p>
knowledge based systems; knowledge engineering; formal specification; modelling; software tools; problem solving; rule-based systems; Comex modeling tool; control knowledge modeling; execution tool; problem-solving strategy; intended system behavior; evolving model; rule-based paradigm; executable models; specification phase; rule base; software-engineering principles
M. Vestli, I. Nordbø and A. Sølvberg, "Modeling Control in Rule-Based Systems," in IEEE Software, vol. 11, no. , pp. 77-81, 1994.