Nitta et al. pointed out that for legal reasoning a sort-hierarchy (or a sorted term) is not sufficient to describe structural knowledge for event assertions, which express facts caused at some particular time and place.
To deal with such a predicate hierarchy, which is more intricate than a sort-hierarchy, Nitta et al. implemented a typed (sorted) logic programming language extended to include a hierarchy of verbal concepts (corresponding to predicates).
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy).
In this paper, we formalize a logic programming language with not only a sort-hierarchy but also a predicate hierarchy.
He encouraged his readers to actively engage with a host of non-Buddhist and Buddhist philosophical positions as they ascended a sort of hierarchy of philosophical views, a hierarchy that in his opinion culminates in the Madhyamaka view.
(For more on the mathematics of this sort of hierarchy of languages, see Halbach (1997).) Why is there no Liar paradox in this sort of hierarchy of languages?
"It would try to build a sort of hierarchy of knowledge around this fact.
In an equal opportunities framework, all those working or visiting are called "volunteers", which avoids any sort of hierarchy.
Are you more influenced by artists such as, say, Kenny Scharf or Yayoi Kusama, or do you draw more influence from pop culture phenomena like kids' cartoon shows?It's hard to list influences in some sort of hierarchy of importance.
Online communities like GeoCities and Tripod were the true digital arcades of that period, trading in the most obscure and the most peculiar, without any sort of hierarchy ranking them by popularity or commercial value.
The work is published in this week's Science.Because access to the observation points was restricted, Dr Ghezzi and Dr Ruggles argue that some sort of hierarchy must have existed, and that those who were able to observe the setting sun and announce its happening would have had the power to preside over the associated rituals.
