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.

Cet ouvrage réévalue l’importance de l’anaphore pour la sémantique formelle et pour la sémantique générale, en analysant en détail les solutions au problème fameux des phrases « asinantes » ou donkey sentences comme « si un fermier possède un âne, il le bat », phrases qui sont rebelles à une formalisation en logique des prédicats du premier ordre. Nous défendons une...