논리를 기반으로 한 스케줄링 언어 RSV와 RCPSV의 동등한 표현력 = 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)으로부터 유래한 묘사 논리(descriptionlogic)의 컨셉트(concepts)와 유사하다.
RSV에서는 연산자 pll, seq, 그리고 xor를 사용하여 중첩된 액티비티 용어를 묘사가능 하고RCPSV에서는 연산자 hnet와 xor를 사용하여 중첩된 액티비티 용어를 묘사가능하다.
비록 RSV와 RCPSV가 각각 서로 다른 구문과 연산자에 의해 정의됨에도 불구하고 임의의RCPSV-용어가 RSV-용어로 묘사가능하고 또한 그 역도 성립함을 증명해 보이고자 한다.
이러한 표현력에 있어서의 동등성 증명으로부터 RSV와 RCPSV가 같은 표현력을 갖는 스케줄링언어임을 보이고자 한다.

다국어 초록 (Multilingual Abstract)

The logic-based scheduling languages RSV and RCPSV can be utilized to representand solve a broad range of resource-constrained project scheduling problems andtheir variants. In both RSV and RCPSV, scheduling problems are syntacticallyexpressed as activity terms. These terms bear resemblance to concepts indescription logic, which have originated from terminological knowledge representationsystems like KL-ONE.
In RSV, it is possible to describe nested activity terms by utilizing the operators pll,seq, and xor. Similarly, in RCPSV, nested activity terms can be described using theoperators hnet and xor.
We demonstrate that every RSV-term can be expressed as a RCPSV-term and viceversa, despite the distinct syntax and operators employed by both languages. Thismutual representation equivalence indicates that RSV and RCPSV possessequivalent expressive power.