Logic is the most common method of artificial intelligence.
Facts, rules and consequences, automated theorem proving,
logic programming and language are all part of artificial
intelligence theory. Founders of formal logic established as
an aim that consequences of situations can be demonstrated
unambiguously. AI has been credited with generating more
productive associations between items of information at little
cost. Look for symmetries, patterns or analogies for establishing
artificial intelligence.
In a robot program:
Guiding systems employ a user to lead robots through motions
Robot level users specify motions and sensing
Task level-users specify operations by their desired effects on
objects
Heuristics consists of a general pruning method. It sets the
search based on local information and explores the alternatives
so that only a subset is explored at each step. Local information
consists of goodness of points in the search space or distance of points utilizing a MINIMAX strategy. If no heuristics,
anything which passes a given set of tests is a solution.
Yazdani's works are an important contribution to the theory
and implementation of artificial intelligence and expert systems.