Belief revision (original) (raw)
En logique mathématique, en philosophie, en intelligence artificielle, en théorie des bases de données, la révision des croyances est le processus de changement des croyances en prenant en compte une nouvelle information.
| Property | Value |
|---|---|
| dbo:abstract | Η αναθεώρηση πεποιθήσεων (αγγλικά: belief revision) είναι κλάδος της επιστημονικής και φιλοσοφικής μελέτης της λογικής. Η τυπική λογική παρουσιάζει κάποια χαρακτηριστικά τα οποία δεν συμπίπτουν πάντα με την ανθρώπινη διαισθητική "λογική". Για παράδειγμα, ο (abductive reasoning) είναι μεταξύ των διαισθητικά λογικών ή εύλογων συλλογισμών που δεν ταυτίζονται με την τυπική λογική. Στην τυπική λογική το μήκος της αλυσίδας των συλλογισμών δεν μειώνει τον βαθμό που το συμπέρασμα είναι αληθές. Το συμπέρασμα είναι 100% αληθές όσο επίπονη και μακρά κι αν ήταν η αλυσίδα έγκυρων συλλογισμών που χρειάστηκε για να αποδειχθεί. Από την άλλη, οι υποθετικοί-παραγωγικοί συλλογισμοί μπορεί να παρουσιάζουν το χαρακτηριστικό ότι όσο μακραίνει η αλυσίδα της απόδειξης μειώνεται η βεβαιότητα (η πιθανότητα) ότι το συμπέρασμα είναι αληθές. Εξετάζοντας τα θέματα αυτά, η θεωρία αναθεώρησης πεποιθήσεων κατά βάση εξετάζει τους διαφορετικούς δυνατούς τρόπους με τους οποίους ένα "ορθολογικό υποκείμενο" μπορεί να αντιμετωπίζει καταστάσεις όπως αυτή κατά την οποία μπορεί να ισχύει ότι "Α είναι αληθές" (ή να ισχύει με μια πιθανότητα, π.χ. πάνω από 50%), μπορεί να ισχύει ότι "Β είναι αληθές" (ή να ισχύει με μια πιθανότητα, π.χ. πάνω από 50%), ισχύει ότι "εάν το Α και Β είναι αληθή τότε Γ είναι αληθές" και γίνεται εισαγωγή της νέας πληροφορίας ότι "Γ είναι ψευδές". (el) Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents. What makes belief revision non-trivial is that several different ways for performing this operation may be possible. For example, if the current knowledge includes the three facts " is true", " is true" and "if and are true then is true", the introduction of the new information " is false" can be done preserving consistency only by removing at least one of the three facts. In this case, there are at least three different ways for performing revision. In general, there may be several different ways for changing knowledge. (en) En logique mathématique, en philosophie, en intelligence artificielle, en théorie des bases de données, la révision des croyances est le processus de changement des croyances en prenant en compte une nouvelle information. (fr) Revisión de creencias es el proceso de cambiar un estado de creencias (o estado epistémico) para representar nueva información. Se busca la formalización lógica de revisión de creencias en filosofía, base de datos e inteligencia artificial con el propósito de desarrollar agentes racionales. Lo que hace la revisión de creencias no trivial es la existencia de varias maneras diferentes para modificar un estado de creencias frente a nueva información. Por ejemplo, considere un estado de creencias en que las siguientes afirmaciones son verdaderas (o creídas): "Juan es un sacerdote" y "Los sacerdotes no son casados". Si el agente que sostiene estas creencias recibe la información "Juan se casó", su estado de creencias se vuelve inconsistente, y para resolverlo se debe eliminar una de las declaraciones. Si es así, entonces hay al menos tres formas de realizar la revisión. En general, varias formas posibles de cambiar una base de conocimientos. (es) Revisão de crenças é o processo de alterar um estado de crenças (ou estado epistêmico) para acomodar novas informações. A formalização lógica de revisão de crenças é pesquisada em filosofia, banco de dados e inteligência artificial, com o intuito de desenvolver agentes racionais. O que torna revisão de crenças não trivial é a existência de diversas formas diferentes de se modificar um estado de crenças face a novas informações. Por exemplo, considere um estado de crenças onde as seguintes afirmações são verdadeiras (ou acreditadas): "João é um padre" e "Padres não são casados". Se o agente que detêm essas crenças recebe a informação "João é casado", seu estado de crenças se torna inconsistente, e para resolvê-lo ele deve eliminar uma das afirmações. Nesse caso, então, existem pelo menos três formas de realizar a revisão. Em geral, diversas maneiras de alterar uma base de conhecimentos são possíveis. (pt) 信念修正是变更信念来采纳新的信息片段的过程。在哲学、数据库和人工智能对的设计中都研究信念修正的逻辑形式化。 使信念修正不平凡的东西是进行这种操作的多种不同方式都是可行的。例如，如果当前的知识包括三个事实“为真”，“为真”和“如果与为真，则为真”，新信息“为假”的介入只能通过去除掉这三个事实中至少一个来保持一致性。这种情况下，有至少三种方式来进行这个修正。一般的说，可以多种方式变更知识。 通常区分两类变更： 更新：新的信息有关于现在的状况，而旧的信念提及的是过去；更新是改变旧信念来接受变更的操作。修正：旧信念和新信息都提及同一个状况；在新旧信息之间存在的矛盾被解释为旧信息不如新信息可靠；修正是插入新信息到旧信念的集合中而不生成矛盾的过程。 信念修正的主要假定是最小化变更：变更前后的知识应当尽可能类似。在更新的情况下，这个原理被形式化为惯性假定。在修正的情况下，这个原理强制变更尽可能多的保留信息。 (zh) |
| dbo:wikiPageExternalLink | http://www.masfoundations.org/download.html http://www.masfoundations.org http://pigozzi.org/Pigozzi_Judgment_Aggregation.pdf http://www.aaai.org/Press/Proceedings/kr14.php. https://arxiv.org/abs/cs.AI/0003059 https://arxiv.org/abs/cs.AI/0204032 http://plato.stanford.edu/entries/reasoning-defeasible/%234.3 |
| dbo:wikiPageID | 1187311 (xsd:integer) |
| dbo:wikiPageLength | 53879 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1113661506 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Bayesian_inference dbr:Belief_propagation dbc:Formal_epistemology dbr:Propositional_formula dbc:Logic dbr:Judea_Pearl dbr:David_Makinson dbr:Deductive_closure dbr:Defeasible_reasoning dbr:Inquiry dbr:Intelligent_agent dbr:Peter_Gärdenfors dbc:Belief dbr:Connected_relation dbr:Coherentism dbr:Epistemic_closure dbr:Frank_P._Ramsey dbr:Model_checking dbr:Multiset dbr:Stanford_Encyclopedia_of_Philosophy dbr:Computational_complexity_theory dbr:Truth_maintenance_system dbr:Transitive_relation dbr:Alberto_O._Mendelzon dbr:Cyc dbr:Databases dbr:Foundationalism dbr:Non-monotonic_logic dbr:Discursive_dilemma dbr:Ken_Forbus dbr:Logical_consequence dbr:Social_choice_theory dbr:Logical_equivalence dbr:Knowledge_representation dbr:Marianne_Winslett dbr:Hamming_distance dbr:Counterfactual_conditional dbr:Mary-Anne_Williams dbr:Artificial_intelligence dbc:Knowledge_representation dbc:Belief_revision dbc:Logic_programming dbr:Reason_maintenance dbr:Philosophy dbr:Polynomial_hierarchy dbr:Neurath's_boat dbr:Reasoning dbr:Reflexive_relation dbr:SAT_solver dbr:Formal_logic dbr:Propositional_variable dbr:Philosophy_of_science dbr:Inconsistent dbr:Mukesh_Dalal |
| dbp:wikiPageUsesTemplate | dbt:InPho dbt:PhilPapers dbt:Cite_book dbt:Div_col dbt:Div_col_end dbt:Refbegin dbt:Refend dbt:Reflist dbt:Cite_SEP |
| dcterms:subject | dbc:Formal_epistemology dbc:Logic dbc:Belief dbc:Knowledge_representation dbc:Belief_revision dbc:Logic_programming |
| rdfs:comment | En logique mathématique, en philosophie, en intelligence artificielle, en théorie des bases de données, la révision des croyances est le processus de changement des croyances en prenant en compte une nouvelle information. (fr) 信念修正是变更信念来采纳新的信息片段的过程。在哲学、数据库和人工智能对的设计中都研究信念修正的逻辑形式化。 使信念修正不平凡的东西是进行这种操作的多种不同方式都是可行的。例如，如果当前的知识包括三个事实“为真”，“为真”和“如果与为真，则为真”，新信息“为假”的介入只能通过去除掉这三个事实中至少一个来保持一致性。这种情况下，有至少三种方式来进行这个修正。一般的说，可以多种方式变更知识。 通常区分两类变更： 更新：新的信息有关于现在的状况，而旧的信念提及的是过去；更新是改变旧信念来接受变更的操作。修正：旧信念和新信息都提及同一个状况；在新旧信息之间存在的矛盾被解释为旧信息不如新信息可靠；修正是插入新信息到旧信念的集合中而不生成矛盾的过程。 信念修正的主要假定是最小化变更：变更前后的知识应当尽可能类似。在更新的情况下，这个原理被形式化为惯性假定。在修正的情况下，这个原理强制变更尽可能多的保留信息。 (zh) Η αναθεώρηση πεποιθήσεων (αγγλικά: belief revision) είναι κλάδος της επιστημονικής και φιλοσοφικής μελέτης της λογικής. Η τυπική λογική παρουσιάζει κάποια χαρακτηριστικά τα οποία δεν συμπίπτουν πάντα με την ανθρώπινη διαισθητική "λογική". Για παράδειγμα, ο (abductive reasoning) είναι μεταξύ των διαισθητικά λογικών ή εύλογων συλλογισμών που δεν ταυτίζονται με την τυπική λογική. Στην τυπική λογική το μήκος της αλυσίδας των συλλογισμών δεν μειώνει τον βαθμό που το συμπέρασμα είναι αληθές. Το συμπέρασμα είναι 100% αληθές όσο επίπονη και μακρά κι αν ήταν η αλυσίδα έγκυρων συλλογισμών που χρειάστηκε για να αποδειχθεί. Από την άλλη, οι υποθετικοί-παραγωγικοί συλλογισμοί μπορεί να παρουσιάζουν το χαρακτηριστικό ότι όσο μακραίνει η αλυσίδα της απόδειξης μειώνεται η βεβαιότητα (η πιθανότητα) ότι το (el) Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents. (en) Revisión de creencias es el proceso de cambiar un estado de creencias (o estado epistémico) para representar nueva información. Se busca la formalización lógica de revisión de creencias en filosofía, base de datos e inteligencia artificial con el propósito de desarrollar agentes racionales. (es) Revisão de crenças é o processo de alterar um estado de crenças (ou estado epistêmico) para acomodar novas informações. A formalização lógica de revisão de crenças é pesquisada em filosofia, banco de dados e inteligência artificial, com o intuito de desenvolver agentes racionais. (pt) |
| rdfs:label | Belief revision (en) Αναθεώρηση πεποιθήσεων (el) Revisión de creencias (es) Révision des croyances (fr) Revisão de crenças (pt) 信念修正 (zh) |
| owl:sameAs | freebase:Belief revision wikidata:Belief revision dbpedia-el:Belief revision dbpedia-es:Belief revision dbpedia-fa:Belief revision dbpedia-fr:Belief revision dbpedia-pt:Belief revision dbpedia-zh:Belief revision https://global.dbpedia.org/id/3HqNv |
| prov:wasDerivedFrom | wikipedia-en:Belief_revision?oldid=1113661506&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Belief_revision |
| is dbo:academicDiscipline of | dbr:Guillermo_Simari |
| is dbo:knownFor of | dbr:Eduardo_Fermé dbr:Guillermo_Simari |
| is dbo:notableIdea of | dbr:Isaac_Levi |
| is dbo:wikiPageRedirects of | dbr:AGM_postulates dbr:Ramsey's_Test dbr:Ramsey's_test dbr:Ramsey_Test dbr:Ramsey_test dbr:AGM_Postulates |
| is dbo:wikiPageWikiLink of | dbr:Belief–desire–intention_software_model dbr:Rohit_Jivanlal_Parikh dbr:Memory-prediction_framework dbr:Mexican_International_Conference_on_Artificial_Intelligence dbr:Belief dbr:David_Makinson dbr:Defeasible_reasoning dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(A–C) dbr:AGM_postulates dbr:Conservatism_(belief_revision) dbr:Pragmatic_theory_of_truth dbr:Frank_Ramsey_(mathematician) dbr:Computational_epistemology dbr:68–95–99.7_rule dbr:Doxastic_logic dbr:Isaac_Levi dbr:Paraconsistent_logic dbr:Abductive_reasoning dbr:Eduardo_Fermé dbr:Formal_epistemology dbr:Non-monotonic_logic dbr:Dialogical_logic dbr:Hannes_Leitgeb dbr:History_of_scientific_method dbr:Knowledge_representation_and_reasoning dbr:Marianne_Winslett dbr:Guillermo_Simari dbr:Hierarchical_temporal_memory dbr:Counterfactual_conditional dbr:Mary-Anne_Williams dbr:Artificial_intelligence dbr:Surrogation dbr:Symbolic_artificial_intelligence dbr:Reason_maintenance dbr:Sven_Ove_Hansson dbr:Sonja_Smets dbr:Neurath's_boat dbr:Reflective_equilibrium dbr:List_of_cognitive_biases dbr:SNePS dbr:Expected_utility_hypothesis dbr:Plausibility_structure dbr:Three_Prisoners_problem dbr:Outline_of_artificial_intelligence dbr:Ramsey's_Test dbr:Ramsey's_test dbr:Ramsey_Test dbr:Ramsey_test dbr:AGM_Postulates |
| is dbp:field of | dbr:Guillermo_Simari |
| is dbp:knownFor of | dbr:Eduardo_Fermé |
| is rdfs:seeAlso of | dbr:Belief |
| is foaf:primaryTopic of | wikipedia-en:Belief_revision |