In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics h...In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics has also been set forth.展开更多
Where sustainable development is concerned, there is an urgent need to establish new information systems that integrate economic, social and ecological factors. The emergence of demand for this information makes the d...Where sustainable development is concerned, there is an urgent need to establish new information systems that integrate economic, social and ecological factors. The emergence of demand for this information makes the development of ecological accounting possible. Yet, most current research on ecological accounting focuses on two aspects: (1) the theoretical aspect, including background, concepts and models and (2) specific research on ecological accounting. Some scholars have proposed a conceptual framework, but this is not systematic or thorough enough. Seizing the opportunity of sustainable development in a key strategic location of the world, this paper begins by analyzing the logical evolution of ecological accounting, summarizes the existing ecological accounting theory, and combines the mature theoretical study of resources accounting with environmental accounting. All of these efforts result in this paper forwarding a framework of ecological accounting that aims to provide a guideline for future development.展开更多
基于回答集语义的逻辑程序(Answer Set Programming,ASP)是描述性问题求解的典范,广泛应用于规划、诊断、调度以及生物信息学等领域。为了增强ASP的表达能力,一些工作在ASP引入了数据库系统中的聚合函数约束,并提出了SPT,FLP等语义,抽...基于回答集语义的逻辑程序(Answer Set Programming,ASP)是描述性问题求解的典范,广泛应用于规划、诊断、调度以及生物信息学等领域。为了增强ASP的表达能力,一些工作在ASP引入了数据库系统中的聚合函数约束,并提出了SPT,FLP等语义,抽象约束剥离聚合函数约束的具体形式成为研究ASP语义等性质的重要工具,并得到了抽象约束逻辑程序的各种回答集语义之间的关系和复杂性问题等的相关结果。对此,进一步研究了仅含凸抽象约束原子抽象约束逻辑的性质,证明了仅含凸抽象约束原子的正规逻辑程序判定是否存在FLP回答集是Σ_(2)^(p)完全的,其审慎推理和大胆推理分别是Π_(2)^(p)完全的和Σ_(2)^(p)完全的。这些复杂性结果进一步理清了各类逻辑程序间的表达能力关系,为设计有效的回答集求解器提供了新的思路,也为进一步探索ASP在解决用凸抽象约束表示的问题中的应用提供了理论基础。展开更多
文摘In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics has also been set forth.
文摘Where sustainable development is concerned, there is an urgent need to establish new information systems that integrate economic, social and ecological factors. The emergence of demand for this information makes the development of ecological accounting possible. Yet, most current research on ecological accounting focuses on two aspects: (1) the theoretical aspect, including background, concepts and models and (2) specific research on ecological accounting. Some scholars have proposed a conceptual framework, but this is not systematic or thorough enough. Seizing the opportunity of sustainable development in a key strategic location of the world, this paper begins by analyzing the logical evolution of ecological accounting, summarizes the existing ecological accounting theory, and combines the mature theoretical study of resources accounting with environmental accounting. All of these efforts result in this paper forwarding a framework of ecological accounting that aims to provide a guideline for future development.
文摘基于回答集语义的逻辑程序(Answer Set Programming,ASP)是描述性问题求解的典范,广泛应用于规划、诊断、调度以及生物信息学等领域。为了增强ASP的表达能力,一些工作在ASP引入了数据库系统中的聚合函数约束,并提出了SPT,FLP等语义,抽象约束剥离聚合函数约束的具体形式成为研究ASP语义等性质的重要工具,并得到了抽象约束逻辑程序的各种回答集语义之间的关系和复杂性问题等的相关结果。对此,进一步研究了仅含凸抽象约束原子抽象约束逻辑的性质,证明了仅含凸抽象约束原子的正规逻辑程序判定是否存在FLP回答集是Σ_(2)^(p)完全的,其审慎推理和大胆推理分别是Π_(2)^(p)完全的和Σ_(2)^(p)完全的。这些复杂性结果进一步理清了各类逻辑程序间的表达能力关系,为设计有效的回答集求解器提供了新的思路,也为进一步探索ASP在解决用凸抽象约束表示的问题中的应用提供了理论基础。
