71,857 research outputs found
Single and Many Particle Correlation Functions and Uniform Phase Bases for Strongly Correlated Systems
The need for suitable many or infinite fermion correlation functions to
describe some low dimensional strongly correlated systems is discussed. This is
linked to the need for a correlated basis, in which the ground state may be
postive definite, and in which single particle correlations may suffice. A
particular trial basis is proposed, and applied to a certain quasi-1D model.
The model is a strip of the 2D square lattice wrapped around a cylinder, and is
related to the ladder geometries, but with periodic instead of open boundary
conditions along the edges. Analysis involves a novel mean-field approach and
exact diagonalisation. The model has a paramagnetic region and a Nagaoka
ferromagnetic region. The proposed basis is well suited to the model, and
single particle correlations in it have power law decay for the paramagnet,
where the charge motion is qualitatively hard core bosonic. The mean field also
leads to a BCS-type model with single particle long range order.Comment: 23 pages, in plain tex, 12 Postscript figures included. Accepted for
publication in J.Physics : Condensed Matte
PDDL2.1: An extension of PDDL for expressing temporal planning domains
In recent years research in the planning community has moved increasingly towards application of planners to realistic problems involving both time and many types of resources. For example, interest in planning demonstrated by the space research community has inspired work in observation scheduling, planetary rover ex ploration and spacecraft control domains. Other temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped to focus the community on the modelling and reasoning issues that must be confronted to make planning technology meet the challenges of application. The International Planning Competitions have acted as an important motivating force behind the progress that has been made in planning since 1998. The third competition (held in 2002) set the planning community the challenge of handling time and numeric resources. This necessitated the development of a modelling language capable of expressing temporal and numeric properties of planning domains. In this paper we describe the language, PDDL2.1, that was used in the competition. We describe the syntax of the language, its formal semantics and the validation of concurrent plans. We observe that PDDL2.1 has considerable modelling power --- exceeding the capabilities of current planning technology --- and presents a number of important challenges to the research community
The Automatic Inference of State Invariants in TIM
As planning is applied to larger and richer domains the effort involved in
constructing domain descriptions increases and becomes a significant burden on
the human application designer. If general planners are to be applied
successfully to large and complex domains it is necessary to provide the domain
designer with some assistance in building correctly encoded domains. One way of
doing this is to provide domain-independent techniques for extracting, from a
domain description, knowledge that is implicit in that description and that can
assist domain designers in debugging domain descriptions. This knowledge can
also be exploited to improve the performance of planners: several researchers
have explored the potential of state invariants in speeding up the performance
of domain-independent planners. In this paper we describe a process by which
state invariants can be extracted from the automatically inferred type
structure of a domain. These techniques are being developed for exploitation by
STAN, a Graphplan based planner that employs state analysis techniques to
enhance its performance
Germination Biology and the Ecology of Annual Plants
We derive spatially explicit population models for the interaction between a species
of annual plant and a community of perennial species. The models are used to explore the
conditions for persistence of the annual in both a constant and a stochastic environment. In
both types of environment a seed's response to the presence of established perennial plants is
found to affect strongly the conditions for persistence. Sensitivity analysis of a parameterized
version of the model indicates the importance of germination and mortality parameters in
allowing persistence. In the parameterized model large changes in fecundity have little effect
on the condition for persistence. The implications of these results for the distribution of annual
plants and the forces structuring communities of short-lived plants in successional habitats are
discussed
The Analysis and Interpretation of Seedling Recruitment Curves
We derive spatially explicit population models for the interaction between a species of annual plant and a community of perennial species. The models are used to explore the conditions for persistence of the annual in both a constant and a stochastic environment. In both types of environment a seed's response to the presence of established perennial plants is found to affect strongly the conditions for persistence. Sensitivity analysis of a parameterized version of the model indicates the importance of germination and mortality parameters in allowing persistence. In the parameterized model large changes in fecundity have little effect on the condition for persistence. The implications of these results for the distribution of annual plants and the forces structuring communities of short-lived plants in successional habitats are discussed
Exploiting a graphplan framework in temporal planning
Graphplan (Blum and Furst 1995) has proved a popular and successful basis for a succession of extensions. An extension to handle temporal planning is a natural one to consider, because of the seductively time-like structure of the layers in the plan graph. TGP (Smith and Weld 1999) and TPSys (Garrido, OnaindĆa, and Barber 2001; Garrido, Fox, and Long 2002) are both examples of temporal planners that have exploited the Graphplan foundation. However, both of these systems (including both versions of TPSys) exploit the graph to represent a uniform flow of time. In this paper we describe an alternative approach, in which the graph is used to represent the purely logical structuring of the plan, with temporal constraints being managed separately (although not independently). The approach uses a linear constraint solver to ensure that temporal durations are correctly respected. The resulting planner offers an interesting alternative to the other approaches, offering an important extension in expressive power
Extending the exploitation of symmetries in planning
Highly symmetric problems result in redundant search effort which can render apparently simple problems intractable. Whilst the potential benefits of symmetry-breaking have been explored in the broader search community there has been relatively little interest in the exploitation of this potential in planning. An initial exploration of the benefits of symmetry-breaking in a Graphplan framework, by Fox and Long in 1999 (Fox and Long 1999) yielded promising results but failed to take into account the importance of identifying and exploiting new symmetries that arise during the search process. In this paper we extend the symmetry exploitation ideas described in (Fox and Long 1999) to handle new symmetries and report results obtained from a range of planning problems
The Analysis and Interpretation of Seedling Recruitment Curves
We derive spatially explicit population models for the interaction between a species of annual plant and a community of perennial species. The models are used to explore the conditions for persistence of the annual in both a constant and a stochastic environment. In both types of environment a seed's response to the presence of established perennial plants is found to affect strongly the conditions for persistence. Sensitivity analysis of a parameterized version of the model indicates the importance of germination and mortality parameters in allowing persistence. In the parameterized model large changes in fecundity have little effect on the condition for persistence. The implications of these results for the distribution of annual plants and the forces structuring communities of short-lived plants in successional habitats are discussed
Plan permutation symmetries as a source of inefficiency in planning
This paper briefly reviews sources of symmetry in planning and highlights one source that has not previously been tackled: plan permutation symmetry. Symmetries can be a significant problem for efficiency of planning systems, as has been previously observed in the treatment of other forms of symmetry in planning problems. We examine how plan permutation symmetries can be eliminated and present evidence to support the claim that these symmetries are an important problem for planning systems
Progress in AI Planning Research and Applications
Planning has made significant progress since its inception in the 1970s, in terms both of the efficiency and sophistication of its algorithms and representations and its potential for application to real problems. In this paper we sketch the foundations of planning as a sub-field of Artificial Intelligence and the history of its development over the past three decades. Then some of the recent achievements within the field are discussed and provided some experimental data demonstrating the progress that has been made in the application of general planners to realistic and complex problems. The paper concludes by identifying some of the open issues that remain as important challenges for future research in planning
- ā¦