Linguistic Geometry: From Search to Construction

هندسه زبانی: از جستجو تا ساخت اولین کتاب در نوع خود است. هندسه زبانی (LG) رویکردی برای ساخت مدل‌های ریاضی برای سیستم‌های چند عاملی در مقیاس بزرگ است. تعدادی از این سیستم‌ها، از جمله نبرد هوا/فضا، ساخت رباتیک، مهندسی مجدد نرم‌افزار و جنگ سایبری اینترنتی را می‌توان به عنوان بازی‌های رومیزی انتزاعی مدل‌سازی کرد. این‌ها بازی‌هایی با حرکاتی هستند که می‌توانند با حرکت قطعات انتزاعی بر روی مکان‌های یک تخته انتزاعی نشان داده شوند. هدف ال جی ارائه استراتژی هایی برای هدایت شرکت کنندگان بازی به اهدافشان است. به طور سنتی، کشف چنین استراتژی هایی نیاز به جستجو در درختان بازی غول پیکر داشت. این جستجوها اغلب فراتر از ظرفیت رایانه های مدرن و حتی قابل تصور آینده است.
ال‌جی به‌طور چشمگیری اندازه درخت‌های جستجو را کاهش می‌دهد و مشکلات را از نظر محاسباتی قابل حل می‌کند. LG رسمی سازی و انتزاعی از اکتشافات جستجو را ارائه می دهد که توسط کارشناسان پیشرفته از جمله استادان بزرگ شطرنج استفاده می شود. اساساً، این اکتشافی ها جستجو را با ساخت استراتژی ها جایگزین می کنند. برای رسمی کردن اکتشافات، ال‌جی از نظریه زبان‌های رسمی (یعنی زبان‌شناسی رسمی) و همچنین ساختارهای هندسی خاصی بر روی یک تابلوی انتزاعی استفاده می‌کند. استراتژی های رسمی جدید مشکلات را از حوزه های مختلف بسیار فراتر از حوزه های پیش بینی شده توسط کارشناسان حل می کند. برای تعدادی از این حوزه ها، هندسه زبانی راه حل های بهینه را ارائه می دهد.

Linguistic Geometry: From Search to Construction is the first book of its kind. Linguistic Geometry (LG) is an approach to the construction of mathematical models for large-scale multi-agent systems. A number of such systems, including air/space combat, robotic manufacturing, software re-engineering and Internet cyberwar, can be modeled as abstract board games. These are games with moves that can be represented by the movement of abstract pieces over locations on an abstract board. The purpose of LG is to provide strategies to guide the games' participants to their goals. Traditionally, discovering such strategies required searches in giant game trees. These searches are often beyond the capacity of modern and even conceivable future computers.
LG dramatically reduces the size of the search trees, making the problems computationally tractable. LG provides a formalization and abstraction of search heuristics used by advanced experts including chess grandmasters. Essentially, these heuristics replace search with the construction of strategies. To formalize the heuristics, LG employs the theory of formal languages (i.e. formal linguistics), as well as certain geometric structures over an abstract board. The new formal strategies solve problems from different domains far beyond the areas envisioned by the experts. For a number of these domains, Linguistic Geometry yields optimal solutions.