- লজিক প্রোগ্রামিং এর বৈশিষ্ট্য
- সত্য এবং যৌক্তিক ছাড়
- প্রথম অর্ডার যুক্তি
- ক্লজাল ফর্ম
- কৃত্রিম বুদ্ধিমত্তা
- লজিক প্রোগ্রামিং উদাহরণ
- উদাহরণ 1
- উদাহরণ 2
- প্রশ্ন
- অন্যান্য অনুসন্ধান
- তথ্যসূত্র
যুক্তি প্রোগ্রামিং একটি প্রোগ্রামিং দৃষ্টান্ত নিয়ন্ত্রণে যুক্তিবিজ্ঞান বদলে সার্কিট ঠিক গাণিতিক ফাংশন ব্যবহার করে কিভাবে তথ্য ও নিয়ম সেট করা হয়।
একটি সতর্কতার সাথে কাঠামোগত নিয়ন্ত্রিত প্রবাহের পরিবর্তে যেটি কখন কার্যকর করা যায় এবং কীভাবে ফাংশন কলগুলি বা অন্যান্য নির্দেশাবলী মূল্যায়ন করতে হয় তা নির্দেশ না করে প্রোগ্রামটির যৌক্তিক নিয়মগুলি ক্লজ বা যৌক্তিক ভবিষ্যদ্বাণী হিসাবে লেখা হয়।
প্রোলগে লজিক প্রোগ্রামিংয়ের উদাহরণ। উত্স: কুলদীপশোরান 1 - স্ক্রিনশট, সিসি বাই-এসএ 3.0, উইকিমিডিয়া কমন্স
এই পদ্ধতির, যা প্রায়শই জেনেটিক এবং বিবর্তনমূলক প্রোগ্রামিংয়ে ব্যবহৃত হয়, সাধারণত কোনও মডেলকে কীভাবে অর্জন করা যায় তার চেয়ে কী লক্ষ্য অর্জন করা যায় তা বলে দেয়।
প্রতিটি নিয়মে একটি নির্বাহযোগ্য গাণিতিক ফাংশন না করে একটি শিরোনাম এবং একটি আনুষ্ঠানিক যুক্তিযুক্ত একটি শরীর থাকে। উদাহরণস্বরূপ, "এবং এটি সত্য (শিরোনাম): যদি C1, C2, এবং C3 সত্য (দেহ) হয়।" সত্যতা বা ফলাফলগুলি কোনও দেহ ছাড়াই প্রকাশ করা হয়, যেমন "এবং এটি সত্য।"
যাইহোক, প্রোলগের মতো কিছু প্রোগ্রামিং ভাষার সাথে, কিছু সমস্যা সমাধানের উপায়টি মডেলকে জানাতে আবশ্যক প্রোগ্রামিংও অন্তর্ভুক্ত করা যেতে পারে। উদাহরণস্বরূপ, "ওয়াইয়ের সমাধান করতে, C1, C2 এবং C3 যুক্ত করুন।"
লজিক প্রোগ্রামিং এর বৈশিষ্ট্য
লজিক প্রোগ্রামিং অন্যান্য বিদ্যমান প্রোগ্রামিং কৌশলগুলির চেয়ে যথেষ্ট আলাদা। প্রোগ্রামটির সাথে কম্পিউটারকে নির্দেশ দেওয়ার পরিবর্তে বস্তুর মধ্যে সম্পর্ক স্থাপন করা হয়। এইভাবে কম্পিউটার এই সম্পর্কের কারণ হতে পারে এবং এইভাবে যৌক্তিক সমাধানগুলিতে পৌঁছতে পারে।
একটি লজিক প্রোগ্রামের মধ্যে কোডের দুটি প্রধান সেট থাকে: তথ্য এবং নিয়ম। পরিবেশ সম্পর্কে জ্ঞান অর্জনের জন্য বিধিগুলি বাস্তবায়িত হয়।
সত্য এবং যৌক্তিক ছাড়
লজিক প্রোগ্রামগুলি দুটি গুরুত্বপূর্ণ ধারণার মাধ্যমে ব্যাখ্যা করা যায়: সত্য এবং যৌক্তিক ছাড়। প্রোগ্রামের প্রতীক প্রয়োগের আওতায় প্রোগ্রামটিতে গণনাটি সত্য কিনা তা সত্যই বেরিয়ে আসে। লজিকাল ছাড়টি নির্ধারণ করে যে কোনও যৌক্তিক ধারাটি প্রোগ্রামের পরিণতি কিনা।
এই নির্দেশাবলী সর্বদা যৌক্তিক বাক্য এবং ধারা হিসাবে ব্যাখ্যা করা হবে, তাদের মৃত্যুদণ্ডের ফলাফল এটিতে থাকা গণনার একটি যৌক্তিক পরিণতি।
প্রথম অর্ডার যুক্তি
এটি প্রজেকশনাল লজিকের একটি অফশুট। আংশিক বিশ্ব দৃষ্টিকোণ থেকে বস্তুগুলি সত্য বা মিথ্যা কিনা তা বিবেচনা করুন, যা একটি ডোমেন বলে called লজিক প্রোগ্রামিং প্রথম-আদেশ যুক্তির সাধারণীকরণের উপর ভিত্তি করে।
এই যুক্তি সিনট্যাক্স এবং শব্দার্থবিজ্ঞান দ্বারা গঠিত। ধারণাটি প্রকাশের জন্য সিনট্যাক্স হ'ল আনুষ্ঠানিক ভাষা। অন্যদিকে, প্রথম-আদেশের যৌক্তিক সূত্রগুলির শব্দার্থবিজ্ঞানগুলি নির্দেশ করে যে কোনও সূত্রের আসল মান কীভাবে নির্ধারণ করা যায়।
এই যুক্তিটি বর্ণমালা এবং প্রথম অর্ডার ভাষার পাশাপাশি অক্ষরবৃত্তি এবং অনুমানের নিয়মের একটি সেট উপর ভিত্তি করে।
ক্লজাল ফর্ম
এটি প্রথম-আদেশ যুক্তির একটি উপসেট। এটির একটি সাধারণ রূপ রয়েছে যেখানে একটি বিবৃতি একটি সার্বজনীন উপসর্গ বা সার্বজনীন কোয়ানটিফায়ারগুলির শৃঙ্খলা দ্বারা সংজ্ঞায়িত করা হয় এবং ধারাটিতে একটি কোয়ান্টিফায়ারগুলির একটি বিনামূল্যে সেট।
প্রোগ্রামটিতে কোনও প্রশ্নের অনুরোধ করার সময়, যে শিরোনামটির শিরোনাম মিলতে পারে সেই দফার বডিটি বিবেচনা করা হবে। এটি যুক্তি হিসাবে অনুমানের নিয়ম প্রয়োগ করার মতো।
অনুমানের পদক্ষেপ হিসাবে, দুটি ধারা বেছে নেওয়া হয়েছে যা সম্পত্তি হিসাবে রয়েছে যেগুলির একটিতে বিযুক্ত এক্স (ধনাত্মক আক্ষরিক) এবং অন্যটিতে একটি বিচ্ছিন্ন ¬X (negativeণাত্মক আক্ষরিক) রয়েছে। এই ট্রেড অফগুলি পরিপূরক হিসাবে পরিচিত।
এই দুটি প্রাথমিক ধারা থেকে পরিপূরক শব্দের বাদে সমস্ত আক্ষরিক ব্যবহার করে একটি নতুন বিশৃঙ্খলা ধারা তৈরি করা হয়েছে।
কৃত্রিম বুদ্ধিমত্তা
লজিক প্রোগ্রামিং এমন একটি পদ্ধতি যা কম্পিউটারকে ছাড় করতে ব্যবহৃত হয়, কারণ এটি জ্ঞানের প্রতিনিধিত্ব করতে দরকারী। যুক্তি জ্ঞান উপস্থাপন এবং এটি পরিচালনা করতে অনুমিত ব্যবহার করা হয়।
জ্ঞানের প্রতিনিধিত্ব করতে ব্যবহৃত যুক্তিটি ক্লজাল ফর্ম। এটি ব্যবহৃত হয় কারণ প্রথম-আদেশের যুক্তিটি ভালভাবে বোঝা যায় এবং সমস্ত গণনীয় সমস্যার প্রতিনিধিত্ব করতে সক্ষম।
প্রোলোগ একটি প্রোগ্রামিং ভাষা যা লজিক প্রোগ্রামিংয়ের ধারণাগুলির উপর ভিত্তি করে। প্রোলোগের ধারণাটি হ'ল যুক্তিটিকে প্রোগ্রামিং ভাষার মতো দেখানো।
লজিক প্রোগ্রামিং উদাহরণ
উদাহরণ 1
- ঘটনা: রুব একটি বিড়াল।
- বিধি: সমস্ত বিড়ালের দাঁত আছে।
- পরামর্শ: রুবের কি দাঁত আছে?
- উপসংহার: হ্যাঁ।
"সমস্ত বিড়ালের দাঁত আছে" এই নিয়মটি রুবিকে প্রয়োগ করা যেতে পারে, কারণ এমন একটি মতামত রয়েছে যে "রুবি একটি বিড়াল।" এই উদাহরণটি কোনও বাস্তব প্রোগ্রামিং ভাষার জন্য কোনও সিনট্যাক্স সহ লেখা হয় না।
উদাহরণ 2
এই উদাহরণটি প্রোলগে লিখিতভাবে দেখা যায়, কারণ এটি অন্যতম জনপ্রিয় লজিক প্রোগ্রামিং ভাষা:
- মেয়েলি (আলিসা)
- পুংলিঙ্গ (ববি)
- পুংলিঙ্গ (কার্লোস)
- মেয়েলি (ডরিস)
- পুত্র_ফ (ডরিস, কার্লোস)
- ছেলে_ফ (কার্লোস, ববি)
- পুত্র_ফ (ডরিস, আলিসা)।
- পিতা_ফ (এফ, পি): - পুরুষ (চ), ছেলে_ফ (পি, এফ)।
এই প্রোগ্রামটি পড়া মুশকিল হয়ে যায়, কারণ প্রোলোগ অন্যান্য ভাষার চেয়ে উল্লেখযোগ্য আলাদা। যে কোনও কোড উপাদান যা "মেয়েলি (আলিসা)" এর অনুরূপ। এটি একটি সত্য।
একটি নিয়ম "বাবা_ফ (এফ, পি): - পুরুষ (চ), শিশু_ফ (পি, এফ)"। ": -" চিহ্নটি "যদি সত্য হয়" হিসাবে পড়তে পারা যায়। মূল অক্ষরগুলির অর্থ হ'ল ভেরিয়েবলগুলি যে কোনও বস্তুর জন্য প্রয়োগ করা যেতে পারে, তাই এফ কার্লোস, ডরিস, আলিসা বা ববির পক্ষে দাঁড়াতে পারে। এই কোডটি অনুবাদ করা যেতে পারে:
- অ্যালিসা একজন মহিলা।
- ববি একজন মানুষ।
- কার্লোস একজন মানুষ।
- ডরিস একজন মহিলা।
- ডরিস কার্লোসের মেয়ে daughter
- কার্লোস ববির ছেলে।
- ডরিস হলেন আলিসার মেয়ে।
- «এফ পি এর জনক true সত্য যদি এফ মানুষ হয় এবং পি যদি এফ এর পুত্র হয় true
প্রশ্ন
মনে করুন আপনি আরও তথ্যের জন্য প্রোগ্রামটি পরামর্শ করতে চান। কার পিতা ববি সাথে আছেন তা জানতে আপনি জিজ্ঞাসা করতে পারেন:? - বাবা_ফ (ববি, এক্স)। সিস্টেমটি নিম্নলিখিত উত্তরগুলি নির্দেশ করবে: এক্স = কার্লোস।
এই ক্ষেত্রে, এমন একটি সম্পর্ক পাস হচ্ছে যেখানে এর মানগুলির মধ্যে একটি ভেরিয়েবল। প্রোলোগ যা করেছিলেন তা হ'ল এই সম্পর্কের ক্ষেত্রে বিভিন্ন অবজেক্ট প্রয়োগ করা ছিল যতক্ষণ না তাদের একটি যুক্তিযুক্তভাবে দৃ solid় না হয়।
কার্লোসের একমাত্র বাবা ববি, এবং ববি পুরুষ। এটি "বাবা_ফ (এফ, পি): - পুংলিঙ্গ (এফ), পুত্র_ফ (পি, এফ)" বিধিটিকে সন্তুষ্ট করেছে। এক্স যখন "কার্লোস" এর সমান হয় তখন যুক্তিটি সুস্পষ্ট।
অন্যান্য অনুসন্ধান
অন্যান্য আরও সাধারণ প্রশ্নগুলি প্রোলোগে করা যেতে পারে, যার ফলে সিস্টেমটি একাধিক ফলাফল তৈরি করতে পারে:
-? - পিতা বা মাতা (পিতামাতা, শিশু)
- পিতা = ববি
- শিশু = কার্লোস
- পিতা = কার্লোস
- শিশু = ডরিস
যেমনটি দেখা গেছে, লজিক প্রোগ্রামিংয়ের জন্য অ্যালিসা বা ববি তাদের জ্ঞান অর্জনের জন্য লোকের তথ্য থাকার প্রয়োজন হয় না। প্রকৃতপক্ষে, ব্যক্তি হিসাবে পরিচিত একটি ধারণা রয়েছে তা নির্দেশ করার প্রয়োজন নেই।
বেশিরভাগ অ-লজিক্যাল প্রোগ্রামিং ভাষায়, আপনি এই ধারণাগুলি প্রথমে সংজ্ঞায়িত করতে হবে আপনি লোকেদের সম্পর্কে তথ্য প্রক্রিয়াকরণের প্রোগ্রামগুলি লেখার আগে।
তথ্যসূত্র
- গভীর এআই (2020)। লজিক প্রোগ্রামিং। থেকে নেওয়া হয়েছে: deepai.org।
- উইকিওভার্সিটি (2020)। প্রোগ্রামিং ল্যাঙ্গুয়েজস / লজিক প্রোগ্রামিং এর তত্ত্ব। থেকে নেওয়া: en.wikiversity.org।
- ইম্পেরিয়াল কলেজ লন্ডন (2006)। লজিক প্রোগ্রামিং। থেকে নেওয়া: doc.ic.ac.uk.
- জিয়া-হুয়াই আপনি (2020)। লজিক প্রোগ্রামিংয়ের ভূমিকা। আলবার্টা বিশ্ববিদ্যালয়। থেকে নেওয়া: eng.ucy.ac.cy.
- সি 2 উইকি (2020)। লজিক প্রোগ্রামিং। থেকে নেওয়া: wiki.c2.com।