Alleviation and reduction of poverty and common prosperity are the constant goals of Chinese Government. It is an important task for women’s federations at all levels to address the shortage of food and clothing for women and children in poor areas and to promote local efforts helping women and children in poor areas. Over the past years, the government, with poverty issues that affect women on...

Empirical studies on many social issues show that numerous statistical distributions follow power laws, such as stock-price fluctuations, the probability distribution of the population of cities, the degree distributions in many networks and distribution of income or wealth. In particular, the wealth distribution which is an old topic has recently been renewed by a small band of econophysicists...

The study of frameworks and formalisms for reasoning about action and change [67, 58, 61, 65, 70, 3, 57] has been central to the knowledge representation field almost from the inception of Artificial Intelligence as a general field of research [52, 56]. The phrase “Temporal Action Logics” represents a class of logics for reasoning about action and change that evolved from Sandewall’s book on Fe...

Typically agents have obligations of diiering importance. Consequently we give a hierarchical deenition of obligations, according to which an agent's obligations form a coherent hierarchy and new obligations are de-ned with reference to it. We then show how preferential entailment can be used to formalise the persistence and revision of obligation hierarchies.

Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous function of real-valued time. A temporal logic is introduced which allows the description of parameters, both in their continuous intervals and around their breakpoints, and which also allows the description of actions be...

Modelling the beliefs of an agent who lacks logical omniscience has been a major concern recently. While most of the work has concentrated on propositional logics of belief, this paper primarily addresses issues raised by adding quantifiers to such logics. In particular, we are focusing on quantifying in and the distinction between "knowing what" and "knowing that". After arguing why a model of...

In this paper we introduce and formalise dynamic goal hierarchies. We begin with a formal definition of goals, according to which they are rational desires. In particular, we require that an agent’s goals are coherent; that is, that the agent believes that each goal is jointly realisable with all of the goals which the agent considers to be more important. Thus an agent’s goals form a hierarchy...

This memo presents current research in our laboratory. We address the following research topics: 1. Semantics-based assessment of nonmonotonic entailment methods for actions and change. 2. Implementation techniques for nonmonotonic entailment methods. 3. Algorithmic methods for planning and temporal reasoning. 4. Hybrid modelling of physical systems. 5. Design methodology for intelligent autono...