During your time on earth you've seen hundreds of thousands of faces. Out of all of those faces, you've most likely recognized many of them. The phrase "I'd know that face anywhere" is very relevant here. Have you ever thought about how you recognize a face? The process is much more complicated than you'd think.

Earlier facial recognition technology was considered as an idea of science fiction. But in the past decade, facial recognition technology has not only become real -- but it's widespread. Today, people can easily read articles and news stories about facial recognition everywhere. Here is the history of facial recognition technology and some ideas about its bright future. Facial recognition technology along with AI (Artificial Intelligence) and Deep Learning (DL) technology are benefiting several industries.

Keith Allen Bledsoe, the sixth teenage homicide victim in Lexington, Kentucky, this year, died as the other five had: by gunshot. On June 26, Lexington police found the 17-year-old Bledsoe's body in the streets of Harris Court, a cul-de-sac near I-64. If confrontation or argument had preceded Bledsoe's murder, none of the neighbors reported hearing it to police. If they heard gunshots, seemingly no one peered outside to investigate them. Officers reported no suspects or relevant witnesses, only shell casings and the gunshot wound to Bledsoe's head.

Woodrow Wilson (Woody) Bledsoe died on 4 October 1995 of ALS, more commonly known as Lou Gehrig's disease. Woody was one of the founders of AI, making early contributions in pattern recognition and automated reasoning. He continued to make significant contributions to AI throughout his long career. His legacy consists not only of his scientific work but also of several generations of scientists who learned from Woody the joy of scientific research and the way to go about it. Woody's enthusiasm, his perpetual sense of optimism, his can-do attitude, and his deep sense of duty to humanity offered those who knew him the hope and comfort that truly good and great men do exist. Woody was one of the founders of AI, making early contributions in pattern recognition and automated reasoning. He continued to make significant contributions to AI throughout his long career. His legacy consists not only of his scientific work but also of several generations of scientists who learned from Woody the ...

No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means--electronic, mechanical, photocopying, recording, or otherwise--without the prior written permission of the publisher.

This talk reviews those efforts in automatic theorem proving, during the past few years, which have theory, very easy for the computer.

(Bledsoe 1976). We didn't know we were being We spent a lot of time reading by ourselves, because most of the time the other grades were having their classes. But we DID learn, and had some pretty died on 4 October 1995 of ALS, good teachers (Bledsoe 1976). Woody was one of the and recalls spending "hours just roaming founders of AI, making early contributions in around, sometimes working mathematics pattern recognition and automated reasoning. He continued to make significant contributions When Woody was 12, his father died. It was to AI throughout his long career. His a devastating blow both emotionally and legacy consists not only of his scientific work financially. As Woody recalled, "We were poor but also of several generations of scientists before, but after papa died in January 1934, who learned from Woody the joy of scientific things got worse" (Bledsoe 1976). He and the research and the way to go about it. Woody's rest of his brothers and sisters worked dreary enthusiasm, his perpetual sense of optimism, 10-hour days to make ends meet. He to humanity offered those who knew him the found work in north Texas driving a tractor all hope and comfort that truly good and great night. After a month, he hopped a freight men do exist. He graduated little farm near Maysville, Oklahoma. He moved to Oklahoma to try his took a job as a dishwasher, working 12-hour luck at farming. Woody was the fourth child days 7 days a week. In for his heroic activities in arranging the April, the restaurant owner forced him back transportation of troops across the Rhine into working 12-hour days, which was too in March, 1945. He left the Rhine bridges except the one at Remagen university without saying goodbye and had been destroyed by the retreating German joined the United States Army. Patton's Third Army decided to cross the Rhine by boats near Frankfurt rather than suffer the delay of waiting for bridge construction. Therefore the went to Officer's Candidate School (OCS) Army Corps of Engineers hauled naval By the time he in 1942, he had been promoted to second landing craft (designed for beach landings) lieutenant. While at OCS, Woody had an by truck across Europe to ferry experience that had a profound effect on him: troops across the Rhine. Bledsoe, by then an Army captain, recalls that there was Another experience at OCS at Fort only light enemy fire during the crossing; Belvoir left a lasting impression on me. His first "research" was experimenting army truck. The simple idea opened the flap and said, "Get out here. of backing the trucks into the water, Let's do the map reading." He would later father a to get on with the work, to finish the son, Greg, born in March 1947. It taught me that "if we have to had two more children, Pam and Lance.

Earlier work by Newell, Simon, Shaw, and Gelernter in the middle and late 1950s emphasized the heuristic approach, but the weight soon shifted to various syntactic methods culminating in a large effort on resolution type systems in the last half of the 1960s. It was about 1970 when considerable interest was revived in heuristic methods and the use of human supplied, domain dependent, knowledge. It is not my intention here to slight the great names in automatic theorem proving, and their contributions to all we do, but rather to show another side of it. For recent books on automatic theorem proving see Chang and Lee [19], Loveland [44], and Hayes [31]. Also see Nilsson's recent review article [61]. The word "resolution" has come to be associated with general purpose types of theorem provers which use very little domain dependent information and few if any special heuristics besides those of a syntactic nature. It has also connoted the use of clauses and refutation proofs. There was much hope in the late 60's that such systems, especially with various exciting improvements, such as set of support, model elimination, etc., would be powerful provers. But by the early 70's there was emerging a belief that resolution type systems could never really "hack" it, could not prove really hard mathematical theorems, without some extensive changes in philosophy.

W. W. Bledsoe is a major figure in the evolution of the new scientific field artificial intelligence and one of the founding fathers of the related scientific field automated reasoning. At the time we write, Bledsoe is an active contributor to science and education at the University of Texas at Austin. We hope that our fondness for Bledsoe, whom we have known well for twenty-three years, has not clouded our assessment of his many achievements. We are certain that we have failed to treat adequately many aspects of Bledsoe's life prior to our first meeting him in 1966, and sadly fear that lack of space and lack of investigative effort cause us to omit quite a few interesting aspects of his career since then. We hope, however, that this short sketch of Bledsoe will please his friends and perhaps provide some useful information for a future biographer or historian of science.