automated reasoning
automated reasoning The use of computer programs that perform inference processes. See theorem proving, production rule systems.
More From encyclopedia.com
Reason , In English the word reason has long had, and still has, a large number and a wide variety of senses and uses, related to one another in ways that are… Artificial Intelligence , Artificial intelligence (AI) is a scientific field whose goal is to understand intelligent thought processes and behavior and to develop methods for… Computer Program , pro·gram / ˈprōˌgram; -grəm/ (Brit. pro·gramme) • n. 1. a planned series of future events, items, or performances: a weekly program of films the prog… Personal Computer , Since they were introduced in the 1970s, the rapid-fire innovations in personal computers (PCs) have continuously changed the way Americans live. Hun… Software Development , Education and Training: College
Salary: Median—$62,890 per year
Employment Outlook: Fair
Computer programmers write the step-by-step instructions tha… Programming , Award-winning computer designer and engineer W. Daniel Hillis captured the essence of programming when he said: "The magic of a computer lies in its…
You Might Also Like
NEARBY TERMS
automated reasoning