Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is (...) a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct. (shrink)

A dynamic domain consists of a set of legal states and a transition function that maps states to states. AI formalisms for specifying dynamic domains have so far focused on describing the effects of actions, that is, the transition functions. In this paper we propose a notion of characteristic set of position systems for the purpose of describing legal states. A position system for a type of objects is a set of properties that are mutually exclusive, and that in each (...) state, every object of the type must satisfy exactly one of these properties called its position under the position system. A set of position systems, one for each type of objects in the domain, is characteristic if there is a one-to-one mapping between legal states and sets of objects’ positions under these position systems. These position systems are useful for reasoning about these dynamic systems including planning. In particular, we show that once we have characteristic sets of position systems for a dynamic domain, planning can be done by writing rules about when to move objects from one position to another. (shrink)

© The Author 2016. Published by Oxford University Press on behalf of Japanese Society of Plant Physiologists. All rights reserved.Cell walls of grasses, including cereal crops and biofuel grasses, comprise the majority of plant biomass and intimately influence plant growth, development and physiology. However, the functions of many cell wall synthesis genes, and the relationships among and the functions of cell wall components remain obscure. To better understand the patterns of cell wall accumulation and identify genes that act in grass (...) cell wall biosynthesis, we characterized 30 samples from aerial organs of rice at 10 developmental time points, 3-100 d post-germination. Within these samples, we measured 15 cell wall chemical components, enzymatic digestibility and 18 cell wall polysaccharide epitopes/ligands. We also used quantitative reverse transcription-PCR to measure expression of 50 glycosyltransferases, 15 acyltransferases and eight phenylpropanoid genes, many of which had previously been identified as being highly expressed in rice. Most cell wall components vary significantly during development, and correlations among them support current understanding of cell walls. We identified 92 significant correlations between cell wall components and gene expression and establish nine strong hypotheses for genes that synthesize xylans, mixed linkage glucan and pectin components. This work provides an extensive analysis of cell wall composition throughout rice development, identifies genes likely to synthesize grass cell walls, and provides a framework for development of genetically improved grasses for use in lignocellulosic biofuel production and agriculture. (shrink)

Individuals' knowledge hiding behavior may lead to massive economic losses to organizations, and exploring the antecedents of it has crucial relevance for mitigating its negative influences. This research aims to investigate the impact of perceived overqualification on knowledge hiding by testing the mediating effect of psychological capital and the moderating effect of person-organization fit. Empirical analyses were conducted on 249 employee dataset using versions SPSS 26 and AMOS 26. Results illustrate an inverse correlation between perceived overqualification and knowledge hiding behavior (...) which is partly mediated by psychological capital and moderated by person-organization fit, implying that good organizational atmosphere that builds up individual psychological capital with better person-organization fit will allow employees to work positively to reduce knowledge hiding behavior when perceived overqualified. This study complements a small quantity of discussions on the positive impact of perceived overqualification on knowledge management and fills omissions in previous studies on the negative effect of perceived overqualification on knowledge hiding behavior in changing surroundings. (shrink)