Logical AI involves mathematical logical language in a program to gain knowledge and reach goals. AI search programs often study large numbers of probabilities, eg. Ways are constantly being found to do this proficiently. A pattern recognition program studies and compares what it sees with a pattern. Knowledge is represented with a representation program.
Epistemology is the study of the types of knowledge needed for solving problems.
Planning programs begin with facts on the effects of action, on a given situation and a description of the goal. A generated strategy achieves the goal. Voice-recognition programs are cutting edge. They do not recognise every word at present, but future refinements will lead to improvements. This is a new aid to allow disabled people to use computers.