BITSHARE: Bitstringsemantiek voor Menselijk en Artificieel Redeneren

Het formalisme van bitstringsemantiek, dat recent ontwikkeld is binnen de logica, stelt ons in staat om de betekenisrelaties tussen verschillende uitdrukkingen te analyseren. Omdat dit formalisme op een fundamenteel lokale manier tewerk gaat, is het in staat om een goed evenwicht te vinden tussen hoge expressiviteit en lage wiskundige/computationele complexiteit. Het overkoepelende doel van het BITSHARE-project is om nieuwe toepassingen van de bitstringsemantiek te verkennen in andere disciplines die betekenis en redeneren bestuderen, zoals filosofie, linguïstiek, psychologie en computerwetenschappen. Tot de beoogde toepassingen behoren een aantal centrale actuele onderzoeksthema’s uit deze disciplines, zoals scalaire implicaturen, het raakvlak tussen semantiek en pragmatiek, collaboratieve kennisextractie en probabilistische causale modellen. Met deze keuze van doeltoepassingen zal het project aantonen dat bitstringsemantiek een gemeenschappelijk representatieformalisme kan bieden voor een brede, interdisciplinaire gemeenschap van onderzoekers naar redeneren, waarin inzichten uit verschillende disciplines kunnen worden uitgedrukt en met elkaar gecombineerd.

Trefwoorden:bitstring semantics, scalar implicature, Decision Model and Notation (DMN), causal reasoning, natural language quantification, logical geometry

Disciplines:Cognitieve processen, Logica, Semantiek, Pragmatiek, Artificiële intelligentie, Psycholinguïstiek en neurolinguïstiek, Kennisrepresentatie en redenering, Cognitieve wetenschappen en intelligente systemen die niet elders zijn geclassificeerd, Kennisrepresentatie en machine learning, Computationele logica en formele talen, Mathematische linguïstiek, Mathematische psychologie, Onderzoeksmethoden en experimentontwerp, Taalfilosofie, Ethiek van technologie, Cognitieve neurowetenschappen, Analytische filosofie