Utvecklingen av kompositionsdistributionsmodeller för semantik som förenar de empiriska aspekterna av distributionssemantik med kompositionsaspekterna av formella semantik är ett populärt ämne i samtida litteratur. Detta dokument syftar till att föra denna försoning ett steg längre genom att visa hur de matematiska konstruktioner som vanligen används i modeller för kompositionsdistribution, såsom tensorer och matriser, kan användas för att simulera olika aspekter av predikatlogik. I detta dokument diskuteras hur kanonisk isomorfism mellan tensorer och multilinjära kartor kan utnyttjas för att simulera en fullblåst kvantifierfri predikatkalkyl med tensorer. Det ger tensor tolkningar av den uppsättning logiska bindväv som krävs för att modellera propositionskalkyl. Den föreslår en variant av dessa tensorkalkyler som kan modellera kvantifieringar, med hjälp av få icke-linjära operationer. Slutligen diskuteras relationen mellan dessa varianter och hur detta samband bör utgöra ämnet för det framtida arbetet.
Det har nyligen visats att detta tillvägagångssätt kan utvidgas för att möjliggöra simulering av predikatkalkyl med tensorer REF.
Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
{'venue': '*SEM', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}