automated reasoning

views updated

automated reasoning The use of computer programs that perform inference processes. See theorem proving, production rule systems.