Text this: Logic-based probabilistic network model to detect and track faults in a process system