Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un "sens" dans la communication (langagière particulièrement). Le support de la sémantique, la syntaxe, concerne pour sa part le signifiant, sa morphologie, sa langue, sa graphie, sa grammaire ; c'est la forme de l'énoncé.
Théorie de l'argumentation
Des efforts ont été faits dans le domaine de l'intelligence artificielle, pour réaliser et analyser l'argumentation avec des ordinateurs. L'argumentation a été utilisée pour fournir une preuve de la théorie de la sémantique pour la logique non-monotone, débutant par les travaux influents de Dung (1995). Les systèmes informatiques d'argumentation ont trouvé une application en particulier dans les domaines où la logique formelle est incapable de saisir la richesse de raisonnement, des domaines tels que le droit et la médecine.