On Parity of Expressivity: A Comparative Study of RSV and RCPSV as Logic-Based Scheduling Languages

Abstract

논리를 기반으로 한 스케줄링 언어인 RSV와 RCPSV는 변형을 허용하는 자원 제약 프로젝트 스케줄링 문제를 묘사하고 해결하는데 사용될 수 있다. RSV 와 RCPSV에서 스케줄링문제는 구문적으로 액티비티 용어(activity term)로 묘사되는데 이것은 KL-ONE과 같은 용어적 지식 표현 시스템(knowledge representation systems)으로부터 유래한 묘사 논리(description logic)의 컨셉트(concepts)와 유사하다.BRRSV에서는 연산자 pll, seq, 그리고 xor를 사용하여 중첩된 액티비티 용어를 묘사가능 하고 RCPSV에서는 연산자 hnet와 xor를 사용하여 중첩된 액티비티 용어를 묘사가능하다. 비록 RSV와 RCPSV가 각각 서로 다른 구문과 연산자에 의해 정의됨에도 불구하고 임의의 RCPSV-용어가 RSV-용어로 묘사가능하고 또한 그 역도 성립함을 증명해 보이고자 한다.BR이러한 표현력에 있어서의 동등성 증명으로부터 RSV와 RCPSV가 같은 표현력을 갖는 스케줄링언어임을 보이고자 한다.