The Application First-Order Predicate Calculus to Risk Analysis.

      Аннотация: One of the most important aspects of any risk assessment is the risk itself and how it is presented. What is required is a clear way in which the risk can be communicated simply but in a manner which provides enough information to assure an accurate portrayal. This can be accomplished with a well-formulated risk statement. The purpose of this brief book is to explore the construction of robust risk statements, both positive and negative, from a logical perspective to prove the necessary level of rigor.

Ключевые слова: First-Order Predicate Calculus, risk analysis