AGM postulates are for belief revision （revision by a single belief）, and DP postulates are for iterated revision （revision by a finite sequence of beliefs）. R-calculus is given for R-configurations △｜Г, where ...AGM postulates are for belief revision （revision by a single belief）, and DP postulates are for iterated revision （revision by a finite sequence of beliefs）. R-calculus is given for R-configurations △｜Г, where △ is a set of atomic formulas or the negations of atomic formulas, and Г is a finite set of formulas. We shall give two R-calculi C and M （sets of de- duction rules） such that for any finite consistent sets Г, △of formulas in the propositional logic, there is a consistent set ⊙ Г C of formulas such that △IГ → △, ⊙ is provable and⊙ is a contraction of F by A or a minimal change of F by A; and prove that C and M are sound and complete with respect to the contraction and the minimal change, respectively.展开更多
The contract change management (CCM) system is an online collaboration tool, which supports the contract change management process of new engineering contract (NEC) contract. It is currently used in practice on a wide...The contract change management (CCM) system is an online collaboration tool, which supports the contract change management process of new engineering contract (NEC) contract. It is currently used in practice on a wide range of civil, power, and building projects in the UK. The aim of this study is first to identify the tangible and intangible benefits of the system through a user survey; then to develop a framework to measure these benefits. A questionnaire survey is conducted, which reveals that CCM can help project teams improve process effectiveness, reduce risk of process failures, and increase the compliance with NEC requirements. Subsequently, a spreadsheet tool is developed to allow CCM users to calculate the tangible cost savings as a result of using the system. For intangible benefits, a change management maturity model (CM3) is developed, which provides a measurement framework for assessing the improvement of a project team’s capability in dealing with contract changes.展开更多
文摘AGM postulates are for belief revision （revision by a single belief）, and DP postulates are for iterated revision （revision by a finite sequence of beliefs）. R-calculus is given for R-configurations △｜Г, where △ is a set of atomic formulas or the negations of atomic formulas, and Г is a finite set of formulas. We shall give two R-calculi C and M （sets of de- duction rules） such that for any finite consistent sets Г, △of formulas in the propositional logic, there is a consistent set ⊙ Г C of formulas such that △IГ → △, ⊙ is provable and⊙ is a contraction of F by A or a minimal change of F by A; and prove that C and M are sound and complete with respect to the contraction and the minimal change, respectively.
文摘The contract change management (CCM) system is an online collaboration tool, which supports the contract change management process of new engineering contract (NEC) contract. It is currently used in practice on a wide range of civil, power, and building projects in the UK. The aim of this study is first to identify the tangible and intangible benefits of the system through a user survey; then to develop a framework to measure these benefits. A questionnaire survey is conducted, which reveals that CCM can help project teams improve process effectiveness, reduce risk of process failures, and increase the compliance with NEC requirements. Subsequently, a spreadsheet tool is developed to allow CCM users to calculate the tangible cost savings as a result of using the system. For intangible benefits, a change management maturity model (CM3) is developed, which provides a measurement framework for assessing the improvement of a project team’s capability in dealing with contract changes.
