Tài liệu Research Issues in Systems Analysis and Design, Databases and Software Development phần 9

Alternatively, we could adopt one of two extremes: (a) treat the rule overall
as an uninterpreted sentence, or informal comment, for which humans are
to provide the semantics, or (b) translate the semantic formulation directly
into higher order logic, which permits logical formulations (which connote
propositions) to be predicated over. The complexity and implementation
overhead of Option 2 would seem to be very substantial.
We could try to push such cases down to first-order logic by providing the
necessary semantic formulation machinery as a predefined package that may
be imported into a domain model, and then identifying propositions by means
of a structured logical formulation. However, that seems unclean because in
order to assign formal semantics to such expressions, we must effectively
adopt the higher order logic proposal mentioned in the previous paragraph.