From oljlemon@cogsci.ed.ac.uk Sun Dec 17 13:54:04 1995 Received: from deacon.cogsci.ed.ac.uk by moose.cs.indiana.edu (8.7.1/IUCS.1.39) id NAA08168; Sun, 17 Dec 1995 13:53:54 -0500 (EST) Received: from burns.cogsci.ed.ac.uk (burns.cogsci.ed.ac.uk [129.215.144.4]) by deacon.cogsci.ed.ac.uk (8.6.10/8.6.12) with SMTP id SAA12814; Sun, 17 Dec 1995 18:53:46 GMT Date: Sun, 17 Dec 95 18:53:44 GMT Message-Id: <24690.9512171853@burns.cogsci.ed.ac.uk> From: Oliver Lemon Subject: ITALLC96 Submission To: ITALLC96@cs.indiana.edu Cc: rodger@cogsci.ed.ac.uk Status: RO there follows a postscript version of our itallc 96 submission latex eps and bibtex files are to follow ------------------------------------------------------ %!PS-Adobe-2.0 %%Creator: dvips 5.526 Copyright 1986, 1994 Radical Eye Software %%Title: itab.dvi %%CreationDate: Sun Dec 17 18:47:50 1995 %%Pages: 11 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%DocumentFonts: Palatino-Roman Palatino-Bold Palatino-Italic %%EndComments %DVIPSCommandLine: dvips.bin -o lempra.ps itab.dvi %DVIPSParameters: dpi=300, comments removed %DVIPSSource: TeX output 1995.12.17:1223 %%BeginProcSet: tex.pro /TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /@rigin{isls{[ 0 -1 1 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{Resolution hsize -72 div mul 0 TR}if Resolution VResolution vsize -72 div 1 add mul TR matrix currentmatrix dup dup 4 get round 4 exch put dup dup 5 get round 5 exch put setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 add]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]} if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore showpage userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V {}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7 getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false} ifelse}{false}ifelse end{{gsave TR -.1 -.1 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 -.1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail} B /c{-4 M}B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{ 3 M}B /k{4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{ 3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet %%BeginProcSet: texps.pro TeXDict begin /rf{findfont dup length 1 add dict begin{1 index /FID ne 2 index /UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics exch def dict begin Encoding{exch dup type /integertype ne{pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def} ifelse}forall Metrics /Metrics currentdict end def[2 index currentdict end definefont 3 -1 roll makefont /setfont load]cvx def}def /ObliqueSlant{dup sin S cos div neg}B /SlantFont{4 index mul add}def /ExtendFont{3 -1 roll mul exch}def /ReEncodeFont{/Encoding exch def}def end %%EndProcSet %%BeginProcSet: special.pro TeXDict begin /SDict 200 dict N SDict begin /@SpecialDefaults{/hs 612 N /vs 792 N /ho 0 N /vo 0 N /hsc 1 N /vsc 1 N /ang 0 N /CLIP 0 N /rwiSeen false N /rhiSeen false N /letter{}N /note{}N /a4{}N /legal{}N}B /@scaleunit 100 N /@hscale{@scaleunit div /hsc X}B /@vscale{@scaleunit div /vsc X}B /@hsize{/hs X /CLIP 1 N}B /@vsize{/vs X /CLIP 1 N}B /@clip{ /CLIP 2 N}B /@hoffset{/ho X}B /@voffset{/vo X}B /@angle{/ang X}B /@rwi{ 10 div /rwi X /rwiSeen true N}B /@rhi{10 div /rhi X /rhiSeen true N}B /@llx{/llx X}B /@lly{/lly X}B /@urx{/urx X}B /@ury{/ury X}B /magscale true def end /@MacSetUp{userdict /md known{userdict /md get type /dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup length 20 add dict copy def}if end md begin /letter{}N /note{}N /legal{} N /od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath clippath mark{transform{itransform moveto}}{transform{itransform lineto} }{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{ itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{ closepath}}pathforall newpath counttomark array astore /gc xdf pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack}if}N /txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1 scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{noflips{TR pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr 0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4 -1 roll add 2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N /cp {pop pop showpage pm restore}N end}if}if}N /normalscale{Resolution 72 div VResolution 72 div neg scale magscale{DVImag dup scale}if 0 setgray} N /psfts{S 65781.76 div N}N /startTexFig{/psf$SavedState save N userdict maxlength dict begin /magscale true def normalscale currentpoint TR /psf$ury psfts /psf$urx psfts /psf$lly psfts /psf$llx psfts /psf$y psfts /psf$x psfts currentpoint /psf$cy X /psf$cx X /psf$sx psf$x psf$urx psf$llx sub div N /psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR /showpage{}N /erasepage{}N /copypage{}N /p 3 def @MacSetUp}N /doclip{ psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath moveto}N /endTexFig{end psf$SavedState restore}N /@beginspecial{SDict begin /SpecialSave save N gsave normalscale currentpoint TR @SpecialDefaults count /ocount X /dcount countdictstack N}N /@setspecial {CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR }{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury lineto closepath clip}if /showpage{}N /erasepage{}N /copypage{}N newpath }N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{ end}repeat grestore SpecialSave restore end}N /@defspecial{SDict begin} N /@fedspecial{end}B /li{lineto}B /rl{rlineto}B /rc{rcurveto}B /np{ /SaveX currentpoint /SaveY X N 1 setlinecap newpath}N /st{stroke SaveX SaveY moveto}N /fil{fill SaveX SaveY moveto}N /ellipse{/endangle X /startangle X /yrad X /xrad X /savematrix matrix currentmatrix N TR xrad yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end %%EndProcSet TeXDict begin 39158280 55380996 1000 300 300 (/import/usersA/oljlemon/MAN/itab.dvi) @start /Fa 182[20 7[47 17[36 47[{}3 59.999973 /Palatino-Roman rf /Fb 173[32 2[38 40 7[27 2[34 67[{}5 47.999954 /Palatino-Roman rf /Fc 10 55 df5 D<02040818103020604040C0C0C0C0C0C0C0C0C0C040406020301018080402071E7D 950D>40 D<804020301018080C04040606060606060606060604040C0818103020408007 1E7E950D>I<006000006000006000006000006000006000006000006000006000006000 FFFFF0FFFFF0006000006000006000006000006000006000006000006000006000006000 14167E9119>43 D<0C001C00EC000C000C000C000C000C000C000C000C000C000C000C00 0C000C000C000C00FFC00A137D9211>49 D<1F0060C06060F070F0306030007000700060 00C001C00180020004000810101020207FE0FFE00C137E9211>I<0FC030707038703870 380038003000E00FC0007000380018001C601CF01CF018E03860701FC00E137F9211>I< 006000E000E00160026006600C600860106020606060C060FFFC00600060006000600060 03FC0E137F9211>I<60607FC07F8044004000400040004F0070C040E0006000700070E0 70E070E06040E021C01F000C137E9211>I<07C00C201070207060006000C000CF00D0C0 E060C020C030C030C03040306020206010C00F000C137E9211>I E /Fd 1 51 df<03FC0FFC1C003000600060006000C000C000FFFCFFFCC000C000600060 00600030001C000FFC03FC0E147D9016>50 D E /Fe 17 121 df<3FFE7FFEC44084400C 400840084018C018C010C030C0306020600F0D7E8C13>25 D<40E0602020204040800309 7D820A>59 D<00200060006000C000C000C0018001800180030003000300060006000C00 0C000C00180018001800300030003000600060006000C000C000C0000B1D7E9511>61 D<07FFE000E07001C01801C00C01C00C01C00E03800E03800E03800E03800E07001C0700 1C07001C0700380E00300E00700E00E00E01C01C0700FFFC0017147F931B>68 D<07F000FE00F000F0017001E0017002E0017002E0017004E0027009C0023809C0023811 C0023821C0043823800438438004388380041C8380081D0700081E0700081E0700081C07 0018180E00FE187FC01F147F9320>77 D<07E01FC000E006000170040001700400013804 0001380400021C0800021C0800020E0800020E0800040710000407100004039000040390 000801E0000801E0000800E0000800E00018004000FE0040001A147F931A>I<07FFC000 E07001C01801C01C01C01C01C01C0380380380700380C003FF000701C00701C00700E007 00E00E01C00E01C00E01C00E01C21C01C4FF807817147F9319>82 D<00F8800305800603000401000C01000C01000C00000E00000FE00007F80001FC00001C 00000E00000E00400C00400C00400800601800D020008FC00011147E9314>I<03C00C20 187030E0600060006000C000C0004010602030C01F000C0D7F8C0F>99 D<0780184030206040C040FF80C00080008000C020C04061803E000B0D7E8C10>101 D<06070600000000384C4C8C98181830323264643808147F930C>105 D<30F87C00590C86004E0D06009C0E0600980C0600180C0600180C060030180C0030180C 8030181880301818806030190060300E00190D7F8C1D>109 D<30F8590C4E0C9C0C980C 180C180C30183019303130316032601C100D7F8C15>I<03800C60182030306030603060 30C060C06040C0608023001E000C0D7E8C10>I<31E05A704C709C609800180018003000 300030003000600060000C0D7F8C0F>114 D<0700188019C0318038001E000F00038041 80E180C10082007C000A0D7E8C10>I<0E3C13CE238E430C43000300030006000608C608 E610CA2071C00F0D7F8C13>120 D E /Ff 2 42 df<0102040C1818303070606060E0E0 E0E0E0E0E0E0E0E060606070303018180C04020108227D980E>40 D<8040203018180C0C0E060606070707070707070707070606060E0C0C18183020408008 227E980E>I E /Fg 13 122 df<60F0F070101020204040040A7D830A>59 D<07C00C20107020706000C000C000C00080008000C010C02060C03F000C0E7E8D0F>99 D<07C01C20301060106020FFC0C000C000C000C000C010402060C01F000C0E7E8D10> 101 D<1F0006000600060006000C000C000C000C0018F01B181C08180838183018301830 186030603160616062C026C03810177E9614>104 D<0300038003000000000000000000 000000001C002400460046008C000C0018001800180031003100320032001C0009177F96 0C>I<3E0C0C0C0C181818183030303060606060C0C8C8C8D07007177E960B>108 D<07C00C20101020186018C018C018C01880308030C060C0C061803E000D0E7E8D11> 111 D<1C3C22462382230346030603060306030C060C060C0C0C081A3019E01800180030 0030003000FC001014808D12>I<30F049184E384C309C00180018001800300030003000 3000600060000D0E7F8D10>114 D<07C00C201870187038001E000FC003E000606060E0 60C0C0C1803F000C0E7E8D10>I<1C0426064606460686040C040C040C04180818081810 18200C6007800F0E7F8D11>118 D<0F1F0011A18020C38020C300418000018000018000 018000030000030200C30200E70400C5080078F000110E7F8D14>120 D<1C02260646064606860C0C0C0C0C0C0C18181818181818380C7007B000300060706070 C021801E000F147F8D11>I E /Fh 4 95 df<0000600000003000000030000000180000 000C00FFFFFE00FFFFFF00000001C0000000F00000003C00000070000001C000000380FF FFFE00FFFFFC0000000C00000018000000300000003000000060001E147E9123>41 D<400010C000306000606000606000603000C03000C01801801FFF800FFF000C03000C03 00060600060600030C00030C0001980001980001980000F00000F0000060000060001417 809615>56 D58 D<00400000E00000E00001B00001B000031800031800060C00060C000C06000C 06001803001803003001803001806000C06000C0C00060C0002013137E9218>94 D E /Fi 13 109 df0 D5 DI<00800100020006000C000C00 180018003000300030006000600060006000E000E000E000E000E000E000E000E000E000 E000E000E0006000600060006000300030003000180018000C000C000600020001000080 092A7C9E10>40 D<8000400020003000180018000C000C00060006000600030003000300 030003800380038003800380038003800380038003800380038003000300030003000600 060006000C000C00180018003000200040008000092A7E9E10>I<000600000006000000 060000000600000006000000060000000600000006000000060000000600000006000000 06000000060000FFFFFFE0FFFFFFE0000600000006000000060000000600000006000000 060000000600000006000000060000000600000006000000060000000600001B1C7E9720 >43 D<03C00C301818300C300C700E60066006E007E007E007E007E007E007E007E007E0 07E007E007E007E00760066006700E300C300C18180C3007E0101D7E9B15>48 D<010007003F00C700070007000700070007000700070007000700070007000700070007 00070007000700070007000700070007000700FFF80D1C7C9B15>I<60F0F06000000000 00000000000060F0F06004127C910C>58 D<7FFFFFC0FFFFFFE000000000000000000000 00000000000000000000000000000000000000000000FFFFFFE07FFFFFC01B0C7E8F20> 61 D86 D<1FC000307000783800781C00301C00001C 00001C0001FC000F1C00381C00701C00601C00E01C40E01C40E01C40603C40304E801F87 0012127E9115>97 D108 D E /Fj 15 107 df0 D<03C00FF01FF83FFC7F FE7FFEFFFFFFFFFFFFFFFF7FFE7FFE3FFC1FF80FF003C010107E9115>15 D<000001800000078000001E00000078000001E00000078000001E00000078000001E000 00078000001E00000078000000E0000000780000001E0000000780000001E00000007800 00001E0000000780000001E0000000780000001E00000007800000018000000000000000 0000000000000000000000000000000000000000007FFFFF00FFFFFF8019227D9920>20 D<00000030000000001800000000180000000018000000000C000000000C000000000600 0000000300000000038000000000C0FFFFFFFFF8FFFFFFFFF800000000C0000000038000 0000030000000006000000000C000000000C000000001800000000180000000018000000 00300025167E942A>33 D<000003000000000300000000018000000001C000000000C000 00000060007FFFFFF000FFFFFFF8000000000E00000000070000000001E0000000007800 000001E0000000038000000006000000000C00FFFFFFF8007FFFFFF00000000060000000 00C000000001800000000180000000030000000003000025187E952A>41 D<007FF801FFF80780000E0000180000300000300000600000600000C00000C00000C000 00FFFFF8FFFFF8C00000C00000C000006000006000003000003000001800000E00000780 0001FFF8007FF8151A7D961C>50 D<0000600000600000C00000C0000180000180000180 000300000300000600000600000C00000C00001800001800001800003000003000006000 00600000C00000C0000180000180000300000300000300000600000600000C00000C0000 180000180000300000300000300000600000600000C0000040000013287A9D00>54 DI<003FFF0001FFFFC0071E0FE0081C 03F0381C01F8703C00F8603C0078C03C0078003C00780038007000380070007800E00078 00E0007801C0007001800070020000F00C0000E0300000E7C00001EF000001E0000001C0 000001C0000003800000038000000780000007000000070000000E0000000C0000001D1E 809B1D>80 D<400002C00006C00006C00006C00006C00006C00006C00006C00006C00006 C00006C00006C00006C00006C00006C00006C00006C00006C0000660000C60000C300018 1C00700F01E003FF8000FE00171A7E981C>91 D<003C00E001C001800380038003800380 038003800380038003800380038003800380030007001C00F0001C000700030003800380 03800380038003800380038003800380038003800380018001C000E0003C0E297D9E15> 102 DI<004000C0018001800180030003000600 060006000C000C0018001800180030003000600060006000C000C0006000600060003000 30001800180018000C000C000600060006000300030001800180018000C000400A2A7D9E 10>III E /Fk 32 117 df<00F800030C000E06041C0704380308300388700390700390E003A0E0 03A0E003C0E00380E00380E00380600780600B883071900F80E016127E911B>11 D<0001F000061800080C00100C00200E00400E00800E00801C01001C010018010038020F F00210C0020FE00200300400300400300400380400380800700800700800700800E01800 E01801C0140180140300230E0020F8002000002000004000004000004000004000008000 0080000017257F9C17>I<0780101FC0103FE0207FF020603040C0184080088000088000 0480000500000500000600000600000600000400000400000400000C00000C00000C0000 1800001800001800001800003000003000002000141B7F9115>I<003800007F00008780 01030001000001800001800001C00000C00000E00000E00000700000F80003B800063C00 0C1C00181C00381C00701C00701C00E01C00E01C00E01C00E01C00E01800E03800603000 70600038C0000F8000111E7F9D12>I<0FFFF81FFFF83FFFF86084004184008104000104 00030C00030C00020C00060C00060C000E0C000C0C001C0E001C0E00380E001806001512 7E9118>25 D<08000610000E10000E200006200002400002400802401802801804801804 80300C803008C03018C0F030FFFFF07F9FE07F1FC03E0F00171280911A>33 D<60F0F06004047C830C>58 D<60F0F0701010101020204080040C7C830C>I<00000380 00000F0000003C000000F0000003C000000F0000003C000000F0000003C000000F000000 3C000000F0000000F00000003C0000000F00000003C0000000F00000003C0000000F0000 0003C0000000F00000003C0000000F000000038019187D9520>I<0001F808000E061800 380138006000F001C0007003800070070000300F0000200E0000201C0000203C0000203C 000000780000007800000078000000F0000000F0000000F0000000F0000000F0000100F0 000100F0000100700002007000020030000400380008001C0010000E0060000701800000 FE00001D1E7E9C1E>67 D<01FFFF80003C01E000380070003800380038003C0038001C00 70001C0070001E0070001E0070001E00E0001E00E0001E00E0001E00E0001E01C0003C01 C0003C01C0003C01C000380380007803800070038000F0038000E0070001C00700038007 00070007001C000E007800FFFFC0001F1C7E9B22>I<01FFC0003C000038000038000038 0000380000700000700000700000700000E00000E00000E00000E00001C00001C00001C0 0001C0000380000380000380000380000700000700000700000700000F0000FFE000121C 7E9B12>73 D<01FFE0003C00003800003800003800003800007000007000007000007000 00E00000E00000E00000E00001C00001C00001C00001C000038002038002038002038004 07000407000C0700180700380E00F0FFFFF0171C7E9B1C>76 D<01FE0000FF003E0000F0 002E0001E0002E0002E0002E0002E0002E0004E0004E0009C0004E0009C000470011C000 470011C00087002380008700438000870043800087008380010701070001070107000103 82070001038207000203840E000203880E000203880E000203900E000403A01C000403A0 1C000401C01C000C01C01C001C01803C00FF8103FF80281C7E9B28>I<01FC00FF80001C 001C00002E001800002E001000002E001000002700100000470020000043002000004380 200000438020000081C040000081C040000081C040000080E040000100E0800001007080 000100708000010070800002003900000200390000020039000002001D000004001E0000 04000E000004000E00000C000E00001C00040000FF80040000211C7E9B21>I<0003F800 000E0E000038038000E001C001C001C0038000E0070000E00F0000F01E0000F01C0000F0 3C0000F03C0000F0780000F0780000F0780000F0F00001E0F00001E0F00001E0F00003C0 F00003C0F0000380F0000780F0000F00703C0E0070421C0038823800388270001C83C000 0787810001FF0100000303000003020000038E000003FC000003F8000001F8000001E000 1C257E9C21>81 D<01FFFE00003C03C0003800E0003800F00038007000380070007000F0 007000F0007000F0007001E000E001C000E0078000E01E0000FFF00001C0380001C00C00 01C00E0001C00E0003800E0003800E0003800E0003800E0007001E0007001E0807001E08 07001E100F000F10FFE00F20000003C01D1D7E9B20>I<000FC100303300400F00800601 800603000603000606000406000407000007000007800003F00001FF0000FFC0003FE000 03E00000F00000700000300000302000302000306000606000606000C0600080F00300CC 060083F800181E7E9C19>I<1FFFFFF01C03807030070030200700206007002040070020 400E0020800E0020800E0020000E0000001C0000001C0000001C0000001C000000380000 0038000000380000003800000070000000700000007000000070000000E0000000E00000 00E0000000E0000001E000007FFF00001C1C7F9B18>I<01FFC0FF80001E003C00001C00 3000000E002000000E004000000F0080000007010000000782000000038400000003CC00 000001D800000001F000000001E000000000E000000000F0000000017000000002780000 0004380000000838000000103C000000201C000000401E000000800E000001000F000002 0007000006000700001E000F8000FF803FF000211C7F9B22>88 D<01F0030C0C0C1C1E38 3C301870007000E000E000E000E000E000E0046008601030601F800F127E9112>99 D<0007E00000E00000E00001C00001C00001C00001C000038000038000038000038001E7 000717000C0F00180F00380E00300E00700E00700E00E01C00E01C00E01C00E01C00E038 80E03880E038806078803199001E0E00131D7E9C16>I<01F007080C0818043808300870 307FC0E000E000E000E000E000E0046008601030600F800E127E9113>I<01C003C003C0 01800000000000000000000000001C00270047004700870087000E000E001C001C001C00 3800388038807080710032001C000A1C7E9B0E>105 D<1F800380038007000700070007 000E000E000E000E001C001C001C001C0038003800380038007000700070007000E200E2 00E200E40064003800091D7F9C0C>108 D<381F81F04E20C6184640E81C4680F01C8F00 F01C8E00E01C0E00E01C0E00E01C1C01C0381C01C0381C01C0381C01C070380380713803 8071380380E1380380E2700700643003003820127E9124>I<3C1F004E61804681C04701 C08F01C08E01C00E01C00E01C01C03801C03801C03801C0700380710380710380E10380E 2070064030038014127E9119>I<00F800030C000E06001C030018030030030070038070 0380E00700E00700E00700E00E00E00E00E01C0060180060300030E0000F800011127E91 14>I<07878009C86008D03008E03011C03011C03801C03801C038038070038070038070 0380600700E00700C00701800783000E86000E78000E00000E00001C00001C00001C0000 1C00003C0000FF0000151A819115>I<3C3C4E424687470F8E1E8E0C0E000E001C001C00 1C001C0038003800380038007000300010127E9113>114 D<01F0060C0C040C0E180C1C 001F000FE00FF003F80038201C7018F018F010803060601F800F127E9113>I<00C001C0 01C001C00380038003800380FFF00700070007000E000E000E000E001C001C001C001C00 382038203840384018800F000C1A80990F>I E /Fl 198[15 15 15 15 15 15 15 15 15 15 48[{}10 29.166668 /Palatino-Roman rf /Fm 69[25 15[25 48[28 25 1[28 30 17 22 19 1[30 28 30 44 17 30 1[17 30 1[19 25 30 22 1[25 10[39 1[33 30 36 3[41 50 30 6[30 41 36 1[39 6[12 5[25 25 25 25 2[12 17 3[17 17 40[{}42 50.000000 /Palatino-Bold rf /Fn 69[21 10[23 22 3[21 47[18 21 21 30 21 23 14 16 16 19 21 18 23 32 12 18 12 12 21 21 12 16 21 17 19 18 9[39 1[32 25 23 28 32 25 32 32 39 23 28 1[14 32 30 23 25 32 28 1[30 6[10 1[21 4[21 21 21 2[10 14 10 2[14 14 40[{}60 41.666668 /Palatino-Italic rf /Fo 69[21 15[21 51[23 25 14 18 16 1[25 23 24 37 12 2[12 24 23 1[20 1[18 23 21 12[25 3[25 33 1[39 25 2[14 5[29 1[32 6[10 21 2[21 14[12 32 38[{.167 SlantFont}32 41.666668 /Palatino-Roman rf /Fp 1 4 df<0C000C00CCC0EDC07F800C007F80EDC0 CCC00C000C000A0B7D8B10>3 D E /Fq 69[30 15[30 48[33 1[50 1[37 20 27 23 1[37 33 37 53 20 37 1[20 37 33 23 30 37 27 1[30 12[40 37 43 50 3[60 37 2[23 1[50 33 1[50 43 1[47 6[15 2[30 30 30 30 30 30 30 49[{}42 59.999973 /Palatino-Bold rf /Fr 61[11 7[17 11[20 3[17 47[17 18 17 28 19 20 11 14 13 19 20 18 19 29 10 18 8 10 19 18 11 16 20 15 18 17 3[11 1[11 1[22 22 1[24 26 20 17 22 1[20 26 28 1[20 24 1[11 28 1[18 20 26 24 20 26 5[8 8 17 17 2[17 17 17 1[17 1[20 8 11 8 2[11 11 9 39[{}67 33.333332 /Palatino-Roman rf /Fs 198[12 12 12 12 12 12 12 12 12 12 48[{}10 25.000000 /Palatino-Roman rf /Ft 173[20 2[23 25 7[17 2[21 67[{}5 29.999987 /Palatino-Roman rf /Fu 69[19 11[23 3[19 48[21 19 31 21 23 12 16 15 1[22 20 22 33 11 21 1[11 22 21 12 18 23 17 21 19 12[23 20 9[13 1[29 21 2[26 1[29 6[9 10[23 9 12 9 2[12 12 40[{}40 37.500000 /Palatino-Roman rf /Fv 139[12 17 15 14[17 23 19 31[29 65[{}7 37.500000 /Palatino-Bold rf /Fw 61[14 7[21 8[21 1[25 25 3[21 47[21 23 21 35 23 25 14 18 16 23 25 23 24 37 12 23 10 12 24 23 14 20 25 18 23 21 3[14 1[14 1[28 28 42 30 32 25 22 28 33 25 33 34 39 25 30 14 14 35 32 23 25 32 29 25 32 1[18 3[10 10 21 21 21 21 21 21 21 21 21 21 25 10 14 10 2[14 14 12 32 38[{}80 41.666668 /Palatino-Roman rf /Fx 81[25 52[23 21 35 2[14 18 16 1[25 23 25 37 14 2[14 25 23 1[21 25 18 1[21 14[30 2[35 35 42 25 32 1[16 2[23 25 35 30 1[32 7[21 21 21 21 21 21 21 21 21 21 12 47[{}42 41.666668 /Palatino-Bold rf /Fy 134[28 26 42 28 30 16 21 20 1[30 27 29 44 14 28 12 14 29 1[17 24 30 22 1[25 11[39 31 26 33 1[30 39 1[47 30 2[17 4[39 35 2[37 5[12 25 25 25 25 25 1[25 25 25 25 30 12 17 12 44[{}48 50.000000 /Palatino-Roman rf /Fz 1 4 df<00C00000C00000C00000C00000C000E0C1C0F0C3C038C7000EDC0003F0 0000C00003F0000EDC0038C700F0C3C0E0C1C000C00000C00000C00000C00000C0001215 7D9619>3 D E /FA 80[44 53[40 1[60 1[43 23 30 28 1[43 39 42 63 21 2[21 42 40 24 34 1[32 1[36 12[44 38 2[43 2[68 44 2[24 1[55 3[51 1[56 6[18 36 2[36 12[24 24 20 39[{}34 72.000000 /Palatino-Roman rf /FB 171[35 30 38 14[41 35 45 65[{}6 57.599957 /Palatino-Roman rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%PaperSize: A4 %%EndSetup %%Page: 1 1 1 0 bop 533 309 a FA(I)t(T)o(A)t(L)t(L)t(C)19 b(')t(9)t(6)h FB(A)t(B)t(S)t(T)t(R)t(A)t(C)t(T)p FA(:)440 401 y(Putting)f(Channels)e (on)h(the)g(Map:)97 492 y(imperfect)i(information)e(\257ow)g(in)f(a)h (formal)g(semantics)i(of)339 583 y(\(Geo\)graphical)e(Information)g (Systems)1489 557 y Fz(\003)498 732 y Fy(Oliver)13 b(Lemon:)18 b(lemonoj@cs.man.ac.uk)584 790 y(Ian)13 b(Pratt:)k(ipratt@cs.man.ac.uk) 344 848 y(http://www)-5 b(.cs.man.ac.uk/ai/ol)q(iver/mapsem.html)547 906 y(Department)12 b(of)g(Computer)h(Science)476 964 y(University)f(of)h(Manchester)l(,)g(Oxfor)o(d)f(Road,)683 1022 y(Manchester)g(M13)h(9PL)715 1080 y(T)-5 b(el:)17 b(0161-275-6178)32 1236 y Fx(Keywords)p Fw(:)23 b(map-like)14 b(r)o(epr)o(esentations,)h(formal)f(semantics,)g(channel)h(theory)-5 b(,)16 b(versimilitude,)g(err)o(or)m(,)h(Geo-)-30 1286 y(graphical)11 b(Information)e(Systems)g(\(GIS\))843 1366 y Fv(Abstract)130 1428 y Fu(This)d(paper)h(falls)g(into)g(two)g (parts.)12 b(First,)7 b(a)g(formal)g(semantics)e(for)i(a)g(wide)g (class)e(of)j(graphical)d(r)o(epr)o(esentations,)74 1474 y(exhibiting)j(err)o(or)i(and)f(appr)o(oximation,)i(is)e(given)g(in)g (terms)g(of)i(Channel)d(Theory)i(\(suitably)e(modi\256ed\).)13 b(The)c(sec-)74 1519 y(ond)f(part)h(of)h(the)e(paper)h(applies)g(this)f (formal)h(framework)f(to)i(the)e(semantic)f(analysis)g(of)j(r)o(epr)o (esentations)e(and)g(al-)74 1565 y(gorithms)g(in)g(an)g(actual)f (information)i(pr)o(ocessing)f(system:)k(the)c(\252)q(A)r Ft(R)r(C)r Fu(/)r(I)r Ft(N)r(F)r(O)q Fu(\272)e(Geographical)h (Information)i(Sys-)74 1611 y(tem)137 1595 y Fs(1)151 1611 y Fu(.)32 1682 y Fw(A)15 b(systematic)d(account)i(is)g(sought)f (of)h(the)f(ways)g(in)i(which)f(graphical)h(information)e(systems)f(r)o (epr)o(esent)i(the)-30 1731 y(world.)g(A)8 b(formal)g(semantics)f(of)g (graphical)i(r)o(epr)o(esentations)f(r)o(equir)o(es)h(a)f(full)g (understanding)h(of)f(r)o(epr)o(esentational)-30 1781 y(systems)d(in)i(general)g(\261)g(a)g(theory)f(of)h(r)o(epr)o (esentation.)12 b(The)c(speci\256c)f(type)f(of)h(graphical)g(r)o(epr)o (esentation)g(under)g(scrutiny)-30 1831 y(is)h(that)g(of)g (\252map-like)g(r)o(epr)o(esentations\272)g(\(MLRs\).)13 b(MLRs)c(exhibit)g(concr)o(ete)g(and)g(complex)g(phenomena)f(for)h (which)-30 1881 y(a)i(theory)f(of)h(r)o(epr)o(esentation)f(should)h (account.)k(The)d(special)e(characteristics)h(of)g(MLRs)f(ar)o(e)i (outlined,)f(and)g(a)f(vari-)-30 1931 y(ety)i(of)f(possible)g(formal)h (semantics)f(for)h(them)f(is)h(investigated.)19 b(T)l(wo)12 b(central)g(issues)f(ar)o(e)i(raised)f(in)g(this)g(context:)-30 1980 y(the)g(\252nearness)f(to)g(truth\272)g(\(verisimilitude\))h(or)g (appr)o(oximation)g(behaviour)g(of)g(MLRs)g(and)g(the)g(variety)g(of)f (err)o(ors)-30 2030 y(that)e(they)g(can)h(exhibit.)k(An)d(\252appr)o (oximation\272)d(semantics)h(for)h(MLRs)f(is)h(pr)o(ovided,)h(which)g (r)o(elies)f(on)f(a)h(formal)f(ac-)-30 2080 y(count)f(of)g(err)o(or)i (based)e(on)g(Channel)i(Theory)f(as)f(a)g(theory)g(of)g(r)o(epr)o (esentation.)13 b(Channel)c(theory)g(is)f(ar)o(gued)h(to)f(be)g(the)-30 2130 y(most)i(pr)o(omising)h(curr)o(ent)i(formal)d(framework)h(in)h (which)f(to)g(discuss)g(such)h(complex)f(r)o(epr)o(esentations,)g(and)h (con-)-30 2180 y(sideration)c(of)h(MLRs)f(brings)h(about)f(some)g (modi\256cations)g(and)h(enhancements)f(of)g(the)h(theory)-5 b(.)13 b(A)c(novel)h(variety)f(of)-30 2229 y(semantics)g(is)h (constructed,)g(which)h(incorporates)f(the)g(\252appr)o(oximation\272)f (behaviour)h(of)g(MLRs)g(as)g(well)g(as)f(a)h(vari-)-30 2279 y(ety)g(of)f(err)o(or)j(phenomena.)h(It)d(is)g(ar)o(gued)h(that)e (such)h(a)g(\252qualitative\272)f(semantics)g(is)h(not)g(only)g (applicable)g(to)g(MLRs,)-30 2329 y(but)g(also)f(to)h(some)f(cases)h (of)g(linguistic)g(r)o(epr)o(esentation.)32 2379 y(In)h(contrast)g(to)f (some)g(some)g(r)o(elated)h(r)o(esear)o(ch)h(into)e(graphical)i (systems\(see)c(eg:)16 b([Allwein)10 b(&)h(Barwise,)f(1993)o(]\))-30 2429 y(\(which)f(concentrate)f(on)g(abstract)f(formal)h(systems\))e(we) h(focus)h(upon)g(a)g(spec\256c)h(practical)g(application)e(of)h(such)h (r)o(ep-)-30 2479 y(r)o(esentations:)j(the)e(Geographical)g (Information)f(System)f(\252)q(A)r Fr(R)r(C)r Fw(/)r(I)r Fr(N)r(F)r(O)q Fw(\272.)15 b(Actual)10 b(map-pr)o(ocessing)f(algoritms) g(ar)o(e)-30 2528 y(described)h(in)g(terms)f(of)g(the)g(formal)g (framework)g(constructed)g(in)h(the)f(\256rst)g(part)g(of)g(the)g (paper)m(,)h(and)g(classi\256ed)g(with)-30 2578 y(r)o(espect)g(to)g (their)g(ef)o(fect)g(on)h(the)e(verisimiltude)i(and)g(err)o(or)g(pr)o (operties)f(of)g(the)g(r)o(esulting)g(r)o(epr)o(esentations.)-30 2720 y Fq(1)60 b(Graphical)13 b(Representation)g(and)h(Imperfect)g (Information)h(Flow)-30 2814 y Fw(Repr)o(esentational)7 b(systems)h(ar)o(e)h(a)g(focus)g(of)f(study)h(in)h(the)e(sear)o(ch)i (for)f(an)g(understanding)h(of)f(the)f(\252logic\272)h(of)g(imper)o(-) -30 2864 y(fect)j(information)f(\257ow)l(.)19 b(Systems)11 b(exhibit)h(imperfections)f(in)i(information)e(\257ow)h(when)g(the)g (conventions)g(which)p -30 2900 756 2 v 12 2927 a Fp(\003)30 2938 y Fr(This)27 b(r)o(esear)o(ch)g(is)f(supported)h(by)g(the)g(Lever) o(hulme)g(T)m(rust.)66 b(The)27 b(\252map)f(semantics\272)f(homepage)j (can)e(be)g(found)i(at)e(:)-30 2978 y(http://www)m (.cs.man.ac.uk/ai/oliver/mapsem.html)15 3007 y Fs(1)30 3019 y Fr(The)9 b(\256rst)f(author)g(would)h(like)f(to)g(thank)h(Carl)e (V)l(ogel)i(and)f(Rodger)i(Kibble)e(for)h(helpful)e(discussions.)905 3143 y Fw(1)p eop %%Page: 2 2 2 1 bop 60 -10 a Fw(2)406 b Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e (Lemon)f(&)h(Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g (Map\272)60 135 y Fw(allow)g(them)g(to)g(be)h(informative)f(ar)o(e)h (also)f(able)h(to)f(admit)g(of)g(exceptions,)h(whence)g (mis-information.)j(Real)c(r)o(epr)o(e-)60 185 y(sentations,)f(in)i (particular)h(maps,)e(ar)o(e)h(often)f(\(in)h(fact,)g(nearly)g (always\))f(imperfect,)h(but)f(they)h(ar)o(e)g(mor)o(e)f(often)g(than) 60 235 y(not)i(good)h Fn(enough)g Fw(for)g(most)f(purposes.)21 b(Just)11 b(because,)j(say)-5 b(,)14 b(a)f(map)f(puts)g(one)h(tr)o(ee)g (out)f(of)g(place,)i(that)e(does)h(not)60 285 y(r)o(ender)e(it)d (useless;)h(so)g(to)f(dismiss)g(all)i(maps)e(as)g(misr)o(epr)o (esentations)g(would)h(be)g(rash.)14 b(A)9 b(suitable)f(theory)h(of)g (r)o(epr)o(e-)60 334 y(sentation)g(will)i(describe)g(such)g (imperfections)f(and)h(exceptions,)g(and)g(account)g(for)f(the)g (superiority)h(of)f(some)g(r)o(ep-)60 384 y(r)o(esentations)f(over)i (others.)122 437 y(Graphical)c(r)o(epr)o(esentations)f(dif)o(fer)i(fr)o (om)f(other)f(r)o(epr)o(esentational)g(systems)f(\(for)i(example,)h (Natural)f(Languages\))60 487 y(in)14 b(that)f(they)g(ar)o(e)h (non-ambiguous,)g(in)g(the)f(sense)g(that)g(they)g(do)h(not)f(admit)h (of)f(any)h(vagueness.)24 b(As)13 b(ar)o(gued)i(in)60 537 y([Stenning)10 b(&)h(Oberlander)m(,)g(1992)o(],)g(for)f(example,)g (graphical)h(systems)e(exhibit)h Fn(speci\256city)p Fw(.)60 678 y Fm(1.1)50 b(Map-like)12 b(Representations)g(\(MLRs\))60 763 y Fw(Maps)c(and)i(map-like)e(r)o(epr)o(esentations)g(dif)o(fer)h (fr)o(om)g(other)f(graphical)i(systems,)d(such)i(as)f(diagrams,)i(in)f (the)f(follow-)60 813 y(ing)j(characteristic)g(ways:)112 906 y(1.)21 b(Refer)o(entiality:)13 b(maps)c(typically)i(have)g(parts)e (of)h(the)g(actual)g(world)g(as)g(their)h(subject)e(matter)m(.)112 1002 y(2.)21 b(T)l(otality:)13 b(MLRs)e(ar)o(e)f(complete)g(\261)g (they)g(do)g(not)g(support)g(partial)g(information)1451 987 y Fl(2)1466 1002 y Fw(.)112 1099 y(3.)21 b(Err)o(ors/exceptions:)15 b(maps)9 b(exhibit)i(a)f(wide)g(variety)h(of)f(err)o(or)h(phenomena.) 112 1195 y(4.)21 b(Appr)o(oximation)10 b(to)g(truth)f (\(verisimilitude\):)14 b(maps)9 b(ar)o(e)i(rar)o(ely)g(actually)f (true)g(of)g(any)g(r)o(egion,)i(but)e(ar)o(e)g(mor)o(e)164 1245 y(or)g(less)g(similar)g(to)f(it.)112 1342 y(5.)21 b(Negation)10 b(by)h(omission:)j(lack)d(of)g(a)f(symbol)g(at)h(a)f (certain)h(location)g(supports)e(negative)i(information)f(about)164 1392 y(that)f(location)393 1377 y Fl(3)409 1392 y Fw(.)60 1500 y Fx(De\256nition)h(1)21 b Fn(A)9 b(MLR)g(consists)h(of)f(a)h(set) f(of)h(typed)e(and)i(located)f(symbols)h(\(icons,)g(points,)g(ar)o (eas,)h(shapes,)f(lines\).)k(MLRs)9 b(ar)o(e)60 1550 y(total,)i(and)f(may)h(exhibit)e(r)o(epr)o(esentation)j(err)o(ors)g (with)d(r)o(espect)i(to)g(some)g(r)o(egions)g(under)g(some)g(interpr)o (etations.)122 1654 y Fw(MLRs)i(constitute)e(rich)i(and)g(complex)g(r)o (epr)o(esentational)e(systems.)19 b(As)12 b(such)h(they)f(exhibit)h (many)f(inter)o(esing)60 1704 y(phenomena)e(for)g(any)g(candidate)h (theory)f(of)g(r)o(epr)o(esentation)g(to)f(cover)m(.)122 1757 y(MLRs)g(ar)o(e)g(also)e(inter)o(esting)i(in)f(virtue)h(of)f(the)g (types)g(of)g(information)g(which)h(they)f(do)g Fn(not)h Fw(explicitly)h(carry:)k(uni-)60 1807 y(versal,)9 b(conditional,)g (negative,)g(and)g(disjunctive)g(information)e(ar)o(e)i(all)f(either)h (implicit)f(in)g(a)h(map)e(\(ie:)13 b(an)c(agent)e(has)60 1857 y(to)i(r)o(eason)g(about)g(the)g(map)g(to)g(derive)h(such)g (statements;)e(one)h(cannot)g(draw)h(a)f(map)g(of)g(\252All)h(the)g (houses)e(ar)o(e)i(on)f(the)60 1907 y(north)k(island\272,)i(for)e (example\),)h(or)g(ar)o(e)f(completely)g(absent.)22 b(This)14 b(is)f(r)o(eally)h(due)g(to)e(the)h(speci\256city)h(pr)o(operty)g(of)60 1957 y(graphical)d(r)o(epr)o(esentations;)e(one)h(is)f(for)o(ced,)j(in) e(conveying)h(any)f(information)f(at)g(all,)h(to)f(make)h(a)f (spec\256c)i(committ-)60 2006 y(ment)f(about)f(the)h(location)g(of)f(a) i(particular)f(type)g(of)g(object.)122 2060 y(Of)g(the)g(above)h(pr)o (operties,)f(the)h(imperfect)f(information)f(\257ow)h(phenomena)g(of)g (err)o(or)i(and)f(appr)o(oximation)f(ar)o(e)60 2109 y(the)e(focus)f(of) h(this)f(paper)m(,)i(since)f(they)g(raise)g(a)g(challenge)g(for)g(any)h (candidate)f(theory)g(of)f(r)o(epr)o(esentation.)13 b(The)c(\256rst)f (of)60 2159 y(the)i(above)g(pr)o(operties)g(\(r)o(efer)o(entiality\))h (brings)f(to)g(light)h(the)f(importance)g(of)g(a)g Fn(semantics)h Fw(for)f(MLRs;)h(they)f(ar)o(e)h(one)60 2209 y(of)d(the)f(most)g (commonplace)g(and)i(ef)o(fective)f(ways)f(by)h(which)h(agents)e (convey)i(and)f(manipulate)f(information)g(about)60 2259 y(their)12 b(envir)o(onments.)19 b(A)12 b(semantics)e(for)i(MLRs)g(and) g(their)g(pr)o(ocessing)g(allows)f(the)g Fn(corr)o(ectness)i Fw(and)f Fn(completeness)60 2309 y Fw(of)e(map-pr)o(ocessing)g (algorithms)f(in)i(Geographical)f(Information)f(Systems)g(\(GISs\))g (to)g(be)h(evaluated.)60 2449 y Fm(1.2)50 b(V)-6 b(erisimilitude)60 2535 y Fw(Map-like)8 b(r)o(epr)o(esentations)f(ar)o(e)h(seldom)f (completely)h(faithful)f(to)g(the)g(structur)o(es)h(which)g(they)g(ar)o (e)g(intended)h(to)e(r)o(ep-)60 2585 y(r)o(esent.)14 b(Nevertheless,)d(they)f(appr)o(oximate)g(those)g(structur)o(es)g (closely)g(enough)g(to)g(be)h(useful)e(for)i(a)f(wide)h(range)g(of)60 2634 y(practical)g(purposes.)122 2737 y(The)e(semantics)e(for)h(such)g (r)o(epr)o(esentations)f(should,)i(then,)f(r)o(e\257ect)h(the)f(fact)f (that)g(they)h(appr)o(oximate)g(\252the)f(truth\272)60 2787 y(\(also)i(tr)o(eated)h(as)f(a)h(r)o(epr)o(esentation\))f(to)h (dif)o(fering)h(degr)o(ees.)j(In)c(or)o(der)h(to)f(give)g(such)h(a)e (grade)i(of)f(\252versimilitude\272)f(it)60 2837 y(is)i(necessary)g(to) f(quantify)h(over)g(the)g(various)g(types)f(of)g Fn(err)o(ors)j Fw(in)e(a)g(r)o(epr)o(esentation.)16 b(Those)11 b(r)o(epr)o (esentations)f(with)60 2887 y(less)g(err)o(ors,)h(r)o(elative)g(to)e (the)h(structur)o(e)g(to)g(be)g(r)o(epr)o(esented,)h(obviously)f (exhibit)h(gr)o(eater)f(verisimilitude.)p 60 2939 756 2 v 105 2966 a Fs(2)120 2978 y Fr(Ther)o(e)f(ar)o(e)f(partial)f(maps,)i (of)f(course,)h(but)f(they)h(ar)o(e)g(not)f(the)g(object)h(of)f(study)h (her)o(e.)105 3007 y Fs(3)120 3019 y Fr(Again,)f(this)g(is)h(due)f(to)g (a)g(r)o(estriction)g(to)h(total)e(maps.)k(Partial)c(maps)h(do)h(not)g (have)f(this)g(pr)o(operty)l(.)p eop %%Page: 3 3 3 2 bop -30 -10 a Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e(Lemon)f(&)h (Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g(Map\272)416 b Fw(3)-30 135 y Fm(1.3)50 b(Seven)13 b(types)f(of)h(Error)-30 215 y Fw(Maps)7 b(commonly)f(exhibit)h(the)f(following)h(kinds)g(of)f (err)o(ors)925 200 y Fl(4)949 215 y Fw(\(for)h(some)f(literatur)o(e)g (on)h(map)f(err)o(or)m(,)j(see)e([Schlichtmann,)k(1991)o(,)-30 265 y(Chrisman,)g(1991)o(]\):)22 357 y(1.)21 b(Depiction)10 b(of)g(non-existent)f(objects;)h(eg:)k(a)c(tr)o(ee)g(is)g(depicted)h (wher)o(e)g(ther)o(e)f(is)g(not)g(one)g(in)h(r)o(eality)-5 b(.)22 442 y(2.)21 b(Non-depiction)12 b(of)f(\(existing\))g(objects;)g (eg:)17 b(the)11 b(non-appearance)g(of)g(secr)o(et)h(government)f (installations)f(on)74 491 y(maps.)22 576 y(3.)21 b(\252Thematic\272)10 b(err)o(or)h(\(incorr)o(ect)g(taxonomy\);)f(eg:)k(a)c(castle)g (depicted)h(as)e(a)i(chur)o(ch.)22 660 y(4.)21 b(Locative)9 b(err)o(or;)i(eg:)j(an)9 b(object)f(depicted)i(as)f(being)g(in)h(a)f (dif)o(fer)o(ent)h(place)f(to)f(that)h(which)g(it)g(actually)g (inhabits.)22 745 y(5.)21 b(Plan)10 b(err)o(or)i(\(incorr)o(ect)f (depiction)g(of)e(shape\);)h(eg:)k(depiction)d(of)f(a)g(squar)o(e)h (house)e(as)h(cir)o(cular)m(.)22 829 y(6.)21 b(Over)o(generalisation)10 b(\(depiction)g(of)f(a)h(gr)o(oup)g(of)g(objects)e(as)i(one)g (object\);)f(eg:)14 b(depiction)c(of)g(a)g(gr)o(oup)g(of)f(tr)o(ees)74 879 y(as)h(a)g(for)o(est)f(r)o(egion.)22 963 y(7.)21 b(Under)o(generalisation)11 b(\(depiction)g(of)g(one)g(object)f(as)g(a) h(collection)g(of)g(objects\);)f(eg:)16 b(depiction)11 b(of)g(a)g(city)g(as)f(a)74 1013 y(gr)o(oup)h(of)e(buildings.)-30 1106 y(This)h(classi\256cation)e(of)h(err)o(or)h(is,)g(as)f(yet,)g (non-formal.)k(It)c(is)g(not)g(clear)m(,)h(for)f(example,)h(whether)f (or)g(not)g(ther)o(e)g(is)g(some)-30 1156 y(overlap)j(beteeen)f(the)g (categories)g(given)i(above)e(\(3)h(could)g(be)g(seen)f(as)g(a)h (combination)e(of)i(1)f(and)h(2,)h(for)e(example\).)-30 1205 y(Indeed,)j(a)e(satisfactory)f(taxonomy)h(of)g(err)o(or)h(in)g (MLRs)g(can)g(only)f(be)h(given)g(on)f(the)g(basis)g(of)g(a)g(formal)g (theory)h(of)-30 1255 y(r)o(epr)o(esentation.)32 1305 y(Err)o(ors)c(ar)o(e)e(measur)o(ed)h(with)e(r)o(espect)i(to)e(some)h (geographical)g(r)o(egion,)i(of)e(which)h(it)f(is)g(assumed)f(ther)o(e) i(is)f(a)g(corr)o(ect)-30 1355 y(pr)o(ecise)i(description,)g(under)g (some)e(taxonomy)-5 b(.)12 b(Thus,)e(the)d(measur)o(ement)g(of)h(err)o (or)h(in)f(a)g(r)o(epr)o(esentation)g(is)g(r)o(elative)-30 1405 y(to)i(a)g(\252world)g(state\272)e(which)j(is)f(tr)o(eated)g(as)g (another)g(r)o(epr)o(esentation)g(\(the)f(\252true)h(description\272)g (of)g(a)g(r)o(egion.\))32 1455 y(Having)j(given)g(some)e(account)h(of)g (the)g(natur)o(e)g(of)g(map-like)g(r)o(epr)o(esentations,)g(and)h(the)f (particular)h(pr)o(oblems)-30 1505 y(encounter)o(ed)e(in)f(formulating) g(their)g(semantics,)f(it)h(seems)f(that)g(a)h(clear)h(understanding)g (of)e(r)o(epr)o(esentational)h(sys-)-30 1555 y(tems)f(in)i(general)f (is)g(r)o(equir)o(ed.)16 b(But)11 b(what)e(r)o(equir)o(ements)i(ought)f (a)g(good)g(theory)g(of)g(r)o(epr)o(esentation)g(to)f(meet?)-30 1700 y Fq(2)60 b(Desiderata)13 b(on)i(a)g(Theory)g(of)g(Representation) -30 1795 y Fw(A)9 b(good)g(theory)g(of)g(r)o(epr)o(esentation,)g(which) h(is)e(the)h(basis)f(of)h(a)g(semantics)f(of)g(maps)g(and)i(other)f (graphical)h(r)o(epr)o(esen-)-30 1845 y(tation)f(systems,)g(should)h (have)h(at)e(least)h(the)g(following)f(qualities.)14 b(A)c(theory)g(of)g(r)o(epr)o(esentation)g(should:)22 1929 y(1.)21 b(Describe)9 b(the)f(r)o(elationship)g(between)g(a)g(r)o (epr)o(esentation,)h(interpr)o(etational)f(conventions,)h(and)g(the)f (structur)o(e)74 1979 y(which)j(is)f(being)g(r)o(epr)o(esented.)22 2063 y(2.)21 b(Account)11 b(for)f(the)g(full)g(variety)h(of)f(err)o (ors)h(that)e(ar)o(e)i(possible)e(in)i(a)f(given)h(class)f(of)f(r)o (epr)o(esentation.)22 2147 y(3.)21 b(Account)11 b(for)f(the)g (stability)f(of)h(r)o(epr)o(esentational)f(systems)g(under)i(err)o(or)m (.)22 2232 y(4.)21 b(Account)11 b(for)f(the)g(dif)o(fer)o(ent)h (quality)f(of)g(dif)o(fer)o(ent)h(r)o(epr)o(esentations)e(under)i(dif)o (fer)o(ent)g(interpr)o(etations.)22 2316 y(5.)21 b(Be)10 b(suf)o(\256ciently)h(formal)f(to)f(admit)h(of)g(logical)g(and)h (mathematical)e(analysis.)32 2400 y(Bearing)14 b(these)d(issues)h(in)h (mind,)h(in)f(the)f(full)h(paper)f(the)g(range)h(of)g(curr)o(ent)g (varieties)g(of)f(formal)g(semantics)f(is)-30 2450 y(explor)o(ed,)h (with)d(r)o(egar)o(d)j(to)e(their)g(putative)g(application)g(in)g(a)g (semantics)f(of)h(map-like)g(r)o(epr)o(esentations.)-30 2595 y Fq(3)60 b(T)-7 b(owards)14 b(a)h(Formal)h(Semantics)c(of)k(MLRs) -30 2690 y Fw(Could)9 b(ther)o(e)f(be)g(a)g(\252cartographic)h (semantics\272)e(\261)h(a)g(theory)g(which)h(would)f(set)f(out)g(and)i (systematize)d(the)h(principles)-30 2740 y(accor)o(ding)i(to)e(which)i (maps)d(r)o(epr)o(esent)i(the)g(world?)13 b(A)8 b(formal)f(semantics)g (of)g(maps)g(and)h(map-like)f(r)o(epr)o(esentations)-30 2790 y(was)k(the)g(subject)g(of)g(the)g(pilot)g(study)g([Pratt,)f(1993) o(].)18 b(That)11 b(pr)o(oject)h(is)f(enhanced)i(by)e(the)h(insistence) f(that)f(a)i(formal)-30 2839 y(semantics)f(of)h(maps)f(needs)h(to)g(be) g(built)g(upon)g(a)g(general)h(account)f(of)g(information)f(and)i(r)o (epr)o(esentation,)f(and)h(in)-30 2889 y(particular)m(,)d(the)e (notions)g(of)h(verisimilitude)g(and)g(err)o(or)h(which)f(ar)o(e)h (crucial)f(for)g(a)g(measur)o(e)f(of)h(r)o(epr)o(esentation)f(qual-)-30 2939 y(ity)-5 b(.)p -30 2979 756 2 v 15 3007 a Fs(4)30 3019 y Fr(Sour)o(ces)9 b(of)f(err)o(or)i(ar)o(e)e(temporal)g(change,)h (scaling,)f(digitising,)h(initial)d(measur)o(ement)j(err)o(or)n(,)g(pr) o(ojection.)p eop %%Page: 4 4 4 3 bop 60 -10 a Fw(4)406 b Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e (Lemon)f(&)h(Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g (Map\272)60 135 y Fw(A)g(semantics)e(of)h(maps)439 120 y Fl(5)464 135 y Fw(operates)f(at)g(the)h(point)g(wher)o(e)h(each)g (token)e(object)h(has)g(been)g(associated)f(with)h(some)f(type;)60 185 y(that)g(is,)i(wher)o(e)f(each)h(object)e(in)i(the)e(map)h(is)g (classi\256ed)g(as)g(being)g(a)g(symbol)f(of)h(some)f(type)h(\(eg:)k (chur)o(ch,)f(lake,)d(r)o(oad.\))60 235 y(Thus,)g(as)e(far)h(as)f(a)g (semantics)g(is)g(concerned,)j Fn(abstract)e(maps)h Fw(\(ie:)j(maps)7 b(wher)o(e)h(each)g(symbol)f(token)g(is)g(typed\))g(ar)o(e)h(the)60 285 y(focus)g(of)g(attention.)k(The)e(pr)o(ocess)e(of)g(map)g(interpr)o (etation)g(wher)o(eby)h(each)g(symbol)f(becomes)f(typed)i(is)f(an)h (inter)o(est-)60 334 y(ing)f(one,)g(but)f(not)g(one)h(which)g(is)f(the) h(task)e(of)h(a)h(semantics)e(\(this)h(is)g(a)h(lower)o(-level)g(pr)o (oblem)f(of)g(image)g(interpr)o(etation,)60 384 y(see)j(eg:)k([Reiter)c (&)g(Mackworth,)h(1989)o(]\).)60 507 y Fm(3.1)50 b(A)12 b(\252Naive\272)g(approach:)18 b(truth-conditional)12 b(semantics)60 586 y Fw(Systems)7 b(alr)o(eady)i(exist)f(wher)o(eby)h (the)f(meaning)h(of)f(a)g(graphical)i(r)o(epr)o(esentation)e (\(commonly)-5 b(,)9 b(a)f(geometric)g(or)h(set-)60 636 y(theor)o(etic)i(diagram\))f(is)h(given)g(by)g(its)f(truth-conditions)f (with)i(r)o(espect)f(to)g(a)h(model.)k(In)c(this)f(case)g(the)g(set)g (of)g(claims)60 686 y(made)j(by)h(a)f(MLR)h(would)g(be)f(taken)h(to)e (constitute)g(a)i(complete)f(\252theory\272)g(in)g(the)h(logical)g (sense;)g(a)g(deductively)60 736 y(closed)8 b(set)f(of)g(sentences.)13 b(A)8 b(complete)f(theory)g(is)h(true)f(with)h(r)o(espect)g(to)f(a)g (particular)i(model)e(\(or)h(\252possible)e(world\272\))60 786 y(which)11 b(supports)e(the)h(pr)o(opositions)f(in)h(the)g(theory)h (\(see)e(eg:[W)l(orboys,)h(1991)o(]\).)60 835 y(The)h(systems)d(of)i (the)g(collection)g([Allwein)g(&)h(Barwise,)f(1993)o(],)h(for)f (example,)g(ar)o(e)h(distinctly)f(in)h(this)e(vein,)i(concen-)60 885 y(trating)g(on)g(truth-conditional)g(semantics)f(of)h(geometric)f (systems.)16 b(Note)11 b(that)f(all)h(of)g(the)g(systems)e(consider)o (ed)k(in)60 935 y(that)7 b(collection)h(have)g(entir)o(ely)g(abstract)f (semantics,)h(in)g(that)f(they)h(do)g(not)f(have)h(any)g(r)o(eal-world) h(situations)d(as)h(their)60 985 y(subject)j(matter)m(.)60 1035 y(In)j([Reiter)d(&)g(Mackworth,)h(1989)o(],)i(for)g(example,)g (simple)f(maps)g(ar)o(e)h(tr)o(eated)f(as)g(sets)g(of)g(sentences)g(in) h(\256rst-or)o(der)60 1084 y(logic,)e(along)f(with)g(speci\256c)h (backgr)o(ound)g(knowledge)g(axioms)e(which)i(embody)f(map)g (information)f(constraints)1921 1069 y Fl(6)1937 1084 y Fw(.)122 1134 y(A)14 b(simple)e(map)g(semantics)g(takes)g(each)h(map) g(to)f(be)h(a)f(set)g(of)h(claims)g(about)f(a)g(r)o(egion,)j(expr)o (essed)e(as)g(a)f(set)h(of)60 1184 y(pr)o(opositions.)19 b(The)13 b(map)f(is)h(true)f(if)g(and)h(only)f(if)h(all)f(its)g(claims) g(ar)o(e)h(true.)20 b(Thus)13 b(the)f Fn(meaning)h Fw(of)f(a)h(map)e (\(on)i(this)60 1234 y(construal\))d(is)g(the)g(\252way)g(the)g(r)o (egion)i(would)e(be)h(like\272)f(if)h(the)f(map)g(wer)o(e)h(true,)f(so) g(that)g(the)g(content)g(of)g(a)g(map)g(is)h(its)60 1284 y(truth-conditions.)122 1334 y(Using)d(this)f(appr)o(oach,)i(the)e (semantics)g(of)g(maps)f(is)i(exactly)f(that)g(of)g(sets)f(of)i (sentences)e(in)i(pr)o(edicate)g(logic.)14 b(Ther)o(e)60 1384 y(is)8 b(nothing)h(characteristically)g(\252graphical\272)g(about) e(the)h(semantics;)g(the)h(pr)o(oblem)f(r)o(educes)i(to)d(that)h(of)g (a)g(translation)60 1434 y(task.)15 b(Given)c(the)g(earlier)g (discussion,)g(it)g(seems)f(clear)h(that)f(such)h(appr)o(oaches)g(fail) g(to)f(addr)o(ess)h(the)g(issues)f(of)g(err)o(or)60 1483 y(and)h(appr)o(oximation)e(which)i(ar)o(e)g(central)f(to)g(a)g (semantics)f(of)h(MLRs.)122 1533 y(V)l(arious)e(alternatives)g(\(eg:)13 b(Situation)7 b(Semantics\))h(to)f(the)h(strictly)h(classical)f(appr)o (oach)h(ar)o(e)g(explor)o(ed)g(in)g(the)f(full)60 1583 y(paper)m(,)j(and)f(ar)o(e)h(shown)f(to)f(lack)i(the)f(r)o(esour)o(ces) h(with)e(which)i(to)f(deal)g(with)g(err)o(or)h(and)g(verisimilitude.)60 1706 y Fm(3.2)50 b(Approximation)12 b(semantics)60 1785 y Fw(What)g(has)g(been)h(found)g(lacking)h(in)f(the)g(above)g(accounts) f(is)h(any)g(way)f(of)h(dealing)g(with)g(the)f(two)g(central)h(issues) 60 1835 y(in)d(map)f(semantics:)k(appr)o(oximation)c(to)g(the)h(truth)f (\(or)g(verisimilitude\),)i(and)f(err)o(or)m(.)15 b(An)10 b(\252appr)o(oximation)f(seman-)60 1885 y(tics)122 1870 y Fl(7)138 1885 y Fw(\272,)h(wher)o(e)h(r)o(epr)o(esentations)e(ar)o(e) h(graded)h(in)f(virtue)h(of)e(their)h(\252closeness)f(to)g(the)h (truth\272,)f(is)h(developed)h(in)f(or)o(der)60 1935 y(to)g(tackle)g(the)g(\256rst)g(of)g(these)g(issues.)j(However)m(,)e (the)f(issue)f(of)h(err)o(or)i(is)e(implicit)g(in)h(such)g(a)f (semantics,)g(for)g(in)h(or)o(der)60 1985 y(to)f(give)g(a)h (verisimilitude)f(measur)o(e)g(for)g(r)o(epr)o(esentations)g(a)g (systematic)e(account)j(of)f(err)o(or)h(becomes)e(essential.)122 2035 y(Ther)o(e)i(follows)e(a)g(basic)h(map)f(semantics)g(\(see)g (\256gur)o(e)i(1\),)e(in)i(which)f(measur)o(es)f(of)g(completeness)g (and)h(accuracy)60 2084 y(of)g(a)g(r)o(epr)o(esentation)g(ar)o(e)g (evaluated.)74 2134 y(The)h(system)d(takes)i(map-points)e Fk(X)14 b Fw(and)d(symbols/icons)e Fk(S)k Fw(as)d(primitives;)g(a)h (map)e Fk(M)15 b Fw(is)10 b(a)h(subset)e(of)g Fj(h)p Fk(X)q(;)e(S)r Fj(i)60 2184 y Fw(A)k(function)f Fk(l)j Fi(:)e Fk(S)j Fj(!)d(P)s Fi(\()p Fk(X)s Fi(\))h Fw(locates)d(each)i (symbol)e(in)i(the)f(map)f(\(symbols)g(can)i(overlap\).)122 2284 y(Models)g(ar)o(e)f(of)g(the)g(form)g Fj(h)p Fk(L;)d(D)q(;)g Fi(\000)p Fj(i)p Fw(,)k(wher)o(e)f Fk(L)h Fw(is)f(a)g(set)f(of)h(r)o (eal)h(locations,)60 2334 y Fk(D)i Fw(is)e(a)h(domain)f(of)g(r)o(eal)h (objects)f(\(a)g(r)o(egion)h(under)g(some)f(geographical)h (classi\256cation\),)f(and)h Fi(\000)k(:)f Fk(D)i Fj(!)e Fk(L)d Fw(locates)60 2383 y(each)f(individual)g(in)g(the)f(r)o(egion)h (\(individuals)g(may)f(overlap\))1078 2368 y Fl(8)122 2483 y Fk(I)k Fw(is)c(an)g(interpr)o(etation)g(function)g(such)h(that:) 60 2533 y Fk(I)k Fi(:)c Fk(S)j Fj(!)e(P)s Fi(\()p Fk(D)q Fi(\))60 2583 y Fk(I)j Fi(:)c Fk(X)k Fj(!)c Fk(L)p 60 2660 756 2 v 105 2688 a Fs(5)120 2700 y Fr(T)m(o)k(begin)h(with,)h(two) d(candidate)h(appr)o(oaches)g(can)f(be)i(ruled)f(out)g(fairly)f (quickly;)19 b(the)c(theory)h(of)f(semiotics,)h(per)o(haps)g(best)f(r)o (epr)o(e-)60 2739 y(sented)e(in)g(r)o(elation)g(to)f(graphics)h(by)h ([Bertin,)9 b(1981)n(],)15 b(and)e(the)g(theory)g(of)g(\252qualitative) d(spatial)h(r)o(epr)o(esentations\272)i(curr)o(ently)h(espoused)f(by)60 2779 y([Hern)s(\302)-14 b(andez,)8 b(1994)o(],)h(amongst)g(others.)k (Both)c(of)g(these)f(appr)o(oaches)h(ar)o(e)f(criticized)f(for)i(their) f(lack)g(of)h(semanticity;)g(that)f(is,)h(they)g(ar)o(e)f(not)h(truly) 60 2818 y(semantical)e(systems)i(in)f(the)h(\256rst)f(place,)g(in)g (that)g(they)h(fail)e(to)h(describe)h(any)f(systematic)g(r)o (elationship)g(between)g(r)o(epr)o(esentations)h(and)g(r)o(eality)l(.) 105 2847 y Fs(6)120 2859 y Fr(For)g(example,)60 2898 y Fh(8)p Fg(x;)t(y)q Ff(\()p Fg(r)q(iv)q(er)q Ff(\()p Fg(x)p Ff(\))f Fh(^)g Fg(r)q(iv)q(er)q Ff(\()p Fg(y)q Ff(\))i Fh(\))g(:)p Fg(cr)q(oss)p Ff(\()p Fg(x;)c(y)q Ff(\)\))60 2937 y Fh(8)p Fg(x)p Ff(\()p Fg(shor)q(e)p Ff(\()p Fg(x)p Ff(\))i Fh(\))i Fg(loop)p Ff(\()p Fg(x)p Ff(\)\))105 2966 y Fs(7)120 2978 y Fr(see)e([Lemon,)i(1995)n(])e(for)h (a)f(similar)f(appr)o(oach)h(in)h(r)o(elation)f(to)g(Revisable)f (Paraconsistent)h(theories.)105 3007 y Fs(8)120 3019 y Fr(Think)h(of)g(FOL)g(domains)g(wher)o(e)f(all)f(individuals)h(have)g (a)g(location.)p eop %%Page: 5 5 5 4 bop -30 -10 a Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e(Lemon)f(&)h (Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g(Map\272)416 b Fw(5)398 719 y @beginspecial 0 @llx 0 @lly 248 @urx 150 @ury 2480 @rwi @setspecial %%BeginDocument: mlr.eps /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /l {lineto} bind def /m {moveto} bind def /s {stroke} bind def /n {newpath} bind def /gs {gsave} bind def /gr {grestore} bind def /clp {closepath} bind def /graycol {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul setrgbcolor} bind def /col-1 {} def /col0 {0 0 0 setrgbcolor} bind def /col1 {0 0 1 setrgbcolor} bind def /col2 {0 1 0 setrgbcolor} bind def /col3 {0 1 1 setrgbcolor} bind def /col4 {1 0 0 setrgbcolor} bind def /col5 {1 0 1 setrgbcolor} bind def /col6 {1 1 0 setrgbcolor} bind def /col7 {1 1 1 setrgbcolor} bind def end /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def $F2psBegin 0 setlinecap 0 setlinejoin -20.0 158.0 translate 0.450 -0.450 scale 0.500 setlinewidth % Polyline n 71 129 m 64 129 64 262 7 arcto 4 {pop} repeat 64 269 192 269 7 arcto 4 {pop} repeat 199 269 199 136 7 arcto 4 {pop} repeat 199 129 71 129 7 arcto 4 {pop} repeat clp gs col-1 s gr % Polyline n 331 49 m 324 49 324 342 7 arcto 4 {pop} repeat 324 349 587 349 7 arcto 4 {pop} repeat 594 349 594 56 7 arcto 4 {pop} repeat 594 49 331 49 7 arcto 4 {pop} repeat clp gs col-1 s gr % Polyline n 114 174 m 114 174 l 114 179 l 114 174 l gs col-1 s gr n 154 189 m 154 189 l gs col-1 s gr n 114 209 m 114 209 l gs col-1 s gr n 139 204 m 139 204 l gs col-1 s gr % Polyline n 124 224 m 129 234 l 139 229 l 139 219 l 124 224 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 154 179 m 154 179 l gs col-1 s gr n 149 174 m 149 174 l gs col-1 s gr n 149 174 m 149 174 l gs col-1 s gr n 149 174 m 149 174 l gs col-1 s gr n 149 174 m 149 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 149 179 m 149 179 l gs col-1 s gr n 149 179 m 149 179 l gs col-1 s gr n 144 179 m 144 179 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 144 174 m 144 174 l gs col-1 s gr n 149 174 m 149 174 l gs col-1 s gr n 149 179 m 149 179 l gs col-1 s gr n 149 179 m 149 179 l gs col-1 s gr n 159 184 m 159 184 l gs col-1 s gr n 154 179 m 154 179 l gs col-1 s gr n 154 179 m 154 179 l gs col-1 s gr n 154 179 m 154 179 l gs col-1 s gr n 154 179 m 154 179 l gs col-1 s gr n 149 174 m 149 174 l gs col-1 s gr n 149 179 m 149 179 l gs col-1 s gr n 149 184 m 149 184 l gs col-1 s gr n 149 184 m 149 184 l gs col-1 s gr n 149 184 m 149 184 l gs col-1 s gr n 154 184 m 154 184 l gs col-1 s gr n 154 184 m 154 184 l gs col-1 s gr n 154 184 m 154 184 l gs col-1 s gr n 154 184 m 154 184 l gs col-1 s gr n 159 189 m 159 189 l gs col-1 s gr n 159 189 m 159 189 l gs col-1 s gr n 159 189 m 159 189 l gs col-1 s gr % Polyline n 224 204 m 279 204 l 264 194 l 264 214 l 279 204 l gs col-1 s gr % Polyline n 404 194 m 394 209 l 399 229 l 419 239 l 424 229 l 424 219 l 424 209 l 424 209 l 409 189 l 404 194 l gs col-1 s gr % Polyline n 494 144 m 489 149 l 499 164 l 499 154 l 499 149 l 499 149 l 494 154 l 494 154 l 494 134 l 494 144 l gs col-1 s gr n 469 149 m 469 149 l gs col-1 s gr n 469 149 m 469 149 l gs col-1 s gr n 469 154 m 469 154 l gs col-1 s gr n 474 164 m 474 164 l gs col-1 s gr n 469 159 m 469 159 l gs col-1 s gr n 469 154 m 469 154 l gs col-1 s gr n 469 164 m 469 164 l gs col-1 s gr n 469 164 m 469 164 l gs col-1 s gr n 469 164 m 469 164 l gs col-1 s gr n 474 164 m 474 164 l gs col-1 s gr n 469 159 m 469 159 l gs col-1 s gr n 474 159 m 474 159 l gs col-1 s gr n 474 159 m 474 159 l gs col-1 s gr n 474 159 m 474 159 l gs col-1 s gr n 474 159 m 474 159 l gs col-1 s gr n 469 164 m 469 164 l gs col-1 s gr n 474 164 m 474 164 l gs col-1 s gr n 474 169 m 474 169 l gs col-1 s gr n 474 169 m 474 169 l gs col-1 s gr n 474 174 m 474 174 l gs col-1 s gr n 479 174 m 479 174 l gs col-1 s gr n 479 174 m 479 174 l gs col-1 s gr n 474 164 m 474 164 l gs col-1 s gr n 479 164 m 479 164 l gs col-1 s gr n 524 344 m 524 344 l gs col-1 s gr n 559 259 m 559 259 l gs col-1 s gr n 489 239 m 489 239 l gs col-1 s gr % Polyline n 494 84 m 479 89 l 494 79 l gs col-1 s gr n 519 134 m 519 134 l gs col-1 s gr n 519 139 m 519 139 l gs col-1 s gr n 519 144 m 519 144 l gs col-1 s gr n 519 144 m 519 144 l gs col-1 s gr n 354 294 m 354 294 l gs col-1 s gr n 359 309 m 359 309 l gs col-1 s gr n 384 344 m 384 344 l gs col-1 s gr n 414 79 m 414 79 l gs col-1 s gr n 369 84 m 369 84 l gs col-1 s gr n 354 129 m 354 129 l gs col-1 s gr n 369 159 m 369 159 l gs col-1 s gr n 389 159 m 389 159 l gs col-1 s gr n 389 159 m 389 159 l gs col-1 s gr n 409 154 m 409 154 l gs col-1 s gr n 419 144 m 419 144 l gs col-1 s gr n 424 139 m 424 139 l gs col-1 s gr n 579 79 m 579 79 l gs col-1 s gr n 589 99 m 589 99 l gs col-1 s gr n 589 169 m 589 169 l gs col-1 s gr n 574 184 m 574 184 l gs col-1 s gr n 559 194 m 559 194 l gs col-1 s gr n 544 219 m 544 219 l gs col-1 s gr n 564 314 m 564 314 l gs col-1 s gr n 569 344 m 569 344 l gs col-1 s gr n 464 334 m 464 334 l gs col-1 s gr n 459 279 m 459 279 l gs col-1 s gr n 464 279 m 464 279 l gs col-1 s gr /Times-Roman findfont 20.00 scalefont setfont 89 249 m gs 1 -1 scale (S) col-1 show gr /Times-Roman findfont 20.00 scalefont setfont 44 159 m gs 1 -1 scale (X) col-1 show gr /Times-Roman findfont 20.00 scalefont setfont 239 194 m gs 1 -1 scale (I) col-1 show gr /Times-Roman findfont 20.00 scalefont setfont 89 84 m gs 1 -1 scale (MLR) col-1 show gr /Times-Roman findfont 20.00 scalefont setfont 344 34 m gs 1 -1 scale (MODEL/REGION) col-1 show gr /Times-Roman findfont 20.00 scalefont setfont 304 89 m gs 1 -1 scale (L) col-1 show gr /Times-Roman findfont 20.00 scalefont setfont 384 139 m gs 1 -1 scale (D) col-1 show gr $F2psEnd %%EndDocument @endspecial 540 851 a(Figur)o(e)11 b(1:)j(MLR)d(appr)o(oximation)e (semantics)32 988 y(The)i(semantic)f(value)g(of)g(a)g(map)g Fk(M)15 b Fw(under)c(interpr)o(etation)f Fk(I)k Fw(is)c(given)h(by;)-30 1072 y Fx(De\256nition)f(2)21 b Fi(V)m(al)o(\()p Fk(M)r(;)7 b(I)s Fi(\))12 b(=)g Fk(min)523 1078 y Fe(\031)q Fd(2)p Fc(\005)593 1072 y Fi(V)m(al)o(\()p Fk(M)r(;)7 b(I)s(;)g Fi(\005\))32 1172 y Fn(wher)o(e)k Fi(\005)g Fn(is)f(a)g(set)h(of)f (functions)g Fk(\031)j Fi(:)e Fk(S)j Fj(!)d Fk(D)g Fj([)e(f)p Fk(!)q Fj(g)32 1222 y Fn(and)i Fk(!)h Fn(is)e(an)h(\252unde\256ned\272) e(individual)g(\(dealing)g(with)h(non-existent)g(objects)h(in)f(the)g (r)o(epr)o(esentation\).)-30 1271 y Fi(V)m(al)o(\()p Fk(M)r(;)d(I)s(;)g Fi(\005\))k Fn(is)f(a)h(parameterized)g(set)g(of)f (err)o(or)i(measur)o(es)g(on)f(the)f(map)h Fk(M)k Fn(under)10 b(the)g(interpr)o(etation)h Fk(I)s Fn(:)32 1371 y Fi(V)m(al)o(\()p Fk(M)r(;)c(I)s(;)g Fi(\005\))12 b(=)g Fk(\013)p Fi(\006)369 1378 y Fe(s)p Fd(2)p Fe(S=D)474 1371 y Fk(d)p Fi(\()p Fk(s)p Fi(\))d(+)h Fk(\014)r Fi(\006)653 1378 y Fe(s)p Fd(2)p Fe(D)q(=S)761 1371 y Fk(d)p Fi(\()p Fk(s)p Fi(\))f(+)h Fk(\015)r Fi(\006)938 1377 y Fe(s)p Fd(2)p Fe(S)1001 1371 y Fk(d)p Fi(\()p Fk(s;)d(\031)q Fi(\()p Fk(s)p Fi(\)\))32 1471 y Fn(The)14 b(function)f Fk(d)p Fi(\()p Fk(s)p Fi(\))g Fn(r)o(eturns)i(the)e(size)613 1456 y Fl(9)643 1471 y Fn(of)g(the)g(omitted)g(or)h(non-existent)f(symbol)h Fk(s)p Fn(,)h(while)d Fk(d)p Fi(\()p Fk(s;)7 b(t)p Fi(\))13 b Fn(gives)g(the)g(distance)-30 1521 y(between)8 b(two)g(symbols.)14 b Fk(\013;)7 b(\014)r(;)g(\015)j Fn(ar)o(e)f(parameters)g(allowing)e (the)g(importance)i(of)e(certain)h(types)g(of)f(err)o(or)i(to)f(be)h (varied)e(according)-30 1571 y(to)k(context.)32 1654 y Fw(These)e(err)o(or)h(measur)o(es)e(quantify)h(over)g(mistakes)f(of)g (omission,)g(mistakes)f(of)i(non-existence,)g(and)h(mistakes)d(in)-30 1704 y(location.)15 b(Thge)d(best)e(interpr)o(etation)g(of)g(the)h(map) f(can)h(thus)g(be)f(evaluated)h(as)f(the)h(one)g(which)g(pr)o(ovides)h (the)e(least)-30 1754 y(err)o(or)f(measur)o(e.)j(The)d(semantic)d (value)i(of)f(the)h(r)o(epr)o(esentation)f(is)g(then)h(the)f(err)o(or)i (value)e(of)h(the)f(minimally)g(mistaken)-30 1804 y(mapping)j(of)g(map) g(objects)f(\()p Fk(S)r Fw(\))i(to)e(individuals)j(in)e(the)g(model)g (\()p Fk(D)q Fw(\).)32 1854 y(Thus)f(the)f(r)o(epr)o(esentation)g Fk(M)13 b Fw(is)8 b(evaluated)g(under)h(dif)o(fer)o(ent)g(interpr)o (etations)e(\(dif)o(fer)o(ent)i(associations)d(of)i(sym-)-30 1903 y(bols)i(with)f(r)o(eal)i(objects,)f(and)g(map)g(locations)f(with) h(r)o(eal)h(locations\).)32 1953 y(The)e(\252err)o(ors)g(of)f (omission\272)f(measur)o(e)h(pr)o(ovides)h(a)g(way)f(of)g(evaluating)g (the)g(quality)g(of)h(the)f(r)o(epr)o(esentation)g(with)-30 2003 y(r)o(espect)k(to)f(its)g(completeness.)17 b(The)c(quantity)e(of)g (individuals)i(in)f(the)g(model)g(\(the)f(\252r)o(epr)o(esented)h (world\272\))g(which)-30 2053 y(ar)o(e)f(not)e(associated)g(with)h(any) h(symbol)e(pr)o(ovides)i(a)f(measur)o(e)g(of)g(how)g(well)g(the)g(map)f (covers)i(its)f(subject)f(matter)m(.)32 2103 y(The)k(above)f(account)h (r)o(equir)o(es)g(supplementation)e(by)h(a)g(rigor)o(ous)h(account)f (of)g(err)o(ors)h(in)g(r)o(epr)o(esentation)f(sys-)-30 2153 y(tems.)20 b(Just)12 b(such)h(an)g(account)g(is)f(pr)o(ovided,)j (in)e(part,)h(by)f(description)f(of)h(r)o(epr)o(esentation)f(systems)f (pr)o(ovided)j(by)-30 2203 y(Channel)d(Theory)-5 b(.)-30 2347 y Fq(4)60 b(Channel)13 b(Theory)i(as)f(a)h(Theory)g(of)h (Representation)-30 2442 y Fw(Channel)d(Theory)g(is)f(a)g(general)h (mathematical)e(account)h(of)g(the)g(types)f(of)h(information)f(\257ow) h(which)h(occur)g(in)g(all)-30 2491 y(kinds)c(of)f(contexts:)k(logics,) d(languages,)g(and)g(r)o(epr)o(esentation)f(systems)e(as)i(diverse)h (as)f(X-rays,)g(radar)i(scr)o(eens,)f(ther)o(-)-30 2541 y(mometers,)g(photographs,)h(and)g(maps.)32 2591 y(Channels)15 b(ar)o(e)g(taken)f(to)g(connect)h Fn(classi\256cation)g(domains)g Fw(\(parts)f(of)g(the)g(world)h(under)h(certain)f(taxonomies\))-30 2641 y(to)d(other)g(classi\256cation)g(domains.)21 b(A)13 b(\252map)f(channel\272)h(is)g(an)f(example)h(of)f(a)g(r)o(epr)o (esentational)g(channel)i(\(see)e(eg:)-30 2691 y([Barwise)e(&)h (Seligman,)f(1994)o(],)e(page)e(23.\))13 b(Classi\256cations)5 b Fk(C)15 b Fi(=)c Fj(h)p Fk(S;)c(T)s(;)g Fj(j)-7 b Fi(=)p Fj(i)p Fw(,)9 b(consist)d(of)g(typed)h(tokens,)g(while)g(\252chan-)-30 2741 y(nels\272)h(link)h(types)f(and)h(tokens)f(acr)o(oss)h(these)e (classi\256cations,)i(by)g(way)f(of)g(\252indicating\272)h(and)g (\252signalling\272)g(r)o(elations)-30 2790 y(r)o(espectively)-5 b(.)32 2840 y(The)14 b(formal)f(tools)f(of)h(CT)i(allow)e(a)g(rigor)o (ous)h(taxonomy)e(of)h(err)o(or)i(in)e(r)o(epr)o(esentational)g (systems)f(in)h(general.)-30 2890 y(CT's)d(account)h(of)e(exceptions)h (to)g(r)o(egular)h(information)e(\257ow)h(is)g(seen)g(to)f(underwrite)i (the)f(appr)o(oximation)f(seman-)-30 2940 y(tics)e(given)i(above)e (\(in)h(the)g(sense)f(that)f(a)i(verisimilitude)g(measur)o(e)f(must)g (be)h(based)f(upon)h(a)f(rigor)o(ous)h(theory)g(of)f(err)o(or)p -30 2979 756 2 v 15 3007 a Fs(9)30 3019 y Fr(The)i(radius.)p eop %%Page: 6 6 6 5 bop 60 -10 a Fw(6)406 b Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e (Lemon)f(&)h(Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g (Map\272)60 135 y Fw(in)h(r)o(epr)o(esentations\).)60 185 y(\252Channels\272)i(link)g(situation)f(types)g(by)h(supporting)f (constraints)g(between)g(situations.)20 b(Ther)o(e)14 b(ar)o(e,)h(pr)o(esumably)-5 b(,)60 235 y(a)11 b(variety)g(of)f (\252mapping\272)g(channels)i Fk(c)689 241 y Fe(m)720 235 y Fw(,)g(linking)f(maps)f(\(map-type)g(situations\))f Fk(M)15 b Fw(with)c(r)o(egions)g(\(geographical)60 285 y(situations\))c Fk(R)i Fw(by)g(way)f(of)h(\252mapping)f (constraints\272.)13 b(T)l(oken)c(symbols)f Fk(m)k Fj(2)f Fk(M)j Fw(ar)o(e)9 b(called)g(\252signals\272)f(for)h(token)g(ob-)60 334 y(jects)g Fk(r)k Fj(2)e Fk(R)p Fw(,)g(r)o(elative)f(to)g(a)g (channel)h Fk(c)p Fw(,)f(and)h(the)f(tokens)f Fk(r)i Fw(ar)o(e)g(called)g(\252tar)o(gets\272)e(for)h(the)g(symbols)f Fk(m)p Fw(.)14 b(Thus,)d(tokens)60 384 y(\(symbols\))e(in)h Fk(m)h Fw(indictate)f(tokens)g(\(geographical)g(objects\))f(in)i Fk(r)q Fw(.)60 484 y Fx(De\256nition)f(3)21 b Fn(A)7 b(r)o(epr)o(esentational)i(system)e(is)g(a)h(structur)o(e)g Fj(h)p Fk(C)1012 490 y Fc(1)1030 484 y Fk(;)f(c;)g(C)1116 490 y Fc(2)1133 484 y Fj(i)p Fn(,)i(consisting)e(of)g(two)g (\252classi\256cations\272)g Fi(\()p Fk(C)1779 490 y Fc(1)1798 484 y Fk(;)g(C)1847 490 y Fc(2)1864 484 y Fi(\))h Fn(and)60 534 y(a)j(\252channel\272)f(\()p Fk(c)p Fn(\).)60 632 y Fx(De\256nition)g(4)21 b Fn(A)13 b(classi\256cation)g(domain)h Fj(h)p Fk(S;)7 b(T)s(;)g Fj(j)-7 b Fi(=)p Fj(i)14 b Fn(is)f(a)h(set)f Fk(T)19 b Fn(of)14 b(types,)g Fk(S)i Fn(of)d(tokens,)j(and)d(a)h (classi\256cation)f(r)o(elation)h Fj(j)-7 b Fi(=)60 681 y Fn(between)11 b(them.)60 780 y Fx(De\256nition)f(5)21 b Fn(A)13 b(channel)g(consists)g(of)g(indicating)e(r)o(elations)i Fj(\))g Fn(between)g(types)g Fk(T)1350 786 y Fe(n)1393 780 y Fj(2)20 b Fk(T)6 b Fn(,)14 b(and)f(signalling)e(r)o(elations)i Fj(7!)60 829 y Fn(between)e(tokens)g(\(or)g(\252sites\272\))f Fk(s)539 835 y Fe(n)573 829 y Fj(2)h Fk(S)122 927 y Fw(Thus)g Fk(s)244 933 y Fc(1)274 927 y Fj(j)-7 b Fi(=)12 b Fk(T)347 933 y Fc(1)376 927 y Fw(states)c(that)i(token)f Fk(s)704 933 y Fc(1)734 927 y Fw(is)h(of)g(type)f Fk(T)936 933 y Fc(1)955 927 y Fw(;)i(for)f(example)g(\252Symbol-x)g(is)g(a)g (castle-symbol\272.)i(Channels)60 977 y(ar)o(e)e(typed)g(by)g (indicating)g(r)o(elations,)g(so)f(that)g Fk(c)j Fj(j)-7 b Fi(=)11 b Fk(T)907 983 y Fc(1)937 977 y Fj(\))h Fk(T)1015 983 y Fc(2)1043 977 y Fw(states)c(that)h(channel)h Fk(c)g Fw(is)g(of)f(the)h(type)f(which)h(supports)60 1027 y(that)f (constraint.)60 1077 y(Signalling)h(r)o(elations)f(ar)o(e)h(r)o (elativised)g(to)f(channels,)h(so)f(that)g Fk(s)1069 1083 y Fc(1)1099 1077 y Fj(7!)1141 1083 y Fe(c)1169 1077 y Fk(s)1188 1083 y Fc(2)1217 1077 y Fw(states)f(that)g(site/token)h Fk(s)1632 1083 y Fc(1)1660 1077 y Fw(is)h(a)f(signal)g(for)h Fk(s)1931 1083 y Fc(2)60 1127 y Fw(\(the)g(\252tar)o(get\272\))f(r)o (elative)i(to)e(channel)i Fk(c)p Fw(.)122 1178 y(Think)f(of)f(these)g (classi\256cations)f(as)g(\252r)o(epr)o(esenting\272)i(and)f(\252r)o (epr)o(esented\272)g(worlds)g(r)o(espectively)-5 b(,)11 b(and)f(the)f(chan-)60 1228 y(nel)k(as)e(a)h(set)g(of)g(interpr)o (etational)f(conventions)h(\(indicating)h(r)o(elations\))f(and)h(an)f (interpr)o(etation)f(\(signalling)i(r)o(ela-)60 1278 y(tions:)18 b(an)12 b(association)f(of)h(r)o(epr)o(esenting)h(tokens)e (with)h(r)o(epr)o(esented)h(tokens\).)20 b(Thus,)14 b(keeping)e (conventions)h(\(the)60 1328 y(indicating)8 b(r)o(elations\))f(static,) g(dif)o(fer)o(ent)h(interpr)o(etations)e(of)h(the)g(r)o(epr)o (esentation)g(can)h(be)f(given)i(by)e(varying)i(the)e(way)60 1377 y(its)k(tokens)g(ar)o(e)h(associated)f(with)g(those)g(of)g(the)g (r)o(epr)o(esented)i(world)f(\(varying)g(the)g(signalling)g(r)o (elations\).)18 b(On)11 b(the)60 1427 y(other)h(hand,)j(keeping)d(the)h (r)o(epr)o(esented)g(and)g(r)o(epr)o(esenting)g(worlds)g(static,)f(dif) o(fer)o(ent)i(interpr)o(etational)d(conven-)60 1477 y(tions)e (\(channels\))i(can)f(be)h(evaluated.)60 1608 y Fm(4.1)50 b(A)12 b(Channel)h(Theoretic)g(Approximation)f(Semantics)h(of)f(MLRs)60 1690 y Fw(The)h(\256rst)g(classi\256cation)f(in)h(a)g(semantics)f(of)g (MLRs)h(is)f(an)h(image)g(interpr)o(etation)f(taxonomy:)18 b(associating)12 b(token)60 1740 y(marks-on-paper)7 b(with)g(symbol)h (types.)k(The)d(\252map)e(channel\272)h(associates)e(token)i(icons)g (with)f(objects)g(in)h(the)g(r)o(egion,)60 1790 y(and)h(icon)g(types)f (with)g(\(geographical\))g(object)g(types.)13 b(Thus)c(the)f(second)h (classi\256cation)f(is)g(of)g(objects)f(in)i(a)g(r)o(egion)g(by)60 1840 y(geographical)j(type.)17 b(Each)12 b(of)f(these)g (classi\256cations)f(is)h Fn(total)h Fw(\(tokens)e(which)i(ar)o(e)g (not)f(positively)f(typed)i(for)f(some)60 1889 y(type)f(ar)o(e)h (negatively)g(typed)g(for)f(it;)h(if)g(a)f(symbol)g(is)g(not)h (classi\256ed)f(as)g(a)h(castle-symbol)e(then)h(it)h(is)f(typed)h(as)f (a)g(non-)60 1939 y(castle)g(symbol.\))j(Each)e(token)e(is)i(allowed)e (to)h(have)h(one)f(and)g(only)h(one)f(positive)f(type.)122 1991 y(Her)o(e)h(the)g(account)h(of)e(err)o(or)i(pr)o(ovided)h(by)e (standar)o(d)h(CT)g(is)f(extended)h(in)f(or)o(der)h(to)f(deal)g(with)g (the)f(range)i(of)f(er)o(-)60 2040 y(r)o(ors)j(occurring)h(in)f(r)o (eal)g(map-like)f(r)o(epr)o(esentations.)19 b(Later)13 b(it)f(will)h(be)f(shown)g(that)f(this)h(framework)g(pr)o(ovides)h(a)60 2090 y(semantics)c(for)h(actual)g(map-pr)o(ocessing)g(algorithms)f(in)i (a)f(GIS.)60 2140 y(Maps)g(ar)o(e)i(speci\256cally)f(mentioned)f (\(along)h(with)f(blueprints,)h(photographs,)f(x-rays,)i(and)f(radar)g (scr)o(eens\))g(as)f(im-)60 2190 y(perfect)g(information)g(systems,)e (in)j([Seligman)f(&)g(Barwise,)h(1993)o(].)122 2241 y(For)g(example,) 164 2329 y(\252Consider)d(the)f(radar)i(scr)o(een)f(with)g(one)f(blip)h (caused)g(by)g(a)g(sunspot.)k(The)c(positions)e(of)i(the)f(other)h (blips)164 2379 y(corr)o(ectly)g(indictate)f(the)g(position)f(of)h (planes)f(in)i(the)e(sky)-5 b(,)9 b(so)d(ther)o(e)i(is)f(a)f(sense)h (in)g(which)h(the)f(radar)h(scr)o(een)164 2429 y(is)i([a])h(r)o (easonably)f(good)h(r)o(epr)o(esentation)f(of)h(the)f(sky)-5 b(,)12 b(despite)e(the)h(errant)g(blip.)16 b(Likewise,)11 b(the)f(photo)164 2479 y(of)i(Clair)o(e's)g(yar)o(d)i(r)o(epr)o(esents) e(the)g(ar)o(ea)h(as)f(being)g(hilly)h(and)g(wooded,)g(and)g(it)f(is)g (right;)i(but)e(it)h(shows)164 2529 y(a)f(tr)o(ee)h(which)g(has)f(been) g(r)o(emoved)i(since)e(the)g(photo)g(was)g(taken.)20 b(It)12 b(would)g(be)h(quite)f(wr)o(ong)h(to)f(say)164 2579 y(that)c(the)g(photo)g(no)h(longer)g(r)o(epr)o(esents)g(the)f(yar) o(d,)j(or)e(even)g(that)f(it)g(is)h(a)g(misr)o(epr)o(esentation.\272)j (\(page)c(22,)164 2628 y([Barwise)i(&)g(Seligman,)h(1994)o(]\))60 2716 y(Her)o(e)f(it)g(is)g(shown)f(that)g(an)h(account)g(of)g(err)o(or) h(based)f(on)g(CT)h(as)e(a)h(pr)o(ovides)h(a)f(detailed)g(appr)o (oximation)f(semantics)60 2766 y(for)h(MLRs.)122 2818 y(Thinking)j(about)e(the)g(types)f(of)h(err)o(ors)h(which)g(cr)o(op)h (up)e(in)h(a)f(semantics)f(of)h(maps)g(brings)h(to)f(light)g(new)g (issues)60 2867 y(for)e(the)f(taxonomy)f(of)i(exceptions)f(in)h (Channel)g(Theory)-5 b(.)15 b(The)9 b(idea)g(of)f(\252appr)o(oximation) g(semantics\272)f(is)h(to)g(quantify)60 2917 y(over)14 b(the)f(number)h(of)g(pseudo-signals)e(and)i(other)f(err)o(ors)i(that)e (a)g(map)g(contains)g(and)h(give)h(a)e(measur)o(e)g(of)h(MLR)60 2967 y(quality)-5 b(.)122 3019 y(The)11 b(following)f(err)o(or)h (de\256nitions)f(ar)o(e)h(r)o(outine)f(fr)o(om)g(CT)i(\(see)d(eg:)14 b([Barwise,)d(1992)o(]\):)p eop %%Page: 7 7 7 6 bop -30 -10 a Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e(Lemon)f(&)h (Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g(Map\272)416 b Fw(7)-30 135 y Fx(De\256nition)10 b(6)21 b Fn(Channel)10 b Fk(c)h Fj(j)-7 b Fi(=)12 b Fk(T)471 141 y Fc(1)501 135 y Fj(\))f Fk(T)578 141 y Fc(2)608 135 y Fn(has)f(a)h (\252pseudo-signal\272)f Fk(s)1004 141 y Fc(1)1033 135 y Fn(iff)f Fk(s)1097 141 y Fc(1)1128 135 y Fj(j)-7 b Fi(=)11 b Fk(T)1200 141 y Fc(1)1229 135 y Fn(but)g(ther)o(e)g(is)f(no)g Fk(s)1497 141 y Fc(2)1527 135 y Fn(such)g(that)g Fk(s)1710 141 y Fc(1)1741 135 y Fj(7!)1783 141 y Fe(c)1811 135 y Fk(s)1830 141 y Fc(2)1849 135 y Fn(.)-30 274 y Fx(De\256nition)g(7)21 b Fn(Channel)10 b Fk(c)i Fj(j)-7 b Fi(=)12 b Fk(T)472 280 y Fc(1)503 274 y Fj(\))f Fk(T)580 280 y Fc(2)610 274 y Fn(has)g(a)g(\252multi-signal\272)d Fk(s)983 280 y Fc(1)1013 274 y Fn(iff)h Fk(s)1077 280 y Fc(1)1108 274 y Fj(j)-7 b Fi(=)12 b Fk(T)1181 280 y Fc(1)1211 274 y Fn(and)e(ther)o(e)h(is)f(mor)o(e)i(than)f(one)g Fk(s)1681 280 y Fe(i)1706 274 y Fn(such)f(that)-30 324 y Fk(s)-11 330 y Fc(1)20 324 y Fj(7!)62 330 y Fe(c)90 324 y Fk(s)109 330 y Fe(i)123 324 y Fn(.)-30 464 y Fx(De\256nition)g(8)21 b Fn(Channel)13 b Fk(c)22 b Fj(j)-7 b Fi(=)22 b Fk(T)495 470 y Fc(1)536 464 y Fj(\))g Fk(T)624 470 y Fc(2)656 464 y Fn(has)14 b(a)g(\252clear)f(signal\272)g Fk(s)1025 470 y Fc(1)1058 464 y Fn(iff)f Fk(s)1125 470 y Fc(1)1166 464 y Fj(j)-7 b Fi(=)22 b Fk(T)1249 470 y Fc(1)1281 464 y Fn(and)14 b(ther)o(e)g(is)f(a)h(unique)g Fk(s)1675 470 y Fe(i)1703 464 y Fn(such)f(that)-30 513 y Fk(s)-11 519 y Fc(1)20 513 y Fj(7!)62 519 y Fe(c)90 513 y Fk(s)109 519 y Fe(i)123 513 y Fn(.)32 603 y Fw(These)c(de\256nitions)g(corr)o (espond)h(to)f(\(1\))f(a)h(map)g(which)h(can)f(depict)h(non-existent)e (objects,)g(\(2\))h(a)g(map)g(exhibiting)-30 653 y(a)g(symbol)f(which)i (r)o(efers)g(to)e(a)i(variety)f(of)g(dif)o(fer)o(ent)h(objects)e (\(under)o(-speci\256cation\),)i(and)g(\(3\))e(a)h(map)g(with)g(a)g (symbol)-30 702 y(which)h(r)o(efers)g(to)f(one)g(and)h(only)g(one)f (object)g(in)h(the)f(world.)14 b(In)c(other)f(wor)o(ds,)h(these)f (de\256nitions)g(cover)h(the)g(cases)f(of)-30 752 y(non-existent)g (objects,)h(ambiguity)f(of)h(symbol)g(interpr)o(etation,)g(and)g(an)h (\252ideal\272)f(symbol)f(r)o(espectively)-5 b(.)-30 834 y Fx(Example)10 b(1)21 b Fn(T)-5 b(ake)14 b(the)e(channel)h Fk(c)f Fn(and)h(the)f(r)o(egion)h Fk(R)18 b Fi(=)h Fj(h)p Fk(S)906 840 y Fe(R)934 834 y Fk(;)7 b(T)977 840 y Fe(R)1004 834 y Fk(;)g Fj(j)-7 b Fi(=)1060 840 y Fe(R)1087 834 y Fj(i)12 b Fn(to)h(be)g(constant,)h(and)f(consider)f(differ)o(ent)g (MLRs)-30 884 y Fk(m)g Fi(=)g Fj(h)p Fk(S)103 890 y Fe(m)135 884 y Fk(;)7 b(T)178 890 y Fe(m)209 884 y Fk(;)g Fj(j)-7 b Fi(=)265 890 y Fe(m)296 884 y Fj(i)p Fn(.)32 983 y Fk(s)51 989 y Fc(1)82 983 y Fj(j)g Fi(=)119 989 y Fe(m)162 983 y Fk(T)186 989 y Fc(1)214 983 y Fn(states)9 b(that)g(icon)g Fk(s)491 989 y Fc(1)519 983 y Fn(is)g(of)g(type)g Fk(T)700 989 y Fc(1)719 983 y Fn(,)g(for)h(example)f(that)g(icon)g(1)g(is)f(a)i (castle-type)e(icon.)14 b(Assume)c(that)f Fk(c)g Fn(supports)-30 1033 y(that)j Fk(T)73 1039 y Fc(1)107 1033 y Fj(\))k Fk(T)189 1039 y Fc(2)219 1033 y Fn(and)c Fk(s)312 1039 y Fc(1)347 1033 y Fj(7!)389 1039 y Fe(c)421 1033 y Fk(s)440 1039 y Fc(2)460 1033 y Fn(,)g(and)g(that)f Fk(s)653 1039 y Fc(2)688 1033 y Fj(j)-7 b Fi(=)725 1039 y Fe(R)768 1033 y Fk(T)792 1039 y Fc(2)811 1033 y Fn(,)13 b(ie:)j(castle-type)11 b(icons)h(ar)o(e)h(linked)e(to)h(castle-type)f(objects,)h(and)g(that) -30 1083 y(icon)e(1)g(is)h(linked)e(to)i(object)f(2,)h(and)g(that)f (object)g(2)g(is)g(a)h(castle-type)f(object.)32 1182 y(Imagine)j(now)g(that)f(icon)h(3)f(is)g(also)h(a)g(castle-type)f (icon,)h(but)g(that)f(it)g(is)g(not)h(the)f(signal)g(of)h(any)f(tar)o (get)h(ie:)18 b(that)13 b(it)e(is)i(not)-30 1232 y(associated)f(with)e (any)h(object-token)h(in)e(the)h(r)o(egion.)16 b(Then,)c Fk(s)883 1238 y Fc(3)915 1232 y Fj(j)-7 b Fi(=)13 b Fk(T)989 1238 y Fc(1)1008 1232 y Fn(,)f(but)f(ther)o(e)g(is)g(no)g Fk(s)1300 1238 y Fc(4)1332 1232 y Fn(such)g(that)i Fk(s)1519 1238 y Fc(3)1551 1232 y Fj(7!)1593 1238 y Fe(c)1623 1232 y Fk(s)1642 1238 y Fc(4)1661 1232 y Fn(.)j(Then)11 b Fk(s)1802 1238 y Fc(3)1832 1232 y Fn(is)-30 1282 y(an)g(exception)f(in) g(the)g(map,)h(or)g(a)g(pseudo-signal.)32 1364 y Fw(However)m(,)g (consideration)g(of)g(map)f(err)o(ors)i(brings)f(to)g(light)g(the)g (following)f(new)h(de\256nitions,)g(covering)h(err)o(ors)-30 1413 y(of)e(taxonomy)-5 b(,)10 b(object)f(ommission,)g(and)i(under)o (-generalisation)f(\(over)o(-speci\256city\):)-30 1503 y Fx(De\256nition)g(9)21 b Fn(Channel)10 b Fk(c)h Fj(j)-7 b Fi(=)12 b Fk(T)471 1509 y Fc(1)501 1503 y Fj(\))f Fk(T)578 1509 y Fc(2)608 1503 y Fn(has)f(a)h(\252null-signal\272)e Fk(s)958 1509 y Fc(2)987 1503 y Fn(iff)g Fk(s)1051 1509 y Fc(2)1082 1503 y Fj(j)-7 b Fi(=)11 b Fk(T)1154 1509 y Fc(1)1183 1503 y Fn(but)g(ther)o(e)f(is)h(no)f Fk(s)1451 1509 y Fc(1)1481 1503 y Fn(such)g(that)g Fk(s)1664 1509 y Fc(1)1695 1503 y Fj(7!)1737 1509 y Fe(c)1765 1503 y Fk(s)1784 1509 y Fc(2)-30 1592 y Fx(De\256nition)g(10)21 b Fn(Channel)13 b Fk(c)20 b Fj(j)-7 b Fi(=)21 b Fk(T)513 1598 y Fc(1)553 1592 y Fj(\))g Fk(T)640 1598 y Fc(2)672 1592 y Fn(has)13 b(a)h(\252classi\256cation)f(err)o(or)r(\272)h Fk(s)1158 1598 y Fc(2)1198 1592 y Fj(j)-7 b Fi(=)21 b Fk(T)1280 1598 y Fc(2)1312 1592 y Fn(iff)11 b Fk(s)1378 1598 y Fc(1)1419 1592 y Fj(j)-7 b Fi(=)20 b Fk(T)1500 1598 y Fc(1)1532 1592 y Fn(and)14 b Fk(s)1627 1598 y Fc(1)1667 1592 y Fj(7!)1709 1598 y Fe(c)1746 1592 y Fk(s)1765 1598 y Fc(2)1798 1592 y Fn(and)-30 1642 y Fk(T)-6 1648 y Fc(1)24 1642 y Fj(\))d Fk(T)101 1648 y Fc(2)131 1642 y Fn(but)f Fk(s)216 1648 y Fc(2)247 1642 y Fj(6j)-7 b Fi(=)11 b Fk(T)319 1648 y Fc(2)-30 1732 y Fx(De\256nition)f(1)n(1)21 b Fn(Channel)10 b Fk(c)h Fj(j)-7 b Fi(=)11 b Fk(T)489 1738 y Fc(1)520 1732 y Fj(\))g Fk(T)597 1738 y Fc(2)625 1732 y Fn(has)g(a)f(\252multi-tar)o(get\272)e Fk(s)993 1738 y Fc(2)1022 1732 y Fn(iff)g Fk(s)1085 1738 y Fc(2)1116 1732 y Fj(j)-7 b Fi(=)12 b Fk(T)1189 1738 y Fc(2)1217 1732 y Fn(and)e(ther)o(e)g(is)f(mor)o(e)i(than)f(one)h Fk(s)1683 1738 y Fe(i)1707 1732 y Fn(such)e(that)-30 1782 y Fk(s)-11 1788 y Fe(i)15 1782 y Fj(7!)57 1788 y Fe(c)85 1782 y Fk(s)104 1788 y Fc(2)32 1871 y Fw(Note)i(that)e(all)i (the)g(err)o(ors)g(accounted)g(for)g(so)f(far)h(her)o(e)g(ar)o(e)g Fn(non-locative)g Fw(\(5)f(of)h(the)f(7)h(types)f(of)g(err)o(or)i (mentioned)-30 1921 y(above)7 b(have)g(been)g(formulated\).)12 b(The)c(modi\256cation)e(of)h(CT)h(so)e(as)g(to)g(model)h(such)g(err)o (ors)h(will)f(be)g(pr)o(esented)g(shortly)-5 b(.)32 1971 y(T)l(able)11 b(4.1)f(summarises:)p 484 2009 851 2 v 483 2059 2 50 v 492 2059 V 662 2044 a Fx(MLR)g(errors)p 904 2059 V 51 w(Channel)g(exceptions)p 1326 2059 V 1335 2059 V 484 2061 851 2 v 484 2069 V 483 2119 2 50 v 492 2119 V 518 2104 a Fw(non-existent)f(objects)p 904 2119 V 49 w(pseudo-signals)p 1326 2119 V 1335 2119 V 484 2120 851 2 v 483 2170 2 50 v 492 2170 V 560 2155 a(object)h(ommission)p 904 2170 V 48 w(null-signals)p 1326 2170 V 1335 2170 V 484 2172 851 2 v 483 2222 2 50 v 492 2222 V 526 2207 a(under)o(-speci\256cation)p 904 2222 V 51 w(multi-signals)p 1326 2222 V 1335 2222 V 484 2223 851 2 v 483 2273 2 50 v 492 2273 V 557 2258 a(over)h(speci\256cation)p 904 2273 V 50 w(multi-tar)o(gets)p 1326 2273 V 1335 2273 V 484 2275 851 2 v 483 2325 2 50 v 492 2325 V 619 2310 a(thematic)f(err)o(or)p 904 2325 V 51 w(classi\256cation)f(err)o(or)p 1326 2325 V 1335 2325 V 484 2326 851 2 v 32 2392 a(Channel)j(Theory)f (can)h(easily)e(be)h(extended)g(so)f(as)h(to)f(deal)h(with)f(the)h (phenomena)f(of)g(locative)h(and)g(\252plan\272)g(er)o(-)-30 2442 y(r)o(ors.)k(The)10 b(modi\256cation)g(constitutes)f(a)h (non-trival)g(addition)h(to)e(the)h(CT)h(armory)g(of)f(semantical)f (devices.)-30 2563 y Fm(4.2)50 b(Locative)11 b(Error)j(Detection)e(in)g (Channel)i(Theory)-30 2642 y Fw(In)c(or)o(der)g(to)f(r)o(ecor)o(d)i (locative)e(err)o(or)i(\(and)e(its)g(close)g(cousin,)h(plan)g(err)o (or\))g(in)g(CT)m(,)h(furnish)e(channels)h(with)f(structur)o(ed)-30 2692 y(sets)g(of)h(types)196 2677 y Fl(10)236 2692 y Fw(for)h(locations.)32 2742 y(Thus)g(denote)f(the)h(set)e(of)h (location)h(types)e(in)i(the)f(\252r)o(epr)o(esenting)h(world\272)g(or) g(MLR)g(by)f Fk(l)1456 2748 y Fc(1)1482 2742 y Fk(:)d(:)g(:)f(l)1550 2748 y Fe(n)1573 2742 y Fw(.)15 b(Denote)10 b(the)g(set)-30 2792 y(of)g(location)g(types)f(in)i(the)f(geographical)g (classi\256cation)g(by)g Fk(L)976 2798 y Fc(1)1002 2792 y Fk(:)d(:)g(:)e(L)1085 2798 y Fe(N)1117 2792 y Fw(.)32 2842 y(Then)12 b Fk(s)156 2848 y Fc(1)188 2842 y Fj(j)-7 b Fi(=)13 b Fk(l)250 2848 y Fc(1)280 2842 y Fw(states)c(that)g (symbol/site)h Fk(s)730 2848 y Fc(1)759 2842 y Fw(is)h(class\256ed)g (as)f(being)h(at)f(location)g Fk(l)1344 2848 y Fc(1)1363 2842 y Fw(.)16 b(Now)10 b(assume)g(that)g(a)g(\252Map)-30 2891 y(Channel\272)f(contains)e(indicating)i(r)o(eltions)f(which)h (systematically)e(connect)h(location)g(types)f(in)i(the)e(MLR)i(to)f (location)-30 2941 y(types)i(in)h(the)g(geographical)g (classi\256cation.)k(In)c(the)f(simplest)g(case,)h(assume)e(that)h Fk(n)j Fi(=)h Fk(N)i Fw(\(the)10 b(map)g(and)h(\252world\272)p -30 2979 756 2 v 3 3007 a Fs(10)30 3019 y Fr(It)d(would)g(be)h(inter)o (esting)g(to)f(explor)o(e)g(this)h(in)f(r)o(elation)g(to)g(Seligman's)h (\252perspectives\272.)p eop %%Page: 8 8 8 7 bop 60 -10 a Fw(8)406 b Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e (Lemon)f(&)h(Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g (Map\272)451 898 y @beginspecial 0 @llx 0 @lly 266 @urx 193 @ury 2660 @rwi @setspecial %%BeginDocument: lect.eps /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /l {lineto} bind def /m {moveto} bind def /s {stroke} bind def /n {newpath} bind def /gs {gsave} bind def /gr {grestore} bind def /clp {closepath} bind def /graycol {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul setrgbcolor} bind def /col-1 {} def /col0 {0 0 0 setrgbcolor} bind def /col1 {0 0 1 setrgbcolor} bind def /col2 {0 1 0 setrgbcolor} bind def /col3 {0 1 1 setrgbcolor} bind def /col4 {1 0 0 setrgbcolor} bind def /col5 {1 0 1 setrgbcolor} bind def /col6 {1 1 0 setrgbcolor} bind def /col7 {1 1 1 setrgbcolor} bind def end /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def $F2psBegin 0 setlinecap 0 setlinejoin -36.0 221.0 translate 0.450 -0.450 scale 0.500 setlinewidth % Polyline n 86 119 m 79 119 79 322 7 arcto 4 {pop} repeat 79 329 292 329 7 arcto 4 {pop} repeat 299 329 299 126 7 arcto 4 {pop} repeat 299 119 86 119 7 arcto 4 {pop} repeat clp gs col-1 s gr % Polyline n 456 124 m 449 124 449 397 7 arcto 4 {pop} repeat 449 404 662 404 7 arcto 4 {pop} repeat 669 404 669 131 7 arcto 4 {pop} repeat 669 124 456 124 7 arcto 4 {pop} repeat clp gs col-1 s gr % Polyline n 144 174 m 224 249 l gs col-1 s gr % Polyline n 104 94 m 179 94 l gs col-1 s gr % Polyline n 319 99 m 419 99 l gs col-1 s gr % Polyline n 484 99 m 579 99 l gs col-1 s gr /Times-Roman findfont 24.00 scalefont setfont 124 159 m gs 1 -1 scale (s ) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 139 179 m gs 1 -1 scale (+) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 324 154 m gs 1 -1 scale (s signals t) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 549 194 m gs 1 -1 scale (t) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 569 209 m gs 1 -1 scale (+) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 139 394 m gs 1 -1 scale (s is at l) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 324 199 m gs 1 -1 scale (l indicates L) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 499 449 m gs 1 -1 scale (t is at T) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 319 254 m gs 1 -1 scale (x indicates T) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 139 434 m gs 1 -1 scale (x is a location) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 119 89 m gs 1 -1 scale (MLR) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 494 94 m gs 1 -1 scale ("world") col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 504 489 m gs 1 -1 scale (t is not at L) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 329 94 m gs 1 -1 scale (channel) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 219 254 m gs 1 -1 scale (+) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 189 204 m gs 1 -1 scale (error) col-1 show gr /Times-Roman findfont 24.00 scalefont setfont 209 229 m gs 1 -1 scale (distance) col-1 show gr $F2psEnd %%EndDocument @endspecial 607 1031 a Fw(Figur)o(e)h(2:)j(Locative)d(err)o(or)g(in)g (Channel)g(Theory)60 1165 y(classi\256cation)c(contain)h(the)f(same)g (number)h(of)f(locations\),)h(and)g(that)f(ther)o(e)h(is)f(a)h(1-1)f (mapping)h(between)e(them)i(which)60 1215 y(pr)o(eserves)13 b(the)g(topology)e(of)h(the)h(spaces)f(in)h(the)f(obvious)h(way)f (\(eg:)19 b(if)13 b Fk(L)1271 1221 y Fc(1)1302 1215 y Fw(is)g(right)g(of)f Fk(L)1524 1221 y Fc(2)1556 1215 y Fw(and)h Fk(c)20 b Fi(:)f Fk(l)1720 1221 y Fc(1)1759 1215 y Fj(\))g Fk(L)1848 1221 y Fc(1)1880 1215 y Fw(and)60 1265 y Fk(c)11 b Fi(:)h Fk(l)125 1271 y Fc(2)155 1265 y Fj(\))f Fk(L)236 1271 y Fc(2)255 1265 y Fw(,)f(then)g Fk(l)379 1271 y Fc(1)407 1265 y Fw(is)g(right)g(of)f Fk(l)604 1271 y Fc(2)623 1265 y Fw(\))637 1250 y Fl(1)n(1)666 1265 y Fw(.)14 b(This)c(highlights)g(the)f(point)h(that)e(the)i (location)f(types)f(have)i(to)f(be)h(structur)o(ed)60 1315 y(in)h(a)f(certain)g(way)-5 b(,)11 b(so)f(that)f(topology)g(can)i (be)f(manipulated.)122 1364 y(Now)h(measur)o(e)f(locative)h(err)o(or)h (in)f(the)f(following)h(way:)j(impose)c(a)h(distance)f(metric)h Fk(\016)r Fi(\()p Fk(L)1585 1370 y Fc(1)1604 1364 y Fk(;)c(L)1651 1370 y Fc(2)1669 1364 y Fi(\))k Fw(between)f(loca-)60 1414 y(tion)e(types)g(internal)g(to)g(classi\256cations.)13 b(This)c(function)f(can)h(be)g(de\256ned)g(in)g(r)o(espect)g(of)f(the)g (toplogical)g(structur)o(e)g(on)60 1464 y(the)i(types)f(\(ie:)k (assuming)c(that)g(all)h(locations)f(ar)o(e)h(connected,)h(count)f(the) g(locations)f(in)h(the)f(shortest)g(path)g(between)60 1514 y Fk(L)k Fw(and)d Fk(L)209 1520 y Fc(2)228 1514 y Fw(.\).)122 1564 y(Then)e(de\256ne)f(the)g(locative)f(err)o(or)i(of)f (a)g(signal)f Fk(s)863 1570 y Fc(1)889 1564 y Fw(to)g(be)h(the)g (distance)f(between)g(its)g(location)h(and)g(the)f(map-location)60 1613 y(of)k(the)g(tar)o(get)g(for)g(which)h(it)f(is)g(a)g(signal.)60 1695 y Fx(De\256nition)g(12)21 b Fn(Wher)o(e)11 b Fk(s)466 1701 y Fe(i)491 1695 y Fj(j)-7 b Fi(=)p Fn(l)540 1701 y Fe(i)564 1695 y Fn(,)11 b Fk(s)604 1701 y Fe(i)630 1695 y Fj(7!)g Fk(s)702 1701 y Fe(x)723 1695 y Fn(,)60 1745 y Fk(c)g Fi(:)h Fk(l)125 1751 y Fe(i)150 1745 y Fj(\))f Fk(L)231 1751 y Fe(i)245 1745 y Fn(,)60 1794 y Fk(c)g Fi(:)h Fk(l)125 1800 y Fe(x)157 1794 y Fj(\))f Fk(L)238 1800 y Fe(x)260 1794 y Fn(,)f(and)h Fk(s)372 1800 y Fe(x)405 1794 y Fj(j)-7 b Fi(=)11 b Fk(L)481 1800 y Fe(x)122 1894 y Fk(Loc)f Fj(\000)f Fk(er)q(r)q(or)337 1900 y Fe(c)354 1894 y Fk(s)373 1900 y Fe(i)399 1894 y Fi(=)j Fk(\016)r Fi(\()p Fk(l)491 1900 y Fe(i)505 1894 y Fk(;)7 b(l)536 1900 y Fe(x)557 1894 y Fi(\))122 1975 y Fw(Locative)i(err)o(or)h(is)e(thus)g(a)h(quantitative)e(kind)j(of)e (classi\256cation)g(err)o(or)m(,)i(wher)o(e)f(the)f(degr)o(ee)i(of)e (err)o(or)i(is)e(measur)o(ed)60 2025 y(with)h(r)o(espect)g(to)f(the)h (\(topological\))f(structur)o(e)h(on)g(the)f(types.)13 b(See)c(diagram)g(2.)14 b(Plan)9 b(err)o(ors)h(can)f(also)g(be)g (accounted)60 2075 y(for)h(in)h(this)f(way)-5 b(.)60 2218 y Fq(5)60 b(Information)15 b(Quality)60 2312 y Fw(The)f(appr)o (oximation)f(semantics)f(r)o(equir)o(es)i(that)f(maps)f(can)i(be)f (judged)h(mor)o(e)g(or)f(less)g(\252good\272)g(maps)f(of)h(a)g(given)60 2362 y(r)o(egion,)e(r)o(elative)e(to)g(a)g(given)h(channel.)15 b(In)9 b(other)g(wor)o(ds,)h(the)f(quality)g(of)g(each)h(r)o(epr)o (esentation)f(as)f(a)i(r)o(epr)o(esentation)60 2412 y(of)g(a)g(r)o (egion)h(under)g(certain)g(interpr)o(etation)e(conventions,)i(can)g(be) f(measur)o(ed.)122 2462 y(The)k(quality)f(of)g(a)h(r)o(epr)o (esentation)e Fk(M)5 b Fw(,)15 b(with)e(r)o(espect)g(to)g(a)g(channel)h Fk(c)g Fw(of)e(interpr)o(etive)i(conventions)g(and)f(the)60 2511 y(classi\256cation)d Fk(R)g Fw(which)h(it)f(is)g(a)g(r)o(epr)o (esentation)g(of,)g(is)g(given)h(below:)60 2593 y Fx(De\256nition)f(13) 21 b Fn(\(Information)10 b(Quality\))60 2643 y(wher)o(e)h Fk(M)k Fn(is)10 b(a)h(classi\256cation,)f Fk(c)h Fn(a)g(channel,)f(and) h Fk(R)f Fn(a)h(classi\256cation.)60 2692 y(The)g(err)o(or)g(of)g Fk(M)k Fn(with)9 b(r)o(espect)i(to)g Fk(R)f Fn(under)g Fk(c)h Fn(is)f(given)f(by:)122 2792 y Fk(er)q(r)q(or)q Fi(\()p Fk(M)r(;)e(c;)g(R)p Fi(\))k(=)h Fk(\013)465 2798 y Fc(1)483 2792 y Fk(ps)p Fi(\()p Fk(M)5 b Fi(\))10 b(+)g Fk(\013)679 2798 y Fc(2)697 2792 y Fk(ns)p Fi(\()p Fk(M)5 b Fi(\))k(+)h Fk(\013)896 2798 y Fc(3)914 2792 y Fk(ce)p Fi(\()p Fk(M)5 b Fi(\))10 b(+)f Fk(\013)1106 2798 y Fc(4)1124 2792 y Fk(ms)p Fi(\()p Fk(M)c Fi(\))11 b(+)e Fk(\013)1335 2798 y Fc(5)1353 2792 y Fk(mt)p Fi(\()p Fk(M)c Fi(\))10 b(+)g Fk(\013)1560 2798 y Fc(6)1578 2792 y Fk(l)q(e)p Fi(\()p Fk(M)5 b Fi(\))122 2892 y Fn(wher)o(e)11 b Fk(ps)p Fi(\()p Fk(M)5 b Fi(\))11 b Fn(gives)e(the)h(number)i(of)e (pseudo-signals)g(in)g Fk(M)15 b Fn(\(with)9 b(r)o(espect)i(to)g Fk(c)g Fn(and)h Fk(R)p Fn(\),)e Fk(ns)p Fi(\()p Fk(M)5 b Fi(\))11 b Fn(gives)f(the)g(number)h(of)60 2941 y(null-signals)c(in)h Fk(M)d Fn(,)j(and)h(so)g(on)f(for)h(classi\256cation)f(err)o(ors)h(\()p Fk(ce)p Fi(\()p Fk(M)c Fi(\))p Fn(\),)k(multi-signals)e(\()p Fk(ms)p Fi(\()p Fk(M)e Fi(\))p Fn(\),)10 b(and)e(multi-tar)o(gets)g(\() p Fk(mt)p Fi(\()p Fk(M)d Fi(\))p Fn(\))p 60 2979 756 2 v 94 3007 a Fs(1)o(1)120 3019 y Fr(One)j(could)h(imagine)f(some)h (strange)f(variations)f(her)o(e,)j(possibly)e(corr)o(esponding)i(to)e (certain)g(pr)o(ojections.)p eop %%Page: 9 9 9 8 bop -30 -10 a Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e(Lemon)f(&)h (Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g(Map\272)416 b Fw(9)-30 135 y Fn(in)10 b Fk(M)5 b Fn(.)14 b(Finally)n(,)c Fk(l)q(e)p Fi(\()p Fk(M)5 b Fi(\))11 b Fn(gives)f(the)g(sum)h(of)f(all) g(locative)g(err)o(ors)i(in)e Fk(M)5 b Fn(.)32 235 y Fk(\013)59 241 y Fc(1)84 235 y Fk(:)i(:)g(:)f(\013)167 241 y Fc(6)194 235 y Fn(ar)o(e)11 b(natural)f(numbers,)h(taken)g(as)f (parameters)h(r)o(e\257ecting)e(practical)g(importance)h(of)g(certain)f (types)h(of)f(err)o(or)i(r)o(el-)-30 285 y(ative)f(to)h(task.)k(Assume) c(for)f(now)h(that)f Fk(\013)581 291 y Fc(1)611 285 y Fi(=)i Fk(:)7 b(:)g(:)j Fi(=)i Fk(\013)786 291 y Fc(6)815 285 y Fi(=)g(1)32 385 y Fn(then,)f Fk(I)s(Q)p Fi(\()p Fk(M)r(;)c(c;)g(R)p Fi(\))k(=)516 368 y Fc(1)p 403 375 242 2 v 403 399 a(1+)p Fe(er)q(r)q(or)q Fc(\()p Fe(M)q(;c;R)p Fc(\))-30 476 y Fw(Note)f(that)f Fi(0)j Fk(<)f(I)s(Q)p Fi(\()p Fk(M)r(;)c(c;)g(R)p Fi(\))12 b Fj(\024)g Fi(1)-30 525 y Fw(Repr)o(esentations)6 b(\(classi\256cations\))g(can)i(then)f (be)h(or)o(der)o(ed)h(with)e(r)o(espect)g(to)g(how)g(well)h(they)f(r)o (epr)o(esent)h(a)f(given)h(clas-)-30 575 y(si\256cation)i(under)i(a)e (certain)i(metric.)j(An)c Fn(optimal)g(r)o(epr)o(esentation)h Fw(\(non-unique\))f(is)f(given)i(by)f(the)f(minimization)g(of)-30 625 y(all)h(err)o(ors)h(over)f(r)o(epr)o(esentations)g(with)f(r)o (espect)h(to)g(one)g(channel.)17 b(The)11 b(best)g(interpr)o(etation)f (of)h(a)g(given)h(r)o(epr)o(esen-)-30 675 y(tation)d(is)h(given)h(by)f (the)g(minimization)f(over)h(err)o(ors)h(r)o(elative)g(to)e(dif)o(fer)o (ent)i(channels)f(\(wher)o(e)h(both)e(signalling)i(and)-30 725 y(indicating)g(r)o(elations)f(ar)o(e)h(changeable.\))32 775 y(It)c(is)h(now)f(shown)f(that)h(notions)f(fr)o(om)i(CT)m(,)g (involving)h(the)e(\252dynamics\272)g(of)g(classi\256cations)g(and)h (channels,)g(pr)o(ove)-30 825 y(useful)i(in)g(the)g(semantical)g (analysis)f(of)h(actual)g(map)g(pr)o(ocessing)g(algorithms)g(in)g(a)g (curr)o(ent)i(GIS.)-30 969 y Fq(6)60 b(Application:)17 b(The)d(\252)q Fa(A)r Fb(R)r(C)r Fa(/)s(I)s Fb(N)s(F)r(O)19 b Fq(\272)c(Geographical)f(Information)h(System)-30 1064 y Fw(Maps)d(\256gur)o(e)h(among)e(the)h(wide)g(variety)h(of)f(r)o(epr)o (esentations)f(pr)o(ocessed)h(by)g(computer)g(systems.)18 b(In)12 b(particular)m(,)-30 1114 y(map-like)e(r)o(epr)o(esentations)f (play)h(a)g(central)h(r)o(ole)f(in)h(geographical)f(information)g (systems)e(\(GISs\),)h(which)i(ar)o(e)g(now)-30 1164 y(used)j(for)f(a)h(wide)f(range)i(of)e(commer)o(cial)h(and)g (scienti\256c)g(purposes.)23 b(Centrally)-5 b(,)16 b(a)e(GIS)f(is)g(a)h (system)e(for)h(storing)-30 1214 y(and)c(pr)o(ocessing)g(spatially)f(r) o(elated)h(data,)g(of)f(which)h(cartographic)h(information)e(\(in)g (the)h(form)f(of)h(electr)o(onic)g(maps\))-30 1263 y(is)i(an)g (important)g(part.)17 b(The)11 b(computer)g(pr)o(ocessing)h(of)f (map-like)g(r)o(epr)o(esentations)f(is)h(also)g(important)f(within)h (AI)-30 1313 y(and)h(r)o(obotics.)17 b(As)11 b(attempts)e(ar)o(e)j (made)f(to)g(integrate)f(dif)o(fer)o(ent)i(spatial)e(r)o(easoning)i (algorithms)e(\(e.g.)18 b(algorithms)-30 1363 y(for)8 b(map-acquisition,)g(map-updating)g(and)h(r)o(oute-planning\))f(into)g (such)h(autonomous)d(systems,)h(methods)g(for)i(as-)-30 1413 y(sessing)g(the)h(individual)i(ef)o(fectiveness)e(and)g(r)o (eliability)h(of)f(those)f(algorithms)h(will)g(become)g(crucial.)33 1463 y(A)r Fr(R)r(C)r Fw(/)r(I)r Fr(N)r(F)r(O)i Fw(is)d(a)h(GIS)f (which)h(pr)o(ocesses)f(information,)g(computed)g(fr)o(om)h(digitised)f (maps,)g(in)h(the)g(form)f(of)g(top-)-30 1513 y(logical)i(r)o(elations) f(between)g(ar)o(cs,)h(points)f(and)h(r)o(egions)g(\(polygons)f (consisting)g(of)g(ar)o(cs\))h(r)o(epr)o(esenting)g(geographi-)-30 1563 y(cal)g(r)o(egions.)16 b(The)11 b(system)e(performs)h(map-pr)o (ocessing)g(algorithms)g(which)i(manipulate)d(information)h(contained) -30 1612 y(in)f(collections)g(of)g(such)g(structur)o(es.)k(Repr)o (esentations)7 b(consist)h(of)h(points)f(\(nodes\))g(and)i(lines)f (\(ar)o(cs\))g(between)f(them)-30 1662 y(\(these)e(ar)o(e)h(the)g (\252sites\272)e(or)i(tokens)f(of)h(the)f(MLR\),)i(along)f(with)f (their)h(topology)f(\(the)g(location)h(structur)o(e)f(on)h(the)g (types\).)-30 1712 y(The)13 b(data)g(structur)o(es)f(employed)g(also)g (incorporate)h(\252thematic\272)e(information)h(about)g(what)f(type)i (of)f(featur)o(e)g(the)-30 1762 y(particular)g(nodes)g(and)g(ar)o(cs)g (r)o(epr)o(esent)g(\(the)f(unstructur)o(ed)h(types)f(of)g(the)g(MLR\).) h(Many)g(of)g(the)f(7)g(types)g(of)g(err)o(ors)-30 1812 y(discussed)f(above)g(ar)o(e)h(actually)f(exhibited)h(in)g(the)f (ARC/INFO)h(system.)-30 1861 y(The)i(system)f(employs)f(the)i (following)f(map)g(pr)o(ocessing)h(algorithms,)g(which)g (\(informally\))f(have)h(the)g(following)-30 1911 y(ef)o(fects:)32 2004 y Fj(\017)21 b Fw(CLEAN:)15 b(cr)o(eates)e(topology)e(for)i(ar)o (cs,)h(polygons,)f(and)h(ar)o(c)f(intersections.)21 b(Removes)12 b(certain)h(err)o(ors)g(fr)o(om)74 2053 y(the)d(map)f(\(deletes)h (\252dangles\272)g(and)g(\256lls)h(\252gaps\272)e(in)h(ar)o(cs)h(by)g (cr)o(eating)g(new)f(points\).)32 2138 y Fj(\017)21 b Fw(OVERLA)-5 b(Y)m(:)11 b(superimposes)e(two)g(maps)g(by)h(combining)h (their)g(topology)e(in)h(a)g(composite)f(map)1639 2122 y Fl(12)1670 2138 y Fw(.)32 2222 y Fj(\017)21 b Fw(APPEND:)12 b(integrates)d(separately)h(digitised)g(adjacent)g(maps.)32 2306 y Fj(\017)21 b Fw(RESELECT)n(:)12 b(r)o(estricts)e(the)g(map)g(to) f(r)o(epr)o(esenting)i(only)g(certain)f(types)g(of)g(featur)o(es.)32 2390 y Fj(\017)21 b Fw(BUFFER:)11 b(r)o(estricts)f(the)g(map)f(to)h(r)o (epr)o(esenting)g(featur)o(es)g(only)g(within)f(a)h(speci\256ed)h (distance)f(of)f(some)g(point,)74 2440 y(ar)o(c,)i(or)g(r)o(egion.)32 2524 y Fj(\017)21 b Fw(RECLASSIFICA)m(TION:)13 b(assigns)c(a)h(new)g (attribute)f(value)i(\(type\))e(to)h(speci\256ed)g(featur)o(es.)32 2608 y Fj(\017)21 b Fw(DISSOL)l(VE:)11 b(r)o(emoves)f(boundaries)g (between)f(r)o(egions)i(of)f(the)g(same)f(type.)-30 2700 y(V)l(arious)g(combinations)f(of)h(these)f(pr)o(ocesses)g(can)i(be)f (used)g(to)f(perform)h(complex)h(analytical)f(operations)f(on)h(maps.) -30 2750 y(A)i(formal)e(semantics)g(for)i(these)e(pr)o(ocesses)h (describes)g(how)g(they)g(af)o(fect)g(the)g(accuracy)i(of)e(the)g(r)o (esulting)g(MLRs.)32 2800 y(Some)c(of)h(these)f(algorithms)g(can)i(be)f (described)h(as)e(changes)i(in)f(classi\256cation)f(domains)h(under)h (a)f(constant)f(chan-)-30 2850 y(nel,)13 b(while)e(others)g(ar)o(e)i (describable)f(in)g(terms)f(of)g(operations)g(over)h(channels)g (themselves)f(\(combining)h(dif)o(fer)o(ent)-30 2900 y(channels)f(in)f(particular)h(ways\).)p -30 2939 756 2 v 3 2967 a Fs(12)30 2979 y Fr(Ther)o(e)e(ar)o(e)g(3)f(types)h(of)g (overlay:)j(UNION,)c(INTERSECT)n(,)i(and)e(IDENTITY)l(.)i(The)g (\256rst)e(two)h(have)f(their)g(intuitive)g(meanings,)h(while)f(IDEN-) -30 3019 y(TITY)h(r)o(estricts)f(the)h(superimposition)f(to)g(the)h (boundary)g(of)g(the)f(smaller)g(map.)p eop %%Page: 10 10 10 9 bop 60 -10 a Fw(10)385 b Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e (Lemon)f(&)h(Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g (Map\272)122 135 y Fw(Dif)o(fer)o(ent)i(types)e(of)h(err)o(or)h(can)g (be)f(r)o(emoved)g(in)h(dif)o(fer)o(ent)g(ways.)k(For)11 b(example,)g(\(some\))f(non-existent)g(objects)60 185 y(ar)o(e)f(r)o(emoved)h(by)e(CLEAN)j(simply)e(by)g(r)o(emoval)g(of)f (the)g(of)o(fending)i(nodes)e(and)h(ar)o(cs)h(\(CLEAN)g(r)o(emoves)f (those)f(ar)o(cs)60 235 y(which)k(\252dangle\272)f(a)f(certain)i (speci\256ed)f(small)g(amount)e(over)j(other)f(ar)o(cs\).)17 b(In)11 b(terms)f(of)h(CT)h(this)e(algorithm)h(can)g(be)60 285 y(described)h(as)e(r)o(emoval)h(of)f(certain)h(tokens)f(fr)o(om)h (the)f(r)o(epr)o(esenting)h(classi\256cation.)k(CLEAN)e(also)d(r)o (emoves)g(some)60 334 y(err)o(ors)k(of)f(omission)f(fr)o(om)h(maps,)h (by)f(\256lling)h(in)g(gaps)e(between)h(points)f(which)i(ar)o(e)g (below)e(a)h(speci\256ed)h(distance)60 384 y(apart.)f(Classi\256cation) 6 b(err)o(ors)i(can)f(be)g(corr)o(ected)i(by)e(the)g(RECLASSIFY)g(and)h (DISSOL)l(VE)f(algorithms.)12 b(The)c(CLEAN)60 434 y(algorithm)j(also)f (computes)g(the)h(topology)f(of)h(a)g(map)f(\(the)h(structur)o(e)g(on)g (the)g(location)f(types)h(of)f(tokens\))g(fr)o(om)h(the)60 484 y(positions)e(of)i(points)f(and)i(ar)o(cs)f(in)h(the)e (digitisation.)16 b(These)11 b(operations,)g(then,)g(actually)g (construct)g(the)f(classi\256ca-)60 534 y(tions)h(\(the)g(MLRs\))h(in)g (which)g(we)g(ar)o(e)g(inter)o(ested.)18 b(In)12 b(this)f(sense,)h (they)f(actually)h(perform)g(a)f(lower)o(-level)h(pr)o(ocess)60 583 y(of)c(classi\256cation,)h(or)g(r)o(epr)o(esentations,)g (construction.)k(However)m(,)c(CLEAN)i(also)d(has)g(other)h(virtues,)g (which)h(can)f(be)60 633 y(described)j(at)f(the)g(level)h(of)f (transformations)f(over)i(classi\256cations)e(\(\252Classi\256cation)g (Dynamics\272\).)17 b(Other)12 b(opera-)60 683 y(tions)d(can)h(be)g (described)h(as)e(computing)g(functions)h(over)g(channels)g(too.)j(The) d(table)f(6)h(summarizes)e(some)h(of)g(these)60 733 y(operations.)p 139 782 1721 2 v 138 831 2 50 v 147 831 V 173 816 a Fx(ARC/INFO)h (algorithms)p 625 831 V 50 w(Channel)h(and)g(Classi\256cation)g (dynamics)p 1859 831 V 139 833 1721 2 v 139 841 V 138 891 2 50 v 147 891 V 454 876 a Fw(CLEAN)p 625 891 V 52 w(deletion)f(of)g(pseudo-signals)f(and)i(null-signals)p 1859 891 V 139 893 1721 2 v 138 943 2 50 v 147 943 V 427 928 a(APPEND)p 625 943 V 51 w(token,)f(type,)g(and)h(location-type) e(extension)h(of)g(map)f(classi\256cation)p 1859 943 V 139 944 1721 2 v 138 994 2 50 v 147 994 V 405 979 a(OVERLA)-5 b(Y)p 625 994 V 50 w(parallel)10 b(channel)h(composition)p 1859 994 V 139 996 1721 2 v 138 1046 2 50 v 147 1046 V 444 1031 a(BUFFER)p 625 1046 V 51 w(r)o(emoval)g(of)e(tokens)h(with)f (r)o(espect)i(to)e(location-type)p 1859 1046 V 139 1047 1721 2 v 138 1097 2 50 v 147 1097 V 353 1082 a(RECLASSIFY)p 625 1097 V 50 w(changing)i(the)f(classi\256cation)g(r)o(elation)g (within)g(the)g(classi\256cation)p 1859 1097 V 139 1099 1721 2 v 138 1149 2 50 v 147 1149 V 402 1134 a(DISSOL)l(VE)p 625 1149 V 50 w(r)o(emoval)h(of)e(tokens)h(with)f(r)o(espect)i(to)e (topology)p 1859 1149 V 139 1150 1721 2 v 138 1200 2 50 v 147 1200 V 395 1185 a(RESELECT)p 625 1200 V 52 w(r)o(emoval)i(of)e (tokens)h(with)f(r)o(espect)i(to)e(their)i(type)f(in)g(map)g (classi\256cation)p 1859 1200 V 139 1202 1721 2 v 60 1267 a(In)j(the)f(full)g(paper)h(these)e(algorithms)h(ar)o(e)h(further) g(classi\256ed)f(by)h(their)f(ef)o(fect)g(on)h(the)f(information)g (quality)g(mea-)60 1317 y(sur)o(e)f(\(IQ\))f(of)h(the)f(r)o(esulting)h (r)o(epr)o(esentations.)k(For)c(example,)g(OVERLA)-5 b(Y)12 b(invokes)e(parallel)h(composition)f(of)g(two)60 1367 y(MLRs)f(\(unioning)f(the)h(sets)e(of)h(types,)g(tokens,)h(and)g (indicating)g(and)g(signalling)g(r)o(elations)f(with)g(r)o(espect)g(to) g(an)h(iden-)60 1417 y(tity)i(r)o(elation)h(on)g(location)f(types\),)h (and)g(combines)g(the)f(err)o(ors)i(in)f(both)f(the)h(MLRs)g(over)g (which)h(it)e(operates,)h(thus)60 1467 y(incr)o(easing)e(the)f(err)o (or)i(of)e(the)g(new)g(r)o(epr)o(esentation.)k(However)m(,)d(it)f(is)g (shown)f(that)h(this)g(err)o(or)h(this)f(err)o(or)h(is)g(bounded)60 1516 y(by)e(the)f(sum)h(of)f(the)g(err)o(ors)i(of)e(the)h(two)e (original)i(MLRs.)14 b(Thus)8 b(the)f(Channel)i(Theor)o(etic)f(Appr)o (oximation)g(Semantics)60 1566 y(pr)o(ovides)j(a)f(way)g(of)g(checking) i(the)d Fn(corr)o(ectness)j(and)f(completeness)g Fw(of)f(map-pr)o (ocessing)f(algorithms)1686 1551 y Fl(13)1716 1566 y Fw(.)60 1707 y Fq(7)60 b(Concluding)13 b(remarks)60 1802 y Fw(Maps)e(have)h(spec\256c)g(characteristics)g(which)g(make)f(them)f (an)i(inter)o(esting)f(test-bed)f(for)i(any)f(candidate)h(theory)g(of) 60 1852 y(r)o(epr)o(esentation.)j(A)d(variety)f(of)f(systems)f(for)i(a) g(semantics)f(for)h(maps)f(ar)o(e)h(appraised)g(with)f(r)o(espect)h(to) f(two)g(crucial)60 1901 y(pr)o(operties)e(of)h(graphical)g(r)o(epr)o (esentations:)k(verisimilitude)c(and)g(err)o(or)m(.)14 b(An)9 b(appr)o(oximation)g(version)g(of)f(modi\256ed)60 1951 y(CT)j(is)f(developed)g(and)g(a)g(formal)g(semantics)e(of)i(MLRs)g (is)g(developed.)k(The)d(appr)o(oximation)e(and)h(err)o(or)h(semantics) 60 2001 y(developed)h(her)o(e)f(may)g(well)f(have)i(implications)e(for) g(semantics)g(of)h(other)f(types)g(of)h(r)o(epr)o(esentations;)g (speci\256cally)60 2051 y(those)c(employed)h(in)g(NL)h(discourse)f (\(it)f(seems)g(clear)i(that)e(linguistic)h(r)o(epr)o(esentations)f (exhibit)h(appr)o(oximation)g(and)60 2101 y(err)o(or)j(phenomena\).)j (The)d(issues)e(raised)h(in)h(the)f(paper)g(ar)o(e:)122 2175 y Fj(\017)21 b Fw(The)11 b(natur)o(e)f(of)g(\(carto\)graphic)h(r)o (epr)o(esentations.)122 2254 y Fj(\017)21 b Fw(The)11 b(links)f(between)f(semantics,)h(imperfect)g(information)f(\257ow)l(,)i (and)f(r)o(eal)h(r)o(epr)o(esentation)f(systems)e(.)122 2333 y Fj(\017)21 b Fw(Appr)o(oximation)10 b(and)h(err)o(or)g(measur)o (es)e(in)i(formal)f(semantics.)122 2412 y Fj(\017)21 b Fw(developments)9 b(and)i(modi\256cations)e(of)h(Channel)h(Theory)-5 b(.)122 2491 y Fj(\017)21 b Fw(The)9 b(application)g(of)g(a)f(formal)h (theory)g(of)f(information)g(\257ow)h(to)f(an)h(actual)g(information)f (pr)o(ocessing)h(system.)122 2570 y Fj(\017)21 b Fw(The)11 b(validation)f(of)g(algorithms)f(employed)h(in)h(GIS)f(using)g(a)g (channel)h(theor)o(etic)f(semantics.)60 2711 y Fq(References)60 2805 y Fw([Allwein)g(&)h(Barwise,)g(1993])96 b(Allwein,)12 b(Gerar)o(d)h(and)f(Barwise,)g(Jon,)g(\(eds.\).)21 b(\(1993\).)g Fn(W)o(orking)12 b(Papers)h(on)f(Di-)636 2855 y(agrams)j(and)f(Logic)p Fw(,)i(volume)e(IULG-93-24)f(of)h Fn(Indiana)g(University)f(Logic)h(Gr) o(oup)636 2905 y(Pr)o(eprint)c(Series)p Fw(.)16 b(Indiana)10 b(University)-5 b(,)12 b(V)n(isual)e(Infer)o(ence)h(Laboratory)-5 b(.)p 60 2939 756 2 v 93 2967 a Fs(13)120 2979 y Fr(A)8 b(semantics)g(based)g(on)h(the)f(ideas)g(in)g(this)g(paper)g(has)h (been)f(shown)h(to)f(pr)o(eserve)h(accuracy)e(of)i(r)o(oute)f(planning) h(algorithms)f(in)h(maps)f(con-)60 3019 y(sisting)g(of)h(convex)f (objects,)h(subject)f(to)g(the)g(types)h(of)f(err)o(or)h(discussed)g (above)f(\(Pratt)g(and)g(Lemon)i(in)e(pr)o(eparation\).)p eop %%Page: 11 11 11 10 bop -30 -10 a Fo(IT)m(ALLC'96)11 b(abstract:)i(Oliver)e(Lemon)f (&)h(Ian)f(Pratt:)k(\252Putting)9 b(Channels)i(on)f(the)g(Map\272)398 b Fw(1)n(1)-30 135 y([Barwise)10 b(&)h(Seligman,)f(1994])73 b(Barwise,)9 b(Jon)g(and)h(Seligman,)f(Jerry)-5 b(.)15 b(\(1994\).)d(The)d(Rights)g(and)h(W)m(r)o(ongs)f(of)f(Nat-)546 185 y(ural)j(Regularity)-5 b(.)21 b(In)12 b(T)l(omberlin,)g(James,)f (\(ed.\),)i Fn(Philosophical)d(Perspectives,)i(vol)546 235 y(8)e Fw(.)g(Ridgeview)l(,)h(California.)-30 318 y([Barwise,)f(1992])297 b(Barwise,)10 b(Jon.)16 b(\(1992\).)f (Constraints,)10 b(channels,)h(and)g(the)f(\257ow)g(of)g(information) 546 368 y(\(second)g(draft\).)15 b(In)c Fn(unpublished)e(manuscript)p Fw(,)i(Indiana)g(University)-5 b(,)11 b(Blooming-)546 417 y(ton.)-30 500 y([Bertin,)g(1981])332 b(Bertin,)8 b(Jacques.)h(\(1981\).)f Fn(Graphics)f(and)h(Graphic)e(Information)i (Pr)o(ocessing)p Fw(.)j(W)l(alter)546 550 y(de)f(Gruyter)m(,)g(Berlin,) i(New)f(Y)l(ork.)-30 633 y([Chrisman,)g(1991])262 b(Chrisman,)17 b(N.)g(R.)42 b(\(1991\).)f(The)16 b(Err)o(or)h(Component)e(in)h (Spatial)f(Data.)41 b(In)546 683 y(Maguir)o(e,)12 b(Goodchild)g(and)f (Rhind,)i(\(eds.\),)e Fn(Geographical)g(Information)h(Systems,)546 733 y(volume)e(1:)k(Principles)p Fw(.)c(Longman.)-30 816 y([Hern)s(\302)-17 b(andez,)10 b(1994])238 b(Hern)s(\302)-17 b(andez,)14 b(Daniel.)32 b(\(1994\).)e Fn(Qualitative)13 b(Repr)o(esentation)i(of)e(Spatial)g(Knowl-)546 866 y(edge)p Fw(,)c(volume)f(804)f(of)h Fn(Lectur)o(e)h(Notes)h(in)e(Arti\256cial)f (Intelligence)p Fw(.)j(Springer)o(-V)-5 b(erlag,)546 916 y(Berlin.)-30 999 y([Lemon,)10 b(1995])315 b(Lemon,)13 b(Oliver)m(.)27 b(\(1995\).)g(S)r Fr(TAT)r(E)r(S)15 b(I)r(N)g Fw(F)r Fr(L)r(U)r(X)q Fn(:)k(Logics)13 b(of)f(Change,)i(Dynamic)f(Se-) 546 1048 y(mantics,)i(and)f(Dialogue)p Fw(.)34 b(Unpublished)15 b(Ph.D.)g(thesis,)f(Centr)o(e)h(for)f(Cognitive)546 1098 y(Science,)d(Edinbur)o(gh.)-30 1181 y([Pratt,)f(1993])354 b(Pratt,)8 b(Ian.)j(\(1993\).)f(Map)e(Semantics.)i(In)e(Frank,)i(Andr)o (ew)f(and)f(Campari,)h(Ir)o(ene,)546 1231 y(\(eds.\),)i Fn(Spatial)f(Information)h(Theory:)16 b(a)11 b(theor)o(etical)g(basis)g (for)g(GIS)p Fw(,)g(volume)f(716)h(of)546 1281 y Fn(Lectur)o(e)f(Notes) i(in)e(Computer)g(Science)p Fw(.)h(Springer)g(V)-5 b(erlag,)11 b(Berlin.)-30 1364 y([Reiter)f(&)g(Mackworth,)h(1989])68 b(Reiter)m(,)11 b(R.)g(and)g(Mackworth,)h(A.)f(K.)19 b(\(1989\).)f(A)11 b(logical)g(framework)g(for)f(depic-)546 1414 y(tion)f(and)i(image)f(interpr)o(etation.)k Fn(Arti\256cial)c (Intelligence)p Fw(,)f(41.)-30 1497 y([Schlichtmann,)i(1991])193 b(Schlichtmann,)11 b(Hansgeor)o(g.)19 b(\(1991\).)e(Plan)11 b(Information)f(and)h(its)g(Retr)o(eival)g(in)546 1546 y(Map)d(Interpr)o(etation:)k(the)c(view)h(fr)o(om)f(Semiotics.)j(In)d (Mark,)i(David)f(and)g(Frank,)546 1596 y(Andr)o(ew)l(,)15 b(\(eds.\),)f Fn(Cognitive)e(and)h(Linguistic)f(Aspects)h(of)g (Geographic)g(Space)p Fw(,)h(vol-)546 1646 y(ume)9 b(63)h(of)g Fn(NA)n(T)o(O)h(ASI)g(Series)f(D)p Fw(.)h(Kluwer)m(,)g(Dor)o(dr)o (echt/Boston/London.)-30 1729 y([Seligman)f(&)g(Barwise,)h(1993])73 b(Seligman,)13 b(Jerry)g(and)g(Barwise,)g(Jon.)27 b(\(1993\).)e (Channel)14 b(Theory:)19 b(T)l(owar)o(ds)13 b(a)546 1779 y(mathematics)e(of)i(imperfect)g(information)f(\257ow.)30 b(In)13 b Fn(unpublished)f(manuscript)p Fw(,)546 1829 y(Indiana)e(University)-5 b(.)-30 1912 y([Stenning)10 b(&)h(Oberlander)m(,)g(1992])20 b(Stenning,)c(Keith)e(and)h(Oberlander) m(,)i(Jon.)37 b(\(1992\).)g(A)15 b(Cognitive)g(Theory)h(of)546 1962 y(Graphical)10 b(and)h(Linguistic)h(Reasoning:)i(Logic)d(and)g (Implementation.)k Fn(HCRC)546 2011 y(Resear)o(ch)10 b(Papers,)i(Edinbur)o(gh)p Fw(,)f(RP-20.)-30 2094 y([W)l(orboys,)f (1991])280 b(W)l(orboys,)7 b(Michael.)k(\(1991\).)f(The)e(Role)f(of)g (Modal)h(Logics)g(in)g(the)g(Description)g(of)546 2144 y(a)f(Geographical)h(Information)f(System.)i(In)f(Mark,)h(David)g(and)f (Frank,)h(Andr)o(ew)l(,)546 2194 y(\(eds.\),)14 b Fn(Cognitive)d(and)j (Linguistic)d(Aspects)i(of)h(Geographic)e(Space)p Fw(,)j(volume)e(63)g (of)546 2244 y Fn(NA)n(T)o(O)e(ASI)f(Series)h(D)p Fw(.)g(Kluwer)m(,)f (Dor)o(dr)o(echt/Boston/London.)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF