Description
Report copyright infringement
by
U. S. Department of Commerce (Author)
Verifying correctness of stated facts, rules, and term definitions for an industrial domain of work requires the contributions of experts in the domain. Conversely, use of automated reasoning technologies to assist in making industry decisions and validating industry information demands that facts, rules and the definitions of terms be stated in a formal logic language. Such languages are very difficult for engineers and operations experts to understand, and generally difficult to use.
Number of Pages: 60Dimensions: 0.12 x 11 x 8.5 INPublication Date: July 23, 2014
Reviews
There are no reviews yet.