/blog/category/contabilidade/

{"continue":{"imcontinue":"1245880|Question_book.svg","grncontinue":"0.672203600301|0.672203600301|0|0","continue":"grncontinue||revisions"},"warnings":{"main":{"*":"Subscribe to the mediawiki-api-announce mailing list at for notice of API deprecations and breaking changes. Use [[Special:ApiFeatureUsage]] to see usage of deprecated features by your application."},"revisions":{"*":"Because \"rvslots\" was not specified, a legacy format has been used for the output. This format is deprecated, and in the future the new format will always be used."}},"query":{"pages":{"2694268":{"pageid":2694268,"ns":0,"title":"Cycas inermis","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{T\u00edtulo em it\u00e1lico}}\n{{Info/Taxonomia\n | cor = lightgreen\n | nome = ''Cycas inermis''\n | imagem = \n | imagem_legenda = \n | estado = VU\n | reino = [[Plantae]]\n | filo = [[Cycadophyta]]\n | classe = [[Cycadopsida]]\n | ordem = [[Cycadales]]\n | subordem = [[Cycadineae]]\n | fam\u00edlia = [[Cycadaceae]]\n | g\u00e9nero = ''[[Cycas]]''\n | esp\u00e9cie = '''''C. inermis'''''\n | binomial = ''Cycas inermis''\n | binomial_autoridade = [[Lour.]]Fl. cochinch. 2:632. 1790.\n | sin\u00f3nimos = * ''Cycas truncata'' de Laub.\n}}\n'''''Cycas inermis''''' \u00e9 uma esp\u00e9cie de [[cicad\u00f3fita]] do g\u00e9nero ''[[Cycas]]'' da fam\u00edlia [[Cycadaceae]], nativa do [[Vietname]]. Esta esp\u00e9cie foi descrita pela primeira vez em 1790 pelo explorador portugu\u00eas [[Jo\u00e3o de Loureiro]] a partir de amostras colhidas na [[Cochinchina]].USDA, ARS, National Genetic Resources Program. Germplasm Resources Information Network - (GRIN) [Base de Dados Dispon\u00edvel na Internet]. National Germplasm Resources Laboratory, Beltsville, Maryland. [http://www.ars-grin.gov/cgi-bin/npgs/html/taxon.pl?444203 ''Cycas inermis''] {{Wayback|url=http://www.ars-grin.gov/cgi-bin/npgs/html/taxon.pl?444203 |date=20100209125308 }} (8 de Abril de 2010) Segundo dados de 2010, a popula\u00e7\u00e3o tende a descrescer.\n\n{{Refer\u00eancias|Refer\u00eancias citadas}}\n\n== Outras refer\u00eancias ==\n* Hill, K.D. 2003. [http://www.iucnredlist.org/apps/redlist/details/42055/0 ''Cycas inermis''] In: [http://www.iucnredlist.org IUCN 2010. IUCN Red List of Threatened Species]. Version 2010.1. Dados de 8 de Abril de 2010.{{en}}\n* {{Link|en|2=http://plantnet.rbgsyd.nsw.gov.au/cgi-bin/cycadpg?taxname=Cycas+inermis |3=The Cycad Pages: ''Cycas inermis''}}\n\n{{correlatos\n|wikispecies=Cycas inermis\n}}\n{{Esbo\u00e7o-cicad\u00f3fita}}\n{{Portal3|Bot\u00e2nica}}\n\n\n{{DEFAULTSORT:Cycas Inermis}}\n[[Categoria:Cycas|Inermis]]\n[[Categoria:Flora do Vietname]]"}]},"3781725":{"pageid":3781725,"ns":0,"title":"\u00c1cido 3-(4-hidroxi-3-metoxifenil)propi\u00f4nico","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{Info/Qu\u00edmica\n| ImageFile = 3-(4-hydroxy-3-methoxyphenyl)propionic acid 2.svg\n| ImageSize = 200px\n}}\n{{PBPE|\u00c1cido 3-(4-hidroxi-3-metoxifenil)propi\u00f4nico|\u00e1cido 3-(4-hidroxi-3-metoxifenil)propi\u00f3nico}} ou ainda '''\u00e1cido diidrofer\u00falico''', abreviado na literatura como '''3,4H3MPPA''', \u00e9 um [[composto org\u00e2nico]] de [[f\u00f3rmula qu\u00edmica]] C₁₀H₁₂O₄, de massa molecular 196,2. Possui [[ponto de fus\u00e3o]] 87-93 \u00b0C. Classificado com [[n\u00famero CAS]] 1135-23-5, [[n\u00famero EC]] 214-489-5 e [[MOL File]] 1135-23-5.mol.[http://www.chemicalbook.com/ChemicalProductProperty_EN_CB7665965.htm 3-(4-HYDROXY-3-METHOXYPHENYL)PROPIONIC ACID] - '''www.chemicalbook.com'''[http://www.sigmaaldrich.com/catalog/product/ALDRICH/17803?lang=pt®ion=BR 3-(4-Hydroxy-3-methoxyphenyl)propionic acid] - '''www.sigmaaldrich.com''' Possui [[SMILES]] COC1=C(C=CC(=C1)CCC(=O)O)O, [[EINECS]] 214-489-5, [[ponto de fus\u00e3o]] 87-93 \u00b0C.[http://pubchem.ncbi.nlm.nih.gov/summary/summary.cgi?cid=14340 dihydroferulic acid] - '''PubChem Compound'''[http://www.chemicalbook.com/ProductChemicalPropertiesCB7665965_EN.htm 3-(4-HYDROXY-3-METHOXYPHENYL)PROPIONIC ACID] - '''www.chemicalbook.com'''\n\n\u00c9 um [[metab\u00f3lito]] do [[\u00e1cido cafeico]] que apresenta alta capacidade [[antioxidante]]. \u00c9 um [[biomarcador]] muito sens\u00edvel para o consumo de relativamente pequenas quantidades de [[caf\u00e9]].A R Rechner, J P Spencer, G Kuhnle, U Hahn, C A Rice-Evans; [http://www.researchgate.net/publication/11969111_Novel_biomarkers_of_the_metabolism_of_caffeic_acid_derivatives_in_vivo Novel biomarkers of the metabolism of caffeic acid derivatives in vivo]. Free Radical Biology and Medicine, 07/2001; 30(11):1213-22. \u00c9 tamb\u00e9m resultado da fermenta\u00e7\u00e3o bacteriana no intestino humano e de ratos de [[flavonoide]]s do [[ch\u00e1 preto]].Kun Gao, ''et al.''; [http://jn.nutrition.org/content/136/1/52.short Of the Major Phenolic Acids Formed during Human Microbial Fermentation of Tea, Citrus, and Soy Flavonoid Supplements, Only 3,4-Dihydroxyphenylacetic Acid Has Antiproliferative Activity]; J. Nutr. January 2006 vol. 136 no. 1 52-57.Ronald R. Scheline; [http://onlinelibrary.wiley.com/doi/10.1111/j.1600-0773.1968.tb00437.x/abstract Metabolism of Phenolic Acids by the Rat Intestinal Microflora]; Acta Pharmacologica et Toxicologica, Volume 26, Issue 2, pages 189\u2013205, January 1968. Resulta tamb\u00e9m do metabolismo do [[eugenol]] em humanos.Fischer IU, von Unruh GE, Dengler HJ.; [http://www.ncbi.nlm.nih.gov/pubmed/2333717 The metabolism of eugenol in man]. Xenobiotica. 1990 Feb;20(2):209-22.\n\n{{refer\u00eancias}}\n\n[[Categoria:\u00c1cidos carbox\u00edlicos]]\n[[Categoria:Fen\u00f3is]]\n[[Categoria:\u00c9teres]]"}]},"2740973":{"pageid":2740973,"ns":0,"title":"Conus coerulescens","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{Info/Taxonomia\n|cor = pink\n|nome = ''Conus coerulescens''\n|imagem =\n|imagem_legenda =\n|estado =\n|reino = [[Animalia]]\n|filo = [[Mollusca]]\n|classe = [[Gastropoda]]\n|subclase = [[Caenogastropoda]]\n|ordem = [[Hypsogastropoda]]\n|subordem = [[Neogastropoda]]\n|superfam\u00edlia = [[Conoidea]]\n|fam\u00edlia = [[Conidae]]\n|subfam\u00edlia = [[Coninae]]\n|g\u00e9nero = ''[[Conus]]''\n|esp\u00e9cie = '''''Conus coerulescens'''''\n|binomial = ''Conus coerulescens''\n|binomial_autoridade =\n|sin\u00f3nimos =\n}}\n'''''Conus coerulescens''''' \u00e9 uma esp\u00e9cie de [[gastr\u00f3podes|gastr\u00f3pode]] do g\u00eanero ''[[Conus]]'', pertencente a fam\u00edlia [[Conidae]].{{Citar web|url=http://www.marinespecies.org/aphia.php?p=taxdetails&id=429508|t\u00edtulo=Conus coerulescens|obra=[[World Register of Marine Species|WORMS]]}}\n\n{{Refer\u00eancias}}\n\n{{Esbo\u00e7o-gastr\u00f3pode}}\n{{Taxonbar}}\n\n{{DEFAULTSORT:Conus Coerulescens}}\n[[Categoria:Conus]]"}]},"1245880":{"pageid":1245880,"ns":0,"title":"Ordinariado Militar do Brasil","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{Sem fontes|data=agosto de 2018}}\n{{Info/N\u00e3o-diocese\n| nome = Ordinariado Militar do Brasil\n| nomelatino = Ordinariate Militaris Ad Brasilli\n| bras\u00e3o = \n| legenda =\n| pa\u00eds= {{BRA}}\n| tipo= Ordinariado Militar\n| ere\u00e7\u00e3o= [[06 de novembro]] de [[1950]]\n| ordin\u00e1rio= [[Fernando Jos\u00e9 Monteiro Guimar\u00e3es|Dom Fernando Jos\u00e9 Monteiro Guimar\u00e3es]]\n| bispo-auxiliar = [[Jos\u00e9 Francisco Falc\u00e3o de Barros|Dom Jos\u00e9 Francisco Falc\u00e3o de Barros]]\n| padroeiro= Rainha da Paz\n| s\u00e9= [[Catedral Militar Rainha da Paz]]\n| territ\u00f3rio= Abrange todas as Capelas Militares do Brasil\n| rito= [[Rito romano|Romano]]\n| website=http://www.arquidiocesemilitar.org.br/ \n}}\nO '''Ordinariado Militar do Brasil''' \u00e9 uma [[Circunscri\u00e7\u00f5es eclesi\u00e1sticas cat\u00f3licas do Brasil|circunscri\u00e7\u00e3o eclesi\u00e1stica]] da [[Igreja Cat\u00f3lica]] no [[Brasil]], subordinada diretamente \u00e0 [[Santa S\u00e9]], participa do Conselho Episcopal Regional Centro-Oeste da [[Confer\u00eancia Nacional dos Bispos do Brasil]]. A [[s\u00e9]] [[bispo|episcopal]] est\u00e1 na [[Catedral Militar Rainha da Paz]], na cidade de [[Bras\u00edlia]], no [[Distrito Federal (Brasil)|Distrito Federal]].\n\nO Ordinariado Militar do Brasil organiza e coordena os servi\u00e7os de todas as [[Capelania militar|capelanias militares]] [[Igreja Cat\u00f3lica|cat\u00f3licas]] do Brasil.\n\n==Hist\u00f3rico==\nO Ordinariado Militar do Brasil foi [[ere\u00e7\u00e3o can\u00f4nica|erigido]] a [[6 de novembro]] de [[1950]], pelo [[Papa Pio XII]], como Vicariato Castrense do Brasil. Por for\u00e7a da [[Constitui\u00e7\u00e3o Apost\u00f3lica]] ''Spirituali Militum Curae'', de [[21 de abril]] de [[1986]], passou a ser Ordinariado Militar, depois do [[diplomacia|acordo diplom\u00e1tico]] entre a [[Santa S\u00e9]] e a [[Brasil|Rep\u00fablica Federativa do Brasil]], assinado em [[23 de outubro]] de [[1989]].\n\nEste Ordinariado Militar recebeu nova estrutura atrav\u00e9s de seu Estatuto, homologado pelo Decreto ''Cum Apostolicam Sedem'', de [[2 de janeiro]] de [[1990]], da [[Congrega\u00e7\u00e3o para os Bispos]].\nO artigo 8\u00ba do Estatuto do Ordinariado Militar do Brasil define que \u00aba jurisdi\u00e7\u00e3o eclesi\u00e1stica do Ordin\u00e1rio Militar \u00e9 ordin\u00e1ria, pr\u00f3pria e imediata, mas cumulativa com a do [[bispo]] diocesano, devendo ser exercida, prim\u00e1ria e principalmente, nos quart\u00e9is e nos lugares pr\u00f3prios reservados aos membros das [[For\u00e7as Armadas do Brasil|For\u00e7as Armadas]] e Auxiliares ([[Pol\u00edcia Militar|Pol\u00edcias Militares]] e [[Corpo de Bombeiros]]) n\u00e3o excetuados os militares da reserva remunerada e reformados com seus respectivos dependentes.\u00bb\n\nEm refer\u00eancia \u00e0 fun\u00e7\u00e3o do Capel\u00e3o Militar, o Estatuto prev\u00ea a [[Presb\u00edtero|ordem do presbiterato]], dado que a fun\u00e7\u00e3o do Capel\u00e3o se equipara a de [[P\u00e1roco]], que conforme o can. 521 do CDC \u00e9 privativa de [[presb\u00edtero]]:\n\n\u00ab Art. 15 \u2013 \n: \u00a71. Ser\u00e3o destinados para o servi\u00e7o religioso no Ordinariato Militar sacerdotes do [[clero]] secular e do clero religioso, formando um s\u00f3 [[Presbit\u00e9rio]]. Os sacerdotes do clero secular poder\u00e3o ser incardinados no mesmo Ordinariato, segundo as normas do C\u00f3digo de Direito Can\u00f4nico.\n: Os sacerdotes incardinados no Ordinariato Militar, uma vez completado o servi\u00e7o nas For\u00e7as Armadas, poder\u00e3o regressar \u00e0s suas circunscri\u00e7\u00f5es eclesi\u00e1sticas de origem, observadas, por\u00e9m, as normas do Direito. Pelo contr\u00e1rio, os candidatos promovidos ao Diaconato para prestarem servi\u00e7o no Ordinariato Militar, permanecem neste incardinados.\n\n: \u00a72. Os sacerdotes designados estavelmente para o servi\u00e7o das For\u00e7as Armadas s\u00e3o denominados \"'''Capel\u00e3es Militares'''\", gozando dos mesmos direitos e deveres can\u00f4nicos an\u00e1logos aos [[P\u00e1roco]]s. Os direitos e deveres devem ser entendidos cumulativamente com os do P\u00e1roco local, em conformidade com os artigos IV e VII da [[Documentos pontif\u00edcios|Constitui\u00e7\u00e3o Apost\u00f3lica]] ''Spirituali Militum Curae''.\u00bb\n\n== Clero e religiosos ==\nEm [[2004]], o ordinariado militar contava com \n136 padres diocesanos, 8 padres de [[Ordens e congrega\u00e7\u00f5es religiosas cat\u00f3licas|congrega\u00e7\u00f5es religiosas]], 5 [[di\u00e1cono]]s permanentes e 8 religiosos.\n\n==Arcebispos Militares do Brasil==\n\n\n{| border=\"0\" cellpadding=\"2\" cellspacing=\"2\" style=\"background:#FFFAF0;\"\n! style=\"background:#FFE4C4;\" | \n! style=\"background:#FFE4C4;\" | Nome \n! style=\"background:#FFE4C4;\" | Per\u00edodo \n! style=\"background:#FFE4C4;\" | Notas\n|-\n! style=\"background:#FAEBD7;\" colspan=\"4\" align=\"center\" | Arcebispos\n|-\n|5\u00ba||[[Fernando Jos\u00e9 Monteiro Guimar\u00e3es|Dom Fernando Jos\u00e9 Monteiro Guimar\u00e3es]]|| [[2014]]-||Atual\n|-\n|4\u00ba||[[Osvino Jos\u00e9 Both|Dom Osvino Jos\u00e9 Both]]|| [[2006]]-[[2014]] ||Ordin\u00e1rio militar em\u00e9rito\n|-\n|3\u00ba||[[Geraldo do Esp\u00edrito Santo \u00c1vila|Dom Geraldo do Esp\u00edrito Santo \u00c1vila]] || [[1990]]-[[2005]] || \n|-\n|2\u00ba||[[Jos\u00e9 Newton de Almeida Baptista|Dom Jos\u00e9 Newton de Almeida Baptista]] || [[1963]]-[[1990]] ||\n|-\n|1\u00ba||[[Jaime de Barros C\u00e2mara|Dom Jaime de Barros ''Cardeal'' C\u00e2mara]]|| [[1950]]-[[1963]] ||\n|-\n! style=\"background:#FAEBD7;\" colspan=\"4\" align=\"center\" | Bispos Auxiliares\n|-\n| || [[Jos\u00e9 Francisco Falc\u00e3o de Barros|Dom Jos\u00e9 Francisco Falc\u00e3o de Barros]] || [[2011]]-||\n|-\n| || [[Augustinho Petry|Dom Augustinho Petry]] || [[2006]]-[[2007]]||\n|-\n| || [[Alberto Trevisan|Dom Alberto Trevisan]], [[Palotinos|SAC]] || [[1964]]-[[1966]] ||\n|-\n|}\n\n\n\n== Ver tamb\u00e9m ==\n* [[Ordinariato Castrense de Portugal]]\n* [[Capelania Militar]]\n\n==Liga\u00e7\u00f5es externas==\n* [http://www.catholic-hierarchy.org/diocese/dmlbr.html Perfil em Catholic Hierarchy ] (em ingl\u00eas)\n* [http://www.gcatholic.org/dioceses/diocese/braz2.htm Perfil em Giga-Catholic Information] (em ingl\u00eas)\n{{CNBB-Pessoais}}\n\n[[Categoria:Circunscri\u00e7\u00f5es eclesi\u00e1sticas cat\u00f3licas do Brasil|Ordinariado Militar do Brasil]]\n[[Categoria:For\u00e7as armadas do Brasil]]\n[[Categoria:Tratados do Brasil]]\n[[Categoria:Rela\u00e7\u00f5es entre Brasil e Santa S\u00e9]]\n[[Categoria:Tratados da Santa S\u00e9]]\n[[Categoria:Ordinariatos Militares|Brasil]]\n[[Categoria:Circunscri\u00e7\u00f5es eclesi\u00e1sticas erigidas pelo papa Pio XII]]\n[[Categoria:1950 no Brasil]]"}],"images":[{"ns":6,"title":"Ficheiro:Flag of Brazil.svg"},{"ns":6,"title":"Ficheiro:Mitra Gloriosa.svg"}]},"4330197":{"pageid":4330197,"ns":0,"title":"Sem\u00e2ntica de modelo est\u00e1vel","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"O conceito de '''modelo est\u00e1vel''', ou conjunto de respostas, \u00e9 usado para definir uma sem\u00e2ntica declarativa em programas l\u00f3gicos com [[nega\u00e7\u00e3o por falha]]. Esta \u00e9 uma das v\u00e1rias abordagens para o significado da nega\u00e7\u00e3o na l\u00f3gica de programa\u00e7\u00e3o, juntamente com a completude do programa e a sem\u00e2ntica bem formada. A sem\u00e2ntica de modelo est\u00e1vel \u00e9 a base da programa\u00e7\u00e3o de conjunto de resposta.\n\n==Motiva\u00e7\u00e3o==\nPesquisas sobre a sem\u00e2ntica declarativa da nega\u00e7\u00e3o na programa\u00e7\u00e3o em l\u00f3gica foram motivadas pelo fato de que o comportamento da resolu\u00e7\u00e3o SLDNF \u2013 a generaliza\u00e7\u00e3o da resolu\u00e7\u00e3o SLD usada pelo [[Prolog]] na presen\u00e7a de nega\u00e7\u00e3o no corpo das regras - n\u00e3o corresponde completamente com as tabelas verdade advindas da [[l\u00f3gica proposicional]] cl\u00e1ssica. Considere, por exemplo, o programa\n\n:$p\backslash \backslash$\n:$r\; \backslash \backslash leftarrow\; p,\backslash \backslash \; q$\n:$s\; \backslash \backslash leftarrow\; p,\backslash \backslash \; \backslash \backslash hbox\{not\; \}\; q.$\n\n\nDado este programa, a consulta $p$ ser\u00e1 bem sucedida pois o programa inclui $p$ como fato; a consulta $q$ ir\u00e1 falhar porque n\u00e3o ocorre no in\u00edcio de nenhuma das regras. A consulta $r$ tamb\u00e9m ir\u00e1 falhar, pois a \u00fanica regra com $r$ em seu in\u00edcio cont\u00e9m a subquest\u00e3o $q$ no seu corpo; e como j\u00e1 vimos, esta subquest\u00e3o ir\u00e1 falhar. Finalmente, a consulta $s$ ser\u00e1 bem sucedida, pois cada uma das subquest\u00f5es $p$, $\backslash \backslash hbox\{not\; \}\; q$ ir\u00e3o ser bem sucedidas. (A \u00faltima ir\u00e1 ser bem sucedida pois a quest\u00e3o positiva correspondente $q$ ir\u00e1 falhar). Resumindo, o comportamento da resolu\u00e7\u00e3o SLDNF no programa dado pode ser representado pelas seguintes atribui\u00e7\u00f5es verdade:\n\n\n\n\n\n\n

\n$p$\n \n'''T'''\n

\n$q$\n \n'''F'''\n

\n$r$\n \n'''F'''\n

\n$s$\n \n'''T'''.\n

\n\nPor outro lado, as regras do programa podem ser vistas como f\u00f3rmulas proposicionais se n\u00f3s interpretarmos a v\u00edrgula como uma conjun\u00e7\u00e3o $\backslash \backslash land,$ e o s\u00edmbolo $\backslash \backslash hbox\{not\}$ como uma nega\u00e7\u00e3o $\backslash \backslash neg,$ e concordarmos em tratar $F\; \backslash \backslash leftarrow\; G$ como a implica\u00e7\u00e3o $G\; \backslash \backslash rightarrow\; F$ escrita ao contr\u00e1rio. Por exemplo, a \u00faltima regra do programa seria, deste ponto de vista, uma nota\u00e7\u00e3o alternativa para a f\u00f3rmula proposicional\n\n:$p\; \backslash \backslash land\; \backslash \backslash neg\; q\; \backslash \backslash rightarrow\; s.$\n\nSe n\u00f3s calcularmos os valores verdade das regras do programa pelas atribui\u00e7\u00f5es verdade mostradas acima, ver\u00edamos que cada regra recebe o valor T. Em outras palavras, esta atribui\u00e7\u00e3o \u00e9 um modelo do programa. Mas este programa tamb\u00e9m possui outros modelos, como por exemplo\n\n\n\n\n\n\n\n

\n$p$\n \n'''T'''\n

\n$q$\n \n'''T'''\n

\n$r$\n \n'''T'''\n

\n$s$\n \n'''F'''.\n

\n\nAssim, um dos modelos do programa dado \u00e9 especial no sentido de que representa corretamente o comportamento da resolu\u00e7\u00e3o SLDNF. Quais s\u00e3o as propriedades matem\u00e1ticas deste modelo que o fazem especial? Uma resposta para esta quest\u00e3o \u00e9 fornecida pela defini\u00e7\u00e3o de modelo est\u00e1vel.\n\n==Rela\u00e7\u00e3o com a l\u00f3gica n\u00e3o-monot\u00f4nica==\nO significado de nega\u00e7\u00e3o em programas l\u00f3gicos est\u00e1 intimamente relacionado a duas teorias do racioc\u00ednio n\u00e3o-monot\u00f4nico \u2013 l\u00f3gica auto-epist\u00eamica e l\u00f3gica default. A descoberta dessas rela\u00e7\u00f5es foi um passo fundamental para a inven\u00e7\u00e3o da sem\u00e2ntica de modelo est\u00e1vel.\nA sintaxe da l\u00f3gica auto-epist\u00eamica usa um operador modal que nos permite distinguir o que \u00e9 verdadeiro do que se acredita. Michael Gelfond [1987] prop\u00f4s ler $\backslash \backslash hbox\{not\}\backslash \backslash \; p$ no corpo de um regra como \u201cn\u00e3o se acredita em $p$\u201d, e compreender uma regra como a nega\u00e7\u00e3o da f\u00f3rmula correspondente da l\u00f3gica auto-epist\u00eamica. A sem\u00e2ntica de modelo est\u00e1vel, na sua forma b\u00e1sica, pode ser vista como uma reformula\u00e7\u00e3o dessa ideia de evitar referencias expl\u00edcitas \u00e0 l\u00f3gica auto-epist\u00eamica.\nNa l\u00f3gica default, um padr\u00e3o \u00e9 similar a uma regra de infer\u00eancia, com a diferen\u00e7a que ela inclui, al\u00e9m das premissas e da conclus\u00e3o, uma lista de f\u00f3rmulas chamadas justifica\u00e7\u00f5es. Um padr\u00e3o pode ser usado para obter sua conclus\u00e3o sob a suposi\u00e7\u00e3o de que suas justificativas s\u00e3o consistentes com o que \u00e9 atualmente acreditado. Nicole Bidoit e Christine Froidevaux [1987] propuseram tratar formulas at\u00f4micas negadas no corpo de regras como justifica\u00e7\u00f5es. Por exemplo, a regra\n\n:$s\; \backslash \backslash leftarrow\; p,\backslash \backslash \; \backslash \backslash hbox\{not\; \}\; q$\n\npode ser entendida como o padr\u00e3o que nos permite derivar $s$ de $p$ assumindo que $\backslash \backslash neg\; p$ \u00e9 consistente. A sem\u00e2ntica de modelo est\u00e1vel utiliza a mesma ideia, mas n\u00e3o se refere explicitamente \u00e0 l\u00f3gica padr\u00e3o.\n\n==Modelos Est\u00e1veis==\nA defini\u00e7\u00e3o de modelo est\u00e1vel abaixo, replicada de [Gelfond and Lifschitz, 1988], usa duas conven\u00e7\u00f5es. Primeiramente, associamos uma valora\u00e7\u00e3o com o conjunto de f\u00f3rmulas at\u00f4micas que recebem um valor ''T''. Por exemplo, a valora\u00e7\u00e3o\n\n\n\n\n\n\n

\n$p$\n \n'''T'''\n

\n$q$\n \n'''F'''\n

\n$r$\n \n'''F'''\n

\n$s$\n \n'''T'''\n

\n\n\u00e9 associada com o conjunto $\backslash \backslash \{p,s\backslash \backslash \}$. Essa conven\u00e7\u00e3o nos permite usar a rela\u00e7\u00e3o de inclus\u00e3o do conjunto para comparar valora\u00e7\u00f5es umas com as outras. A menor de todas as valora\u00e7\u00f5es $\backslash \backslash emptyset$ \u00e9 aquela que torna toda \u00e1tomo falso. A maior \u00e9 aquela que deixa todas os \u00e1tomos como verdadeiro.\nPosteriormente, um programa l\u00f3gico com vari\u00e1veis \u00e9 visto, de modo abreviado, como o conjunto de todas as inst\u00e2ncias livres de vari\u00e1veis de suas regras, ou seja, o resultado da substitui\u00e7\u00e3o de termos sem vari\u00e1veis por vari\u00e1veis de acordo com as regras do programa em todas as maneiras poss\u00edveis. Por exemplo, a defini\u00e7\u00e3o em programa\u00e7\u00e3o l\u00f3gica dos n\u00fameros pares\n\n:$even(0)\backslash \backslash$\n\n:$even(s(X))\backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; even(X)$\n\n\u00e9 entendida como o resultado da substitui\u00e7\u00e3o de X nesse programa pelos termos sem vari\u00e1veis\n\n:$0,\backslash \backslash \; s(0),\backslash \backslash \; s(s(0)),\backslash \backslash dots.$\n\nde todas as maneiras poss\u00edveis. O resultado \u00e9 o programa (livre de vari\u00e1veis) infinito \n\n:$even(0)\backslash \backslash$\n\n:$even(s(0))\backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; even(0)$\n\n:$even(s(s(0)))\backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; even(s(0))$\n\n:$\backslash \backslash dots$\n\n===Defini\u00e7\u00e3o===\nSeja $P$ um conjunto de regras da forma\n\n:$A\; \backslash \backslash leftarrow\; B\_\{1\},\backslash \backslash dots,B\_\{m\},\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}$\n\nonde $A,B\_\{1\},\backslash \backslash dots,B\_\{m\},C\_\{1\},\backslash \backslash dots,C\_\{n\}$ s\u00e3o \u00e1tomos livres de vari\u00e1veis. Se $P$ n\u00e3o cont\u00e9m nega\u00e7\u00e3o ($n=0$ em todas as regras do programa), ent\u00e3o, por defini\u00e7\u00e3o, o \u00fanico modelo est\u00e1vel de $P$ \u00e9 o seu modelo que \u00e9 minimamente relativo \u00e0 inclus\u00e3o em conjunto.Esta abordagem para a sem\u00e2ntica de programas l\u00f3gicoss sem a nega\u00e7\u00e3o \u00e9 creditada a Marteen van Emden e [[Robert Kowalski]] [1976]. (Qualquer programa sem nega\u00e7\u00e3o tem exatamente um modelo m\u00ednimo). Para estender essa defini\u00e7\u00e3o ao caso de programas com nega\u00e7\u00e3o precisamos do conceito auxiliar de 'redutiva' definido a seguir.\n\nPara qualquer conjunto $I$ de \u00e1tomos b\u00e1sicos, o ''reduto'' de $P$ em rela\u00e7\u00e3o a $I$ \u00e9 o conjunto de regras sem nega\u00e7\u00e3o obtidas de $P$ primeiramente descartando toda regra na qual pelo menos um dos \u00e1tomos $C\_i$ no formato\n\n:$B\_\{1\},\backslash \backslash dots,B\_\{m\},\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}$\n\npertence a $I$, ent\u00e3o descartando as partes \n$\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}$ dos corpos de todas as regras restantes.\n\nDizemos que $I$ \u00e9 um ''modelo est\u00e1vel'' de $P$ se $I$ \u00e9 o modelo est\u00e1vel do reduto de $P$ relativo a $I$ (Como o reduto n\u00e3o cont\u00e9m nega\u00e7\u00e3o seu modelo est\u00e1vel j\u00e1 foi definido.) Como o termo modelo est\u00e1vel sugere, todo modelo est\u00e1vel de $P$ \u00e9 modelo de $P$.\n\n===Exemplo===\n\nPara ilustrar essas defini\u00e7\u00f5es, vamos checar se $\backslash \backslash \{p,s\backslash \backslash \}$ \u00e9 um modelo est\u00e1vel do programa\n\n:$p\backslash \backslash$\n\n:$r\; \backslash \backslash leftarrow\; p,\backslash \backslash \; q$\n\n:$s\; \backslash \backslash leftarrow\; p,\backslash \backslash \; \backslash \backslash hbox\{not\; \}\; q.$\n\nA redutiva desse programa relativa \u00e0 $\backslash \backslash \{p,s\backslash \backslash \}$ \u00e9\n\n:$p\backslash \backslash$\n\n:$r\; \backslash \backslash leftarrow\; p,\backslash \backslash \; q$\n\n:$s\; \backslash \backslash leftarrow\; p.$\n \n(De fato, como $q\backslash \backslash not\backslash \backslash in\backslash \backslash \{p,s\backslash \backslash \}$ o reduto \u00e9 obtido do programa descartando a parte $\backslash \backslash hbox\{not\; \}\; q.\backslash \backslash$).\nO modelo est\u00e1vel do reduto \u00e9 $\backslash \backslash \{p,s\backslash \backslash \}$. (De fato, esse conjunto de \u00e1tomos satisfaz toda a regra da redutiva e n\u00e3o tem nenhum subconjunto pr\u00f3prio com a mesma propriedade.) Ent\u00e3o depois de computar o modelo est\u00e1vel do reduto chegamos no mesmo modelo $\backslash \backslash \{p,s\backslash \backslash \}$ com o qual come\u00e7amos. Consequentemente, esse conjunto \u00e9 um modelo est\u00e1vel.\n\nChecando da mesma maneira os outros 15 conjuntos consistindo dos \u00e1tomos $p,\backslash \backslash \; q,\backslash \backslash \; r,\backslash \backslash \; s$ mostramos que esse programa n\u00e3o tem nenhum outro modelo est\u00e1vel. Por exemplo, o reduto do programa relativo a $\backslash \backslash \{p,q,r\backslash \backslash \}$ \u00e9\n \n:$p\backslash \backslash$\n\n:$r\; \backslash \backslash leftarrow\; p,\backslash \backslash \; q.$\n\nLogo, o modelo est\u00e1vel da redutiva \u00e9 $\backslash \backslash \{p\backslash \backslash \}$, que \u00e9 diferente do conjunto $\backslash \backslash \{p,q,r\backslash \backslash \}$ com o qual come\u00e7amos.\n\n===Programas sem um modelo est\u00e1vel espec\u00edfico===\n\nUm programa com nega\u00e7\u00e3o pode ter v\u00e1rios modelos est\u00e1veis ou nenhum modelo est\u00e1vel. Por exemplo, o programa\n \n:$p\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; q$\n\n:$q\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; p$\n\ntem dois modelos est\u00e1veis $\backslash \backslash \{p\backslash \backslash \}$, $\backslash \backslash \{q\backslash \backslash \}$. O programa de uma s\u00f3 afirma\u00e7\u00e3o\n\n:$p\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; p$\n\nn\u00e3o tem modelos est\u00e1veis.\n\nSe pensarmos nas sem\u00e2nticas de modelo est\u00e1vel como uma descri\u00e7\u00e3o do comportamento de Prolog na presen\u00e7a de nega\u00e7\u00e3o, ent\u00e3o programas sem um modelo est\u00e1vel \u00fanico podem ser julgados como insatisfat\u00edveis. Eles n\u00e3o fornecem uma especifica\u00e7\u00e3o n\u00e3o amb\u00edgua para a consulta eletr\u00f4nica estilo Prolog. Por exemplo, os dois programas acima n\u00e3o s\u00e3o razo\u00e1veis como programas do Prolog - a resolu\u00e7\u00e3o de SLDNF n\u00e3o termina neles.\n\nMas o uso de modelos est\u00e1veis na programa\u00e7\u00e3o de conjuntos-resposta fornece uma perspectiva diferente sobre tais programas. Neste paradigma de programa\u00e7\u00e3o, um determinado problema de pesquisa \u00e9 representado por um programa l\u00f3gico, de modo que os modelos est\u00e1veis do programa correspondem a solu\u00e7\u00f5es. Em seguida, os programas com muitos modelos est\u00e1veis correspondem a problemas com muitas solu\u00e7\u00f5es e programas sem modelos est\u00e1veis correspondem a problemas insol\u00faveis. \nPor exemplo, o conhecido enigma das oito rainhas tem 92 solu\u00e7\u00f5es, n\u00famero muito grande para ser resolvido usando o modelo de programa\u00e7\u00e3o-resposta e codific\u00e1-lo por um programa em l\u00f3gica com 92 modelos est\u00e1veis. Podemos considerar, ent\u00e3o, programas l\u00f3gicos com exatamente um modelo est\u00e1vel, como t\u00e3o especiais com polin\u00f4mios com somente uma raiz em \u00e1lgebra, entre o conjunto de programas l\u00f3gicos.\n\n==Propriedades da sem\u00e2ntica de modelo est\u00e1veis==\n\nNesta se\u00e7\u00e3o, como na defini\u00e7\u00e3o de modelo est\u00e1vel, por um programa l\u00f3gico queremos dizer um conjunto de regras na forma\n\n:$A\; \backslash \backslash leftarrow\; B\_\{1\},\backslash \backslash dots,B\_\{m\},\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}$\n\nna qual s\u00e3o \u00e1tomos sem vari\u00e1veis.\n\n''\u00c1tomos\" de Cabe\u00e7alho\"'': Se uma at\u00f4mica $A$ pertence a um modelo est\u00e1vel de um programa l\u00f3gico $P$ ent\u00e3o $A$ inicia uma das regras de $P$.\n\n''Minimalidade:'' Qualquer modelo est\u00e1vel de um programa l\u00f3gico \u00e9 m\u00ednimo entre os modelos de relativa \u00e0 inclus\u00e3o do conjunto.\n\n''Propriedade Anticadeia:'' Se $I$ e $J$ s\u00e3o modelos est\u00e1veis do mesmo programa l\u00f3gico ent\u00e3o $I$ n\u00e3o \u00e9 um subconjunto pr\u00f3prio de $J$. Em outras palavras, o conjunto de modelos est\u00e1veis \u00e9 uma anticorrente.\n\n''NP-Completude:'' Testar se um programa l\u00f3gico finito e sem vari\u00e1veis tem um modelo est\u00e1vel \u00e9 um problema NP-Completo.\n\n==Rela\u00e7\u00e3o com outras teorias de nega\u00e7\u00e3o por falha==\n\n===Completa\u00e7\u00e3o do Programa===\nQualquer modelo est\u00e1vel de um programa sem vari\u00e1veis n\u00e3o \u00e9 apenas um modelo do programa em si, mas tamb\u00e9m um modelo de sua conclus\u00e3o. [Marek and Subrahmanian, 1989]. O inverso, por\u00e9m, n\u00e3o \u00e9 verdade. Por exemplo, a conclus\u00e3o do programa de uma s\u00f3 regra\n \n:$p\; \backslash \backslash leftarrow\; p$\n\n\u00e9 a [[tautologia]] $p\; \backslash \backslash leftrightarrow\; p$. O modelo $\backslash \backslash emptyset$ dessa tautologia \u00e9 um modelo est\u00e1vel de $p\; \backslash \backslash leftarrow\; p$, mas o seu outro modelo $\backslash \backslash \{p\backslash \backslash \}\backslash \backslash$ n\u00e3o \u00e9. Fran\u00e7ois Fages [1994] achou uma condi\u00e7\u00e3o sint\u00e1tica em programas l\u00f3gicos que elimina esses contraexemplos e garante a estabilidade de todo modelo da conclus\u00e3o do programa. Um programa que satisfaz aquela condi\u00e7\u00e3o \u00e9 chamado de ''seguro'' (tight).\n\nFangzhen Lin e Yuting Zhao [2004] mostram como tornar a conclus\u00e3o de um programa n\u00e3o-seguro mais forte para que todos seus modelos n\u00e3o est\u00e1veis sejam eliminados. As f\u00f3rmulas adicionais que eles adicionam a essa conclus\u00e3o s\u00e3o chamadas de ''F\u00f3rmulas de Loop''.\n\n===Sem\u00e2ntica Bem-Fundada===\nO modelo bem-fundado de um programa l\u00f3gico particiona todos os \u00e1tomos sem vari\u00e1veis em tr\u00eas conjuntos: verdadeiro, falso, e desconhecido. Se um \u00e1tomo \u00e9 verdadeiro no modelo bem fundado de $P$, ent\u00e3o ele pertence a todos os modelos est\u00e1veis de $P$. O contr\u00e1rio, geralmente, n\u00e3o \u00e9 v\u00e1lido. Por exemplo, o programa:\n\n:$p\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; q$\n\n:$q\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; p$\n\n:$r\backslash \backslash leftarrow\; p$\n\n:$r\backslash \backslash leftarrow\; q$\n \ntem dois modelos est\u00e1veis, $\backslash \backslash \{p,r\backslash \backslash \}$ e $\backslash \backslash \{q,r\backslash \backslash \}$. Por mais que $r$ perten\u00e7a a ambos, seu valor no modelo bem fundado \u00e9 desconhecido.\n\nAl\u00e9m disso, se um \u00e1tomo \u00e9 falso no modelo bem fundado ent\u00e3o n\u00e3o pertence \u00e0 nenhum modelo est\u00e1vel. Ent\u00e3o o modelo bem fundado de um programa l\u00f3gico fornece um limitante inferior sobre a interse\u00e7\u00e3o de seus modelos est\u00e1veis e um limitante superior sobre sua uni\u00e3o.\n\n==Nega\u00e7\u00e3o forte==\n===Representando uma informa\u00e7\u00e3o incompleta ===\nDa perspectiva da representa\u00e7\u00e3o do conhecimento, um conjunto de \u00e1tomos pode ser imaginado como uma descri\u00e7\u00e3o de um estado completo de conhecimento: os que pertencem a um conjunto s\u00e3o conhecidos como verdadeiros, e aqueles que n\u00e3o pertencem ao conjunto s\u00e3o conhecidos como falsos. A possibilidade do estado incompleto do conhecimento pode ser descrito usando um consistente mas possivelmente incompleto conjunto de literais. Se uma at\u00f4mica $p$ n\u00e3o pertence ao conjunto e a sua nega\u00e7\u00e3o n\u00e3o pertence ao conjunto tamb\u00e9m, ent\u00e3o n\u00e3o \u00e9 sabido se $p$ \u00e9 verdadeiro.\nNo contexto da logica de programa\u00e7\u00e3o, a ideia se baseia na necessidade de distinguir entre dois tipos de nega\u00e7\u00e3o, nega\u00e7\u00e3o por falha, discutida acima, e nega\u00e7\u00e3o forte, que \u00e9 denotada como $\backslash \backslash sim$.Gelfond and Lifschitz [1991] chama a segunda nega\u00e7\u00e3o de \u201ccl\u00e1ssica\u201d e a denota por $\backslash \backslash neg$.. O exemplo a seguir, ilustrando a diferen\u00e7a entre os dois tipos de nega\u00e7\u00e3o, pertence a John McCarthy. Um \u00f4nibus de uma escola pode atravessar os trilhos de um trem sobre a condi\u00e7\u00e3o de n\u00e3o ter nenhum trem cruzando-os. Se n\u00f3s n\u00e3o necessariamente soubermos se o trem esta se aproximando, ent\u00e3o usamos a nega\u00e7\u00e3o por falha. \n:$\backslash \backslash hbox\{Cross\}\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; Train\}$\nN\u00e3o \u00e9 uma representa\u00e7\u00e3o adequada a esta ideia: Ela diz que est\u00e1 certo passar nos trilhos na aus\u00eancia de informa\u00e7\u00e3o sobre a aproxima\u00e7\u00e3o do trem. A regra mais fraca, que usa nega\u00e7\u00e3o forte em seu modelo, \u00e9 prefer\u00edvel.\n:$\backslash \backslash hbox\{Cross\}\; \backslash \backslash leftarrow\; \backslash \backslash ,\backslash \backslash sim\backslash \backslash hbox\{Train\}.$\nEla diz que est\u00e1 certo passar nos trilhos se n\u00f3s sabemos que n\u00e3o h\u00e1 trens se aproximando.\n===Modelos Estaveis Coerentes===\nPara incorporar a Nega\u00e7\u00e3o forte na teoria de modelos est\u00e1veis, Gelfond and Lifschitz [1991] permitiram ambas as express\u00f5es $A$, $B\_i$, $C\_i$ em uma regra\n:$A\; \backslash \backslash leftarrow\; B\_\{1\},\backslash \backslash dots,B\_\{m\},\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}$\nserem um \u00e1tomo ou um \u00e1tomo prefixado com o s\u00edmbolo de nega\u00e7\u00e3o forte. Ao inv\u00e9s de modelos est\u00e1veis, sua generaliza\u00e7\u00e3o usa conjuntos de respostas, que podem incluir \u00e1tomos ou \u00e1tomos prefixados com nega\u00e7\u00e3o forte.\nUma alternativa semelhante [Ferraris and Lifschitz, 2005] trata a nega\u00e7\u00e3o forte como uma parte do \u00e1tomo, e n\u00e3o requer nenhuma mudan\u00e7a em sua defini\u00e7\u00e3o de modelo estavel. Em sua teoria de nega\u00e7\u00e3o forte, n\u00f3s distinguimos os \u00e1tomos em dois tipos, positivo e negativo, e assumimos que cada \u00e1tomo negativo \u00e9 uma express\u00e3o de forma $\backslash \backslash sim\; A$, onde $A\backslash \backslash$ \u00e9 um \u00e1tomo positivo. Um conjunto de \u00e1tomos \u00e9 chamado de coerente se n\u00e3o contem pares \u201ccomplementares\u201d de \u00e1tomos $\backslash \backslash \; A,\backslash \backslash sim\; A$. Modelos Estaveis coerentes de um programa s\u00e3o identicos a seu conjunto de respostas consistentes na vis\u00e3o de [Gelfond and Lifschitz, 1991]\nPor exemplo, o programa\n:$p\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; q$\n\n:$q\; \backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}\; p$\n\n:$r\backslash \backslash$\n\n:$\backslash \backslash sim\; r\backslash \backslash leftarrow\; \backslash \backslash hbox\{not\; \}p$\ntem dois modelos est\u00e1veis $\backslash \backslash \{p,r\backslash \backslash \}\backslash \backslash$ e $\backslash \backslash \; \backslash \backslash \{q,r,\backslash \backslash sim\; r\backslash \backslash \}$. O primeiro modelo \u00e9 coerente, o segundo n\u00e3o, pois cont\u00e9m a at\u00f4mica $\backslash \backslash \; r$ e a at\u00f4mica $\backslash \backslash \; \backslash \backslash sim\; r$. \n\n===Suposi\u00e7\u00e3o do Mundo Fechado===\nDe acordo com [Gelfond and Lifschitz, 1991], o pressuposto do mundo fechado para um predicado P pode ser expresso pela senten\u00e7a\n:$\backslash \backslash sim\; p(X\_1,\backslash \backslash dots,X\_n)\backslash \backslash leftarrow\backslash \backslash hbox\{not\; \}p(X\_1,\backslash \backslash dots,X\_n)$ \n(a rela\u00e7\u00e3o $p\backslash \backslash$ n\u00e3o \u00e9 v\u00e1lida para a tupla $X\_1,\backslash \backslash dots,X\_n$ se n\u00e3o existe evidencia de que ela ser\u00e1 valida). Por exemplo, modelo est\u00e1vel do programa\n:$p(a,b)\backslash \backslash$\n:$p(c,d)\backslash \backslash$\n:$\backslash \backslash sim\; p(X,Y)\backslash \backslash leftarrow\backslash \backslash hbox\{not\; \}p(X,Y)$\nConsiste de 2 at\u00f4micas positivas\n:$p(a,b),\backslash \backslash \; p(c,d)\backslash \backslash$\nE 14 at\u00f4micas negativas\n:$\backslash \backslash sim\; p(a,a),\backslash \backslash \; \backslash \backslash sim\; p(a,c),\backslash \backslash \; \backslash \backslash dots$\ni.e. , as nega\u00e7\u00f5es fortes de todas as outras at\u00f4micas positivas formadas por $p,\backslash \backslash \; a,\backslash \backslash \; b,\backslash \backslash \; c,\backslash \backslash \; d$.\nUm programa l\u00f3gico com nega\u00e7\u00e3o forte pode incluir as senten\u00e7as da suposi\u00e7\u00e3o do mundo fechado para alguns de seus predicados e deixar outros predicados no dom\u00ednio da suposi\u00e7\u00e3o do mundo aberto.\n\n==Programas com restri\u00e7\u00f5es==\nA sem\u00e2ntica do modelo est\u00e1vel tem sido generalizada a partir de v\u00e1rios programas l\u00f3gicos diferentes das cole\u00e7\u00f5es de senten\u00e7as \u201ctradicionais\u201d discutidas acima. Senten\u00e7as da forma\n:$A\; \backslash \backslash leftarrow\; B\_\{1\},\backslash \backslash dots,B\_\{m\},\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}$\nOnde $A,B\_\{1\},\backslash \backslash dots,B\_\{m\},C\_\{1\},\backslash \backslash dots,C\_\{n\}$ s\u00e3o at\u00f4micas. Uma simples extens\u00e3o permite programas conter restri\u00e7\u00f5es - regras com premissa vazia:\n:$\backslash \backslash leftarrow\; B\_\{1\},\backslash \backslash dots,B\_\{m\},\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}.$\nVale relembrar que senten\u00e7as tradicionais podem ser vistas como uma nota\u00e7\u00e3o alternativa para a formula proposicional se n\u00f3s identificarmos a virgula como conjun\u00e7\u00e3o $\backslash \backslash land,$, e o simbolo $\backslash \backslash hbox\{not\}$ como nega\u00e7\u00e3o $\backslash \backslash neg,$ e concordar de tratar $F\; \backslash \backslash leftarrow\; G$ como uma implica\u00e7\u00e3o $G\; \backslash \backslash rightarrow\; F$ escrita de tr\u00e1s para frente. Para estender essa conven\u00e7\u00e3o para restri\u00e7\u00e3o, n\u00f3s identificamos a restri\u00e7\u00e3o com nega\u00e7\u00e3o da formula correspondente a :\n:$\backslash \backslash neg(B\_\{1\}\backslash \backslash land\backslash \backslash cdots\backslash \backslash land\; B\_\{m\}\backslash \backslash land\backslash \backslash neg\; C\_\{1\}\backslash \backslash land\backslash \backslash cdots\backslash \backslash land\backslash \backslash neg\; C\_\{n\}).$\nN\u00f3s podemos agora estender a defini\u00e7\u00e3o de modelo est\u00e1vel para programas com restri\u00e7\u00f5es. Como no caso de programas tradicionais, nos podemos come\u00e7ar com programas que n\u00e3o cont\u00e9m nega\u00e7\u00f5es. Esse programa pode ser inconsistente; ent\u00e3o falamos que n\u00e3o existem modelos est\u00e1veis. Se tal programa $P$ \u00e9 consistente ent\u00e3o $P$ tem um modelo m\u00ednimo, e esse modelo \u00e9 considerado o \u00fanico modelo de $P$.\nModelos est\u00e1veis de um programa arbitr\u00e1rio com restri\u00e7\u00f5es s\u00e3o definidos usando redu\u00e7\u00f5es, formadas do mesmo jeito que no caso de programas tradicionais (veja a defini\u00e7\u00e3o de Modelo Est\u00e1vel acima). Um conjunto $I$ de at\u00f4micas \u00e9 um modelo est\u00e1vel de um programa $P$ com restri\u00e7\u00f5es se uma redu\u00e7\u00e3o $P$ relativa a $I$ tem um modelo est\u00e1vel, e seu modelo est\u00e1vel \u00e9 igual a $I$.\nAs propriedades da sem\u00e2ntica do modelo est\u00e1vel descritas acima para programas tradicionais tamb\u00e9m s\u00e3o v\u00e1lidas na presen\u00e7a de restri\u00e7\u00f5es.\nAs restri\u00e7\u00f5es t\u00eam um papel importante na resposta de um conjunto de programas porque adicionar restri\u00e7\u00f5es \u00e0 l\u00f3gica de uma programa $P$ afeta sua cole\u00e7\u00e3o de modelos est\u00e1veis de uma maneira simples: elimina os modelos est\u00e1veis que violam as restri\u00e7\u00f5es. Em outras palavras, para qualquer programa P com restri\u00e7\u00f5es e qualquer restri\u00e7\u00e3o C, o modelo est\u00e1vel P U {C} pode ser caracterizado como um modelo est\u00e1vel de P que satisfaz C.\n\n==Programas Disjuntivos==\nEm uma senten\u00e7a disjuntiva, a premissa pode ser uma disjun\u00e7\u00e3o de varias at\u00f4micas:\n:$A\_1;\backslash \backslash dots;A\_k\; \backslash \backslash leftarrow\; B\_\{1\},\backslash \backslash dots,B\_\{m\},\backslash \backslash hbox\{not\; \}\; C\_\{1\},\backslash \backslash dots,\backslash \backslash hbox\{not\; \}\; C\_\{n\}$ \n(o ponto e virgula \u00e9 visto como uma alternativa para nota\u00e7\u00e3o de disjun\u00e7\u00e3o $\backslash \backslash lor$). As senten\u00e7as tradicionais correspondem para $k=1$, e as restri\u00e7\u00f5es para $k=0$. Para estender a sem\u00e2ntica de modelo est\u00e1vel para programas disjuntos [Gelfond and Lifschitz, 1991], n\u00f3s primeiramente definimos que na aus\u00eancia de nega\u00e7\u00e3o($n=0$ em cada senten\u00e7a) os modelos est\u00e1veis do programa s\u00e3o seus modelos minimais. A defini\u00e7\u00e3o de redu\u00e7\u00e3o para programas disjuntivos se mant\u00e9m a mesma que antes. Um conjunto $I$ de at\u00f4micas \u00e9 um modelo est\u00e1vel de $P$ se $I$ \u00e9 um modelo estavel da redu\u00e7\u00e3o $P$ relativa a $I$.\nPor exemplo, o conjunto $\backslash \backslash \{p,r\backslash \backslash \}$ \u00e9 modelo est\u00e1vel de um programa disjuntivo\n:$p;q\backslash \backslash$\n:$r\backslash \backslash leftarrow\; \backslash \backslash hbox\{not\}\backslash \backslash \; q$\nPorque \u00e9 um dos dois modelos minimais da redu\u00e7\u00e3o\n:$p;q\backslash \backslash$\n:$r.\backslash \backslash$\nO programa acima tem mais um modelo est\u00e1vel, $\backslash \backslash \{q\backslash \backslash \}$.\nComo no caso dos programas tradicionais, cada elemento de qualquer modelo est\u00e1vel do programa disjuntivo $P$ \u00e9 uma at\u00f4mica de $P$, no sentido de que ocorre na premissa de uma das senten\u00e7as de $P$. Como no caso tradicional, o modelo est\u00e1vel de um programa disjuntivo s\u00e3o minimais e formam anticadeias. Testando se um programa disjuntivo finito tem um modelo est\u00e1vel \u00e9 $\backslash \backslash Sigma\_2^\{\backslash \backslash rm\; P\}$-complete [Eiter and Gottlob, 1993].\n\n==Modelo est\u00e1vel de um conjunto de formulas proposicionais==\nPremissas, e at\u00e9 premissas disjuntivas possuem uma forma sint\u00e1tica especial em compara\u00e7\u00e3o com f\u00f3rmulas proposicionais comuns. Cada premissa disjuntiva \u00e9 essencialmente uma implica\u00e7\u00e3o que o seu antecedente e a conjun\u00e7\u00e3o de literais, e seu consequente \u00e9 uma disjun\u00e7\u00e3o de at\u00f4micas. David Pearce [1997] e Paolo Ferraris [2005] mostraram como estender a defini\u00e7\u00e3o de modelo est\u00e1vel a um conjunto de f\u00f3rmulas proposicionais comum. Essa generaliza\u00e7\u00e3o tem aplica\u00e7\u00f5es na programa\u00e7\u00e3o de conjunto de resposta.\nA formula\u00e7\u00e3o de Pearce parece diferir da defini\u00e7\u00e3o original de modelo est\u00e1vel. Ao inv\u00e9s de redu\u00e7\u00f5es, ela se refere a \u201cequil\u00edbrio l\u00f3gico\u201d- um sistema da l\u00f3gica n\u00e3o-monot\u00f4nica baseado nos modelos de Kripke. A formula\u00e7\u00e3o de Ferrari, por outro lado, \u00e9 baseada em redu\u00e7\u00f5es, apesar do processo de constru\u00e7\u00e3o da redu\u00e7\u00e3o seja diferente do processo descrito acima.\n===Defini\u00e7\u00e3o geral de modelos est\u00e1veis===\nDe acordo com [Ferraris, 2005], a redu\u00e7\u00e3o da f\u00f3rmula proposicional $F$ relativa a um conjunto $I$ de at\u00f4micas \u00e9 uma formula obtida de $F$ substituindo cada subf\u00f3rmula maximal que n\u00e3o satisfaz $I$ com a constante logica $\backslash \backslash bot$ (falso). A redu\u00e7\u00e3o do conjunto $P$ das formulas proposicionais relativas a $i$ consiste das redu\u00e7\u00f5es de todas as formulas vindas de $P$ relativas a $i$. No caso de um programa disjuntivo, podemos dizer que o conjunto $I$ de at\u00f4micas \u00e9 um modelo est\u00e1vel de $P$ se $I$ \u00e9 minimal (respeitando a inclus\u00e3o do conjunto) entre os modelos de redu\u00e7\u00e3o de $P$ relativo a $i$.\nPor exemplo, a redu\u00e7\u00e3o do conjunto\n:$\backslash \backslash \{p,\backslash \backslash \; p\backslash \backslash land\; q\; \backslash \backslash rightarrow\; r,\backslash \backslash \; p\; \backslash \backslash land\; \backslash \backslash neg\; q\; \backslash \backslash rightarrow\; s\backslash \backslash \}$ \nRelativo a $\backslash \backslash \{p,s\backslash \backslash \}$ \u00e9 \n:$\backslash \backslash \{p,\backslash \backslash \; \backslash \backslash bot\backslash \backslash rightarrow\; \backslash \backslash bot,\backslash \backslash \; p\; \backslash \backslash land\; \backslash \backslash neg\backslash \backslash bot\; \backslash \backslash rightarrow\; s\backslash \backslash \}.$ \nComo $\backslash \backslash \{p,s\backslash \backslash \}$ \u00e9 um modelo da redu\u00e7\u00e3o, ent\u00e3o os subconjuntos pr\u00f3prios daquele conjunto n\u00e3o s\u00e3o modelos da redu\u00e7\u00e3o, $\backslash \backslash \{p,s\backslash \backslash \}$ \u00e9 um modelo est\u00e1vel dado o conjunto de f\u00f3rmulas.\nN\u00f3s vimos que $\backslash \backslash \{p,s\backslash \backslash \}$ tamb\u00e9m \u00e9 um modelo est\u00e1vel de mesma f\u00f3rmula, escrita na nota\u00e7\u00e3o da programa\u00e7\u00e3o l\u00f3gica, em rela\u00e7\u00e3o \u00e0 sua defini\u00e7\u00e3o original. \u00c9 um caso do fato em geral: aplicada a um conjunto de (f\u00f3rmulas correspondendo a) senten\u00e7as tradicionais, a defini\u00e7\u00e3o de modelos est\u00e1veis de acordo com Ferrari \u00e9 equivalente \u00e0 defini\u00e7\u00e3o original. O mesmo \u00e9 verdadeiro, mais geral, para programas com restri\u00e7\u00f5es e para programas disjuntivos.\n===Propriedades da sem\u00e2ntica de modelos est\u00e1veis generalizada===\nO teorema afirma que todos os elementos de qualquer modelo est\u00e1vel de um programa $P$ com premissa at\u00f4mica de $P$ pode ser estendida para conjuntos de f\u00f3rmulas proposicionais, se n\u00f3s definirmos premissas at\u00f4micas como no exemplo a seguir. Uma at\u00f4mica $A$ \u00e9 uma premissa at\u00f4mica de um conjunto $P$ de f\u00f3rmulas proposicionais se pelo menos uma ocorr\u00eancia de $A$ na f\u00f3rmula de $P$ est\u00e1 tanto no escopo da nega\u00e7\u00e3o quanto no antecedente da implica\u00e7\u00e3o. ( N\u00f3s assumimos aqui que a equival\u00eancia tratada como abrevia\u00e7\u00e3o, n\u00e3o como um conectivo primitivo.)\nO minimalidade e a propriedade anticadeia dos modelos est\u00e1veis de um programa tradicional n\u00e3o \u00e9 v\u00e1lido para o caso geral. Por exemplo, (o conjunto \u00fanico consistente da) a f\u00f3rmula\n:$p\backslash \backslash lor\backslash \backslash neg\; p$\nTem dois modelos est\u00e1veis, $\backslash \backslash empty$ e $\backslash \backslash \{p\backslash \backslash \}$. O consequente n\u00e3o \u00e9 m\u00ednimo, e \u00e9 um superconjunto pr\u00f3prio do anterior.\nTestando se um conjunto finito de f\u00f3rmulas proposicionais tem modelo est\u00e1vel $\backslash \backslash Sigma\_2^\{\backslash \backslash rm\; P\}$-complete, no caso de programas disjuntivos. \n\n==Notas==\n\n{{Reflist}}\n\n==Refer\u00eancias==\n\n* N. Bidoit and C. Froidevaux [1987] ''Minimalism subsumes default logic and circumscription''. In: Proceedings of LICS-87, pages 89\u201397.\n\n* T. Eiter and G. Gottlob [1993] ''[http://www.kr.tuwien.ac.at/staff/eiter/et-archive/ilps93.ps.gz Complexity results for disjunctive logic programming and application to nonmonotonic logics]''. In: Proceedings of ILPS-93, pages 266-278.\n\n* M. van Emden and [[Robert Kowalski|R. Kowalski]] [1976] ''[http://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf The semantics of predicate logic as a programming language]''. Journal of ACM, Vol. 23, pages 733-742.\n\n* F. Fages [1994] ''Consistency of Clark's completion and existence of stable models''. Journal of Methods of Logic in Computer Science, Vol. 1, pages 51\u201360.\n\n* P. Ferraris [2005] ''Answer sets for propositional theories''. In: Proceedings of LPNMR-05, pages 119-131.\n\n* P. Ferraris and V. Lifschitz [2005] ''[http://www.cs.utexas.edu/users/vl/papers/mfasp.ps Mathematical foundations of answer set programming]''. In: We Will Show Them! Essays in Honour of Dov Gabbay, King's College Publications, pages 615-664.\n\n* M. Gelfond [1987] ''[http://www.cs.ttu.edu/~mgelfond/papers/autoepistemic.pdf On stratified autoepistemic theories]{{Liga\u00e7\u00e3o inativa|1=data=maio de 2019 }}''. In: Proceedings of AAAI-87, pages 207-211.\n\n* M. Gelfond and V. Lifschitz [1988] ''[http://www.cs.utexas.edu/users/vl/papers/stable.ps The stable model semantics for logic programming]''. In: Proceedings of the Fifth International Conference on Logic Programming (ICLP), pages 1070-1080.\n\n* M. Gelfond and V. Lifschitz [1991] ''[http://www.cs.utexas.edu/users/vl/papers/clnegdd.ps Classical negation in logic programs and disjunctive databases]''. New Generation Computing, Vol. 9, pages 365-385.\n\n* S. Hanks and [[Drew McDermott|D. McDermott]] [1987] ''Nonmonotonic logic and temporal projection''. Artificial Intelligence, Vol. 33, pages 379-412.\n\n* F. Lin and Y. Zhao [2004] ''[http://www.cs.ust.hk/faculty/flin/papers/assat-aij-revised.pdf ASSAT: Computing answer sets of a logic program by SAT solvers]''. Artificial Intelligence, Vol. 157, pages 115-137.\n\n* V. Marek and V.S. Subrahmanian [1989] ''The relationship between logic program semantics and non-monotonic reasoning''. In: Proceedings of ICLP-89, pages 600-617.\n\n* D. Pearce [1997] ''A new logical characterization of stable models and answer sets''. In: Non-Monotonic Extensions of Logic Programming (Lecture Notes in Artificial Intelligence 1216), pages 57\u201370.\n\n* [[Raymond Reiter|R. Reiter]] [1980] ''A logic for default reasoning''. Artificial Intelligence, Vol. 13, pages 81\u2013132.\n\n[[Categoria:L\u00f3gica]]\n[[Categoria:Programa\u00e7\u00e3o]]"}]},"238939":{"pageid":238939,"ns":0,"title":"Veauville-l\u00e8s-Baons","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{Info/Comuna da Fran\u00e7a|\n|nome = Veauville-l\u00e8s-Baons\n|regi\u00e3o = Normandia\n|departamento = Sena Mar\u00edtimo\n|\u00e1rea = 7.97\n|altitude = \n|latP = N | latG = 49 | latM = 39 | latS = 0\n|lonP = E | lonG = 0 | lonM = 46 | lonS = 0\n|popula\u00e7\u00e3o = 725\n|densidade = auto\n|censo = 1999\n|insee = 76729\n|insee_ref = s\n|c\u00f3dpostal = 76190 \n|mapa = \n|escudo = \n|bandeira = \n|imagem = \n|legenda = \n|gent\u00edlico = \n|website = \n|notas = \n}}\n'''Veauville-l\u00e8s-Baons''' \u00e9 uma [[comuna francesa]] na [[Regi\u00f5es administrativas francesas|regi\u00e3o administrativa]] da [[Normandia (regi\u00e3o francesa)|Normandia]], no [[Departamentos franceses|departamento]] de [[Sena Mar\u00edtimo]]. Estende-se por uma \u00e1rea de 7,97 [[Quil\u00f3metro quadrado|km\u00b2]]. {{Pop comuna francesa2|76729|7.97}}\n\n{{Refer\u00eancias}}\n\n{{esbo\u00e7o-geofr}}\n\n[[Categoria:Comunas do Sena Mar\u00edtimo]]"}],"images":[{"ns":6,"title":"Ficheiro:Blason76.svg"},{"ns":6,"title":"Ficheiro:Blason d\u00e9partement fr Seine-Maritime.svg"},{"ns":6,"title":"Ficheiro:Blason region fr Normandie.svg"},{"ns":6,"title":"Ficheiro:Crystal Clear app demo.png"},{"ns":6,"title":"Ficheiro:Disc Plain red (edge).svg"},{"ns":6,"title":"Ficheiro:Flag of France.svg"},{"ns":6,"title":"Ficheiro:France Flag Map.svg"},{"ns":6,"title":"Ficheiro:France location map-Regions and departements-2016.svg"}]},"3194149":{"pageid":3194149,"ns":0,"title":"V\u00e1rzea do Soajo","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"A aldeia da '''V\u00e1rzea do Soajo''', \u00e9 uma aldeia da freguesia [[Portugal|portuguesa]] de [[Soajo]], concelho de [[Arcos de Valdevez]], que ficou praticamente toda coberta pelas \u00e1guas, em 1992, com a entrada em funcionamento da [[Barragem do Alto-Lindoso]]\n\n== Enquadramento Natural ==\nAldeia serrana de natureza agro-pastoril, situa-se na margem direita do [[Rio Castro Laboreiro]], afluente do [[Rio Lima]], cuja margem esquerda pertence ao dom\u00ednio espanhol. Nas v\u00e1rzeas, de reduzidas dimens\u00f5es, eram cultivados o centeio e milho para consumo local, num sistema de colabora\u00e7\u00e3o de tipo comunit\u00e1rio agro-pastoril. A pastor\u00edcia era feita em locais como o Cabe\u00e7o da Pedrada, Outeiro Maior, Fonte Furcada, Corga e Ch\u00e3 do Boi.Rosa Moreira da Silva, A aldeia da V\u00e1rzea \u2013 Serra do Soajo. Monografia. Revista da faculdade de Letras \u2013 Geografia I S\u00e9rie, Vol. I. Porto 1985, pp 5-32\n\n== Enquadramento populacional ==\nA situa\u00e7\u00e3o geogr\u00e1fica da aldeia constituiu durante muitos anos um dif\u00edcil obst\u00e1culo \u00e0 comunica\u00e7\u00e3o. O caminho para se chegar \u00e0 sede da freguesia, Soajo, ou ao centro do concelho, Arcos de Valdevez, tinha de se fazer a p\u00e9. A partir de 1960, surgiu a primeira estrada florestal, que por um circuito de 25 Km que passava por Adr\u00e3o, que ligava a aldeia a Soajo. A partir de 1982 o trajecto foi encurtado com a estrada municipal que liga Cunhas a Soajo.\n\nAntes de haver estrada, a popula\u00e7\u00e3o s\u00f3 se deslocava a Soajo pela \u00e9poca das grandes feiras, para vender, comprar ou trocar produtos. Se um doente precisasse de m\u00e9dico e n\u00e3o pudesse caminhar, teria de ser levado de padiola at\u00e9 Soajo. E s\u00f3 a partir da\u00ed poderia ser transportado de autom\u00f3vel at\u00e9 \u00e0 vila de Arcos de Valdevez.\n\n{{Refer\u00eancias}}\n{{portal3|geografia|portugal}}\n{{DEFAULTSORT:Varzea Soajo}}\n[[Categoria:Soajo]]"}]},"3643809":{"pageid":3643809,"ns":0,"title":"Franciscus Gomarus","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{Info/Escritor\n| nome = Franciscus Gomarus
(1563-1641)\n| imagem = Gomarus.jpg\n| legenda = \n| data_nascimento = {{dni|30|1|1563|si}}\n| local_nascimento = [[Bruges]], {{BEL}}\n| data_morte = {{morte|11|1|1641}}\n| local_morte = [[Groningen]], {{NLD}}\n| ocupacao = [[Te\u00f3logo]] e [[calvinista]] holand\u00eas.\n| alma_mater = [[Universidade de Rostock]]\n}}\n'''Franciscus Gomarus''' (Franz Gomar, Fran\u00e7ois Gomaer, 1563-1641) (* [[Bruges]], [[30 de Janeiro]] de [[1563]] - \u2020 [[Groningen]], [[11 de Janeiro]] de [[1641]]), foi te\u00f3logo, calvinista e Professor de Teologia da [[Universidade de Leiden]]. Foi um ferrenho opositor da teorias religiosas de [[Jac\u00f3 Arm\u00ednio|Jacobus Arminius]], o qual foi formalmente julgado durante o [[S\u00ednodo de Dort]] (1618-1619).\n\n== Vida ==\nSeus pais, tendo abra\u00e7ado os princ\u00edpios da [[Reforma Protestante|Reforma]], emigraram para o [[Palatinato]] em 1578, para respirar os ventos da liberdade e poderem professar a sua nova f\u00e9, portanto, enviaram o seu filho para ser educado em [[Estrasburgo]] aos cuidados do fil\u00f3sofo e matem\u00e1tico alem\u00e3o ''Johann Sturm''[http://en.wikipedia.org/wiki/Johann_Sturm ''Johann Christoph Sturm (1635-1703)''] (* ''Hilpoltstein'', [[Fran\u00e7a]], [[3 de Novembro]] de [[1635]] - \u2020 [[Altdorf]], [[26 de Dezembro]] de [[ 1703]]), foi astr\u00f4nomo, matem\u00e1tico e fil\u00f3sofo alem\u00e3o e autor da obra ''Physica Electiva'' (1697).. Ele l\u00e1 permaneceu durante tr\u00eas anos, e em 1580 foi para [[Neustadt]], onde os professores de [[Heidelberg]] tinham sido expulsos pelo eleitor-palatino[http://de.wikipedia.org/wiki/Ludwig_VI._(Pfalz) ''Ludwig VI. Eleitor Palatino (1539-1583)''] (* [[Simmern/Hunsr\u00fcck|Simmern]], [[4 de Julho]] de [[1539]] - \u2020 [[Heidelberg]], [[22 de Outubro]] de [[1583]]), ao contr\u00e1rio de seu pai, deu prefer\u00eancia aos [[Luteranos]] ao inv\u00e9s dos [[Calvinistas]], expulsando-os de suas fun\u00e7\u00f5es na [[Universidade de Heidelberg]]. porque eles n\u00e3o eram [[Luteranismo|Luteranos]]. Aqui seus professores foram ''Zacharias Ursinus''[http://en.wikipedia.org/wiki/Zacharius_Ursinus ''Zacharias Ursinus (1534-1583)''] (* [[Breslau]], [[18 de Julho]] de [[1534]] - \u2020 [[Neustadt]], [[6 de Maio]] de [[1583]]), foi te\u00f3logo e reformador alem\u00e3o. (1534-1583), ''Hieronymus Zanchius''[http://en.wikipedia.org/wiki/Hieronymus_Zanchius ''Girolamo Zanchi (1516-1590)''] (* [[Alzano Lombardo]], [[2 de Fevereiro]] de [[1516]] - \u2020 [[Heidelberg]], [[19 de Novembro]] de [[1590]]), foi educador e te\u00f3logo protestante italiano. (1560-1590), e ''Daniel Tossanus'' (1541-1602)[http://en.wikipedia.org/wiki/Daniel_Tossanus ''Daniel Tossanus (1541-1602)''] (* [[Montb\u00e9liard]], [[15 de Julho]] de [[1541]] - [[Heidelberg]], [[16 de Janeiro]] de [[1602]]), foi te\u00f3logo e reformador franc\u00eas.. Indo depois para a [[Inglaterra]] no fim de 1582, ele frequentou as aulas de ''John Rainolds''[http://en.wikipedia.org/wiki/John_Rainolds ''John Rainolds (1549-1607)] (* ''Pinhoe'', perto de [[Exeter]], [[1549]] - \u2020 na mesma cidade, [[21 de Maio]] de [[1607]]), foi acad\u00eamico e te\u00f3logo puritano ingl\u00eas. Tomou parte na [[King James Version|Vers\u00e3o Autorizada da B\u00edblia]] inglesa, da qual ele foi o iniciador. (1549-1607) na [[Universidade de Oxford]], bem como as aulas de ''William Whitaker (1548-1595)''[http://en.wikipedia.org/wiki/William_Whitaker_(theologian) ''William Whitaker (1548-1595)''], (* [[1548]] - [http://en.wikipedia.org/wiki/Borough_of_Burnley ''Condado de Burnley''], [[4 de Dezembro]] de [[1595]]), te\u00f3logo anglicano. na [[Universidade de Cambridge]]. Se formou em [[Cambridge]] em junho de 1584, e depois foi para [[Heidelberg]], onde a [[faculdade]] tinha sido reestabelecida com a morte de Ludwig VI, tendo o seu irm\u00e3o Johann Casimir[http://de.wikipedia.org/wiki/Johann_Kasimir_(Pfalz-Simmern) ''Johann Casimir, Eleitor Palatino (1543-1592)''] (* [[Simmern/Hunsr\u00fcck|Simmern]], [[7 de Mar\u00e7o]] de [[1543]] - [[Heidelberg]], [[16 de Janeiro]] de [[1592]]), foi eleitor palatino de 1593 at\u00e9 a sua morte. restaurando os antigos cargos da universidade e onde permaneceu durante dois anos. Foi pasto da [[Igreja Reformada Neerlandesa|Igreja Reformada da Holanda]] em [[Frankfurt]] de 1587 at\u00e9 1593, quando a congrega\u00e7\u00e3o foi dispersa por causa das [[Persegui\u00e7\u00e3o|persegui\u00e7\u00f5es]]. Em 1594 foi nomeado Professor de Teologia da [[Universidade de Leiden]], e antes de ir para l\u00e1 recebeu da [[Universidade de Heidelberg]] o seu [[Doutoramento|diploma de doutorado]].\n\n== Teologia ==\nEle ensinou tranquilamente em [[Leiden]] at\u00e9 1603, quando [[Jac\u00f3 Arm\u00ednio|Jacobus Arminius]] veio a ser um dos seus colegas da faculdade de teologia, e come\u00e7ou a ensinar aquilo que considerou ser essencialmente como as [[Pelagianismo|doutrinas de Pel\u00e1gio]] e com o fim de criar uma [[Arminianismo|nova escola de teologia]] dentro da universidade. Gomarus imediatamente assumiu a fun\u00e7\u00e3o de oposi\u00e7\u00e3o a essas cren\u00e7as em suas aulas no col\u00e9gio, e foi apoiado por ''Johann Bogermann (1570-1637)''[http://en.wikipedia.org/wiki/Johann_B._Bogermann ''Johannes Bogerman (1576-1637)''] (* [[1576]] - [[11 de Setembro]] de [[1637]]), foi um te\u00f3logo protestante holand\u00eas., que mais tarde se tornaria Professor de Teologia em [[Franeker]]. Gomarus tornou-se ent\u00e3o o l\u00edder dos opositores de Arminius, e os seus seguidores foram chamados de Gomaristas.\n\nPor duas vezes ele travou um combate pessoal contra Arminius na assembl\u00e9ia dos ''Estados Holandeses''Estados da Holanda e da Fr\u00edsia Oriental, eram a representa\u00e7\u00e3o dos dois estados (a Nobreza e os Comuns) para a corte do Conde de Holanda. em 1608, e foi um dos cinco Gomaristas que enfrentaram cinco Arminianos ou Remonstrantes na mesma assembleia de 1609. Por ocasi\u00e3o da morte de Arminius pouco depois dessa \u00e9poca, ''Konrad Vorstius''[http://en.wikipedia.org/wiki/Konrad_Vorstius ''Conrad Vorstius (1569-1622)''] (* [[Col\u00f4nia]], [[19 de Julho]] de [[1569]] - [[T\u00f6nning]]. [[29 de Setembro]] de [[1622]]), foi te\u00f3logo e sucessor de [[Jac\u00f3 Arm\u00ednio|Jacobus Arminius]] na [[Universidade de Leiden]]., que simpatizava com as id\u00e9ias de Arminius, foi nomeado para suced\u00ea-lo, apesar da oposi\u00e7\u00e3o de Gomarus e de seus amigos. Gomarus ficou ofendido com a derrota, renunciou ao posto, e foi para [[Midelburgo|Middelburg]] em 1611, onde se tornou pregador da Igreja Reformada, e ensinou teologia e hebraico na recem fundada Illustre Schule.\n\nMais tarde, em 1614, ele foi convidado para uma cadeira de teologia na ''Academia de Saumur''A Academia de Saumur foi uma universidade [[huguenote]] em Saumur, no Oeste da [[Fran\u00e7a]], foi fundada por [http://en.wikipedia.org/wiki/Philippe_de_Mornay ''Philippe de Mornay (1549-1623)''] em 1593 e foi extinta em 1683 por [[Lu\u00eds XIV de Fran\u00e7a|Lu\u00eds XIV]]. [http://en.wikipedia.org/wiki/Philippe_de_Mornay ''Philippe de Mornay (1549-1623)''] (* [http://it.wikipedia.org/wiki/Buhy ''Buhy''], [[5 de Novembro]] de [[1549]] - \u2020 [[La For\u00eat-sur-S\u00e8vre]], [[11 de Novembro]] de [[1623]], tamb\u00e9m conhecido como Mornay Du Plessi, foi pol\u00edtico, te\u00f3logo e escritor franc\u00eas., onde ele permaneceu quatro anos, e depois aceitou um convite como professor de teologia e hebraico na [[Universidade de Groningen]], onde permaneceu at\u00e9 seus \u00faltimos dias em [[11 de Janeiro]] de [[1641]]. Gomarus, apesar de sua fun\u00e7\u00e3o como professor de hebraico, era favor\u00e1vel \u00e0s restri\u00e7\u00f5es aos judeus.\n\n== [[S\u00ednodo de Dort|S\u00ednodo de Dordrecht]] ==\n\nGomarus teve papel preponderante no [[S\u00ednodo de Dort|S\u00ednodo de Dordrecht]], ocorrido em 1618 com o fim de julgar as doutrinas de Arminius. Ele era pessoa h\u00e1bil, entusiasta e erudita, um consider\u00e1vel erudito oriental, e tamb\u00e9m um tanto controversista. Ele tomou parte na equipe de revis\u00e3o da tradu\u00e7\u00e3o holandesa do [[Velho Testamento]] em 1633, e depois de sua morte, um livro de sua autoria, chamado Lyra Davidis, foi publicado, o qual procurava explicar os princ\u00edpios da m\u00e9trica hebraica, e a qual criou alguma controv\u00e9rsia na \u00e9poca, tendo sido criticada por ''Louis Cappel (1585-1658)''[http://en.wikipedia.org/wiki/Louis_Cappel ''Louis Cappel (1585-1658)''] (* ''St Eli\u00e9'', perto de [[Sedan|S\u00e9dan]]. [[15 de Outubro]] de [[1585]] - \u2020 [[Saumur]], [[18 de Junho]] de [[1658]]), orientalista, hebra\u00edsta, te\u00f3logo e historiador franc\u00eas.. As suas obras foram reunidas e publicadas em um \u00fanico volume folio, em [[Amsterdam]], em 1645. Em [[Groningen]], ele foi sucedido pelo seu aluno ''Samuel Maresius (1599-1673)''[http://en.wikipedia.org/wiki/Samuel_Maresius ''Samuel Maresius (1599-1673)''] (* Oisemont, Picardia, [[9 de Agosto]] de [[1599]] - \u2020 [[Groningen]], [[18 de Maio]] de [[1673]]), foi te\u00f3logo e controversista franco-holand\u00eas..\n\n== Obras ==\n* [http://books.google.es/books?id=cSc8AAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=jCR8TtSMKMvEswbShOVG&sa=X&oi=book_result&ct=result&resnum=8&ved=0CFAQ6AEwBw#v=onepage&q&f=false ''Anticosterus: seu Enchiridii Controversiarum Praecipuarum Nostri Temporis De Religione, a Francisco Costero ... conscripti, Refutatio (refutaci\u00f3n de Francisco Costero, te\u00f3logo jesuita)''], 1599\n* [http://books.google.es/books?id=2mdDAAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=vyV8TsS6HcfUsgbz8sAQ&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCwQ6AEwADgK#v=onepage&q&f=false ''Historie vande Spaensche Inquisitie: Uutgestelt door exempelen, op datmen die te beter in dese laetste tijden vertaen mach''], 1569\n* [http://books.google.es/books?id=Oxg8AAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=a6R8Tq2IKIey8QP564SFAQ&sa=X&oi=book_result&ct=result&resnum=3&ved=0CDYQ6AEwAg#v=onepage&q&f=false ''Capitum argumentis et notas ad marginem (comentarios y notas) al Defensor Pacis de Marsilio de Padua''], 1592\n* [http://books.google.es/books?id=Ix48AAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=a6R8Tq2IKIey8QP564SFAQ&sa=X&oi=book_result&ct=result&resnum=5&ved=0CEEQ6AEwBA#v=onepage&q&f=false ''Conciliatio doctrinae orthodoxae de providentia Dei''], 1597\n* [http://books.google.es/books?id=921JAAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=a6R8Tq2IKIey8QP564SFAQ&sa=X&oi=book_result&ct=result&resnum=10&ved=0CFoQ6AEwCQ#v=onepage&q&f=false ''Francisci Gomari Proeve van M. P. Bertii Aenspraeck. Ter eeren der waerheydt, tot toutsinge van de geesten, die in de ware Religie, verandering soecken in te bringen, ende tot stichtinge der Gemeynte, uytgegeven ...''], 1610\n* [http://books.google.es/books?id=1GpJAAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=jCR8TtSMKMvEswbShOVG&sa=X&oi=book_result&ct=result&resnum=9&ved=0CFUQ6AEwCA#v=onepage&q&f=false ''Twee dispvtatien van de goddelijcke predestinatie, d'eene by doct. Franciscvs Gomarvs, d'ander by doct. Iacobvs Arminivs, beyde professoren inde Theologie tot Leyden, tot ondersoeck der waerheyt, ende oeffeninge der Ieucht, inde hooghe schole aldaer openbaerlijck voorghestelt int Iaer 1604''], 1610\n* [http://books.google.es/books?id=arE6AAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=a6R8Tq2IKIey8QP564SFAQ&sa=X&oi=book_result&ct=result&resnum=7&ved=0CEsQ6AEwBg#v=onepage&q&f=false ''Accoort Vande Recht-sinnige Leere der Voorsienicheyt Gods''], 1613\n* [http://books.google.es/books?id=SZ2sQAAACAAJ&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=a6R8Tq2IKIey8QP564SFAQ&sa=X&oi=book_result&ct=result&resnum=2&ved=0CDIQ6AEwAQ ''Investigatio Sententiae Et Originis Sabbati''], 1628\n* [http://books.google.es/books?id=QXdAAAAAcAAJ&printsec=frontcover&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=jCR8TtSMKMvEswbShOVG&sa=X&oi=book_result&ct=result&resnum=6&ved=0CEYQ6AEwBQ#v=onepage&q&f=false ''Examen controversiarum de genealogia Christi''], 1631\n* [http://books.google.es/books?id=NitBAAAAcAAJ&printsec=frontcover&dq=franciscus+gomarus&hl=es&ei=jiN8TuapHcbCtAblv_ET&sa=X&oi=book_result&ct=result&resnum=1&ved=0CC0Q6AEwAA#v=onepage&q&f=false ''Davidis lyra. Seu nova Hebraea S. Scripturae Ars Poetica, canonibus suis descripta, et exemplis sacris, et Pindari ac Sophoclis paralellis demonstrata''], 1637\n* [http://books.google.es/books?id=SjK6QAAACAAJ&dq=inauthor:%22Franciscus+Gomarus%22&hl=es&ei=vyV8TsS6HcfUsgbz8sAQ&sa=X&oi=book_result&ct=result&resnum=9&ved=0CFcQ6AEwCDgK ''Francisci Gomari Brugensis viri clariss. Opera theologica omnia''], Joannes Janssonius', 1644\n* [http://books.google.com.br/books?id=zZw-AAAAcAAJ&printsec=frontcover&hl=es&redir_esc=y#v=onepage&q&f=false ''Opera theologica omnia: maximam partem posthuma, suprema authoris voluntate a discipulis edita cum indicibus necesariis. Deus persiciet pro me. Secundis Curis emendatiora''], Joannes Janssonius, 1664\n\n\n== Refer\u00eancias ==\n\n* [http://words.fromoldbooks.org/Chalmers-Biography/g/gomar-francis.html ''Chalmers' Dictionary of Biographies'']\n* [http://gso.gbv.de/DB=1.28/REL?PPN=004326326&RELTYPE=TT&COOKIE=U999,K999,D1.28,Eb64638e3-1f5,I0,B9994++++++,SY,A%5C9008+1,,0,H12-23,,30-31,,50,,60-61,,73-77,,80,,88-90,NGAST,R187.83.126.146,FN ''Publica\u00e7\u00f5es de e sobre Franciscus Gomarus'']\n* [http://www.bautz.de/bbkl/g/gomarus_f.shtml ''Biographisch-Bibliographisches Kirchenlexikon (BBKL).'']\n* [http://de.wikisource.org/wiki/ADB:Gomarus,_Franciscus ''Allgemeine Deutsche Biographie (ADB).'']\n* [http://www.historici.nl/retroboeken/vdaa/#source=aa__001biog08_01.xml&page=287&size=800&accessor=accessor_index&view=transcriptiePane ''Biographisch Woordenboek der Nederlande'']\n\n== Notas ==\n{{reflist}}\n\n{{DEFAULTSORT:Gomarus, Franciscus}}\n[[Categoria:Calvinistas]]\n[[Categoria:Te\u00f3logos dos Pa\u00edses Baixos]]\n[[Categoria:Tradutores da B\u00edblia]]\n[[Categoria:Hebra\u00edstas]]"}]},"2798797":{"pageid":2798797,"ns":0,"title":"Arthur Korn","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{Sem fontes|data=julho de 2020}}\n{{Info/Biografia/Wikidata\n|nome =Arthur Korn\n|data_nascimento ={{dni|20|5|1870|si}}\n|local_nascimento=[[Wroc\u0142aw]]\n|data_morte ={{nowrap|{{morte|21|12|1945|20|5|1870}}}}\n|local_morte =[[Jersey City]]\n|nacionalidade =[[Alem\u00e3es|alem\u00e3o]]\n|campo =[[f\u00edsica]]\n}}\n'''Arthur Korn''' ([[Wroc\u0142aw]], [[20 de maio]] de [[1870]] \u2014 [[Jersey City]], [[21 de dezembro]] de [[1945]]) foi um [[f\u00edsico]] [[Alem\u00e3es|alem\u00e3o]].\n\n==Liga\u00e7\u00f5es externas==\n*{{Link|en|2=http://www.hffax.de/html/hauptteil_faxhistory.htm|3=The Korn methods of the photo telegraphy}}\n\n{{Controle de autoridade}}\n\n{{DEFAULTSORT:Korn, Arthur}}\n[[Categoria:Professores da Universidade T\u00e9cnica de Berlim]]\n[[Categoria:Professores da Universidade de Munique]]\n[[Categoria:F\u00edsicos da Alemanha]]\n[[Categoria:Alunos da Universidade de Leipzig]]\n[[Categoria:Judeus da Alemanha]]"}]},"3441875":{"pageid":3441875,"ns":0,"title":"Hor\u00e1rio da \u00c1frica Oriental","revisions":[{"contentformat":"text/x-wiki","contentmodel":"wikitext","*":"{{Fuso hor\u00e1rio da \u00c1frica}}\n'''Hor\u00e1rio da \u00c1frica Oriental''', ou '''EAT''', \u00e9 um [[fuso hor\u00e1rio]] usado na [[\u00c1frica]] Oriental. A zona \u00e9 de tr\u00eas horas \u00e0 frente do UTC ([[UTC+3]]), que \u00e9 o mesmo que Hor\u00e1rio Padr\u00e3o da Ar\u00e1bia, e tamb\u00e9m o mesmo que [[Hor\u00e1rio de Ver\u00e3o da Europa Oriental]].{{citar web|t\u00edtulo=EAT Time|url=http://www.world-time-zones.org/zones/east-africa-time.htm|publicado=World Time Zones.Org|acessodata=29-04-2012}} \n\nComo este fuso hor\u00e1rio \u00e9 predominantemente na regi\u00e3o [[equatorial]], n\u00e3o h\u00e1 nenhuma mudan\u00e7a significativa na dura\u00e7\u00e3o do dia durante todo o ano, ent\u00e3o [[hor\u00e1rio de ver\u00e3o]] n\u00e3o \u00e9 observado.\n\nHor\u00e1rio da \u00c1frica Oriental \u00e9 usado pelos seguintes pa\u00edses:\n* {{Flagcountry|Comoros}}\n* {{Flagcountry|Djibouti}}\n* {{Flagcountry|Eritrea}}\n* {{Flagcountry|Ethiopia}}\n* {{Flagcountry|Kenya}}\n* {{Flagcountry|Madagascar}}\n* {{Flagcountry|Somalia}}\n* {{Flagcountry|South Sudan}}\n* {{Flagcountry|Sudan}}\n* {{Flagcountry|Tanzania}}\n* {{Flagcountry|Uganda}}\n{{Clear}}\n== Veja tamb\u00e9m ==\n* [[Hor\u00e1rio de Moscou]], um fuso hor\u00e1rio equivalente abrangendo [[Hora do Leste Europeu|Belarus]], [[Turquia]] e a maior parte de [[Hor\u00e1rio na R\u00fassia|R\u00fassia europeia]], tamb\u00e9m em [[UTC+3|UTC+03:00]]\n* [[Hor\u00e1rio da Ar\u00e1bia]], um fuso hor\u00e1rio equivalente cobrindo [[Bahrein]], [[Iraque]], [[Kuwait]], [[Qatar]], [[Ar\u00e1bia Saudita]] e [[I\u00eamen]], tamb\u00e9m na [[UTC+3|UTC+03:00]]\n* [[Hor\u00e1rio de ver\u00e3o da Europa Oriental]], um fuso hor\u00e1rio equivalente cobrindo pa\u00edses da [[Europa]] e [[Oriente M\u00e9dio]] durante [[Hor\u00e1rio de ver\u00e3o]], tamb\u00e9m em [[UTC+3|UTC+03:00]]\n* [[Hor\u00e1rio de Ver\u00e3o de Israel]], um fuso hor\u00e1rio equivalente cobrindo o [[Estado de Israel]] durante [[Hor\u00e1rio de ver\u00e3o]], tamb\u00e9m em [[UTC+3|UTC+03:00]]\n* [[Hor\u00e1rio do Leste Europeu]], um fuso hor\u00e1rio equivalente abrangendo o [[Europe|Europeu]] ampliado do Leste, tamb\u00e9m em [[UTC+3|UTC+03:00]]\n\n{{Refer\u00eancias}}\n\n[[Categoria:\u00c1frica Oriental|Time zone]]\n[[Categoria:Fusos hor\u00e1rios]]\n\n{{Esbo\u00e7o-medida}}"}]}}}}