Post  Systems

 

Wikipedia : Post correspondence problem

Production system 은 Emil Post 가 처음 symbolic logic 에 사용하였다. 그는 어떤 시스템의 수학과 논리도 production rule system으로 서술되어 놀라운 결과를 보인다는 것을 증명하였다. 그것은 major classes of knowledge를 표현하는데 크게 유용하다. rewrite rules 라는 용어처럼 언어의 문법 (grammar of a language) 을 정의하는데 또한 유용하다. 컴퓨터 언어는 대개 production rules 의 BNF (Backus-Naur Form)을 사용해서 정의된다.

어떠한 수학적, 논리적 시스템도 rule 의 집합이다. 여기서 rule 은 하나의 string of symbol 이 또다른 symbol 로 어떻게 변환하는지를 규정하는 것이다. 주어진 input string을 antecedent 라 하고 production rule 에 의해 새로 만들어진 string을 consequent 라 한다. 이것은 expert system 에서의 input data(string) 와 transformation 된 output string 로서 이용되어진다.

여기서 string 의 조작은 syntax 에 따른 것이지 어떤 semantic ( fever, aspirin, patient 의 의미 ) 에 따른 것이 아니다. 인간은 string 의 실세계에서의 의미를 알지만 Post production system은 단지 하나의 string을 다른 string 으로 변환시키는 방법일 뿐이다.

Antecedent -> Consequent

person has fever -> take aspirin

화살표는 하나의 string 이 다른 것으로 변환하는 것을 의미한다. 이러한 rule을 보다 더 친숙한 IF THEN 형식으로 해석할수 있다

IF person has fever THEN take aspirin.

multiple antecedents 의 경우에는 다음처럼 쓴다. 아래 문장의 AND 는 string 이 아니고 connective 이며 rule 이 여러개의 조건을 가진다는 것을 의미한다.

person has fever AND fever is greater than 102 -> see doctor

Post production system 은 production rule 의 집합으로 구성된다

1. 위의 4개의 rule 중에서 하나만 수행될수도 있고 전부수행될수도 있고 하나도 수행되지 않을수도 있다.

2. 4개의 rule 의 순서가 바뀐다고 하여도 아무런 문제가 발생하지 않는다.

3. 처음 두 개의 rule에서 같은 string (car won't start) 의 경우에 어떤 rule을 먼저 수행하는가?  즉 control mechanism 이 없다.  Post production system 이 expert system의 기초를 이루었지만 실제 program에 적당하지 못한이유는 rule 의 적용을 guide 하는 control strategy 가 없기 때문이다. 이것은 큰 도서관에서 index 없이 책을 찾는 것과 같으며 ,어렵게 찾았다고 하여도 다른 종류의 책을 찾으려면 똑같은 과정을 반복하는 것과 같다.

term :

term :

포스트시스템 (Post System)    튜링 기계 (Turing Machine)   계산 (Computation)   계산가능성 이론 (Computability Theory)   생성규칙 (Production Rule)    전문가시스템 (Expert System)   지식표현 (Knowledge Representation)    Emil Post