Breaking through the classical Shannon entropy limit: A new frontier through logical semantics
Lastras, Trager, Lenchner et al.
Information theory has provided foundations for the theories of several application areas critical for modern society, including communications, computer storage, and AI. A key aspect of Shannon's 1948 theory is a sharp lower bound on the number of bits needed to encode and communicate a string of symbols. When he introduced the theory, Shannon famously excluded any notion of semantics behind the symbols being communicated. This semantics-free notion went on to have massive impact on communication and computing technologies, even as multiple proposals for reintroducing semantics in a theory of information were being made, notably one where Carnap and Bar-Hillel used logic and reasoning to capture semantics. In this paper we present, for the first time, a Shannon-style analysis of a communication system equipped with a deductive reasoning capability, implemented using logical inference. We use some of the most important techniques developed in information theory to demonstrate significant and sometimes surprising gains in communication efficiency availed to us through such capability, demonstrated also through practical codes. We thus argue that proposals for a semantic information theory should include the power of deductive reasoning to magnify the value of transmitted bits as we strive to fully unlock the inherent potential of semantics.
academic
ধ্রুপদী শ্যানন এন্ট্রপি সীমা অতিক্রম করা: যৌক্তিক শব্দার্থের মাধ্যমে একটি নতুন সীমান্ত
শিরোনাম: Breaking through the classical Shannon entropy limit: A new frontier through logical semantics
লেখক: Luis A. Lastras, Barry M. Trager, Jonathan Lenchner (IBM Research AI), Wojciech Szpankowski (Purdue University), Chai Wah Wu, Mark S. Squillante (IBM Research AI), Alexander Gray (Centaur AI Institute & Purdue University)
শ্রেণীবিভাগ: cs.IT (কম্পিউটার বিজ্ঞান - তথ্য তত্ত্ব), math.IT (গণিত - তথ্য তত্ত্ব)
প্রকাশনার সময়: ২০২৪ সালের ৩১ ডিসেম্বর (arXiv প্রাক-প্রিন্ট)
এই পেপারটি প্রথমবারের মতো ধ্রুপদী শ্যানন এন্ট্রপি সীমা অতিক্রম করার জন্য একটি যৌক্তিক শব্দার্থ তথ্য তত্ত্বের কাঠামো প্রস্তাব করে। যৌক্তিক অনুমান ক্ষমতা যোগাযোগ ব্যবস্থায় প্রবর্তন করে, লেখকরা প্রমাণ করেন যে অবরোহী যুক্তি ক্ষমতা সম্পন্ন যোগাযোগ ব্যবস্থায় উল্লেখযোগ্য যোগাযোগ দক্ষতা উন্নতি অর্জন করা যায়। এই গবেষণা কার্নাপ এবং বার-হিলেলের প্রাথমিক কাজের উপর ভিত্তি করে, তথ্য তত্ত্বের মূল কৌশল ব্যবহার করে যৌক্তিক শব্দার্থ তথ্য তত্ত্বের জন্য কঠোর গাণিতিক বিশ্লেষণ প্রদান করে এবং ব্যবহারিক এনকোডিং স্কিমের মাধ্যমে তাত্ত্বিক ফলাফল যাচাই করে।
শ্যানন তত্ত্বের সীমাবদ্ধতা: ধ্রুপদী শ্যানন তথ্য তত্ত্ব ইচ্ছাকৃতভাবে প্রতীকের পিছনের যৌক্তিক শব্দার্থ তথ্য বাদ দেয়, শুধুমাত্র প্রতীকের পরিসংখ্যানগত প্যাটার্নে মনোনিবেশ করে, যা নির্দিষ্ট পরিস্থিতিতে যোগাযোগ দক্ষতার আরও উন্নতি সীমাবদ্ধ করে।
যৌক্তিক শব্দার্থ তথ্যের মূল্য: ফাইনম্যান যেমন বলেছেন, "সমস্ত পদার্থ পরমাণু দিয়ে গঠিত" এই বক্তব্যটি বিশাল তথ্য পরিমাণ ধারণ করে, অবরোহী যুক্তির মাধ্যমে বিপুল বৈজ্ঞানিক জ্ঞান পুনর্নির্মাণ করা যায়, কিন্তু ঐতিহ্যবাহী তথ্য তত্ত্ব এই যৌক্তিক মূল্য ধরতে পারে না।
তাত্ত্বিক তাৎপর্য: তথ্য তত্ত্বের জন্য নতুন গবেষণা সীমান্ত উন্মোচন করে, যৌক্তিক এবং অনুমান যুক্তিকে আনুষ্ঠানিকভাবে তথ্য তাত্ত্বিক কাঠামোতে অন্তর্ভুক্ত করে
ব্যবহারিক মূল্য: কৃত্রিম বুদ্ধিমত্তা, যোগাযোগ ব্যবস্থা এবং অন্যান্য ক্ষেত্রে গুরুত্বপূর্ণ প্রয়োগ সম্ভাবনা রয়েছে, বিশেষত দক্ষ জ্ঞান স্থানান্তরের প্রয়োজনীয় পরিস্থিতিতে
যোগাযোগ কাজ সংজ্ঞায়িত করা হয়: প্রেরক অ্যালিস যৌক্তিক বিবৃতি Sm রাখে, গ্রাহক বব Rm রাখে, অ্যালিসকে ববকে প্রশ্ন Qm প্রমাণ করতে সাহায্য করতে হবে। সিস্টেম সীমাবদ্ধতা শর্ত:
Sm ⊢ Qm (অ্যালিস প্রশ্ন প্রমাণ করতে পারে)
Qm ⊢ Rm (প্রশ্ন ববের জ্ঞান নির্দেশ করে, যখন অ্যালিস Rm জানে)
যৌক্তিক বিবৃতি s ∈ Lm এর জন্য, এর কার্নেল κ(s) সংজ্ঞায়িত করা হয় এই বিবৃতিটি সত্য করে এমন সমস্ত প্রস্তাবনামূলক পরিবর্তনশীল নিয়োগের সেট হিসাবে। কার্নেলের স্বাভাবিকীকৃত আকার সংজ্ঞায়িত করা হয়:
উল্লেখযোগ্য দক্ষতা উন্নতি: যৌক্তিক যৌক্তিক যোগাযোগ ধ্রুপদী পদ্ধতির তুলনায় যোগাযোগ খরচে বহুগুণ হ্রাস অর্জন করে, যখন ঐতিহ্যবাহী সংকোচন ক্ষেত্রে উন্নতি সাধারণত শতাংশ পয়েন্টে গণনা করা হয়
তাত্ত্বিক নিচের সীমার কাছাকাছি: ব্যবহারিক এনকোডিং স্কিমের কর্মক্ষমতা তথ্য তাত্ত্বিক নিচের সীমার কাছাকাছি, তাত্ত্বিক বিশ্লেষণের কার্যকারিতা প্রমাণ করে
pr = 1 পরিস্থিতিতে, ববকে প্রশ্ন Qm প্রমাণ করতে দেওয়ার জন্য, সর্বোত্তম কৌশল প্রকৃতপক্ষে ববকে Qm এর চেয়ে শক্তিশালী প্রমাণ ক্ষমতা দেয়, অর্থাৎ বব আরও বেশি বিষয় প্রমাণ করতে পারে।
এই পেপারটি ৪২টি গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করে, যা তথ্য তত্ত্বের ভিত্তি, যৌক্তিক শব্দার্থ তথ্য তত্ত্ব, যুক্তিবিদ্যা, এনকোডিং তত্ত্ব এবং অন্যান্য একাধিক ক্ষেত্রের ধ্রুপদী এবং অগ্রগামী কাজ অন্তর্ভুক্ত করে, গবেষণার গভীরতা এবং প্রস্থ প্রতিফলিত করে।
সামগ্রিক মূল্যায়ন: এটি একটি যুগান্তকারী তাৎপর্যপূর্ণ পেপার, যা সফলভাবে যৌক্তিক অনুমান ক্ষমতা তথ্য তাত্ত্বিক কাঠামোতে প্রবর্তন করে, যৌক্তিক শব্দার্থ তথ্য তত্ত্বের উন্নয়নের জন্য গুরুত্বপূর্ণ তাত্ত্বিক ভিত্তি এবং ব্যবহারিক নির্দেশনা প্রদান করে। যদিও বাস্তব প্রয়োগে এখনও কিছু চ্যালেঞ্জের সম্মুখীন হয়, তবে এর তাত্ত্বিক অবদান এবং প্রয়োগ সম্ভাবনা এটিকে এই ক্ষেত্রের একটি গুরুত্বপূর্ণ মাইলফলক করে তোলে।