9,745 research outputs found

    Flexibly Instructable Agents

    Full text link
    This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent. Tutorial instruction is a flexible (and thus powerful) paradigm for teaching tasks because it allows an instructor to communicate whatever types of knowledge an agent might need in whatever situations might arise. To support this flexibility, however, the agent must be able to learn multiple kinds of knowledge from a broad range of instructional interactions. Our approach, called situated explanation, achieves such learning through a combination of analytic and inductive techniques. It combines a form of explanation-based learning that is situated for each instruction with a full suite of contextually guided responses to incomplete explanations. The approach is implemented in an agent called Instructo-Soar that learns hierarchies of new tasks and other domain knowledge from interactive natural language instructions. Instructo-Soar meets three key requirements of flexible instructability that distinguish it from previous systems: (1) it can take known or unknown commands at any instruction point; (2) it can handle instructions that apply to either its current situation or to a hypothetical situation specified in language (as in, for instance, conditional instructions); and (3) it can learn, from instructions, each class of knowledge it uses to perform tasks.Comment: See http://www.jair.org/ for any accompanying file

    Long-Run Structural and Productivity Change in U.S. Agriculture: Effects of Prices and Policies

    Get PDF
    Long-Run Structural and Productivity Change in U.S. Agriculture: Effects of Prices and Policies by Wallace E. Huffman and Robert E. Evenson The paper presents (1) a conceptual framework for structural change when farms may be multiproduct or specialized and (2) an econometrics examination of causes of structural and total factor productivity (TFP) change for U.S. agriculture. Farm size, farm specialization, and part-time farming are the structural dimension emphasized, and they become potential channels to TFP change. Using state aggregate data starting in 1950, we conclude that input prices, public and private research, public extension, and government commodity programs have directly and indirectly caused change in U.S. farm structure and TFP. Our results suggest that changes in farm size, however, have been dominated by input price changes rather than by technology or government programs.farm structure, productivity, farm size, farm specialization, part-time farming, research, technical change, agriculture

    Winners and Losers: Formula versus Competitive Funding of Agricultural Research

    Get PDF
    Research and Development/Tech Change/Emerging Technologies, O3, O4, Q16,

    Fact sheet: Canopy cover and forest conditions

    Get PDF
    Canopy cover and how it relates to other forest attributes as an indicator of forest conditions

    An implementation of Deflate in Coq

    Full text link
    The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are specified, and several sources for confusion in the standard. We tried to fix this problem by giving a rigorous mathematical specification, which we formalized in Coq. We produced a verified implementation in Coq which achieves competitive performance on inputs of several megabytes. In this paper we present the several parts of our implementation: a fully verified implementation of canonical prefix-free codings, which can be used in other compression formats as well, and an elegant formalism for specifying sophisticated formats, which we used to implement both a compression and decompression algorithm in Coq which we formally prove inverse to each other -- the first time this has been achieved to our knowledge. The compatibility to other Deflate implementations can be shown empirically. We furthermore discuss some of the difficulties, specifically regarding memory and runtime requirements, and our approaches to overcome them

    High efficiency thermionic converter studies

    Get PDF
    Research in thermionic energy conversion technology is reported. The objectives were to produce converters suitable for use in out of core space reactors, radioisotope generators, and solar satellites. The development of emitter electrodes that operate at low cesium pressure, stable low work function collector electrodes, and more efficient means of space charge neutralization were investigated to improve thermionic converter performance. Potential improvements in collector properties were noted with evaporated thin film barium oxide coatings. Experiments with cesium carbonate suggest this substance may provide optimum combinations of cesium and oxygen for thermionic conversion
    corecore