Formal Aspects of Context

از جلد 20، جنبه های رسمی زمینه استقبال می کنیم. زمینه همیشه به عنوان قویاً مرتبط با مدل های زبان، فلسفه، منطق و هوش مصنوعی شناخته شده است. در سال‌های اخیر پیشرفت‌های نظری در این زمینه‌ها و به‌ویژه در منطق، مطالعه زمینه را در جامعه بین‌المللی سرعت بخشیده است. یک کنفرانس سالانه برگزار می شود و بسیاری از محققان متوجه شده اند که بسیاری از پازل های قدیمی باید با توجه مناسب به زمینه مورد بازنگری قرار گیرند. ویراستاران و مشارکت کنندگان جلد از میان فعال ترین محققان خط مقدم در منطقه هستند و مطالب نشان می دهد که این منطقه چقدر گسترده و نیرومند است. پیوندهای علمی قوی با جلدهای قبلی این مجموعه وجود دارد. من مطمئن هستم که ظاهر این کتاب در مجموعه ما به ایمن کردن مطالعه زمینه به عنوان یک حوزه مهم منطق کاربردی کمک می کند. D.M.Gabbay مقدمه این کتاب حاصل اولین کنفرانس بین‌المللی و بین‌رشته‌ای مدل‌سازی و استفاده از زمینه است که در ژانویه 1997 در ریودوژانیرو سازمان‌دهی شد و شامل گزیده‌ای از مقالات ارائه‌شده در آنجا، داوری و بازبینی از طریق فرآیندی است. بررسی همتایان ناشناس تلقی زمینه‌ها به‌عنوان ابژه‌های واقعی رسمی‌سازی منطقی، در سال‌های اخیر، پس از انگیزه اصلی مک‌کارتی در سخنرانی‌اش در «جوایز lUring»، مقبولیت گسترده‌ای پیدا کرده است.

We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi­ cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents shows how wide and vigorous this area is. There are strong scientific connections with earlier volumes in the series. I am confident that the appearance of this book in our series will help secure the study of context as an important area of applied logic. D.M.Gabbay INTRODUCTION This book is a result of the First International and Interdisciplinary Con­ ference on Modelling and Using Context, which was organised in Rio de Janeiro in January 1997, and contains a selection of the papers presented there, refereed and revised through a process of anonymous peer review. The treatment of contexts as bona-fide objects of logical formalisation has gained wide acceptance in recent years, following the seminal impetus by McCarthy in his 'lUring award address.