MACHINE FAILURE ISOLATION USING QUALITATIVE PHYSICS

정성적 추론 시스템은 하나 이상의 기계 구성요소가 고장났음을 가정하는 다수의 미결 가설(98)을 발생하고, 상기 가설의 각각을 테스트하되, 테스트되는 가설에 대한 집합(confluence) 방정식을 통해 기계 파라미터에 대한 실제 값을 전파하여 테스트함으로써 기계 고장 분리를 수행한다. 정성적 물리학 모델의 가설과 연관된 변수는 타입 I 변수 및 타입 II 변수로 그룹화되며, 타입 I 변수에 대해 측정된 임의의 가능한 값은 적어도 하나의 가설을 일치하지 않게 하고, 타입 II에 대해 측정된 전부는 아니지만 몇몇 가능한 값은 적어도 하나의 가설을 일치하지 않게 할 것이다. 집합 세트는 일치하는 예측 세트를 초래하는 집합의 모든 미지의 변수에 할당될 수 있는 값의 세트가 존재하지 않는 것으로 판정함으로써 일치하지 않는 것으로 간주된다. 미지의 변수 값은 변수를 그 가능한 값의 각각에 반복적으로 설정하고, 각각의 반복시에, 모델의 집합을 통해 미지의 변수 값 및 기지의 변수를 전파함으로써 판정된다. 모델 인스탄시에이터는 컴퓨터 워크스테이션 사용자 입력을 사용가능한 모델 정보로 변환하고, 모델의 변수 및 집합의 수를 감소시키는 최적화를 또한 제공한다.