Examples of inference trees are presented in [2].
While the examples of inference furnished all have parts corresponding to a proposition (pratijñā) and to a ground (hetu), not all the texts are equally explicit in identifying the form of inference.
To conclude our presentation, we report two examples of inference of Human Y‐chromosome phylogeny from Short Tandem Repeats.
Among examples of inference in complex scenarios given above, all but one (the simplest) have used this approach, showing that it can indeed solve complex problems.
Rare examples of inference in non-standard scenarios can be found in O'Ryan et al. (1998) including three populations and two successive divergences, or Estoup et al. (2004) (10 populations that sequentially diverged with initial bottlenecks and exchanging migrants with neighbouring populations).
For example, in the case of inference of Boolean networks, the so-called sensitivity regularisation method has been proposed [ 64].
Example of inferred composite context is inference of media type that can be played by a handheld device based on current network bandwidth and available memory.
For example, rules of inference could be based on natural selection of "cheater detection" modules, as Cosmides and Tooby claim, but they could also arise as a byproduct of early learning, which could establish social rules for reasoning about social contracts.
Examples of inferences in classical texts often seem non-monotonic because fallibility attaches to the premises.
There are indeed examples of inferences of LGT based on unexpected patterns of phyletic distribution that have previously been shown to be wrong.
Dignāga does however get the credit for the earliest systematization, which employs three terms, a site or subject of a proposed inference (pakṣa, the mountain in the stock example of an inference from sight of smoke on a mountain to knowledge of fire on the mountain), the prover or prover property (hetu, smokiness), and the probandum (sādhya, fieriness).
