Argumentation theory is one good example of how logic is being applied to artificial intelligence.
Η θεωρία επιχειρηματολογίας είναι ένα καλό παράδειγμα του πώς η λογική εφαρμόζεται στην τεχνητή νοημοσύνη.