Кіріспе

Ықтималдық аргументация ықтималдық логикаға қатысты әр түрлі формальды құрылымдарды білдіреді. Олардың барлығы сапалық аспектілерді негізгі логикамен, ал белгісіздіктің сандық аспектілерін ықтималдық шараларымен есепке алуға болады деген ойды бөліседі.

Ықтималдық аргументтік таңбалау

"Жалпы ықтималдық белгілері" дегеніміз ықтималдық кеңістіктерін білдіреді, онда үлгі кеңістігі аргументациялық графиктердің белгілерінің жиынтығы болып табылады. Аргументациялық графиктің белгісі графиктің кез келген аргументін графиктегі аргументтің қабылдануын көрсететін белгімен байланыстырады. Мысалы, аргумент "ішінде" (аргумент қабылданды), "сыртта" (аргумент қабылданбады) немесе "және" (аргумент мәртебесі анықталмаған, қабылданбады да, қабылданбады да) белгісімен байланысты болуы мүмкін. Нәтижесінде ықтималдық белгілендіру әдісі кез келген аргументті белгіленуі ықтималдықты бейнелейтін белгіленуі ықтималдықпен байланыстырады.

Ықтималдық аргументациялық жүйелер

"Шәуекелдік аргументациясы" деген атау ықтималдық теориясы мен дедуктивті логиканы біріктіретін, белгісіздік пен надандықты қамтитын белгілі бір ойлау теориясына сілтеме жасау үшін қолданылған. OpenPAS - бұл осындай ықтималдық аргументация жүйесінің ашық бастапқы коды. Ықтималдық аргументациялық жүйелер қара қарақұмық оқиғаларының пайда болуын анықтау үшін қолданылғанда қиындыққа ұшырайды, өйткені, анықтама бойынша, бұл оқиғалар мүмкін емес болып көрінетіндей мүмкін емес. Сондықтан ықтималдық аргументтер ықтималдыққа апелляция ретінде белгілі қате аргументтер болып саналуы керек.