890 resultados para Abductive reasoning
Resumo:
Professionals who are responsible for coastal environmental and natural resource planning and management have a need to become conversant with new concepts designed to provide quantitative measures of the environmental benefits of natural resources. These amenities range from beaches to wetlands to clean water and other assets that normally are not bought and sold in everyday markets. At all levels of government — from federal agencies to townships and counties — decisionmakers are being asked to account for the costs and benefits of proposed actions. To non-specialists, the tools of professional economists are often poorly understood and sometimes inappropriate for the problem at hand. This handbook is intended to bridge this gap. The most widely used organizing tool for dealing with natural and environmental resource choices is benefit-cost analysis — it offers a convenient way to carefully identify and array, quantitatively if possible, the major costs, benefits, and consequences of a proposed policy or regulation. The major strength of benefit-cost analysis is not necessarily the predicted outcome, which depends upon assumptions and techniques, but the process itself, which forces an approach to decision-making that is based largely on rigorous and quantitative reasoning. However, a major shortfall of benefit-cost analysis has been the difficulty of quantifying both benefits and costs of actions that impact environmental assets not normally, nor even regularly, bought and sold in markets. Failure to account for these assets, to omit them from the benefit-cost equation, could seriously bias decisionmaking, often to the detriment of the environment. Economists and other social scientists have put a great deal of effort into addressing this shortcoming by developing techniques to quantify these non-market benefits. The major focus of this handbook is on introducing and illustrating concepts of environmental valuation, among them Travel Cost models and Contingent Valuation. These concepts, combined with advances in natural sciences that allow us to better understand how changes in the natural environment influence human behavior, aim to address some of the more serious shortcomings in the application of economic analysis to natural resource and environmental management and policy analysis. Because the handbook is intended for non-economists, it addresses basic concepts of economic value such as willingness-to-pay and other tools often used in decision making such as costeffectiveness analysis, economic impact analysis, and sustainable development. A number of regionally oriented case studies are included to illustrate the practical application of these concepts and techniques.
Resumo:
Professionals who are responsible for coastal environmental and natural resource planning and management have a need to become conversant with new concepts designed to provide quantitative measures of the environmental benefits of natural resources. These amenities range from beaches to wetlands to clean water and other assets that normally are not bought and sold in everyday markets. At all levels of government — from federal agencies to townships and counties — decisionmakers are being asked to account for the costs and benefits of proposed actions. To non-specialists, the tools of professional economists are often poorly understood and sometimes inappropriate for the problem at hand. This handbook is intended to bridge this gap. The most widely used organizing tool for dealing with natural and environmental resource choices is benefit-cost analysis — it offers a convenient way to carefully identify and array, quantitatively if possible, the major costs, benefits, and consequences of a proposed policy or regulation. The major strength of benefit-cost analysis is not necessarily the predicted outcome, which depends upon assumptions and techniques, but the process itself, which forces an approach to decision-making that is based largely on rigorous and quantitative reasoning. However, a major shortfall of benefit-cost analysis has been the difficulty of quantifying both benefits and costs of actions that impact environmental assets not normally, nor even regularly, bought and sold in markets. Failure to account for these assets, to omit them from the benefit-cost equation, could seriously bias decisionmaking, often to the detriment of the environment. Economists and other social scientists have put a great deal of effort into addressing this shortcoming by developing techniques to quantify these non-market benefits. The major focus of this handbook is on introducing and illustrating concepts of environmental valuation, among them Travel Cost models and Contingent Valuation. These concepts, combined with advances in natural sciences that allow us to better understand how changes in the natural environment influence human behavior, aim to address some of the more serious shortcomings in the application of economic analysis to natural resource and environmental management and policy analysis. Because the handbook is intended for non-economists, it addresses basic concepts of economic value such as willingness-to-pay and other tools often used in decision making such as costeffectiveness analysis, economic impact analysis, and sustainable development. A number of regionally oriented case studies are included to illustrate the practical application of these concepts and techniques.
Resumo:
There is increasing adoption of computer-based tools to support the product development process. Tolls include computer-aided design, computer-aided manufacture, systems engineering and product data management systems. The fact that companies choose to invest in tools might be regarded as evidence that tools, in aggregate, are perceived to possess business value through their application to engineering activities. Yet the ways in which value accrues from tool technology are poorly understood.
This report records the proceedings of an international workshop during which some novel approaches to improving our understanding of this problem of tool valuation were presented and debated. The value of methods and processes were also discussed. The workshop brought together British, Dutch, German and Italian researchers. The presenters included speakers from industry and academia (the University of Cambridge, the University of Magdeburg and the Politechnico de Torino)
The work presented showed great variety. Research methods include case studies, questionnaires, statistical analysis, semi-structured interviews, deduction, inductive reasoning, the recording of anecdotes and analogies. The presentations drew on financial investment theory, the industrial experience of workshop participants, discussions with students developing tools, modern economic theories and speculation on the effects of company capabilities.
Resumo:
These three papers describe an approach to the synthesis of solutions to a class of mechanical design problems; these involve transmission and transformation of mechanical forces and motion, and can be described by a set of inputs and outputs. The approach involves (1) identifying a set of primary functional elements and rules of combining them, and (2) developing appropriate representations and reasoning procedures for synthesising solution concepts using these elements and their combination rules; these synthesis procedures can produce an exhaustive set of solution concepts, in terms of their topological as well as spatial configurations, to a given design problem. This paper (Part III) describes a constraint propagation procedure which, using a knowledge base of spatial information about a set of primary functional elements, can produce possible spatial configurations of solution concepts generated in Part II.
Resumo:
We present a novel framework for identifying and tracking dominant agents in groups. Our proposed approach relies on a causality detection scheme that is capable of ranking agents with respect to their contribution in shaping the system's collective behaviour based exclusively on the agents' observed trajectories. Further, the reasoning paradigm is made robust to multiple emissions and clutter by employing a class of recently introduced Markov chain Monte Carlo-based group tracking methods. Examples are provided that demonstrate the strong potential of the proposed scheme in identifying actual leaders in swarms of interacting agents and moving crowds. © 2011 IEEE.
Resumo:
Design knowledge can be acquired from various sources and generally requires an integrated representation for its effective and efficient re-use. Though knowledge about products and processes can illustrate the solutions created (know-what) and the courses of actions (know-how) involved in their creation, the reasoning process (know-why) underlying the solutions and actions is still needed for an integrated representation of design knowledge. Design rationale is an effective way of capturing that missing part, since it records the issues addressed, the options considered, and the arguments used when specific design solutions are created and evaluated. Apart from the need for an integrated representation, effective retrieval methods are also of great importance for the re-use of design knowledge, as the knowledge involved in designing complex products can be huge. Developing methods for the retrieval of design rationale is very useful as part of the effective management of design knowledge, for the following reasons. Firstly, design engineers tend to want to consider issues and solutions before looking at solid models or process specifications in detail. Secondly, design rationale is mainly described using text, which often embodies much relevant design knowledge. Last but not least, design rationale is generally captured by identifying elements and their dependencies, i.e. in a structured way which opens the opportunity for going beyond simple keyword-based searching. In this paper, the management of design rationale for the re-use of design knowledge is presented. The retrieval of design rationale records in particular is discussed in detail. As evidenced in the development and evaluation, the methods proposed are useful for the re-use of design knowledge and can be generalised to be used for the retrieval of other kinds of structured design knowledge. © 2012 Elsevier Ltd. All rights reserved.
Resumo:
First responders are in danger when they perform tasks in damaged buildings after earthquakes. Structural collapse due to the failure of critical load bearing structural members (e.g. columns) during a post-earthquake event such as an aftershock can make first responders victims, considering they are unable to assess the impact of the damage inflicted in load bearing members. The writers here propose a method that can provide first responders with a crude but quick estimate of the damage inflicted in load bearing members. Under the proposed method, critical structural members (reinforced concrete columns in this study) are identified from digital visual data and the damage superimposed on these structural members is detected with the help of Visual Pattern Recognition techniques. The correlation of the two (e.g. the position, orientation and size of a crack on the surface of a column) is used to query a case-based reasoning knowledge base, which contains apriori classified states of columns according to the damage inflicted on them. When query results indicate the column's damage state is severe, the method assumes that a structural collapse is likely and first responders are warned to evacuate.
Resumo:
Are there any benefits in allowing orders and products to be able to manage their own progress through a supply chain? The notion of associating (and even embedding) information management and reasoning capabilities with a physical product has been discussed for over ten years now. This talk will review the notions of product intelligence and examine the rationales for these models and the practicality of their implementation. Both theoretical and practical issues associated with product intelligence will be examined referencing a number of trial deployments in manufacturing, logistics and aerospace equipment servicing. © 2012 IFAC.
Resumo:
Understanding how and why changes propagate during engineering design is critical because most products and systems emerge from predecessors and not through clean sheet design. This paper applies change propagation analysis methods and extends prior reasoning through examination of a large data set from industry including 41,500 change requests, spanning 8 years during the design of a complex sensor system. Different methods are used to analyze the data and the results are compared to each other and evaluated in the context of previous findings. In particular the networks of connected parent, child and sibling changes are resolved over time and mapped to 46 subsystem areas. A normalized change propagation index (CPI) is then developed, showing the relative strength of each area on the absorber-multiplier spectrum between -1 and +1. Multipliers send out more changes than they receive and are good candidates for more focused change management. Another interesting finding is the quantitative confirmation of the "ripple" change pattern. Unlike the earlier prediction, however, it was found that the peak of cyclical change activity occurred late in the program driven by systems integration and functional testing. Patterns emerged from the data and offer clear implications for technical change management approaches in system design. Copyright © 2007 by ASME.
Resumo:
We demonstrate a new method for extracting high-level scene information from the type of data available from simultaneous localisation and mapping systems. We model the scene with a collection of primitives (such as bounded planes), and make explicit use of both visible and occluded points in order to refine the model. Since our formulation allows for different kinds of primitives and an arbitrary number of each, we use Bayesian model evidence to compare very different models on an even footing. Additionally, by making use of Bayesian techniques we can also avoid explicitly finding the optimal assignment of map landmarks to primitives. The results show that explicit reasoning about occlusion improves model accuracy and yields models which are suitable for aiding data association. © 2011. The copyright of this document resides with its authors.
Resumo:
© 2014, Springer-Verlag London. Engineering changes are essential for any product development, and their management has become a crucial discipline. Research in engineering change management has brought about some methods and tools to support dealing with changes. This work extends the change prediction method through incorporation of a function–behaviour–structure (FBS) scheme. These additional levels of detail provide the rationales for change propagation and allow a more proactive management of changes. First, we develop the ontology of this method based on a comprehensive comparison of three seminal functional reasoning schemes. Then, we demonstrate the FBS Linkage technique by applying it to a diesel engine. Finally, we evaluate the method.
Resumo:
The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.
Resumo:
The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.
Resumo:
研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.