skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: TRuML: a translator for rule-based modeling languages

ORCiD logo [1]; ORCiD logo [1]
  1. Los Alamos National Laboratory
Publication Date:
Research Org.:
Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
Sponsoring Org.:
OSTI Identifier:
Report Number(s):
DOE Contract Number:
Resource Type:
Resource Relation:
Conference: ACM-BCB ; 2017-08-21 - 2017-08-23 ; Cambridge, Massachusetts, United States
Country of Publication:
United States
Biological Science

Citation Formats

Suderman, Ryan T., and Hlavacek, William Scott. TRuML: a translator for rule-based modeling languages. United States: N. p., 2017. Web. doi:10.1145/3107411.3107471.
Suderman, Ryan T., & Hlavacek, William Scott. TRuML: a translator for rule-based modeling languages. United States. doi:10.1145/3107411.3107471.
Suderman, Ryan T., and Hlavacek, William Scott. 2017. "TRuML: a translator for rule-based modeling languages". United States. doi:10.1145/3107411.3107471.
title = {TRuML: a translator for rule-based modeling languages},
author = {Suderman, Ryan T. and Hlavacek, William Scott},
abstractNote = {},
doi = {10.1145/3107411.3107471},
journal = {},
number = ,
volume = ,
place = {United States},
year = 2017,
month = 9

Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share:
  • Estimating the frequency of accidents in nonreactor nuclear facilities is difficult because quantitative reliability data are lacking for many critical items. Because data are often lacking, the risk analysis relies on [open quotes]expert judgment[close quotes] or [open quotes]engineering judgment.[close quotes] This paper presents an alternative to the ad hoc use of engineering judgment in risk analysis. This alternative is fuzzy rule-based modeling. The fundamental principle of fuzzy rule-based modeling is that qualitative knowledge, which is the basis of engineering judgment, is valid knowledge. The intent of fuzzy rule-based modeling is to make better, systematic use of qualitative knowledge. The methodmore » is related to expert system technology. The basic concepts of fuzzy rule-based modeling, as applied to consequence modeling, have been discussed previously. This paper examines the application of these methods to the problem of estimating probabilities. The study considers a particular application, determining the probability of a deflagration-to-detonation transition in a vapor cloud.« less
  • Most of the state-of-the-art building simulation programs implement models in imperative programming languages. This complicates modeling and excludes the use of certain efficient methods for simulation and optimization. In contrast, equation-based modeling languages declare relations among variables, thereby allowing the use of computer algebra to enable much simpler schematic modeling and to generate efficient code for simulation and optimization. We contrast the two approaches in this paper. We explain how such manipulations support new use cases. In the first of two examples, we couple models of the electrical grid, multiple buildings, HVAC systems and controllers to test a controller thatmore » adjusts building room temperatures and PV inverter reactive power to maintain power quality. In the second example, we contrast the computing time for solving an optimal control problem for a room-level model predictive controller with and without symbolic manipulations. As a result, exploiting the equation-based language led to 2, 200 times faster solution« less
  • This report contains viewgraphs on business rule enforcement by natural language modeling procedures. A number of examples are given.
  • A new interactive routing system based on artificial intelligence techniques is presented. This system accepts the designer's knowledge in the clausal form of first-order predicate logic, similar to PROLOG language. The system applies the clausal-form design logic knowledge based on predicate calculus. In order to solve a large-scale problem, the spark interpreter is introduced. It deals with the logical expression of a specific situation, especially for one which includes procedural relations, and adapts its inference result to a physical design strategy. This rule-based system has been developed to solve the practical large-scale routing problem. 7 references.