软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
9期
2323-2335
,共13页
申宇铭%王驹%唐素勤%蒋运承
申宇銘%王駒%唐素勤%蔣運承
신우명%왕구%당소근%장운승
谓词模态逻辑%对应物理论%语义忠实语义满翻译
謂詞模態邏輯%對應物理論%語義忠實語義滿翻譯
위사모태라집%대응물이론%어의충실어의만번역
对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.
對應物理論(counterpart theory)是一階邏輯的一種理論.Lewis利用謂詞模態邏輯到對應物理論的翻譯來研究謂詞模態邏輯的性質,但是Lewis的翻譯存在把不可滿足的公式翻譯為可滿足公式的情況針對這箇問題,提齣瞭一種擴展語義的謂詞模態邏輯,建立瞭擴展語義後謂詞模態邏輯模型與對應物理論模型的一一對應關繫,併在此基礎上建立瞭謂詞模態邏輯到對應物理論的語義忠實語義滿翻譯(faithful and full translation),其可確保將謂詞模態邏輯的可滿足公式和不可滿足公式分彆翻譯為對應物理論的可滿足公式和不可滿足公式.由對應物理論是可靠的、完備的一階邏輯的理論且語義忠實語義滿翻譯保持可靠性和完備性,進一步證明瞭擴展語義的謂詞模態邏輯也是可靠和完備的.
대응물이론(counterpart theory)시일계라집적일충이론.Lewis이용위사모태라집도대응물이론적번역래연구위사모태라집적성질,단시Lewis적번역존재파불가만족적공식번역위가만족공식적정황침대저개문제,제출료일충확전어의적위사모태라집,건립료확전어의후위사모태라집모형여대응물이론모형적일일대응관계,병재차기출상건립료위사모태라집도대응물이론적어의충실어의만번역(faithful and full translation),기가학보장위사모태라집적가만족공식화불가만족공식분별번역위대응물이론적가만족공식화불가만족공식.유대응물이론시가고적、완비적일계라집적이론차어의충실어의만번역보지가고성화완비성,진일보증명료확전어의적위사모태라집야시가고화완비적.