Computing with Words: Principal Concepts and Ideas

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

CWW یک قابلیت منحصربفرد ارائه می‌دهد - توانایی دقیق کردن زبان طبیعی. زبان طبیعی غیر دقیق (خام) را نمی توان با آن محاسبه کرد. یک مفهوم کلیدی که زیربنای دقت معنا است، مفهوم اصل معناست: یک گزاره، p، محدودیتی است بر مقادیری که یک متغیر، X - متغیری که در p ضمنی است - مجاز به گرفتن آن است.

CWW یک انشعاب مهم برای ریاضیات دارد. افزودن فرمالیسم CWW به ریاضیات، ریاضیات را قادر می سازد تا راه حل های ریاضی مسائل محاسباتی را که به زبان طبیعی بیان می شوند، بسازند. ریاضیات سنتی این قابلیت را ندارد.

In essence, Computing with Words (CWW) is a system of computation in which the objects of computation are predominantly words, phrases and propositions drawn from a natural language. CWW is based on fuzzy logic. In science there is a deep-seated tradition of according much more respect to numbers than to words. In a fundamental way, CWW is a challenge to this tradition. What is not widely recognized is that, today, words are used in place of numbers in a wide variety of applications ranging from digital cameras and household appliances to fraud detection systems, biomedical instrumentation and subway trains.

CWW offers a unique capability—the capability to precisiate natural language. Unprecisiated (raw) natural language cannot be computed with. A key concept which underlies precisiation of meaning is that of the meaning postulate: A proposition, p, is a restriction on the values which a variable, X—a variable which is implicit in p—is allowed to take.

CWW has an important ramification for mathematics. Addition of the formalism of CWW to mathematics empowers mathematics to construct mathematical solutions of computational problems which are stated in a natural language. Traditional mathematics does not have this capability.