Characterizations and algorithms of extensions for CADL and QDL

Recently,Giordano and Martelli (1994) proposed two new cumulative variants of Reiter‘s default logic(DL):Commitment to Assumptions Default Logic (CADL) and Quasi-Default Logic(QDL).They have only given quasi-inductive characterizations of extensions for the two variants.In this paper,finite characterizations of extensions for CADL and QDL by applying notions of(joint) compatibility are presented respectively.And corresponding algorithms and complexity resuts for reasoning are obtained.     

Putting theory to work: the use of theory in construction research

Attention to epistemology, theory use and citation practices are all issues which distinguish academic disciplines from other ways of knowing. Examples from construction research are used to outline and reflect on these issues. In doing so, the discussion provides an introduction to some key issues in social research as well as a reflection on the current state of construction research as a field. More specifically, differences between positivist and interpretivist epistemologies, the role of theory in each and their use by construction researchers are discussed. Philosophical differences are illustrated by appeal to two published construction research articles by Reichstein et al. and Harty on innovation (Reichstein, Salter and Gann, 2005 Reichstein, T., Salter, A.J. and Gann, D.M. (2005) Last among equals: a comparison of innovation in construction, services and manufacturing in the UK. Construction Management and Economics, 23, 631–644.10.1080/01446190500126940[Taylor &; Francis Online] , [Google Scholar]; Harty, 2008 Harty, C. (2008) Implementing innovation in construction: contexts, relative boundedness and actor-network theory. Construction Management and Economics, 26, 1029–1041.10.1080/01446190802298413[Taylor &; Francis Online] , [Google Scholar]). An analysis of citations for each highlights different cumulativity strategies. The potential contribution of mixed research programmes, combining positivist and interpretivist research, is evaluated. The paper should be of interest to early researchers and to scholars concerned with the ongoing development of construction research as an academic field.     

标记辩论推理系统

Lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础，其推理机制由所谓的论点结构实现．由Lin的系统导出的非单调推理并不具有累加性，而该性质是衡量一个非单调推理关系的重要标志之一．利用Brewka的方法，本文提出标记辩论推理的概念，并且证明缺省逻辑CDL可以嵌入本系统，从而也间接地给出了标记辩论系统具有累加性的一种充分条件．为了彻底地恢复累加性，本文提出了强封闭论点结构的概念，且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性．     

缺省逻辑的累积性变种的扩张特征

Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ     

双析取逻辑程序设计基础（Ⅱ）

双析取逻辑程序设计是析取逻辑程序设计的一种扩充，其辩论语框架ＢＤＡＳ为逻辑程序设计中的常识推理提供了一种较为合理的语义框架。