Université de Neuchâtel

Théories logiques de S. Lesniewski et systèmes évolutifs de connaissances

Godet, Frédéric ; Miéville, Denis (Dir.) ; Gessler, Nadine (Codir.) ; Grize, François (Codir.) ; Joray, Pierre (Codir.)

Thèse de doctorat : Université de Neuchâtel, 2012.

Les patrons des entreprises fondent leurs décisions sur la base d’indicateurs qui sont alimentés et calculés par des tableaux de bord. Les systèmes informatiques d’aide à la décision augmentent la complexité des rapports et conduisent lors des restructurations des affaires à des malfaçons. Cette recherche propose de formaliser les structures qui participent à la construction de ces...

Université de Neuchâtel

Structure et inférence : la question de l'anaphore

Bourquin, Daniel ; Miéville, Denis (Dir.)

Thèse de doctorat : , 2009 ; Th. 2109.

In this work, we re-evaluate the importance of the question of anaphora for formal semantics and for general semantics, analysing in detail the famous problem of donkey sentences (e.g. “If a farmer owns a donkey, he beats it”), which are difficult to formalise in first order logic. We argue for a structural and inferential approach to semantics which respects the principles of...