Sentence examples for logical representation from inspiring English sources
TPS (Andrews et al. 1996) is a theorem proving system for higher-order logic that uses Church's typed λ-calculus as its logical representation language and is based on a connection-type deduction mechanism that incorporates Huet's unification algorithm (Huet 1975).
It uses a representational language, Intensional Logic, but Montague (1970) showed that this use of a higher-order logical representation language was just a convenience, and completely dispensible.
The main idea lies in the logical representation.
Mapping this filter realization on a highly parallel architecture entailed a shift in the logical representation of the particles.
Proposition 3.1 provides the basis for defining a hierarchy of complexity classes – i.e. the so-called Polynomial Hierarchy [\ \textbf{PH}\)] – based on the logical representation of computational problems.
By lambda conversion we obtain ∀x[man(x) →sing(x)], which is the traditional logical representation of Every man is singing.
But this does not prevent practical reasoning, either by direct use of such quantifiers in the logical representations of sentences (an approach in the spirit of natural logic), or by reducing them to set-theoretic or mereological relations within an FOL framework.
Because women are not allowed to be soldiers in Tony's mob war, they are the logical representations of how violence spills over the boundaries of the gangster's profession, touching the innocent people in his life.
Following Hempel, we will take universally quantified material conditionals as canonical logical representations of relevant hypotheses.
Another common strain in much of the theorizing about conceptual representation has been a certain diffidence concerning logical representations and denotational semantics.
As discussed above, much of the interest in diagrams has been generated by the claim that they are somehow more "effective" than traditional logical representations for certain types of task.
