Probabilistic logic (original) (raw)
En théorie des probabilités et en logique mathématique, une logique probabiliste est un système formel qui permet de faire du raisonnement déductif avec des probabilités. Le terme est utilisé pour la première fois dans un article de Nils John Nilsson de 1986 où l'auteur présente une variable de la logique propositionnelle où les valeurs de vérités sont remplacées par des probabilités.
| Property | Value |
|---|---|
| dbo:abstract | Probableca logiko estas maniero rezonadi kiu celas kombini la kapablon plibonigi la necertecon kiun havas la teorio de probableco kun la kapablo ekspluati la strukturon de la formala argumentado kiun havas la dedukta logiko. La rezulto estas formalismo pli riĉa kaj pli esprimpova kun ampleksa gamo de eblaj areoj de aplikado. La probableca logiko estas natura etendo de la vertabeloj de la tradicia logiko, sed diference, la rezultoj kiujn ĝi difinas estas derivataj de esprimoj de probableco. Unu de la problemoj kun la probablecaj logikoj estas ke ili tendencas multobligi la komputan kompleksecon de siaj probablecaj kaj logikaj komponantoj. Alia problemo estas la eblo de rezultoj kontraŭintuiciaj, kiel tiuj kiuj aperas en la subjektiva logiko bazita sur pruvaro kiu faras uzon de la teorio Dempster-Shafer. La neceso barakti kontraŭ ampleksa vario de kuntekstoj kaj problemoj rezultis en multaj diversaj proponoj. (eo) La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre que tiene la teoría de probabilidad con la capacidad de explotar la estructura de la argumentación formal que tiene la lógica deductiva. El resultado es un formalismo más rico y más expresivo como el por no con una amplia gama de posibles áreas de aplicación. La lógica probabilística es una extensión natural de las tablas de verdad de la lógica tradicional, pero a diferencia de esta, los resultados que define se derivan de expresiones de probabilidad. Uno de los problemas con las lógicas probabilistas es que tienden a multiplicar la complejidad computacional de sus componentes probabilísticos y lógicos. Otro problema es la posibilidad de resultados contraintuitivos, como los que aparece en la lógica subjetiva basada en evidencia que hace uso de la teoría Dempster-Shafer. La necesidad de lidiar con una amplia variedad de contextos y problemas ha llevado a muchas propuestas diferentes. (es) En théorie des probabilités et en logique mathématique, une logique probabiliste est un système formel qui permet de faire du raisonnement déductif avec des probabilités. Le terme est utilisé pour la première fois dans un article de Nils John Nilsson de 1986 où l'auteur présente une variable de la logique propositionnelle où les valeurs de vérités sont remplacées par des probabilités. (fr) Probabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals. (en) 確率論理（かくりつろんり、Probabilistic logic）は、確率論と演繹論理を組み合わせて不確実性を取り扱う学問。確率論理では、これまでの真理値表は確率表現により拡張される。 (ja) Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения. Проблематика вероятностной логики начала развиваться в древности, например, Аристотелем и в новое время — Г. В. Лейбницем, Дж. Булем, У. С. Джевонсом, Дж. Венном, в дальнейшем Х. Райхенбахом, Р. Карнапом, Ч. С. Пирсом, Дж. М. Кейнсом и другими, в России — П. С. Порецким, С. Н. Бернштейном и другими. Древнегреческий философ, глава третьей платоновской академии Карнеад в своих лекциях ученикам о трёх ступенях вероятности:1) просто вероятное, 2) вероятное и непротиворечивое, 3) вероятное, непротиворечивое и проверенное. Лейбниц одним из серьёзных недостатков старой логики считал отсутствие в ней исследования степени вероятности. Сам он определял вероятность, как меру нашего знания о тех или иных объектах. Всё, что находится между истиной и ложью называется в вероятностной логике гипотезой. Относительно каждого неисследованного объекта можно выдвинуть несколько гипотез. Из практики видно, что гипотезы могут отличаться одна от другой степенью вероятности, то есть степенью приближения к достоверности.Поэтому первый вопрос, который здесь возникает, это — вопрос о том, каково же различие между достоверным, то есть твёрдо установленным знанием и вероятным знанием. Достоверное знание не имеет степеней: оно либо истинно, либо ложно. Так, знание о том, что «первым космонавтом стал советский гражданин» и что «американская станция опустилась на Луну через несколько дней после советской станции», в одинаковой степени достоверны. Вероятное же знание, как это заметил Карнеад, различается степенью приближения к достоверности: от полной невероятности до полной достоверности. Второй вопрос: какие формы мышления дают достоверное знание и какие — вероятное? Из традиционной логики известно, что дедуктивные выводы вполне достоверны, если, конечно, истинны все входящие в них посылки и если в процессе умозаключения не нарушены законы логики. Близкими к достоверности могут быть выводы и ряда выводов неполной индукции, в частности, вывод научной индукции. Но если обобщение всё же не идёт далее неполной индукции, достоверность его может быть опровергнута первым же примером, который противоречит данному обобщению. Окончательная достоверность всегда достигается единством индукции и дедукции.Вероятностная логика, исследуя процесс вывода общих положений из единичных данных наблюдения и эксперимента, использует правила индуктивной логики, в частности, методы исследования причинных связей, поэтому в литературе по логике её называют современной формой индуктивной логики. Как же устанавливается точное числовое определение вероятности одних высказываний относительно других? Однозначного ответа на этот вопрос нет. В вероятностной логике по этому вопросу идут ещё дискуссии. Но ясно одно, что степень вероятности гипотезы зависит от состояния накопленных знаний. В литературе по проблемам вероятностной логике вероятность поэтому рассматривается как функция от двух аргументов — самой гипотезы и имеющегося знания, причём отношение гипотезы к действительности не непосредственно, а через другие высказывания, выражающие наши знания. При этом вероятность может выступать в двух видах: * вероятность может быть мерой субъективной уверенности. Например, в наступлении того или иного события («вероятно завтра будет пасмурно»), основанной на знании субъектом некоторых примет (по цвету облаков при заходе солнца, по влажности воздуха и т. п.). В таких случаях дать какую-то количественную оценку степени вероятности очень трудно. * математическая вероятность, которая является «объективной характеристикой степени возможности появления определённого события в каких-то заранее заданных условиях, которые могут повторяться неограниченное число раз». Здесь вступают в силу статистические закономерности, когда состояние той или системы определяется не однозначно, а лишь с определённой вероятностью. Иногда вероятность подсчитывается по следующему правилу: «при общем числе равноправных исходов опыта, равном n, вероятность некоторого события A, определяемого исходом опыта, равна отношению m/n, где m — число исходов, благоприятствующих этому событию». Так например, вероятность того, что при бросании шестигранного кубика с цифрами 1-6 выпадет сторона с цифрой 1, равна 1/6. Исследованием математической вероятности занимается теория вероятностей. Предметом вероятностной логики является оценка истинности гипотез, изучение закономерностей вывода общих положений из единичных данных наблюдения и эксперимента. Во всех системах вероятностной логики вычисление вероятностей сложных гипотез осуществляется с помощью математического исчисления вероятностей. В настоящее время вероятностная логика находит наибольшее применение в качестве современной формы индуктивной логики. Новым стимулом к возникновению систем вероятностной логики послужил прогресс в развитии приложений к искусственному интеллекту. (ru) O objetivo da lógica probabilística (também visto como probabilidade lógica e raciocínio lógico) é combinar a capacidade da teoria da probabilidade para lidar com incerteza com a capacidade da Método dedutivo para explorar a estrutura.O resultado é um formalismo mais rico e mais expressivo com uma ampla gama de possíveis áreas de aplicação. Lógica probabilística tenta encontrar uma extensão natural de tabelas verdade da lógica tradicional: os resultados que definem são derivados através expressões probabilísticas. A dificuldade com a lógica probabilística é que tendem a multiplicar a complexidade computacional de seus componentes lógicos e probabilísticos. Outras dificuldades incluem a possibilidade de resultados contra-intuitivos, tais como os da Teoria de Dempster-Shafer. A necessidade de lidar com uma ampla variedade de contextos e questões tem levado a várias propostas diferentes. (pt) 概率逻辑（或或然性逻辑）的目标是组合概率论的处理不确定性的能力和演绎逻辑开发结构的能力。结果是更加丰富和更有表达力的形式化，并有广阔的可能应用领域。概率逻辑的困难是增加了它们的概率论和逻辑构件的计算复杂性。 (zh) Метою імовірнісної логіки є поєднання здатності теорії ймовірностей обробляти невизначеність зі здатністю дедуктивної логіки розробляти структури. Результатом є більш багатий та виразний формалізм з широкою сферою можливого використання. Імовірнісна логіка намагається знайти природне розширення традиційної логічної таблиці істинності: визначені в них результати тепер отримуються за допомогою вірогіднісних виражень. Труднощі імовірнісних логік виражаються у тенденції поєднання обчислювальних складнощів їх імовірнісних та логічних складових. Інші труднощі включають можливість отримання нелогічних результатів, таких, які зустрічаються у . Необхідність мати справу з широким розмаїттям можливих ситуацій і проблем призвело до появи різноманітних напрямків імовірнісної логіки. (uk) |
| dbo:wikiPageExternalLink | http://www.sipta.org/ https://books.google.com/books%3Fhl=en&lr=&id=CicvkPZhohEC&oi=fnd&pg=PR11&dq=%22Uncertain+Inference%22+Teng&ots=JjnRNjQ4i6&sig=JBV9_yWGmiAlrl2EXylLEJ9GRrk https://books.google.com/books%3Fhl=en&lr=&id=D5aCKWMtrtQC&oi=fnd&pg=PP1&dq=%22Truth,+Possibility+and+Probability:+New+Logical+Foundations+of+Probability+and+Statistical+Inference%22&ots=dzloxitdW3&sig=ekP_NPlUTdnFJLF4yOpM6qgPdSs%23v=onepage&q=%22Truth%2C%20Possibility%20and%20Probability%3A%20New%20Logical%20Foundations%20of%20Probability%20and%20Statistical%20Inference%22&f=false https://books.google.com/books%3Fhl=en&lr=&id=c-bthgk3DQAC&oi=fnd&pg=PP1&dq=%22Handbook+of+the+Logic+of+Argument+and+Inference:+The+turn+towards+the+practical%22&ots=yrjiTlKa-O&sig=9ToPqYX6B2Fzn-GhYVJm33IUeB8%23v=onepage&q=%22Handbook%20of%20the%20Logic%20of%20Argument%20and%20Inference%3A%20The%20turn%20towards%20the%20practical%22&f=false https://books.google.com/books%3Fhl=en&lr=&id=uFVtCQAAQBAJ&oi=fnd&pg=PP8&dq=%22The+Logical+Foundations+of+Statistical+Inference%22+kyburg&ots=a0m49xG5Vt&sig=cgDXfw19FujcuIq-bz_OOYLxicc https://folk.universitetetioslo.no/josang/sl/ http://bayes.wustl.edu/etj/prob/book.pdf http://www.philos.rug.nl/~romeyn/paper/2005_romeijn_-_thesis.pdf https://web.archive.org/web/20070930031527/http:/www.kent.ac.uk/secl/philosophy/jw/2006/progicnet.htm https://dl.acm.org/citation.cfm%3Fid=914650 https://philpapers.org/rec/ADAAPO-2 https://philpapers.org/rec/KYBPAI |
| dbo:wikiPageID | 5017608 (xsd:integer) |
| dbo:wikiPageLength | 15304 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1106178401 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Case-based_reasoning dbr:Bayesian_inference dbr:Bayesian_probability dbc:Formal_epistemology dbr:Predicate_logic dbr:Probabilistic_soft_logic dbr:Probability_space dbr:Rolando_Chuaqui dbr:Rudolf_Carnap dbr:Scholasticism dbr:Scholastics dbr:Moral_certainty dbr:Probabilism dbr:Bayes'_theorem dbr:Ben_Goertzel dbr:Argumentation_framework dbr:Σ-algebra dbc:Probabilistic_arguments dbr:Dutch_book dbr:Probabilistic_database dbr:Probabilistic_Logic_Network dbr:Probabilities dbr:Logic dbr:Logical_conjunction dbr:Dempster–Shafer_theory dbr:Fréchet_inequalities dbr:Half-proof dbr:Propositional_logic dbr:Age_of_Enlightenment dbr:Truth_table dbr:Truth_value dbr:Fuzzy_logic dbr:Logic_programming dbc:Non-classical_logic dbr:Non-Axiomatic_Reasoning_System dbr:Non-monotonic_logic dbr:Bayesian_networks dbr:Entailment dbr:Logical_consequence dbr:Logical_disjunction dbr:Possibility_theory dbr:Posterior_probability dbr:Probability dbr:Probability_theory dbr:Atomic_formula dbr:Cox's_theorem dbr:Modus_ponens dbr:Maximum_entropy_principle dbr:Casuistry dbr:Catholic_probabilism dbr:Markov_chain dbr:Markov_logic_network dbr:Modus_tollens dbr:Statistical_relational_learning dbr:Laxism dbr:Imprecise_probability dbr:Henry_E._Kyburg,_Jr. dbr:Propositional_variable dbr:Evidential_reasoning_approach dbr:Upper_and_lower_probabilities dbr:Probabilistic_argumentation dbr:Subjective_logic dbr:Uncertain_inference dbr:Nils_Nilsson_(researcher) dbr:Logical_system dbr:Finite_state_machine dbr:Probabilistic_proof dbr:Deductive_logic dbr:Computational_complexities dbr:Pei_Wang |
| dbp:wikiPageUsesTemplate | dbt:Div_col dbt:Div_col_end dbt:Reflist |
| dcterms:subject | dbc:Formal_epistemology dbc:Probabilistic_arguments dbc:Non-classical_logic |
| rdf:type | yago:Abstraction100002137 yago:Argument106648724 yago:Communication100033020 yago:Evidence106643408 yago:Indication106797169 yago:WikicatProbabilisticArguments |
| rdfs:comment | En théorie des probabilités et en logique mathématique, une logique probabiliste est un système formel qui permet de faire du raisonnement déductif avec des probabilités. Le terme est utilisé pour la première fois dans un article de Nils John Nilsson de 1986 où l'auteur présente une variable de la logique propositionnelle où les valeurs de vérités sont remplacées par des probabilités. (fr) Probabilistic logic (also probability logic and probabilistic reasoning) involves the use of probability and logic to deal with uncertain situations. Probabilistic logic extends traditional logic truth tables with probabilistic expressions. A difficulty of probabilistic logics is their tendency to multiply the computational complexities of their probabilistic and logical components. Other difficulties include the possibility of counter-intuitive results, such as in case of belief fusion in Dempster–Shafer theory. Source trust and epistemic uncertainty about the probabilities they provide, such as defined in subjective logic, are additional elements to consider. The need to deal with a broad variety of contexts and issues has led to many different proposals. (en) 確率論理（かくりつろんり、Probabilistic logic）は、確率論と演繹論理を組み合わせて不確実性を取り扱う学問。確率論理では、これまでの真理値表は確率表現により拡張される。 (ja) 概率逻辑（或或然性逻辑）的目标是组合概率论的处理不确定性的能力和演绎逻辑开发结构的能力。结果是更加丰富和更有表达力的形式化，并有广阔的可能应用领域。概率逻辑的困难是增加了它们的概率论和逻辑构件的计算复杂性。 (zh) Метою імовірнісної логіки є поєднання здатності теорії ймовірностей обробляти невизначеність зі здатністю дедуктивної логіки розробляти структури. Результатом є більш багатий та виразний формалізм з широкою сферою можливого використання. Імовірнісна логіка намагається знайти природне розширення традиційної логічної таблиці істинності: визначені в них результати тепер отримуються за допомогою вірогіднісних виражень. Труднощі імовірнісних логік виражаються у тенденції поєднання обчислювальних складнощів їх імовірнісних та логічних складових. Інші труднощі включають можливість отримання нелогічних результатів, таких, які зустрічаються у . Необхідність мати справу з широким розмаїттям можливих ситуацій і проблем призвело до появи різноманітних напрямків імовірнісної логіки. (uk) Probableca logiko estas maniero rezonadi kiu celas kombini la kapablon plibonigi la necertecon kiun havas la teorio de probableco kun la kapablo ekspluati la strukturon de la formala argumentado kiun havas la dedukta logiko. La rezulto estas formalismo pli riĉa kaj pli esprimpova kun ampleksa gamo de eblaj areoj de aplikado. La probableca logiko estas natura etendo de la vertabeloj de la tradicia logiko, sed diference, la rezultoj kiujn ĝi difinas estas derivataj de esprimoj de probableco. Unu de la problemoj kun la probablecaj logikoj estas ke ili tendencas multobligi la komputan kompleksecon de siaj probablecaj kaj logikaj komponantoj. Alia problemo estas la eblo de rezultoj kontraŭintuiciaj, kiel tiuj kiuj aperas en la subjektiva logiko bazita sur pruvaro kiu faras uzon de la teorio Dem (eo) La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre que tiene la teoría de probabilidad con la capacidad de explotar la estructura de la argumentación formal que tiene la lógica deductiva. El resultado es un formalismo más rico y más expresivo como el por no con una amplia gama de posibles áreas de aplicación. La lógica probabilística es una extensión natural de las tablas de verdad de la lógica tradicional, pero a diferencia de esta, los resultados que define se derivan de expresiones de probabilidad. Uno de los problemas con las lógicas probabilistas es que tienden a multiplicar la complejidad computacional de sus componentes probabilísticos y lógicos. Otro problema es la posibilidad de re (es) O objetivo da lógica probabilística (também visto como probabilidade lógica e raciocínio lógico) é combinar a capacidade da teoria da probabilidade para lidar com incerteza com a capacidade da Método dedutivo para explorar a estrutura.O resultado é um formalismo mais rico e mais expressivo com uma ampla gama de possíveis áreas de aplicação. (pt) Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения. При этом вероятность может выступать в двух видах: (ru) |
| rdfs:label | Probableca logiko (eo) Lógica probabilística (es) Logique probabiliste (fr) 確率論理 (ja) Probabilistic logic (en) Lógica probabilística (pt) Вероятностная логика (ru) Імовірнісна логіка (uk) 概率逻辑 (zh) |
| owl:sameAs | freebase:Probabilistic logic yago-res:Probabilistic logic wikidata:Probabilistic logic dbpedia-eo:Probabilistic logic dbpedia-es:Probabilistic logic dbpedia-fa:Probabilistic logic dbpedia-fr:Probabilistic logic http://hy.dbpedia.org/resource/Հավանականային_տրամաբանություն dbpedia-ja:Probabilistic logic dbpedia-pt:Probabilistic logic dbpedia-ru:Probabilistic logic dbpedia-sk:Probabilistic logic dbpedia-uk:Probabilistic logic dbpedia-zh:Probabilistic logic https://global.dbpedia.org/id/2ShjG |
| prov:wasDerivedFrom | wikipedia-en:Probabilistic_logic?oldid=1106178401&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Probabilistic_logic |
| is dbo:genre of | dbr:ProbLog |
| is dbo:wikiPageRedirects of | dbr:Probabilistic_reasoning dbr:Probabilistic_Logic dbr:Non-Axiomatic_Reasoning_System dbr:Probability_logic |
| is dbo:wikiPageWikiLink of | dbr:Bayesian_programming dbr:ProbLog dbr:Probabilistic_logic_network dbr:Probabilistic_reasoning dbr:List_of_artificial_intelligence_projects dbr:Boolean_data_type dbr:Vadalog dbr:Defeasible_reasoning dbr:Index_of_logic_articles dbr:Fril dbr:Glossary_of_computer_science dbr:Probabilistic_Logic dbr:Stuart_J._Russell dbr:Dempster–Shafer_theory dbr:Fréchet_inequalities dbr:PSAT dbr:Probability_bounds_analysis dbr:Many-valued_logic dbr:The_Missing_Shade_of_Blue dbr:GOFAI dbr:Abductive_reasoning dbr:Non-Axiomatic_Reasoning_System dbr:Graphoid dbr:Knowledge_crystal dbr:Logical_consequence dbr:Possibility_theory dbr:Probability_theory dbr:Rete_algorithm dbr:Hypothetical_syllogism dbr:A_Treatise_on_Probability dbr:Kazem_Sadegh-Zadeh dbr:Symbolic_artificial_intelligence dbr:Boolean_algebra dbr:Boolean_domain dbr:Evidential_reasoning dbr:Catalog_of_articles_in_probability_theory dbr:Unit_interval dbr:Markov_logic_network dbr:Satisfiability_modulo_theories dbr:Semantic_Web dbr:Upper_and_lower_probabilities dbr:Vector_logic dbr:Statistical_language_acquisition dbr:Probabilistic_argumentation dbr:Subjective_logic dbr:Uncertain_inference dbr:Probability_logic |
| is dbp:genre of | dbr:ProbLog |
| is foaf:primaryTopic of | wikipedia-en:Probabilistic_logic |