本書運用形式邏輯的研究方法為“連”字句解析進(jìn)行計算建模。本課題從即時交際現(xiàn)象出發(fā)，用形式化的方式對其進(jìn)行抽象，并給出合適的計算模型。面向計算的邏輯解析方法�！斑B”字句的使用體現(xiàn)了漢語特有的結(jié)構(gòu)、語義和語用互動現(xiàn)象。