Diagnostic reasoning engine — knowledge representation, mental model, and inference. More...

#include <vector>
#include <string>
#include <sstream>
#include <iostream>
#include <fstream>
#include <algorithm>
#include <memory>
#include "../Global/SimConstants.h"
#include "../Global/TermConversions.h"
#include "KBConcept.h"
#include "SentenceUnit.h"
#include "KnowledgeUnit.h"
#include "KnowledgeElement.h"
#include "../Branch/BranchRecord.h"
#include "../Scheduler/CommunicationPlace.h"
#include "IDElement.h"
#include "Investigator.h"
#include "InvestigatorLink.h"
#include "MentalRepresentation.h"
#include "../Global/fmodule.h"
#include "RoutineMonitor.h"
#include "InstantiationBase.h"
#include "EventSchemaBase.h"
#include "DiagnoseInvestigator.h"
#include "PassiveAlarmLoadUnit.h"
#include "../Crew/TimeConstrainedModule.h"
#include "ValueTimeLineUnit.h"
#include "ProximityModel.h"
#include "StringTimeIntervalUnit.h"

Include dependency graph for ReasonMachine.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	ReasonMachine

Detailed Description

Diagnostic reasoning engine — knowledge representation, mental model, and inference.

ReasonMachine implements the crew's diagnostic reasoning capability. It maintains a mental representation of the plant state, processes knowledge elements (concepts, sentences, investigations), and updates beliefs based on observed symptoms. Used by Operator subclasses for situation assessment and diagnosis.

See also: Operator, KB

Definition in file ReasonMachine.h.

Classes

Detailed Description