Detta dokument beskriver ett standard resonerande problem, i likhet med ramproblemet, som uppstår när ett försök görs att konstruera en logikbaserad analys för resonemang om rörelsen av objekt i ett verkligt värderat koordinerat system. Ett antal möjliga lösningar på detta problem undersöks. Särskild uppmärksamhet ägnas åt samspelet mellan det felaktiga resonemang som krävs av dessa lösningar och det som krävs för att övervinna ramproblemet, särskilt när det senare kräver en "existens av situationer" axiom. Denna förordning träder i kraft den tjugonde dagen efter det att den har offentliggjorts i Europeiska unionens officiella tidning.
Relaterat arbete om utrymme och rörelse REF ) beskriver ett standard resonerande problem, liknande det klassiska frame problemet, som uppstår när ett försök görs att konstruera en logikbaserad analys för resonemang om rörelsen av objekt i ett verkligt värderat koordinerat system.
Default Reasoning about Spatial Occupancy
{'venue': 'Artif. Intell.', 'journal': None, 'mag_field_of_study': ['Computer Science']}