The systematic design of visual languages applied to logical reasoning

زبان های ویژوال توسط تعدادی از اشیاء گرافیکی و روابط آنها، معمولا در هواپیما دو بعدی مرتب شده اند. در حالی که اشیاء و روابط ظروف همگانی هستند که برای نشان دادن بعضی از اطلاعات استفاده می شوند، این سوال مطرح می شود که چگونه به طور سیستماتیک تمام ظروف سنتی را با توجه به غنای و پیچیدگی هندسه اساسی درمان می کنیم. این مقاله پارادایم تقاطع را در زمینه استدلال فضایی اعمال می کند که شناسایی سیستماتیک تمام نمودارهای قابل تصور شکل پذیر را تضمین می کند. این اجازه می دهد تا تجزیه و تحلیل جامع از یک زبان بصری. به عنوان مثال، نشان داده شده است که چگونه این روش یک درک کامل از روابط عناصر گرافیکی نمودارهای خطی را نشان می دهد که نشان دهنده منطق مرتبه اول هستند. توجه به مجموعه های نامعین حتی اثربخشی این رویکرد را برای نمایندگی نشان می دهد که شامل مجموع 512 روابط است.