The Consolation of Philosophy presents interpretative difficulties of a different order from the logical works or the theological treatises.
Although it represents an interesting development in philosophical logic, the scale of the accomplishment is very different from the research tradition in logical AI reported in Section 4, below.
Post-coordination, i.e. the possibility to combine SNOMED CT concepts from different hierarchies, increases the logical complexity of the problem, e.g. combinations like an observable entity (tumour stage), a body structure (structure of thyroid) and a context-dependent category (family history of).
Significantly different from the Boolean model, a pure logical-based discrete model which considers a molecule either active or inactive and is unable to capture important intermediate states, the ODE-based kinetic models are able to generate continuous and quantitative profiles of molecule concentrations [ 13].
This makes his logical system considerably different from the Aristotelian/Neo-Platonic systems of the Middle Ages, since for the latter the predicative relation of any sentence of the subject/copula/predicate form had to be understood as modally determined by the particular nature of the predicable corresponding to the predicate (i.e., its species, genus, difference, proprium, accident).
Note that our multi-layer approach is very different from the two-stage MS/MS search approach with logical dependencies between two stages.
If the thought that Hesperus shines is different from the thought that Phosphorus shines, thoughts cannot be logical complexes whose constituents are particulars and properties.
Interaction graphs and logical/Boolean models are related modeling formalisms, and together with logic-based ODE models that are derived from the logical description, these approaches can be integrated into a "modeling pipeline" allowing one to consider different levels of complexity and successive refinements of a network model under study.
"I have hardly played any of his music, and he is very different from the composers I usually play, but actually it's a quite logical step.
