Paul Thagard je profesorem filozofie s křížovým jmenováním do psychologie a informatiky a ředitelem programu kognitivních věd na univerzitě ve Waterloo. Je absolventem univerzit v Saskatchewanu, Cambridge, Torontu (Ph.D. ve filozofii, 1977) a Michiganu (M.S. v informatice, 1985). Je autorem:
Byl předsedou správní rady společnosti kognitivní vědy 1998-1999 a prezidentem Společnosti pro stroje a mentalitu 1997-1998. Zastával kanadskou radu Killam stipendium, a v roce 1999 byl zvolen členem Royal Society of Canada. V roce 2003 obdržel University of Waterloo Award for Excellence in Research, a v roce 2005 byl jmenován University Research Chair.
Paul Thagard navrhl, že mnoho kognitivních funkcí, včetně vnímání, analogie, vysvětlení, rozhodování, plánování atd., může být chápáno jako forma (maximální) výpočtu koherence.
Thagard (společně s Karstenem Verbeurgtem) formulovali konkrétní formalizaci konceptu koherence jako problému spokojenosti s omezením. Model předpokládá, že koherence funguje přes množinu reprezentačních prvků (např. propozice, obrázky atd.), které mohou buď do sebe zapadat (koherence), nebo odolat tomu, aby do sebe zapadaly (nesoudržnost).
Jsou-li dva prvky p a q koherentní, jsou spojeny kladným omezením , a jsou-li dva prvky a nesoudržné, jsou spojeny záporným omezením . Dále jsou vážena omezení, tj. pro každé omezení existuje kladná váha .
Podle Thagarda maximalizace koherence zahrnuje rozdělení prvků na přijaté () a zamítnuté () prvky takovým způsobem, že je splněn maximální počet (nebo maximální váha) omezení. Zde se říká, že pozitivní omezení je splněno, pokud je buď obojí a je přijato () nebo obojí a je zamítnuto (). Negativní omezení je splněno, pokud je jeden prvek přijat (řekněme ), a druhý zamítnut ().