Turing set about devising a machine that would automate the search for logical consistency, eliminating contradictory chains rapidly enough for the code-breakers to deduce that day's Enigma settings before the intelligence became stale.
His attitude to truth, and his slogan that ordinary language has no precise logic, implied that centring an analysis of meaning on truth conditions and a search for logical forms in natural language expressible in the predicate calculus was not correct.
For similarity searches, the logical order is chemicalize.org itself, followed by internal, public or commercial databases.
Anticipating your need to search is a logical next step.
I thought that my program would have to go on a long logical search to find Euclid's proof.
Wrestling with why his favorite 13 years were so fertile for comedy, Nachman writes, "Well into my search for a logical answer, I concluded that the comedy renaissance, like all artistic flowerings -- the French Impressionists, the Bloomsbury circle, the Italian and French New Wave cinema, Tin Pan Alley songwriters of the 30's and 40's, the 1927 New York Yankees -- was just a lucky accident".
The older child, for instance, who has learned the concept of reversibility, will be able to execute an intelligent and logical search for a missing object, retracing his steps, for example, in order to determine where he may have dropped a set of keys.
In his eyes, the Leibnizian project entailed the search for a logical language which would provide "a universal mode of characterizing conceptions" (ibid., p. 272).
For this reason, our view is that "Before one can use the power of semantic web, the relevant information has to be mined through the search mechanism and logical reasoning".
I've gotten pretty used to Google Now showing me my flight details, hotel reservations and OpenTable bookings on my Android Wear, for example, and adding this information to conversational search is a logical next step.
