Si tratta delle relazioni presentate nei tre convegni sull'Intelligenza Artificiale tenuti a Lecce nel marzo 1990, aprile 1991 e maggio 1991. Tra le problematiche affrontate nell'ambito dell'IA la più importante è certamente quella dei rapporti tra linguaggio naturale, linguaggi logici e macchine reali. È possibile avere macchine che comprendono il linguaggio naturale? Quali formalismi sono necessari per questo scopo? Che ruolo ha la logica matematica nello sviluppo di questi formalismi? Queste domandano riassumono i temi generali nonché il filo conduttore dei lavori presentati nel fascicolo.
