Committment ontologico / Intended model
{"Image DocumentName": "Committment ontologico / Intended model", "Image ImageDescription": "Sia: C=(D,W,R) una concettualizzazione T una teoria logica con vocabolario V (espresso in un linguaggio logico) K=(C,I) un committment ontologico allora il modello M=((D,R),I) si dice essere un intended model rispetto a K se e solo se \u2200 costante c in V: I (c) = I (c) \u2203 un mondo w tale che \u2200 predicato p in V: I (p) = (I (p))(w) ovvero per le costanti la funzione di interpretazione I del modello e il committment ontologico I mappano quella costante allo stesso elemento in D", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}