Formalisierung

Humanities & Arts Dictionary
Der Prozess, informelle argumente, Konzepte oder Theorien der natürlichen Sprache in eine formale Sprache oder ein symbolisches System zu übersetzen (Festlegung von Syntax, Semantik und Inferenzregeln), sodass Aussagen und Inferenzbeziehungen präzise dargestellt und eindeutig auf Gültigkeit, Konsistenz, Konsequenz oder Berechenbarkeit analysiert werden können.