Volume 56, 1998/99
Analytic Philosophy in Portugal
Luíz Moniz Pereira
Pages 183-204
The Logical Impingement of Artifical Intelligence
We address the impingement of Artificial Intelligence (AI) on logic, by examining the requirements posed on logic by knowledge representation and reasoning issues which A I has addressed. We then outline some of AI's contributions, via Logic Programming, to more dynamic forms of logic, in order to deal with knowledge in flux, namely: incomplete and contradictory information; hypotheses making through abduction; argumentation; diagnosis and debugging; updating; and learning. Along the way we delve into implications for the philosophy of knowledge.