Ықтималдықпен дәлелдеу - Probabilistic argumentation

Ықтималдықпен дәлелдеу қатысты әр түрлі ресми шеңберлерге қатысты ықтималдық логикасы. Барлығы сапалық аспектілерді астарлы логикамен алуға болады, ал белгісіздіктің сандық аспектілерін ықтималдық шараларымен есепке алуға болады деген ойды қолдайды.

Ықтимал дәлелдеу белгілері

«Ықтимал таңбалау» шеңбері ықтималдық кеңістігін білдіреді, мұнда үлгі кеңістігі таңбалау жиынтығы болып табылады аргументтік графиктер (Риверет және басқалар. 2018 жыл ). Аргументтік графиктің таңбалауы графиктің кез-келген аргументін графикадағы аргументтің қабылдануын көрсету үшін белгісімен байланыстырады. Мысалы, аргументті «in» (аргумент қабылданды), «out» (аргумент қабылданбайды) немесе «und» (аргументтің мәртебесі шешілмеген - қабылданбайды және қабылданбайды) белгісімен байланыстыруға болады. Демек, ықтимал таңбалау тәсілдері кез келген аргументті дәл осылай белгілену ықтималдығын көрсететін белгінің ықтималдығымен байланыстырады.

Ықтималдық жүйелері

«Ықтимал дәлелдеу» атауы белгісіздік пен надандықты біріктіретін белгілі бір ойлау теориясына сілтеме жасау үшін қолданылған ықтималдықтар теориясы және дедуктивті логика (Haenni, Kohlas & Lehmann 2000 ). OpenPAS сияқты ықтималдықты дәлелдеу жүйесінің бастапқы көзі болып табылады.

Ықтималдық дәлелдеу жүйелері пайда болуын анықтау үшін қолданылған кезде проблемаға тап болады Қара аққу өйткені оқиғалар, мүмкін, мүмкін емес болып көрінетіндей, мүмкін емес. Осылайша, ықтималдық дәлелдері ретінде белгілі жалған дәлелдер ретінде қарастырылуы керек ықтималдыққа шағымданады.

Әдебиеттер тізімі

  • Риверет, Р .; Барони, П .; Гао, Ю .; Губернаторы, Г .; Ротоло, А .; Sartor, G. (2018), «Ықтималдықпен аргументтеу үшін таңбалау негіздері», Математика және жасанды интеллект жылнамалары, 83: 221–287, arXiv:1708.00109, дои:10.1007 / s10472-018-9574-1
  • Хаенни, Р .; Колас Дж .; Леман, Н. (2000), «Ықтимал дәлелдеу жүйелері» (PDF), Дж.Коллас пен С.Морал (ред.), Анықтамалық және сенімсіздікті басқару жүйелері туралы анықтама, Дордрехт: 5-том: Алгоритмдер және белгісіздік, Клювер, 221–287 б., Мұрағатталған түпнұсқа (PDF) 2005-01-25