1093389
TOPS: An intelligent associate for Turning Operation Planning
This article describes the development of a new modeling environment that supports the building of intelligent associates for turning operation planning. By intelligent associates, we mean a computer-based system that allows a process planner to assert a greater degree of control during a consultation than do traditional expert systems. Intelligent associates are able to assist process planners in a colleague-like manner while solving domain tasks. They relieve routine operations while supporting creative problem-solving. Multiple levels of human experience are supported, advising and constraining inexperienced planners while providing a flexible environment for experienced planners working on new planning strategies. Several Al-based techniques have been employed in the development of this new modeling environment. The utility of this environment is demonstrated by developing a turning operation planning intelligent associate (TOPS). TOPS assists a process planner by computing interactions and checking f...
5343942
Knowledge-Based Equation Discovery in Engineering Domains
Machine learning techniques that can compress datasets into relationships that underlie the data have great utility for engineers. Most model discovery systems are not well suited to discovering comprehensible models in engineering domains. In this paper we present KEDS, a Knowledge-based Equation Discovery System, which uses a model-driven approach to discover equations and thereby build models from engineering data.
6309018
Knowledge-based learning integrating acquisition and learning
Empirical learning algorithms are hampered by their inability to use domain knowledge to guide the induction of new rules. This paper describes knowledge-based learning, an approach to learning that selects the examples and relevant attributes for an empirical algorithm. Knowledge-based learning can be used for developing rules for engineering expert systems. Engineers often have some rules for problem solving, but also many experiences (examples) that facilitate solving problems. Knowledge-based learning systems are able to use both forms of knowledge.
35812356
A Study of How Domain Knowledge Improves Knowledge-Based Learning Systems
Abstract A knowledge-based learning system is developed to demonstrate that intelligently selecting a subset of examples based on domain knowledge for rule induction can be more productive than using all provided examples. Knowledge-based learning uses an incomplete domain theory and examples to induce knowledge missing in the theory. Knowledge-based learning systems determine where knowledge is missing in a domain theory, select a relevant subset of examples to use in induction, and induce new rules or modify existing rules.
12858200
Building Robust Learning Systems by Combining Induction and Optimization
Each concept description language and search strategy has an inherent inductive bias, a preference for some hypotheses over others. No single inductive bias performs optimally on all problems. This paper describes a system that couples induction with optimization to carry out an efficient search of large regions of inductive bias space. Experimental results are reported demonstrating the system's capacity to choose optimal biases even for complex and noisy problems.
37627056
SWIFT: system workbench for integrating and facilitating teams
There have been many R&D efforts in recent years to develop computer environments that directly enhance group problem-solving productivity. An example of such efforts is the computer-based virtual teaming technology (VTT) developed at the knowledge-based Engineering Sytems Research Laboratory (KESRL). The core software environment for KESRL's VTT is called SWIFT and is based on the knowledge processing technology (KPT) previously developed at KESRL to support various engineering design tasks. SWIFT is a flexible environment which enables the rapid development of collaborative applications, linking workers in distributed environments, of many domains. The paper presents the overall system architecture of SWIFT, and introduces the current and future R&D efforts at KESRL in realizing SWIFT for significant industrial applications.<<ETX>>
11393308
Computational Methods for Analysis of Cryptic Recombination in the Performance of Genomic Recombination Detection Software
The detection of recombination from DNA sequences is relevant to the understanding of evolutionary and molecular genetics. While programs such as GENECONV have been identified as detecting recombination more reliably than others, previous studies have not analyzed how many recombinations they fail to detect. We develop a method for testing how often such programs fail to identify recombinations and how detectability is affected by pairwise differences among the parental sequences. Recombination of sequences having a range of average pairwise differences (APD) is simulated by a stochastic method, and then the history of recombinations is compared to the recombinations identified by GENECONV. With high APD, GENECONV fails to detect ~50% of recombinations; while at a more typical intraspecies APD of 1% to 2%, >70% of recombinations are undetected. Quantitative results suggest corrections for estimating recombination rates more accurately and methods to detect evidence of recombination more consistently.
18131628
Automatic workflow verification and generation
Correctness is an important aspect of workflow management systems. However, most of the workflow literature focuses only on the modeling aspects and assumes that a workflow is correct if during the execution it respects the control and data dependency specified by the workflow designer. To address the correctness question properly we propose a new workflow model based on Hoare semantics that allows to: (1) automatically check if the desired outcome of a workflow can be produced by its actual implementation, (2) automatically synthesize a workflow implementation from the workflow specification and a given task library.In particular we: (1) formalize the semantics of workflows and tasks with pre-and postconditions, (2) for each control construct we provide a set of sound inference rules formalizing its semantics. While most of our workflow constructs are standard, two of them are new: the universal and the existential constructs. We then describe algorithms for automatically checking the correctness of workflows and for automatic workflow generation.
15805395
How bad TCP can perform in mobile ad hoc networks
Several recent studies have indicated that TCP performance degrades significantly in mobile ad hoc networks. This paper examines how badly TCP may perform in such networks and provides a quantitative characterization of this performance gap. Previous approaches typically made comparisons by ignoring the inherent dynamics such as mobility, channel error and shared-channel contention. Our work provides a realistic, achievable TCP throughput upper bound, and may serve as a benchmark for future TCP modifications in ad hoc networks. Our simulation findings indicate that node mobility, especially mobility-induced network disconnection and reconnection events, has the most significant impact on TCP performance. TCP NewReno merely achieves about 10% of a reference TCPs throughput in such cases. As mobility increases, the relative throughput drop ranges from almost 0% in the static case to 1000% in a highly mobile scenario (mobility speed is 20 m/sec). In contrast, congestion and mild channel error (say, 1%) have less visible effect on TCP (with less than 10% performance drop compared with the reference TCP).
6254225
Adaptive Quality of Service Support for Packet-Switched Wireless Cellular Networks
In this paper, we propose an adaptive quality of service (QoS) design approach via resource reservation and rate adaptation to support multimedia over wireless cellular networks. Three contributions of this work are: (a) an adaptive QoS model that seeks to provide QoS assurances within bounds for each packet flow and to make advance resource reservation in order to support seamless mobility, (b) a revenue-based resource adaptation design that seeks to maximize network revenue while satisfying the QoS requirements, and (c) a resource reservation protocol that supports both application-initiated resource reservation and network-initiated resource adaptation. Our initial implementation and measurements confirm the effectiveness of the proposed design.
17978140
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application's control structure from the implementation of its task programs simplifies and speeds up application development. On the other hand, the run-time system assists users in coordinating and scheduling tasks of a business process. As a result, the cost of doing business is reduced, and business enterprises become more responsive to new business requirements and opportunities, hence, become more competitive in the market. Several formal methods have been proposed for specifying and modeling workflows. However, most workflows are designed manually, which becomes a time-consuming and error-prone procedure when a workflow involves hundreds or thousands of task programs. A recent approach is to generate workflow automatically from a task library and a specification of the desired outcome. In this paper, we define the notions of positive and negative dependency graphs for a task library to represent the dependencies among tasks in the library. Based on these dependencies, we identified sufficient conditions for a task library to be complete, and the conditions for a workflow postcondition to be realizable from a task library. We also identified a sufficient and necessary condition for the completeness of a class of task libraries, called S-task libraries.