CAJ | 학술논문

依据巴维斯的信息通道理论,巴维斯、盖贝和哈特纳斯构造出表征完美信息流推理的信息流逻辑,但他们的信息流逻辑对信息通道理论中的相关直觉原则和信息通道之间的复合运算并没有充分体现,不能解释逻辑推理。针对巴维斯信息流逻辑的不足并根据信息流推理的特点,可以构造出表征完美信息流推理的理想信息流逻辑的树图系统并可证明它们的可靠性和完全性。
의거파유사적신식통도이론,파유사、개패화합특납사구조출표정완미신식류추리적신식류라집,단타문적신식류라집대신식통도이론중적상관직각원칙화신식통도지간적복합운산병몰유충분체현,불능해석라집추리。침대파유사신식류라집적불족병근거신식류추리적특점,가이구조출표정완미신식류추리적이상신식류라집적수도계통병가증명타문적가고성화완전성。
Based on Jon Barwise＇s theory of information channels,Barwise,Dov Gabbay and Chrysafis Hartonas have constructed a logic for information flow intended to represent ideal information flow inference. However,their logic for information flow doesn＇t fully materialize the intuitive principles and compound operation of information channels put forward in the theory of information channels. In addition,their logic can＇t explain logical inference. By overcoming the deficiencies of their logic and considering the main features of information flow inference,tableau systems of ideal logic for information flow can be constructed,whose reliability and completeness are provable.