अंग्रेज़ीफ्रेंचस्पेनिश

Ad


ऑनवर्क्स फ़ेविकॉन

Linux के लिए विश्वास पुनरीक्षण डाउनलोड

उबंटू ऑनलाइन, फेडोरा ऑनलाइन या डेबियन ऑनलाइन में ऑनलाइन चलाने के लिए बिलीफ रिवाइज़र लिनक्स ऐप मुफ्त डाउनलोड करें

यह Belief Reviser नाम का Linux ऐप है जिसकी नवीनतम रिलीज़ BeliefReviser.zip के रूप में डाउनलोड की जा सकती है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।

बिलीफ रिवाइजर नाम के इस ऐप को ऑनवर्क्स के साथ मुफ्त में डाउनलोड करें और ऑनलाइन चलाएं।

इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:

- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।

- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।

- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।

- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।

- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।

- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।

स्क्रीनशॉट

Ad


विश्वास पुनरीक्षक


वर्णन

ज्ञान प्रतिनिधित्व और तर्क में विश्वास संशोधन एक केंद्रीय विषय है। इसमें एक नए विश्वास को शामिल करना शामिल है, जैसे कि कुछ को बदलना
एकरूपता बनाए रखते हुए मूल विश्वासों की संभवता।

संशोधन हमेशा नए साक्ष्य को बेहतर विश्वास मानता है। इस तरह के नए सबूत आम तौर पर होते हैं
एक प्रस्तावक सूत्र के रूप में प्रतिनिधित्व किया जाता है जिसे बाद में संरक्षित किया जाना चाहिए
संशोधन।

यहां, बाधाओं पर विचार करने के लिए Δps (PS-मर्ज) विश्वास विलय ऑपरेटर का विस्तार किया गया है, और इस विस्तार का उपयोग विश्वास संशोधन के लिए एक रणनीति के रूप में किया जाता है। नए साक्ष्य को एक बाधा के रूप में माना जाता है ताकि विस्तारित विलय ऑपरेटर संशोधित विश्वास आधार प्राप्त कर सके।



विशेषताएं

  • नए सबूत के खिलाफ एक विश्वास आधार K का संशोधन μ
  • सूत्रों का डीएनएफ में स्वचालित रूपांतरण
  • सरल और उपयोगकर्ता के अनुकूल
  • स्वतंत्र मंच


दर्शक

विज्ञान/अनुसंधान, शिक्षा


यूजर इंटरफेस

जावा स्विंग


प्रोग्रामिंग भाषा

जावा


श्रेणियाँ

कृत्रिम बुद्धिमत्ता, गणित, मतदान

यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/beliefreviser/ से भी प्राप्त किया जा सकता है। इसे ऑनवर्क्स में होस्ट किया गया है ताकि इसे हमारे एक फ्री ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाया जा सके।


फ्री सर्वर और वर्कस्टेशन

विंडोज और लाइनेक्स एप डाउनलोड करें

लिनक्स कमांड

  • 1
    abidiff
    abidiff
    एबिडिफ - ईएलएफ फाइलों के एबीआई की तुलना करें
    एबिडीफ एप्लिकेशन बाइनरी की तुलना करता है
    दो साझा पुस्तकालयों के इंटरफेस (एबीआई)।
    ईएलएफ प्रारूप में। यह एक अर्थपूर्ण उत्सर्जन करता है
    रिपोर्ट...
    एबिडीफ चलाएं
  • 2
    आबिदव
    आबिदव
    abidw - ELF के ABI को क्रमबद्ध करें
    फ़ाइल abidw ईएलएफ में एक साझा पुस्तकालय पढ़ता है
    प्रारूप और एक एक्सएमएल प्रतिनिधित्व का उत्सर्जन करता है
    इसके ABI से मानक आउटपुट तक।
    उत्सर्जित ...
    अबीद चलाओ
  • 3
    copac2xml
    copac2xml
    बिबुटिल्स - ग्रंथ सूची रूपांतरण
    उपयोगिताओं ...
    Copac2xml चलाएँ
  • 4
    कॉप्ट
    कॉप्ट
    कॉप्ट - पीपहोल अनुकूलक SYSNOPIS:
    कॉप्ट फ़ाइल.. विवरण: कॉप्ट एक है
    सामान्य प्रयोजन पीपहोल अनुकूलक। यह
    अपने मानक इनपुट से कोड पढ़ता है और
    एक लिखता है...
    कॉप चलाओ
  • 5
    इकट्ठा_stx_शीर्षक
    इकट्ठा_stx_शीर्षक
    इकट्ठा_stx_शीर्षक - शीर्षक इकट्ठा करें
    Stx दस्तावेज़ों से घोषणाएँ ...
    इकट्ठा_stx_titles चलाएँ
  • 6
    गैटलिंग-बेंच
    गैटलिंग-बेंच
    बेंच - http बेंचमार्क ...
    गैटलिंग-बेंच चलाएं
  • अधिक "

Ad