২০১১ সালে টিসিএসের জন্য অস্পষ্ট যুক্তির অবস্থান কী?


18

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

একটি অধ্যায়টি অস্পষ্ট যুক্তিযুক্ত এবং अस्पष्ट সিস্টেমগুলির উপর রয়েছে, এবং সেগুলি কতটা মাতাল। এবং তারা সম্ভবত, আমি স্পষ্টভাবে জানি না। কম্পিউটার বিজ্ঞানীদের চারপাশে ঝুলানো থেকে আমি যে স্বজ্ঞাত ধারণাটি অর্জন করেছি তা হ'ল কল্পিত যুক্তিবাদী এবং নিয়ন্ত্রণ ব্যবস্থা ইত্যাদির আবদ্ধ মডেলিং ইত্যাদি "মৃত"। আমি জানি না যে এটি সত্য কিনা, যদিও - এবং এটি সত্য হলেও আমি জানি না যে এটি "ভাল কারণেই" সত্য true

কেউ কি এখানে ওজন করতে চান? অস্পষ্ট সিস্টেমগুলিতে গবেষণার বর্তমান অবস্থা কী? ফাজিফিকেশন রিয়েল-ওয়ার্ল্ড অ্যাপ্লিকেশনগুলি দেখতে পাবে? এটি কি অভ্যস্ত ছিল এবং সমস্যার কারণে লোকেরা সরে গেল? বা "খন্দকের" লোকেরা কি সর্বদা এটি ব্যবহার করে এবং তাত্ত্বিকরা এ থেকে দূরে সরে গেছেন? অথবা অন্য কিছু? (সত্য কী তা আমার কোনও ধারণা নেই))

আমি সম্ভবত এই প্রশ্নের উত্তর বইয়ের পর্যালোচনায় উদ্ধৃত করব, যদি না কোনও উত্তরদাতা আমাকে বিশেষভাবে না জিজ্ঞাসা করে।

ধন্যবাদ।


16
0.326 এর অস্পষ্টতার সাথে সাবজেক্টিভ এবং যুক্তিযুক্তের সীমানায় ভার্জিং।
ডেভ ক্লার্ক

@ ডেভ ক্লার্ক:: -) !!! আমি জানি. তবে এই সাইটে এমনকি একটি প্রশ্ন ছিল, "কী গবেষণা ক্ষেত্রটি আমার উচিত" প্রশ্নগুলির মধ্যে একটি, যেখানে যে কেউ উত্তর দিয়েছিল যে अस्पष्ट যুক্তি একটি সক্রিয় গবেষণা ক্ষেত্র নয় area আপনি যদি এই প্রশ্নটি বন্ধ করতে চান তবে আমি বিরক্ত হব না। তবুও, আমি পরিস্থিতিটিকে কৌতূহলী মনে করি এবং এটি সম্পর্কে অনুসন্ধানের জন্য যদি কোনও কূটনৈতিক উপায় থাকে তবে আমি এটি করতে চাই।
অ্যারন স্টার্লিং

1
এই প্রশ্ন উত্থাপন করার জন্য হারুন ধন্যবাদ। আমি अस्पष्ट যুক্তির সাথে খুব বেশি পরিচিত নই, তবে ক্ষেত্রটি মৃত বা জীবিত কিনা তা জানা আকর্ষণীয়। এটিকে আরও আকর্ষণীয় করে তুলতে আপনি "ফাজি লজিকের বর্তমান ট্রেন্ডস" জিজ্ঞাসা করতে পারেন if আমি মনে করি "ফেডারেটেড লজিক কনফারেন্স (এফএলওসি)" এই জাতীয় প্রবণতাগুলি সন্ধানের জন্য ভাল জায়গা (নিশ্চিত নয়)।
এমএস দৌস্তি

2
শিরোনাম পরিবর্তনের জন্য আপনাকে ধন্যবাদ। অস্পষ্ট যুক্তির স্ট্যাটাসটি কিছুটা বিস্তৃত হতে পারে তবে আমি মনে করি না যে বর্তমান প্রশ্ন (পুনর্বিবেচনা 3) বিষয়ভিত্তিক।
সোসোশি ইটো

5
জাদেহের ২০০৮ সালে একটি কাগজ ছিল: अस्पष्ट যুক্তির দরকার আছে কি?
কাভেহ

উত্তর:


11

আমি অস্পষ্ট যুক্তিটিকে মৃত মনে করব না। নিয়ন্ত্রণ সিস্টেমের জন্য, আমি জানি না। তবে, গত বেশ কয়েক বছর ধরে প্রমাণবাদী তাত্ত্বিকদের জন্য অস্পষ্ট যুক্তিবিদ্যায় প্রচুর ক্রিয়াকলাপ রয়েছে: শুরুতে সিবাট্ট্তোনি, অলিভত্তি, ফার্মেলার, মেটকাল্ফ এবং বাজের কাগজগুলি সন্ধান করুন।

সম্পাদনা করুন: আমার বিবিটেক্স ফাইল থেকে কিছু নির্দিষ্ট রেফারেন্স:

  • ডি গালমিচে এবং ওয়াই। সাহলি, লুকাসিউইচ লজিক্সের জন্য লেবেলড ক্যালকুলি, ইনট। যুক্তি, ভাষা, তথ্য ও গণনা সম্পর্কিত ওয়ার্কশপ, ওএললিক'08, এডিনবার্গ, এলএনএআই 5110, 2008।
  • এম। বাজ এবং জি। মেটকাল্ফ, প্রথম আদেশের জন্য প্রুফ তত্ত্ব - ইউকাসিভিজ লজিক। সারণী 2007
  • ডি গালমিচে এবং ডি লার্চে-ওয়েন্ডলিং এবং ওয়াই সালহী, গ্যাডেল-ডুমেট লজিক্স, ডিআইএসপ্রোভিং'০7-এ প্রভিবিলিটি এবং কাউন্টার মডেলস: নন-উপপাদ্য, অ-বৈধতা, এবং অ-প্রভিবিলিটি, 2007-কে ডিসপোভারিং ওয়ার্কশপ।
  • এস বোভা এবং এফ। মন্টাগনা, হ্যাজিকের বেসিক লজিকের প্রুফ অনুসন্ধান, এসিএম ট্রান্স। Comput। লগ।, 2007
  • ডিএম গ্যাবে এবং জি মেটকাল্ফ, [0,1) -র ধারাবাহিক ইউনিকর্ম, এএমএল 46 (5), 2007 এর ভিত্তিতে ফজী লজিক্স।
  • জি মেটকাল্ফ এবং এফ মন্টাগনা, সাবস্ট্রাকচারাল ফাজি লজিক্স। জেএসএল 72 (3), 2007।
  • আর। ডাইকফ এবং এস। নেগ্রি, রৈখিকভাবে আদেশ দেওয়া {এইচ} ইটিং বীজগণিতগুলির সিদ্ধান্ত পদ্ধতি methods এএমএল 45, 2006।
  • জি মেটকাল্ফ এবং এন। অলিভত্তি এবং ডি গ্যাবে, আবেলিয়ান এবং ইউক্যাসিভিজ লজিক্সের জন্য পর্যায়ক্রমিক এবং হাইপারসিভারিয়েন্ট ক্যালকুলি। এসিএম ট্রান্স Comput। লগিন। 6 (3), 2005
  • এম বাজ এবং এ। সিবাট্টোনি এবং এফ। মন্টাগনা, মনোয়েডাল টি-আদর্শ ভিত্তিক যুক্তির জন্য বিশ্লেষণমূলক ক্যালকুলি, তহবিল। INF। 59 (4), 2004।
  • এস নেগ্রি এবং জে ভ্যান প্লেটো, জাল তত্ত্বের প্রুফ সিস্টেম, ম্যাথ। Struct। কমপ্লেক্সে বিজ্ঞান 14 (4), 2004।
  • উঃ চিয়াবাট্টোনি এবং সিজি ফার্মেলার এবং জি মেটকাল্ফ, ইউনিফর্ম রুলস এবং ডায়লগ গেমস ফাজি লজিক্সের জন্য। এলপিআর 2004।
  • এ। সিবাট্টোনি, লিনিয়ারিটি সহ লজিস্টিকের জন্য অ্যানালিটিক্যাল ক্যালকুলির স্বয়ংক্রিয় জেনারেশন। সিএসএল 2004।
  • এফ। মন্টাগনা এবং এল। স্যাস্যাসেটি, বহু-মূল্যবান লজিকগুলির জন্য ক্রিপকে-স্টাইল শব্দার্থক, গণিত। লগিন। প্র। 49 (6), 2003. এমএলকিউ 50 (1), 2004-এ সংশোধন।
  • ডি লার্চে-ওয়েন্ডলিং, গডেল-ডুমেট লজিক্সের কাউন্টার মডেল অনুসন্ধান, আইজেকার 2004, এলএনএআই 3097, স্প্রঞ্জার, 2004।
  • জি। মেটকাল্ফ, প্রফেসনাল ফাজি লজিক্সের প্রুফ থিওরি, পিএইচডি থিসিস, কম্পিউটার সায়েন্স বিভাগ, কিংস কলেজ, 2004।
  • ডি গ্যাবে এবং জি মেটকাল্ফ এবং এন। অলিভটি, হাইপারসিক্যেন্টস এবং ফজি লজিক, রেভিস্তা ডি লা রিয়েল একাডেমিয়া ডি সিনিয়াস 98 (1), 2004।
  • উঃ সিবাট্টোনি এবং জি। মেটকাল্ফ, বাউন্ডেড ইউক্যাসিউইচ লজিক্স। সারণী 2003।
  • এম। বাজ এবং এ। সিবাট্টোনি এবং সিজি ফার্মুলার, গডেল লজিক্সের জন্য একদম ক্যালকুলি --- একটি সমীক্ষা। জেএলসি 13 (6), 2003।
  • এম। বাজ এবং এ। সিবাট্টোনি এবং সিজি ফার্মেলার, রিলেশনস অফ রিলেশনস কুলকুলি: বহু মূল্যবান লজিক্সে অ্যানালিটিক কমানোর জন্য একটি ফ্রেমওয়ার্ক। বাইন্ড টু: থিওরি এবং অ্যাপ্লিকেশনস অফ মাল্টিপল-ভ্যালুড লজিক, এম ফিটিং এবং ই। ওরোলোস্কা, এডি।, ফিজিকা-ভারলাগ, 2003 2003
  • এন। অলিভট্টি, লুকাসিভিচ অসীম মূল্যবান যুক্তির জন্য ছক। স্টুডিয়া লোগিকা 73 (1), 2003।
  • জি মেটক্যাল্ফ এবং এন। অলিভত্তি এবং ডি গ্যাবে, অ্যাবেলিয়ান এবং ইউক্যাসিভিজ লজিকসের বিশ্লেষণী পর্যায়ক্রমিক ক্যালকুলি। সারণী 2002
  • এ। সিবাট্টোনি এবং সিজি ফার্মেল্লার, হাইপারসাকেন্টস ইউরফর্ম ফ্রেমওয়ার্ক হিসাবে ইউরকিয়ার্টের সি, এমটিএল এবং সম্পর্কিত লজিকস। 31 তম আইইইই ইন্টারন্যাশনাল সিম্পোজিয়াম অন মাল্টিপল-ভ্যালুড লজিক (আইএসএমভিএল 2001), 2001।
  • এফ। এস্তেভা এবং এল। গডো, মনোয়েডাল টি-আদর্শ ভিত্তিক যুক্তি: বাম-অবিচ্ছিন্ন টি-নর্ম্যাডের জন্য একটি যুক্তিটির দিকে, ফজি সেটস এবং সিস্টেমস 124 (3), 2001।
  • এম বাজ এবং আর জ্যাচ, হাইপারসিয়েন্ট এবং প্রুফ থিওরি অফ ইন্টারুশনিস্টিক ফাজি লজিক। সিএসএল 2000।
  • এ। অ্যাভ্রন, হাইপারসিয়েন্ট ক্যালকুলাসের উপর ভিত্তি করে গডেল-ডুমেট লজিকের জন্য একটি ঝকঝকে সিস্টেম। সারণী 2000, এলএনএআই 1847, 2000।
  • উঃ সিয়াবাত্তোনি এবং এম। ফেরারি, হাইপার টেটাব্যু এবং পাথ-হাইপারটবেলাউ কুলকুলি মধ্যবর্তী যুক্তির কিছু পরিবারের জন্য। সারণী 2000, এলএনএআই 1847, 2000।
  • আরএলও সিগনোলি এবং আইএমএল ডি অটোভিয়ানো এবং ডি মুন্ডিসি, বহু-মূল্যবান যুক্তির বীজগণিত ভিত্তি, ক্লুভার, লন্ডন, 2000
  • এস আগুজলি এবং এ। সিবাটটনি, অসীম-মূল্যবান একুসিউইজিক লজিকের চূড়ান্ততা। জে লজিক, ভাষা এবং তথ্য 9, 2000।
  • আর। ডাইকফ, গডেল-ডুমেট যুক্তি, আইজিপিএল ((৩), ১৯৯ 1999 এর জন্য একটি নির্ধারিত সমাপ্তি পর্যায়ক্রমিক ক্যালকুলাস।
  • এম। বাজ এবং এ। সিবাটটনি এবং সিজি ফার্ম {\ "ইউ ler ললার এবং এইচ। ভীথ, ফজি লজিক্সের প্রুফ থিওরি: উরখার্টস সি এবং সম্পর্কিত লজিক্স। কম্পিউটার বিজ্ঞানের গাণিতিক ভিত্তি 1998, 23 তম আন্তর্জাতিক সিম্পোজিয়াম, এমএফসিএস'98, ব্র্নো, চেক প্রজাতন্ত্র, আগস্ট 24-28, 1998, কার্যদিবস, 1998।
  • পি। হ্যাজেক, ফাজি লজিক্সের মেটামেথিম্যাটিকস, ক্লুয়ার, 1998
  • আর। হানলে, বহু মূল্যবান যুক্তির প্রুফ তত্ত্ব - লিনিয়ার অপ্টিমাইজেশন - লজিক ডিজাইন: সংযোগ এবং মিথস্ক্রিয়া। সফট কম্পিউটার 1 (3), 1997।

এগুলি মূলত প্রমাণ-তত্ত্ব এবং স্বয়ংক্রিয় ছাড়ের রেফারেন্স, যদিও,


3
আরও কিছু বিশদ রব কীভাবে?
ডেভ ক্লার্ক

নির্দিষ্ট উল্লেখ সহ উত্তর সম্পাদিত reply
রব

3
কি দারুন. এটি বেশ একটি তালিকা।
ডেভ ক্লার্ক

রব, এটি একটি আকর্ষণীয় উত্তর। আমি মনে করি এই ফলাফলগুলির বেশিরভাগটি জাডাহের অস্পষ্ট যুক্তি নিয়ে কাজ করছে না (যেমন নিয়ন্ত্রণ ব্যবস্থায় ব্যবহৃত হয়,মিনিট হিসাবে ব্যাখ্যা করা হচ্ছে) তবে আরও সাধারণ ধারণা দিয়ে।
কাভেহ

বেশিরভাগ অস্পষ্ট লজিক ব্যাখ্যা করে হিসাবে মিনিট এবং সর্বোচ্চ হিসাবে কিছুক্ষণ হয়ে গেল, তবে আমি মনে করতে পারি যে জাদেহের যুক্তি Łukasiewicz আর্টের অন্তর্নিহিতের মতো। (আমি এতে ভুল হতে পারি))
রব
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.