মডেল স্ট্রাকচারাল লজিকসে কাগজপত্র এবং নিবন্ধগুলি সন্ধান করছি


15

আমি মডেল স্ট্রাকচারাল লজিক্স সম্পর্কিত কাগজপত্র এবং নিবন্ধগুলি সন্ধান করছি - লিনিয়ার লজিক মোডালটির শব্দার্থতত্ত্বের উপর নয়, মানক মডেল অপারেটরগুলির সাথে সংযুক্ত কাঠামোগত লজিকগুলিতে, যেমন স্ট্রাকচারাল কে (বক্স অপারেটর, প্রয়োজনীয়তা এবং কে নিয়মের সাথে মলের মতো কিছু) something

উত্তর:


13

টেম্পোরাল লিনিয়ার লজিক (এলটিএল = লিনিয়ার-টাইম টেম্পোরাল লজিকের বিপরীতে) উত্পাদন করার জন্য লিনিয়ার লজিকের ক্ষেত্রে টেম্পোরাল রূপগুলি যুক্ত করার কাজ আমি জানি । এটি বেশ আকর্ষণীয়: একটি সূত্র (কোনও বিন্যাস ছাড়াই) এখন সংস্থানসমূহ হিসাবে উপলব্ধ হিসাবে ব্যাখ্যা করা হয় । পরের বারের মোড্যালিটি পরবর্তী সময়ে পদক্ষেপে সংস্থান হিসাবে উপলব্ধ হিসাবে ব্যাখ্যা করা হয়। বক্স প্রকারতা - মানে যে সম্পদ ভবিষ্যতে যেকোনো সময় খাওয়া যাবে না, সম্পদের ধারক দ্বারা নির্ধারিত , যেহেতু - মানে যে সম্পদ সময় যে কোনো স্থানে খাওয়া যাবে সিস্টেম দ্বারা নির্ধারিত---। সংস্থান এবং সিস্টেমের ধারকের মধ্যে দ্বৈততা লক্ষ্য করুন uality

লিনিয়ার এবং অ্যাফাইন যুক্তিগুলিতে কয়েকটি প্রকারের প্রকারের মডেলগুলি যুক্ত করা হয়েছে:

টেম্পোরাল লিনিয়ার লজিকের কাজটি এজেন্ট-ভিত্তিক প্রোগ্রামিং এবং সমন্বয় ক্ষেত্রে প্রয়োগ করা হয়েছে, যা উপরে বর্ণিত পদ্ধতিগুলির ব্যাখ্যাটির প্রয়োজনীয় ব্যবহার করে:


8

ভাষাবিজ্ঞানে এই জাতীয় যুক্তি বিবেচনা করা হয়: আপনি মাইকেল মুরগেটের নিবন্ধ, শ্রেণিবদ্ধ টাইপ লজিকটি একবার দেখে নিতে পারেন ।


8

! লিনিয়ার লজিকের একটি মড্যালিটি হ'ল একটি বক্স অপারেটর যা এস 4 অক্ষগুলিকে সন্তুষ্ট করে।

এটি সুপরিচিত যে! এ এর ​​স্বতন্ত্রতা উপার্জনযোগ্য নয় - এটি যদি আপনার একটি লাল ব্যাং এবং একটি নীল ব্যাং থাকে তবে উভয়ই পৃথকভাবে ব্যাংয়ের নিয়ম পূরণ করে, আপনি প্রমাণ করতে পারবেন না যে তারা সমতুল্য। এই ফলাফলটি কোথায় পাওয়া যাবে তা আমি মনে করি না, তবে এটি সম্ভবত জিরার্ডের লিনিয়ার যুক্তি সম্পর্কিত 1987 এর গবেষণাপত্রে রয়েছে।

সম্পাদনা: আমি জেসন রিডকে জিজ্ঞাসা করলাম, যার থিসিসটি হাইব্রিড লজিককে লিনিয়ার লজিকের এনকোডিং সম্পর্কে ছিল এবং তিনি আমাকে চৌধুরী মাতৃবিজ্ঞানের সাথে অ্যাপ্লিকেশন সহ কন্সট্রেইনড প্রসেস ক্যালকুলি দ্বারা নীচের কাগজটিতে "ইঙ্গিত করলেন" । তারা সাময়িক যুক্তিকে আয়না করার উদ্দেশ্যে হাইব্রিড টীকাগুলি সহ স্বজ্ঞাত লিনিয়ার যুক্তি প্রসারিত করে এবং তারা এটির একটি খুব পরিষ্কার কাজ করেছে - তারা প্রমাণ করে যে কেবল কাটা-নির্মূলকরণ নয়, তবে কেন্দ্রিককরণও রয়েছে। সুতরাং দেখে মনে হচ্ছে মোডাল কে ল লা সিম্পসন পেতে তাদের ক্যালকুলাসটি সহজ করা সহজ হওয়া উচিত।


1
আমি দুর্বল কিছু খুঁজছি, যা এস 4 এর চেয়ে কে এর সাথে মিলে যায়।
রব

1
@ রব: লিনিয়ার লজিকের জন্য কিছু দুর্বল পদ্ধতি হালকা রৈখিক যুক্তিতে অধ্যয়ন করা হয়। আমি তিনটি এলএলএল এবং স্ট্যান্ডার্ড ক্রিপ্কিয়ান মডেল লজিকের মধ্যে সম্পর্কের রূপরেখার একটি কাগজ দেখেছি, তবে আমি ভুলে গিয়েছি যে তাদের মধ্যে কে ছিল এবং না।
চার্লস স্টুয়ার্ট

@ চার্লস: আপনার কি সেই কাগজের রেফারেন্স আছে?
রব

1
@ রব: না, আমি ভয় পাচ্ছি আমার কাছে এটি ঘটে যে এটি কোনও ওয়ার্কশপ পেপার হতে পারে যা লেখা ছিল না। ড্যানোস অ্যান্ড জয়েন্টেট (২০০১) এর একটি কাগজ রয়েছে যা কিছু দুর্বল রৈখিক লজিকস, লিনিয়ার লজিক এবং প্রাথমিক সময়কে তালিকাভুক্ত করে এবং সেখান থেকে আপনি অক্ষরূপটি বের করতে পারেন: এটি এলপি -> ফর্মের উপপাদগুলি কি তা দেখার জন্য এটি অনুসরণ করা উচিত আরপি, যেখানে মোডাল অপারেটরগুলির কোনও স্ট্রিং এলএন্ডআর করে এবং নিয়মিত মডেল লজিকের সাথে মিল খুঁজে পাওয়া যায় যা একই ধরণের উপপাদ্যগুলির সাথে মেলে।
চার্লস স্টুয়ার্ট

@ চার্লস - ধন্যবাদ! আমি এটি একবার দেখুন।
রব

7

বর্তমানে, সর্বাধিক ব্যবস্থাবদ্ধ প্রমাণ তত্ত্ব যা বহু কাঠামোগত লজিককে অনেকগুলি মডেল লজিকসকে স্তরযুক্ত করার অনুমতি দেয় তা হ'ল বেল্নাপের প্রদর্শন যুক্তি, যা বিশেষত তার মডেল ডিসপ্লে লজিকের শক্তি এবং দুর্বলতা মার্কস ক্র্যাচ্টের হাতে একটি শালীন আচরণ পেয়েছিল , 1996— এবং হেনরিচ ওয়ানসিং, প্রদর্শন মডেল লজিক , 1998।

স্ট্রাকচারের ক্যালকুলাসে রূপরেখার উপস্থাপনের বিষয়ে কিছু ধারণা প্রয়োগ করার জন্য কিছু বছর আগে এমএসসি থিসির বেশ কয়েকটি প্রেরণার পিছনে অন্যতম অনুপ্রেরণা ছিল ডিসপ্লে লজিকের সমস্যাহীন যুক্তি পরিচালনা করতে সমস্যা রয়েছে, যা কাঠামোগত লজিকের প্রতিনিধিত্ব করার জন্য খুব শক্তিশালী, তবে দৌড়ে সমস্যাগুলির মধ্যে কারণ অস্বাভাবিক উপায়ে কাটা-নির্মূলকরণ সেটিংয়ে প্রমাণিত। অ্যালবামের পরিবারগুলি থেকে মডেল লজিকের নিয়ম তৈরির বিষয়ে রবার্ট হেইনের কাজ, আনলভেলিংয়ের মাধ্যমে বিশুদ্ধতায় সংক্ষিপ্তসার, ২০০৫, বেশিরভাগ সাধারণ লজিককে অন্তর্ভুক্ত করে (সর্বাধিক গুরুত্বপূর্ণ অক্ষগুলি বি, সিআর এবং এল অন্তর্ভুক্ত নয়) এবং কাটা-নির্মূলের অনুমানকে বিশ্বাস করার পক্ষে যথেষ্ট শক্তিশালী পরিস্থিতি প্রমাণ রয়েছে। এই কাজের কোনওটিই আসলে কাঠামোগত যুক্তিকে বিবেচনা করে না, তবে যদি এই শক্তির জন্য একটি শক্তিশালী ধরণের কাট-নির্মূলের উপপাদ্য প্রমাণিত হয়, তথাকথিত বিভাজনকারী লেমা, এটি যুক্তিটিকে খুব মডুলার করে তুলবে এবং কাটা-নির্মূলকরণের সমস্ত উপায় সহজেই অনুসরণ করা উচিত লজিক একসাথে gluing।

কাঠামোগত যুক্তির প্রকৃতপক্ষে শব্দার্থবিজ্ঞানের অভিন্ন ধারণা নেই, তবে আধুনিক কাঠামোগত যুক্তির জন্য আমাদের কাছে বেস লজিকের শব্দার্থকে ম্যাডাল মডিক লজিকের শব্দার্থে রূপান্তর করার জন্য একটি ধরণের রেসিপি রয়েছে, এটি একটি ধারণার সাথে একটি ট্রেস-জাতীয় শব্দার্থিক বাড়াতে পেরে অপারেটরের ধারণা সহ ফ্রেম বা একটি বীজগণিত / শ্রেণিবদ্ধ শব্দার্থক। ক্র্যাচট এবং وانসিং এই উভয় দিক থেকেই কিছু কাজ করে।


6

আমি নরিহিরো কামিদে, "ক্রিপকে সেমেন্টিক্স ফর মডেল সাবস্ট্রাকচারাল লজিকস", জার্নাল অফ লজিক, ভাষা ও তথ্য ১১ (৪) , ২০০২-এ স্কিমিং করছি , যা আমি চেয়েছিলাম তা পুরোপুরি নয়, তবে উল্লেখগুলি মার্সেলো ডি'গোস্টিনো এবং ডভকে উদ্ধৃত করেছে। এম। গ্যাবে এবং আলেসান্দ্রা রুসো, "স্ট্র্যাচারাল ইমপ্লিকেশন সিস্টেমে গ্রাফটিং মোডালটিস", স্টুডিয়া লজিকা 59 , 1996, যা মনে হচ্ছে আমি যা খুজছি । এটি সিটিসিয়ারে http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.5719 এ রয়েছে

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.