Line Drawing Interpretation

تفسیر رایانه‌ای از ترسیم‌های خطی، یک مشکل کلاسیک در هوش مصنوعی است و الهام‌بخش توسعه برخی از ابزارهای اساسی هوش مصنوعی، از جمله انتشار محدودیت، آرامش احتمالی، محدودیت‌های قابل حمل، و (اخیراً) ساده‌سازی محلی مسائل بهینه‌سازی است. .

بر اساس تجربه پژوهشی قابل توجه نویسنده، این کتاب به تفسیر ترسیم خط و رضایت از محدودیت ها می پردازد و چندین نتیجه برجسته در این زمینه را پوشش می دهد. این شامل بررسی های پیشرفته از کار در هر دو تفسیر طراحی و بهینه سازی گسسته است، و فقط به نقاشی های اشیاء چند وجهی محدود نمی شود، بلکه اشیاء منحنی پیچیده را نیز پوشش می دهد. رویکرد جدید آن برای تفسیر ترسیم، محدودیت‌های جدید را با پیشرفت‌های اخیر در برنامه‌نویسی محدودیت‌های نرم ترکیب می‌کند.

این کتاب با پوشش بسیاری از نتایج نظری و رسمی به مرجعی استاندارد در این زمینه تبدیل خواهد شد. شواهد، به ویژه در مورد شرایط لازم و کافی برای تحقق پذیری، عملیات ساده سازی برای مسائل ترکیبی و قابل حمل بودن تفسیر ترسیم.

مارتین کوپر این موضوع جذاب را نه تنها برای دانشمندان رایانه قابل دسترس می کند. و همچنین برای ریاضیدانان، روانشناسان و دانشمندان علوم شناختی - در واقع برای هر کسی که شیفته توهمات نوری و ارقام غیرممکن یا مبهم است.

The computer interpretation of line drawings is a classic problem in artificial intelligence and has inspired the development of some fundamental AI tools, including constraint propagation, probabilistic relaxation, tractable constraints, and (most recently) local simplification of optimisation problems.

Based on the author’s considerable research experience, this book looks at line drawing interpretation and constraint satisfaction, covering several landmark results in the field. It contains state-of-the-art reviews of work in both drawing interpretation and discrete optimisation, and is not just restricted to drawings of polyhedral objects, but also covers complex curved objects. Its novel approach to drawing interpretation combines new constraints with recent advances in soft constraint programming.

The book will become a standard reference in the field with its coverage of many theoretical results with formal proofs, particularly concerning necessary-and-sufficient conditions for realizability, simplification operations for combinatorial problems and tractability of drawing interpretation.

Martin Cooper makes this fascinating topic accessible not only to computer scientists, but also to mathematicians, psychologists and cognitive scientists – indeed to anyone intrigued by optical illusions and impossible or ambiguous figures.