{"id":223,"date":"2016-05-31T19:37:48","date_gmt":"2016-05-31T19:37:48","guid":{"rendered":"http:\/\/matuma.uma.pt\/?page_id=223"},"modified":"2016-05-31T19:37:48","modified_gmt":"2016-05-31T19:37:48","slug":"mreis","status":"publish","type":"page","link":"https:\/\/matuma.uma.pt\/index.php\/mreis\/","title":{"rendered":"Sobre a L\u00f3gica da Contra\u00e7\u00e3o de Teorias"},"content":{"rendered":"<p><em>Maur\u00edcio Reis<\/em><\/p>\n<p><span data-sheets-value=\"{&quot;1&quot;:2,&quot;2&quot;:&quot;O objetivo central da \\u00e1rea de l\\u00f3gica da mudan\\u00e7a de teorias (tamb\\u00e9m conhecida por revis\\u00e3o de cren\\u00e7as) \\u00e9 o estudo das mudan\\u00e7as que podem ocorrer no estado de cren\\u00e7as de um agente racional quando este recebe (nova) informa\\u00e7\\u00e3o.\\nO modelo padr\\u00e3o de mudan\\u00e7a de teorias foi proposto por Alchourr\\u00f3n, G\\u00e4rdenfors e Makinson em 1985 e \\u00e9, atualmente, conhecido como modelo AGM. Neste modelo assume-se que o estado de cren\\u00e7as de um agente \\u00e9 modelado por uma teoria (tamb\\u00e9m chamada conjunto de cren\\u00e7as) - um conjunto de f\\u00f3rmulas que \\u00e9 fechado para o operador de consequ\\u00eancia l\\u00f3gica - e define-se uma classe de contra\\u00e7\\u00f5es - fun\\u00e7\\u00f5es que recebem uma f\\u00f3rmula (representando informa\\u00e7\\u00e3o a ser removida do estado de cren\\u00e7as do agente) e devolvem uma teoria que est\\u00e1 contida na original e n\\u00e3o cont\\u00e9m a f\\u00f3rmula recebida.\\nNesta contribui\\u00e7\\u00e3o ser\\u00e3o apresentadas algumas defini\\u00e7\\u00f5es de contra\\u00e7\\u00f5es de teorias e ser\\u00e1 discutida a generaliza\\u00e7\\u00e3o desses modelos ao caso da contra\\u00e7\\u00e3o m\\u00faltipla (que consiste da remo\\u00e7\\u00e3o (simult\\u00e2nea) de um conjunto de f\\u00f3rmulas).&quot;}\" data-sheets-userformat=\"{&quot;2&quot;:513,&quot;3&quot;:{&quot;1&quot;:0},&quot;12&quot;:0}\">O objetivo central da \u00e1rea de l\u00f3gica da mudan\u00e7a de teorias (tamb\u00e9m conhecida por revis\u00e3o de cren\u00e7as) \u00e9 o estudo das mudan\u00e7as que podem ocorrer no estado de cren\u00e7as de um agente racional quando este recebe (nova) informa\u00e7\u00e3o.<br \/>\nO modelo padr\u00e3o de mudan\u00e7a de teorias foi proposto por Alchourr\u00f3n, G\u00e4rdenfors e Makinson em 1985 e \u00e9, atualmente, conhecido como modelo AGM. Neste modelo assume-se que o estado de cren\u00e7as de um agente \u00e9 modelado por uma teoria (tamb\u00e9m chamada conjunto de cren\u00e7as) &#8211; um conjunto de f\u00f3rmulas que \u00e9 fechado para o operador de consequ\u00eancia l\u00f3gica &#8211; e define-se uma classe de contra\u00e7\u00f5es &#8211; fun\u00e7\u00f5es que recebem uma f\u00f3rmula (representando informa\u00e7\u00e3o a ser removida do estado de cren\u00e7as do agente) e devolvem uma teoria que est\u00e1 contida na original e n\u00e3o cont\u00e9m a f\u00f3rmula recebida.<br \/>\nNesta contribui\u00e7\u00e3o ser\u00e3o apresentadas algumas defini\u00e7\u00f5es de contra\u00e7\u00f5es de teorias e ser\u00e1 discutida a generaliza\u00e7\u00e3o desses modelos ao caso da contra\u00e7\u00e3o m\u00faltipla (que consiste da remo\u00e7\u00e3o (simult\u00e2nea) de um conjunto de f\u00f3rmulas).<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Maur\u00edcio Reis O objetivo central da \u00e1rea de l\u00f3gica da mudan\u00e7a de teorias (tamb\u00e9m conhecida por revis\u00e3o de cren\u00e7as) \u00e9 o estudo das mudan\u00e7as que podem ocorrer no estado de cren\u00e7as de um agente racional quando este recebe (nova) informa\u00e7\u00e3o. O modelo padr\u00e3o de mudan\u00e7a de teorias foi proposto por Alchourr\u00f3n, G\u00e4rdenfors e Makinson em &hellip; <a href=\"https:\/\/matuma.uma.pt\/index.php\/mreis\/\" class=\"more-link\">Continuar a ler <span class=\"screen-reader-text\">Sobre a L\u00f3gica da Contra\u00e7\u00e3o de Teorias<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-223","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/pages\/223","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/comments?post=223"}],"version-history":[{"count":1,"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/pages\/223\/revisions"}],"predecessor-version":[{"id":224,"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/pages\/223\/revisions\/224"}],"wp:attachment":[{"href":"https:\/\/matuma.uma.pt\/index.php\/wp-json\/wp\/v2\/media?parent=223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}