En formell semantik för låg-nivå perceptuella aspekter av mening presenteras, binda dessa tillsammans med de logiska-inferentiella aspekter av mening som traditionellt studeras i formella semantik. Nyckelidén är att modellera perceptuella betydelser som klassificeringar av perceptuell inmatning. Dessutom visar vi hur perceptuella aspekter av mening kan uppdateras som ett resultat av att man observerar språkanvändning i interaktion, vilket möjliggör finkornig semantisk plasticitet och semantisk samordning. Detta kräver en ram där anspänningar (1) representeras oberoende av utvidgningar, och (2) strukturerade objekt som kan ändras till följd av lärande. Vi använder Type Theory with Records (TTR), ett formellt semantikramverk som utgår från idén att information och mening bygger på vår förmåga att uppfatta och klassificera världen, d.v.s. att uppfatta objekt och situationer som av olika slag. Som ett exempel på vårt tillvägagångssätt visar vi hur en enkel klassificering av rumslig information baserad på Perceptron kan gjutas i TTR.
REF representerar betydelsen av ett perceptuellt begrepp som en klassificering av perceptuell indata i TTR-ramen.
Formal semantics for perceptual classification
{'venue': 'J. Log. Comput.', 'journal': 'J. Log. Comput.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}