Les études en psychologie du raisonnement spatial se concentrent généralement sur des problèmes de positionnement d'objets, comme par exemple "A est à gauche de B, C est à droite de B, où est A par rapport à C ?". Le modèle computationnel PRISM simule en détail les processus psychologiques qui nous permettent de résoudre ce genre de problèmes, notamment en intégrant des éléments cognitifs pertinents comme les limites attentionnelles. Toutefois, aucun modèle computationnel ne semble exister pour modéliser nos raisonnements sur d'autres types de relations, comme l'inclusion de cercles, ou celles utilisées en géométrie. Cette thèse propose un tel modèle, notamment en combinant les principes psychologiques déjà présents dans PRISM avec les possibilités offertes par le récent outil computationnel Answer Set Programming Modulo Theories for the Qualitative Spatial domain ASPMT(QS). En outre, des théories de linguistique cognitive nous autorisent à utiliser ce modèle sur une plus large partie du langage. Cela permet d'apporter un éclairage nouveau sur certains sujets en sciences cognitives, comme par exemple l'étude des connecteurs logiques.