Formal Concepts in Artificial Intelligence: Fundamentals
Rajjan Shinghal · Medical Entomology and Zoology · 1991
A view of artificial intelligence automated reasoning with propositional logic, with predicate logic refinements to resolution refutation using logic to write programs natural language processing - a prescriptive grammar, syntax and semantics, a transformational grammar production rules for expert systems plausible reasoning in expert systems solving problems by searching state space, by searching decompositions playing games by searching trees. Appendix: Fingers to symbulators.