About: Probabilistic logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Probabilistic logic Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatProbabilisticArguments, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FProbabilistic_logic

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.

Attributes	Values
rdf:type	yago:Abstraction100002137 yago:Argument106648724 yago:Communication100033020 yago:Evidence106643408 yago:Indication106797169 yago:WikicatProbabilisticArguments
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)
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)
dcterms:subject	Formal epistemology Probabilistic arguments Non-classical logic
Wikipage page ID	5017608 (xsd:integer)
Wikipage revision ID	1106178401 (xsd:integer)
Link from a Wikipage to another Wikipage	Case-based reasoning Bayesian inference Bayesian probability Formal epistemology Predicate logic Probabilistic soft logic Probability space Rolando Chuaqui Rudolf Carnap Scholasticism Scholastics Moral certainty Probabilism Bayes' theorem Ben Goertzel Argumentation framework Σ-algebra Probabilistic arguments Dutch book Probabilistic database Probabilistic Logic Network Probabilities Logic Logical conjunction Dempster–Shafer theory Fréchet inequalities Half-proof Propositional logic Age of Enlightenment Truth table Truth value Fuzzy logic Logic programming Non-classical logic Non-Axiomatic Reasoning System Non-monotonic logic Bayesian networks Entailment Logical consequence Logical disjunction Possibility theory Posterior probability Probability Probability theory Atomic formula Cox's theorem Modus ponens Maximum entropy principle Casuistry Catholic probabilism Markov chain Markov logic network Modus tollens Statistical relational learning Laxism Imprecise probability Henry E. Kyburg, Jr. Propositional variable Evidential reasoning approach Upper and lower probabilities Probabilistic argumentation Subjective logic Uncertain inference Nils Nilsson (researcher) Logical system Finite state machine Probabilistic proof Deductive logic Computational complexities dbr:Pei_Wang
Link from a Wikipage to an external page	http://www.sipta.org/

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software