Analysis of the legal hypothesis reasoning in judicial activities 論審判活動(dòng)中的法律假言推理
Probability effect in conditional inference 假言推理中的概率效應(yīng)
Negative biases in conditional reasoning 假言推理的否定詞效應(yīng)
An approach to xml problem solving by means of resolution principle is presented . the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle . an intelligent decision support system based on xml is presented 主要內(nèi)容包括:建立了基于xml的公理系統(tǒng);給出了假言推理在xdd中的應(yīng)用形式;論證了假言推理在xdd中有效性和完備性;給出了應(yīng)用證明論方法實(shí)現(xiàn)xml問題求解的方法和步驟。