Based on what computational mechanisms can a smart cyber-physical system operationalize abductive reasoning in its overall operation? This knowledge-intensive computational reasoning mechanism is supposed to reflect the logical workings of abductive inferencing pertinent to scientific explanation.