Projektdatenbank (ab 2004)

Projektnummer

0062711

Zusammenfassung

Consistent, rational argumentation in politics seems on the retreat, while socially dangerous, inconsistent and irrational propaganda is on the rise. The question is whether knowledge representation and reasoning techniques from artificial intelligence can help to analyze arguments in politics. Recently, proof assistants with a trusted logical kernel have been developed and have been successfully applied in frontier applications in mathematics and metaphysics. However, the deep logical analysis of political arguments is by no means trivial. Political rhetoric is often messy, contains n...