Professional Documents
Culture Documents
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
RECIFE - 2016
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
RECIFE - 2016
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
Ti e Donda (in memoriam).
If you use a trick in logic, whom can you be tricking other than yourself?
Ludwig Wittgenstein
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
RESUMO
Com esta monografia pretendi investigar a hiptese de utilizar a lgica de defaults de Reiter
como linguagem lgica apta a ser base de uma representao de conhecimento da legislao
por meio da formalizao de um fragmento do Cdigo Civil de 2002. Elegi como marco
terico o trabalho do lgico canadense Raymond Reiter, que iniciou uma tradio do uso de
defaults na pesquisa sobre inteligncia artificial simblica. Como o objetivo de Reiter era
capturar um aspecto geral do raciocnio humano, apoiei-me no trabalho de Henry Prakken
para estabelecer a ligao entre raciocnio default e o mundo do direito. A pesquisa foi focada
estritamente no mtodo bibliogrfico, em que foi estudada a bibliografia sobre lgica e
representao do conhecimento. Pretendi traduzir um fragmento do Cdigo Civil de 2002,
mais precisamente seus oito primeiros artigos, bem como seus respectivos incisos e
pargrafos, para a linguagem da lgica de defaults. O trabalho aborda preliminarmente certos
argumentos contra a utilizao da lgica para se estudar o direito, e depois apresenta uma
linguagem de primeira ordem LPO, esquematiza o funcionamento formal dos defaults e
desenvolve a Teoria CC8, o produto da traduo lgica acima referida. Por fim, o trabalho
conclui que a lgica de defaults de Reiter por si s incapaz de lidar com o objeto de estudo
proposto, mas que seu estudo pode oferecer insights para pesquisas posteriores no campo.
!
Palavras-chave: Inteligncia Artificial & direito, lgica no-monotnica, lgica jurdica,
inteligncia artificial simblica, lgica de defaults.
!
!
!
!
!
!
!
!
!
!
SUMRIO
INTRODUO
10
10
11
19
21
21
23
31
2.2.1.: Os defaults
33
3. A TEORIA CC8
40
41
46
46
4.2. Modularidade
48
48
4.4. Implementao
49
4.5. Expressividade
50
5. CONCLUSO
52
!
!
!
!
!
!
!
!
!
!
!
INTRODUO
A lgica um saber necessrio aos juristas! Dificilmente tal afirmao seria
contestada caso fosse direcionada a alunos ou profissionais que lidam com o direito. No
entanto, experimente dizer a seguinte frase em voz alta para uma audincia composta por
juristas: A lgica matemtica um saber que pode ser muito til na atividade do direito. A
adjetivao matemtica causaria, sem dvidas, certo embarao em parte da audincia.
Aqueles que antes no ofereceram qualquer antagonismo lgica mudariam sua postura.
Pediriam para que o orador qualificasse melhor sua fala, que ele especificasse aquilo que quis
dizer. Indagaes como Voc est dizendo que a atividade jurdica pode ser reduzida a meros
silogismos? ou Essa tal lgica nunca poder substituir a atividade dos profissionais do
direito dificilmente no ocorreriam.
Apesar de ter sido apresentada como sendo uma cena imaginria, ela mais real e
imediata do que se pode imaginar. J presenciei cenas semelhantes desde que comecei a me
interessar pelo estudo do direito atravs da lgica. Pouqussimas foram as situaes em que
qualquer fala sobre automatizao de decises jurdicas, modelizao do raciocnio jurdico
atravs da lgica, conexes filosficas entre lgica e direito, verificao de consistncia
lgica de textos normativos (entre outros temas) no resultaram em um antagonismo prvio,
uma rejeio de plano da prpria possibilidade de se estudar o fenmeno jurdico atravs da
lgica matemtica. Curiosamente, este embarao nunca ocorreu enquanto eu conversava com
lgicos ou com cientistas da computao. A aproximao entre suas disciplinas e outras
(como a do direito) lhes parece to natural que no deixa espao para que se forme um
ceticismo apriorstico.
A existncia desse ambiente normalmente hostil requer do presente trabalho o maior
rigor tcnico, preciso e clareza possveis. Poderia parecer estranho que, diante de tais
exigncias, ele esteja escrito em primeira pessoa. Fiz essa escolha conscientemente, sem medo
de passar a impresso de parcialidade ou de anti-cientificidade. que a prpria natureza do
tema escolhido impede que ocorra um descontrole metodolgico. Pretendo construir uma
teoria default customizada de modo a servir como modelo de um fragmento do Cdigo Civil
de 2002 (mais especificamente de seus oito primeiros artigos e respectivos incisos e
pargrafos). Chamarei essa teoria de CC8 em referncia ao seu objeto. Aps construir CC8,
verificarei seu desempenho em lidar com situaes simples do mundo jurdico.O objetivo
analisar os resultados de se utilizar uma lgica default como linguagem formal na qual se
traduziro enunciados jurdicos. A concluso consistir em apontamentos de acertos e de
dificuldades em criar um sistema de representao de conhecimento baseado na lgica default
de Reiter.
O trabalho tem dois marcos tericos bem definidos: a) o paper A Logic for Default
Reasoning do lgico canadense Raymond Reiter e b) os escritos de Henry Prakken sobre
lgica e direito. A escolha da lgica de Reiter no foi aleatria. O autor, que escrevia sobre
Inteligncia Artificial em geral, preocupava-se com um aspecto do raciocnio humano: o fato
de que muitas vezes trabalhos com crenas derrotveis. Isso quer dizer o seguinte: muitas
vezes supomos que uma determinada proposio verdadeira, mas estamos dispostos
retrat-la caso alguma evidncia aponte o contrrio. Isto pode se traduzir do seguinte modo:
tendo em mos um conjunto de premissas podemos, atravs de um conjunto de regras de
inferncia F, chegar a uma certa concluso P.1 No entanto, caso nosso conjunto de premissas
seja enriquecido por premissas adicionais, como um conjunto de novas premissas2, nossa
concluso P poderia ser retrada diante dessas novas informaes. Esse aspecto da lgica de
defaults em que partimos de generalizaes que podem ser derrotadas por excees parece ser
bastante apropriada para o direito. Nessa esteira entra o trabalho de Henry Prakken, que vem
explorando o uso de lgicas no-monotnicas (e a lgica de defaults essencialmente nomonotnica (REITER, 1980, p. 81) ) para modelar o raciocnio jurdico e representao de
conhecimento legal. Parto ento da hiptese de que um modelo do direito deve operar de
maneira no-monotnica e realizo o estudo da lgica de defaults como passvel de capturar o
modo como juristas lidam com a legislao.
O estudo ter a seguinte estrutura: o primeiro captulo ser dedicado a enfrentar alguns
questionamentos que, caso fossem verdadeiros, apresentariam dificuldades prpria
possibilidade de se utilizar uma linguagem lgica para criar um modelo de representao de
conhecimento para o direito. O segundo captulo ser composto por duas explicaes. A
primeira delas servir para definir o que se entende por uma linguagem lgica; a segunda ser
uma apresentao da lgica de defaults e uma definio formal do que significa dizer que uma
1
Ou seja, .
lgica no-monotnica. No terceiro captulo haver a construo da teoria CC8, baseada nos
conceitos abordados no segundo captulo. Sero apresentados os defaults que devem ser
contidos na teoria CC8. O quarto captulo consistir em por o funcionamento da teoria CC8
sob anlise.
O paradigma de investigao que se adota neste trabalho o de representao de
conhecimento (knowledge representation). O objetivo tentar exprimir, mediante uma
linguagem lgica, um modelo de como se deve raciocinar seguindo
Estudar lgica e direito no cenrio acadmico nacional no tarefa fcil. Excetuando-se
alguns polos de pesquisa como o grupo de pesquisa da Universidade de So Paulo,
liderado por Juliano Maranho, e o da Universidade Federal do Paran, liderado por Csar
Serbena houve pouca penetrao do tema nas faculdades de direito brasileiras. Esse fato
revela-se nas referncias bibliogrficas desse estudo, que so em sua maioria oriundas de
publicaes internacionais escritas em ingls. Nesse sentido, o presente estudo tambm tem o
objetivo mais geral de ser uma adio ao acervo bibliogrfico em lngua portuguesa sobre
lgica e direito. importante que sejam feitos esforos para produzir contedo acessvel
sobre lgica e direito. Irei prezar, sobretudo, pela acessibilidade. O assunto ser tratado de
modo compreensvel, escrito em uma linguagem concisa e direta sem floreios , ainda
que tecnicamente precisa e sria.
!
!
!
!
!
!
!
!
!
!
!
!
!
utilizadas por pesquisadores da rea de lgica. Assim, deve ficar claro que as investigaes
entre direito e lgica prescindem de qualquer meno ou uso da doutrina do silogismo.
1.1.1. O que o silogismo?
As discusses que versam sobre os fundamentos filosficos que levaram Aristteles a
criar a disciplina da lgica e a doutrina do silogismo so vastas. Todavia, no h necessidade
de que tais questes sejam abordadas aqui, j que no me preocupo em analisar o porqu de
Aristteles ter definido o silogismo desta ou daquela maneira, e sim em extrair e estudar as
regras que regem a construo de silogismos, entendidos aqui como estruturas sintticas.
Portanto, propriedades formais no-filosficas sero levadas em considerao. Alm
disso, discutirei ao fim da seo problemas de anacronismo na traduo dos silogismos para a
lgica simblica moderna.
A definio textual do que um silogismo exposta no Analticos Anteriores e, a partir
dela, j possvel observar elementos essenciais da composio sinttica dos silogismos
diretos:
O silogismo uma locuo em que, dadas certas proposies, algo distinto delas resulta
necessariamente, pela simples presena das proposies dadas. Por simples presena das
proposies dadas entendo que mediante elas que o efeito se obtm; por sua vez, a
expresso mediante elas que o efeito se obtm significa que no se carece de qualquer
outro termo a elas estranho, para obter esse necessrio efeito.3 (Aristteles, p. 11, 1986)
Em outra traduo, a mesma passagem l: A syllogism is an argument in which certain things being posited,
something other than what was laid down results by necessity because these things are so. By because these
things are so I mean that it results through these, and by resulting through these I mean that no term is required
from outside for the necessity to come about. (Aristteles, p. 2, 2009)
Clias. Ento, o silogismo apontado acima poderia ser formalizado em FOL da seguinte
maneira (em que H interpretado como homem; M como mortal; e s como
Scrates):
(x.((Hx Mx) Hs) Ms)
Esta frmula bem formada, correta do ponto de vista do clculo de predicados, no
poderia ser construda silogisticamente pelo emprego errneo de um termo individual.6 Diante
do exposto, pode-se fazer uma pergunta: como poderia o silogismo aristotlico tocar um caso
concreto jurdico se no se pode utilizar nomes prprios, justamente a construo lingustica
que designa sujeitos de direito (pessoa fsica ou jurdica)? Este um primeiro obstculo ao
Devo meu primeiro contato com esta observao sobre os termos de um silogismo ao professor Torquato
Castro Jr., que sempre tem o cuidado de faz-la em suas aulas.
5
Trabalho aqui com a noo de lgica clssica como encontrado em (HAACK, p. 28, 2002). Desta forma, tanto
o clculo proposicional (clculo sentencial) quanto a lgica de primeira ordem (clculo de predicados; FOL) so
chamadas de lgicas clssicas.
6
Para mais informaes sobre a rejeio de Aristteles pelos nomes prprios e elementos singulares, v.
(UKASIEWICZ, 1957, pp. 5-7)
Para maior clareza, alguns exemplos de relaes reflexivas so as de igualdade e a de ser divisor. Todo nmero
igual a si, e todo nmero divisvel por si prprio.
extenso de cada um dos conceitos jurdicos a serem formalizados. Felizmente, nenhum dos
dois problemas precisa ser enfrentado.
(PRAKKEN, 1997, pp. 16-17) pede que seja considerada uma determinada norma que
impede a entrada de veculos em um parque. Tal norma poderia ser formalizada da seguinte
maneira:
(v p)
(c v)
(m v)
No entanto, nada disso tem qualquer relevncia crtica contra o projeto de formalizao.
No primeiro caso, o da definio de um determinado conceito de veculo, o lgico buscaria
transformar em linguagem formal apenas aquilo que aparece na legislao. Ou seja, a
definio dada a este ou aquele conceito jurdico cabe apenas ao legislador, e esta definio
a que deve ser formalizada. Para (PRAKKEN, 1997, p. 17), a validade de uma clusula de
fechamento de conceito no depende da formalizao:
Que uma frmula como a (4) seja verdadeira depende completamente em como a norma
formulada pelo legislador ou interpretada pelo judicirio; ela no se torna verdadeira por
causa da formalizao lgica. Isto mostra que um conceito formalizado ainda pode ser
parcialmente indefinido em um mundo lgico8
Perelman, como expoente de uma abordagem retrica do direito (sua nova retrica)
utiliza a expresso lgica jurdica no com qualquer conotao referente a aplicaes do
campo da lgica ao direito. Pergunta (PERELMAN, 2000, p.5) se deveramos inclinar-nos ao
uso [da expresso lgica jurdica] dos lgicos ou ater-nos ao dos juristas que sabem muito
bem do que se trata quando falam de lgica jurdica? Em sua concepo, lgica jurdica se
relaciona mais com a noo mais vaga de como os juristas lidam com seus problemas. Sua
rejeio da utilidade da lgica na representao do direito o levou a formular um argumento
que tem, em seu ncleo, a objeo fraca.
Em (PERELMAN, 1990, pp. 636-648)9, o autor belga argumenta que em alguns casos
necessrio que seja feito um escrutnio da inteno do legislador para que seja possvel
realizar uma formalizao lgica da legislao.
Para ilustrar seu ponto, diz Perelman:
Se, por exemplo, uma lei submete todos os jovens de uma certa idade ao servio militar
obrigatrio, a inevitvel concluso, por aplicao do argumento a simili, a de que tambm
esto submetidas ao mesmo dever as jovens do sexo feminino da mesma idade. De sua
parte, mediante o argumento a contrario, elas estaro isentas deste mesmo dever.
Para reduzir estes argumentos a esquemas puramente formais, indispensvel que sua
aplicao, caso a caso, seja precedida de uma argumentao em torno da inteno do
legislador.
[]whether a formula like (4) is true depends completely on how the norm is formulated by the legislator or
interpreted by the judiciary; it does not become true because of the logical formalization. This shows that a
formalized concept can be partially undefined, that a logical world can be open.
9
O texto original foi publicado em francs. Neste trabalho utilizo, para fins de incluso de citaes em
vernculo, a traduo feita por Cassio Scarpinella Bueno. Disponvel em: http://www.scarpinellabueno.com.br/
Textos/Perelman1.pdf (Acesso: 12/11/15)
Acredito que esteja bastante claro ao leitor exatamente onde est o erro de Perelman.
Como j argumentei acima, o lgico no precisaria entrar no mrito dessa questo, pois ele
no estaria obrigado a tentar definir completamente o conceito de jovens. O responsvel por
criar a base de conhecimento10 (a contrapartida formal da legislao) deveria apenas tornar
formal aquilo que est posto na legislao; no haveria necessidade de que ele, de alguma
forma, decidisse a questo posta por Perelman.
Este tipo de crtica explica, sem dvidas, o que leva os juristas levantarem a objeo
fraqussima.
Esta consiste em afirmar que seria subtrada do magistrado a capacidade de formar
juzos quanto ao caso concreto, pois ele estaria preso ao que uma mquina decidisse. Chamo
esta objeo de fraqussima pois ela fundada em um emaranhado de suposies e premissas
que esto longe de muitas das discusses que ocorrem no campo de pesquisa do direito &
Inteligncia Artificial.
Devo comear esclarecendo que os atuais esforos no sentido de criar sistemas
especialistas em direito ou bases de conhecimento aplicadas legislao no visam criar uma
Inteligncia Artificial forte.11 De modo que no h no horizonte prximo a viso de uma
mquina que possa nos fornecer, acuradamente, informaes sobre como um determinado
caso deve ser decidido sem a presena de um ser humano realizando inputs. Ou seja, uma
base de conhecimentos aplicada ao direito em seus moldes atuais necessita de algum
que analise um caso concreto, e aps observar os aspectos relevantes do caso, alimente a
mquina com os dados a serem computados, de modo que o ser humano o responsvel por
realizar o processo de interpretao. Imagine um cenrio em que algum deve decidir se uma
bicicleta motorizada que entrou em um parque (em um local onde vigora a norma imaginada
por Prakken que determina a proibio da entrada de veculos em parques) o fez de maneira
lcita ou ilcita. Seria necessrio que algum, analisando o caso, decidisse se uma bicicleta
motorizada deve ou no contar como sendo um veculo; usar esta premissa como input,
10
11
Deve-se entender, aqui, IA forte (tambm chamada, por vezes, de IA completa) como o projeto geral de
criar uma mquina que possa imitar, por completo, a mente humana. (HAUGELAND, 1985, p. 2) d uma boa
definio do conceito: The fundamental goal of this research is not merely to mimic intelligence or produce
some clever fake. Not at all. AI wants only the genuine article: machines with minds, in the full and literal
sense. This is not science fiction, but real science, based on a theoretical conception as deep as it is daring:
namely, we are, at root, computer ourselves.
e s ento receberia uma resposta acerca da proibio. Este tipo de aplicao est muito mais
ligada ao desenvolvimento de sistemas especialistas suficientemente robustos para que sirvam
propsitos estreitos, que se preocupam apenas com uma pequena rea do conhecimento.
O caso da bicicleta, apesar de ser bastante simples, ilustra como funcionaria na prtica
um sistema de automatizao de decises jurdicas. Parece-me tambm que esta linha de
ataque faz parecer com que os lgicos do direito neguem o papel primordial da argumentao
e das estratgias de persuaso e convencimento empregadas por advogados. Nada mais longe
da verdade, j que a prpria comunidade de inteligncia artificial e direito reconhece que na
prtica jurdica a argumentao tem papel central. (PRAKKEN & SARTOR, 2015, p. 16)
Sinto-me tambm na obrigao de destacar outro ponto. J h experincias fortuitas no
emprego destes sistemas, mormente na rea de direito previdencirio. O uso destes sistemas
foi capaz de reduzir duas grandes fontes de erros no processamento da legislao
previdenciria por funcionrios pblicos: o conhecimento incompleto das normas e a
incapacidade demonstrada por alguns funcionrios em lidar com situaes complexas.
(PRAKKEN, 2014, p. 3)
1.3. Consideraes finais
necessrio enfatizar que o uso da lgica na investigao do direito bastante
ramificado. Divido as aplicaes em aplicaes prticas e aplicaes tericas. A primeira
ligada a discusses de como melhor formalizar a legislao; se o conceito de semelhana
estrutural12 deve ser levado em considerao na criao de bases de conhecimento; qual a
linguagem lgica a ser utilizada; se deve-se sacrificar eficincia computacional em favor de
maior complexidade; se devem ser levados em conta precedentes judiciais na confeco da
KB; enfim, todo tipo de discusso que esteja diretamente ligada implementao de um
sistema computacional que possa servir de auxlio a magistrados, advogados, funcionrios
pblicos em geral e cidados. Pesquisas tericas, em geral, versam sobre como (e se)
podemos formalizar o raciocnio jurdico (v. HAAGE, 2005); maneiras de se formalizar
dilogos judiciais (v. PRAKKEN, 2008a & PRAKKEN, 2008b); contribuies da teoria da
argumentao formal (v. PRAKKEN & SARTOR, 2009); e outros campos da interseo entre
direito, lgica, argumentao e inteligncia artificial. manifesto que a separao entre
12
No original, structural resemblance. Este conceito ser abordado com mais profundidade no captulo
seguinte.
investigao prtica e terica no total, e que h pesquisas que navegam pelos dois lados.
No entanto, acredito que essa diviso seja bastante didtica e que ela demonstre a necessidade
de se qualificar melhor exatamente o que se pretende criticar quando se fala em uso da lgica.
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
No se deve confundir o sentido de compromisso ontolgico aqui utilizado com o estudo das ontologias em
filosofia.
O primeiro critrio diz que quando lidamos com uma RC no estamos, de fato, lidando
com a coisa representada. Criamos uma representao e manipulamos esta representao
como se estivssemos lidando com a coisa representada.14 O segundo critrio revela que
impossvel escolher uma certa representao e no admitir a existncia (dentro dessa
representao) de que certas coisas existem. No caso de uma RC do fragmento do Cdigo
Civil, tem-se que conceder a existncia de pessoas, de que as pessoas podem ser divididas
quanto a certos predicados como maior de idade, menor de idade, incapaz etc. Essas
escolhas no refletem uma escolha filosfica sobre o estudo da ontologia, apenas denotam as
categorias que devem ser levadas em considerao ao se criar uma RC. O terceiro critrio
aproxima-se do que caracterizamos como o estudo da lgica. Uma RC sempre contm um
motor de inferncias que so sancionadas dentro deste sistema (DAVIS et al, 1993, p. 11). O
motor de inferncias de uma RC deve ser desenhado tendo-se em mente o objeto que est
sendo representado. O quarto critrio mais tcnico e aponta que deve haver sempre uma
ponderao sobre eficincia computacional e utilidade de um sistema. H sempre um trade-off
entre a expressividade de um sistema e sua eficincia computacional. (DAVIS et al, 1993, p.
16) Por fim, uma RC um modo de expresso humana j que uma RC um modo de
comunicao para o uso de humanos. Quando nos deparamos com uma RC, devemos sempre
nos perguntar: Essa RC efetivamente cumpre sua funo?, Ela expressiva o suficiente?
etc. (DAVIS et al, 1993, p. 17).
Aps essas breves consideraes sobre o que constitui uma linguagem lgica e uma
estrutura de RC, passo a descrever uma linguagem lgica de primeira ordem sobre a qual iro
operar os defaults.
2.1.1. Apresentando a linguagem LPO
Uma linguagem lgica sempre composta de um vocabulrio e de um conjunto de
regras gramaticais que iro determinar sua sintaxe. O vocabulrio de uma lgica de primeira
ordem (a qual irei utilizar at o final deste trabalho) usualmente composto por constantes
lgicas, letras de predicados, letras funcionais15, variveis, constantes individuais, parnteses
14
(DAVIS et al, 1993, p. 3) Concede que toda representao uma aproximao imperfeita da realidade. At a
minimum we must omit some of the effectively limitless complexity of the natural world; our descriptions may
in addition introduce artifacts not present in the world.
15
A incluso de letras funcionais na linguagem utilizada neste trabalho iria aumentar demasiadamente sua
complexidade, sem que este aumento de complexidade fosse acompanhado de um aumento de expressividade da
linguagem. Por este motivo, no tornarei a falar sobre letras funcionais.
!
DEFINIO 1.1: O ALFABETO DE LPO
Variveis: x, y, z (que podem ser acrescidas de nmeros subscritos para gerar um nmero
infinito de variveis);
Quantificadores: , ;
16
(BESNARD, 1989, p. 29) diz que: Whatever we may expect from a nonmonotonic logic, its language should
encompass a first order language. Isso se d porque as linguagens de primeira ordem tm um poder de
expresso muito forte, bem como um apelo intuitivo em seu modo de construo de proposies. O prprio
Reiter utiliza uma linguagem de primeira ordem para tratar de defaults. Mais, muitos livros introdutrios sobre
RC, como (BRACHMAN & LEVESQUE, 2004), e trabalhos cientficos em geral tambm elegem uma lgica de
primeira ordem como a base de suas discusses sobre defaults. Deste modo, sigo a recomendao de Besnard de
que uma lgica de primeira ordem deve ser utilizada.
17
18
Parnteses: (, ).
!
As constantes lgicas , , , , ~ representam as expresses em linguagem natural
se ento; e (conjuno); ou; se e somente se, e no verdade que, respectivamente.
Os quantificadores x, x representam para todo x e existe ao menos um x,
respectivamente.
As letras de predicado representam relaes. Uma relao , usualmente, definida a
partir da noo de conjuntos. Poderamos dizer que o casamento, por exemplo, uma relao
binria entre duas pessoas. Apesar de no haver limite ao nmero de termos que podem
figurar em uma relao, neste trabalho sero usadas apenas relaes unrias (de aridade 1) e
binrias (de aridade 2). A existncia de relaes unrias pode despertar alguma estranheza,
pois parece natural pensar que algo sempre est em relao com ao menos outra coisa. No
entanto, como a definio formal de relao estritamente matemtica, faz perfeito sentido
falar em uma relao unria.
As regras de formao de nossa linguagem de primeira ordem (LPO) so:
!
DEFINIO 1.2: GRAMTICA DE LPO
Frmulas atmicas: se uma letra de predicado de aridade19 n, para algum nmero
natural n, e t1,, tn so termos, ento (t1,,tn) uma frmula atmica. Alm disso, (t1,
,tn) tambm uma FBF.
Frmulas moleculares: se e so FBFs (seguindo o esquema apresentado
anteriormente), ento ~, , , , , , so FBFs.
Nada mais uma FBF de LPO.
!
Esta uma definio indutiva do conjunto de FBFs de nossa linguagem LPO. Note que
os smbolos e 20 no fazem parte do vocabulrio da linguagem LPO. e so
19
A aridade de um predicado pode ser intuitivamente explicada como sendo o nmero de termos que cabem em
um predicado. Por exemplo, se P um predicado de aridade 1 correspondente assero um jurista, podemos
escrever Px para dizer que x um jurista. Se, por exemplo, i denota talo, w denota Waldo e F denota f de,
escrevemos Fiw para dizer que talo f de Waldo. preciso ter em mente que a ordem em que os termos
aparecem importa. Se escrevo Fwi, quero dizer Waldo f de talo. Alm disso, um predicado de aridade n
deve ser necessariamente preenchido por um nmero n de termos.
20
metavariveis que tm como contradomnio o conjunto de FBFs. Isto quer dizer, em outras
palavras, que voc pode substituir e por qualquer FBF e, seguindo as regras acima, a
frmula resultante tambm ser uma FBF.
A partir desta exposio temos a sintaxe da nossa linguagem LPO. No entanto, o leitor
atento perceber que ainda no se pode fazer nada com nossa linguagem. Precisamos, antes de
definir o que um default, definir uma semntica para a nossa linguagem.21 Para que
possamos fazer isso, preciso definir as noes de estrutura e de modelo.
!
DEFINIO 1.3: ESTRUTURA
Uma estrutura A de LPO um par ordenado (A, IA ), onde A um domnio no-vazio
contvel22 e IA uma funo interpretao.
!
O domnio de uma estrutura um conjunto (em sentido matemtico) que especifica as
entidades que existem nessa estrutura. Esse conjunto deve seguir uma regra de formao: ele
no pode ser vazio. Isto , necessrio que haja ao menos um elemento pertencente ao
domnio da estrutura. Informalmente, pode-se definir o domnio de uma estrutura como sendo
o conjunto de todos os cidados brasileiros; o conjunto de estrangeiros em solo nacional; o
conjunto de todas as pessoas jurdicas registradas em cartrio no Brasil; ou at mesmo o
conjunto unitrio composto pelo requerido de um processo qualquer. importante apenas que
o conjunto tenha seus membros unicamente especificados. Lembre-se sempre que conjunto
deve ser entendido em sua acepo matemtica.
A funo interpretao IA atribui, para cada constante individual de LPO um elemento
do domnio, chamado sua interpretao. Alm disso, ela tambm atribui a cada letra de
predicado de LPO uma interpretao em A (ou seja, no domnio da estrutura A). A
interpretao de uma letra de predicado denota uma propriedade.
Antes de prosseguir com a definio da funo interpretativa, dou uma explicao
intuitiva de como ela funciona. Imagine uma linguagem LPO*, consistindo das constantes
21
A semntica modelo-terica no nica. Para um exemplo de abordagem prova-terica v., p. ex., (MARTINLF, 1996).
22
O requerimento de o domnio ser no-vazio garante que haja ao menos um elemento no conjunto; o
requerimento de que o nmero de elementos seja enumervel garante, ainda que o nmero de elementos do
domnio seja infinito, que possa ser feita uma bijeo entre
23
Lembre-se que uma funo uma relao entre um elemento de seu domnio e um elemento do
contradomnio, de modo que ela estabelece uma relao de 1 para 1. No h nada impedindo que duas constantes
individuais diferentes refiram-se ao mesmo indivduo, mas uma constante individual nunca poder referir-se
dois ou mais indivduos.
24
No h limite quanto a aridade de um predicado. No entanto, irei utilizar apenas predicados unrios e binrios
durante este trabalho.
!
DEFINIO 1.4: VERDADE E FALSIDADE EM UMA ESTRUTURA
Uma frmula verdadeira em uma estrutura A se o seu valor semntico for V; uma
frmula falsa em uma estrutura A se o seu valor semntico for F.26
!
DEFINIO 1.5: VALOR SEMNTICO DE UMA FBF
A(Pt1tn) = V sse (I(t1),,I(tn)) I(P), em que P um smbolo de predicado n-rio n > 0, e
t1,,tn so parmetros27;
A(~) = V sse A() = F;
A( ) = V sse A() = V ou A() = V;
A( ) = V sse A() = V e A() = V;
A( ) = V sse A() = F ou A() = V;
A( ) = V sse A() = A();
A() = V sse A([x/i]) = V, para todo parmetro i;
A() = V sse A([x/i]) = V, para algum parmetro i.28
DEFINIO 1.6: MODELO
Uma estrutura A modelo de um conjunto de frmulas se, para toda frmula , A()
= V.
!
25
O fato de que o subconjunto vazio, , pode ser designado por uma funo interpretao no deve causar
espanto. O nico requerimento que se faz que o domnio da estrutura contenha ao menos um elemento. Alm
disso, recorde que um subconjunto de todo e qualquer conjunto.
26
27
28
Esta definio de verdade foi retirada de (MORTARI, 2001) que, por sua vez, fez uma adaptao da definio
de verdade de Alfred Trski, criador da teoria dos modelos.
!
DEFINIO 1.7: CONSEQUNCIA LGICA
!
Isto quer dizer, de forma mais intuitiva, que impossvel que todas as frmulas de
sejam verdadeiras e que, em tal interpretao, seja falsa. A noo de consequncia lgica de
LPO conserva o valor de verdade de suas frmulas. Observe que esta construo de
consequncia lgica monotnica. Para entender melhor o que isto significa, voltemos ao
nosso exemplo anterior. Afirmei no pargrafo anterior definio de consequncia lgica que
{x(Px)} {Pr, Pv, Pj, x(Px)}29. Perceba que meu conjunto de premissas consiste em
apenas uma frmula, a afirmao universal x(Px). No entanto, posso adicionar quantas
premissas forem necessrias no antecedente da relao de consequncia lgica. Digamos que
eu queira verificar quais FBFs so acarretadas por {x(Px), (rMv vMr), (rMv)}. Se (rMv
vMr) verdadeira, e rMv verdadeira ento, necessariamente, vMr tambm verdadeira.
Note que estas novas premissas em nada afetam a nossa premissa x(Px). Logo, {x(Px),
(rMv vMr), rMv} {Pr, Pv, Pj, x(Px), vMr}. A adio de uma nova premissa ao nosso
conjunto anterior no reduziu o nosso conjunto de concluses; Pr, Pv, Pj, x(Px) continuam
sendo consequncia lgica de x(Px). Informalmente, uma relao de consequncia lgica
monotnica se a partir de um conjunto de premissas podemos derivar uma frmula , ento a
partir de este conjunto de premissas mais quaisquer outras premissas continua sendo uma
consequncia lgica do novo conjunto de premissas.
!
DEFINIO 1.8: RELAO DE CONSEQUNCIA MONOTNICA
Se , ento .
!
29 As
Isto pode ser expresso da seguinte maneira ( denota uma frmula contraditria, isto , uma frmula
logicamente invlida).
32
No original: Reasoning patterns of this kind represent a form of plausible inference and are typically required
whenever conclusions must be drawn despite the absence of total knowledge about a world.
sabia que o fato de Ednaldo ser menor de idade no uma garantia de que ele no
plenamente capaz; mas caso voc estivesse de posse de somente esta informao, razovel
inferir tentativamente que Ednaldo relativamente ou absolutamente incapaz. A segunda
caracterstica apenas complementa a primeira. Se voc chegou uma concluso ciente de que
luz de novas informaes esta concluso no se sustentaria, e novas informaes tornam sua
concluso inconsistente com o conjunto de premissas adotadas, ento voc deve (idealmente)
retirar sua concluso e substitu-la.
A intuio inicial de Reiter no desenvolvimento da lgica de defaults no lhe ocorreu
por consideraes acerca do mundo jurdico. Reiter preocupou-se com situaes observadas
no quotidiano, em que raciocinamos sem recorrer regras apresentadas em um texto
legislativo dotado de autoridade. O exemplo clssico o de Tweety (REITER, 1980, p. 82).
Se algum sabe que Tweety um pssaro, razovel inferir que Tweety capaz de voar. No
entanto, quando se descobre que Tweety , na verdade, um pinguim, deve-se dizer que Tweety
no capaz de voar. Os defaults foram criados para modelar este tipo de raciocnio. Note que
o problema com o qual Reiter tentou lidar mais complexo e aparentemente intratvel do que
caso ele estivesse preocupado apenas com enunciados jurdicos. Quando raciocinamos no diaa-dia no temos, como no direito, um livro de regras nossa disposio que sirva (ao menos)
como ponto de partida para que tiremos concluses. Diferentemente do exemplo dado no
incio desta seo, no chegamos concluso de que Tweety no capaz de voar porque
checamos uma regra escrita em linguagem natural que nos informa que pinguins no voam.
Como consequncia, um engenheiro que deseje criar uma mquina capaz de lidar com todas
as situaes que encontramos no dia-a-dia no ter um conjunto condensado de fontes do qual
possa criar seus defaults.
Em direito, por outro lado, h um tal conjunto de fontes: a legislao. Apesar de haver
uma mirade de cdigos, portarias, leis ordinrias, leis extraordinrias, leis municipais, leis
estaduais etc, algum que deseje apresentar um modelo de RC de como certos problemas
jurdicos devem ser resolvidos inevitavelmente utilizar textos legislativos como fonte para
seu sistema (isto especialmente verdadeiro em pases alinhados tradio de civil law).
Isto no quer dizer, evidentemente, que no h inmeros problemas relacionados ao
modo como juristas raciocinam e chegam a concluses sobre casos concretos. No entanto, as
consideraes do pargrafo anterior apontam que h disponvel, no mundo jurdico, um
33 A mesma
fcil visualizar que essa construo nos impede de concluir que pssaros, em geral,
voam. (REITER, 1980, p. 82) Caso quisssemos estabelecer que Voa(tweety), apenas a
partir da premissa de que Pssaro(tweety), no poderamos faz-lo. Teramos que
estabelecer primeiro a verdade de todas as outras propriedades (as excees) que aparecem no
antecedente da implicao; algo impossvel, j que no dispomos de qualquer informao
adicional que nos permita determinar a espcie de Tweety.
Para sanar esta dificuldade, (REITER, 1980, p. 82) props a construo de uma regra
default do tipo:
Pssaro(x): Voa(x)
Voa(x)
Tal construo representa a essncia do que um default. Ele poderia ser rescrito da
seguinte forma Pssaro(x): M Voa(x)/Voa(x). As duas construes representam a
mesma regra default. (REITER, 1980, p. 82) afirma que esta regra deve ser lida (interpretada)
da seguinte maneira: Se x um pssaro e consistente supor que x possa voar, ento pode-se
acreditar que x voa. Pense agora em uma regra default mais prxima ao direito:
!
!
SujeitoDir(x): Inocente(x)
Inocente(x)
Isto no nada mais do que o familiar princpio de que todos so inocentes at que se
prove o contrrio. Ela pode ser lida: se x um sujeito de direito e consistente supor que x
inocente, ento x inocente.
Apesar de estes exemplos nos darem um entendimento intuitivo de como se comportam
os defaults, ainda preciso que eles sejam definidos formalmente:
!
DEFINIO 2.1:
Um default qualquer expresso da forma
(x): 1(x),,n(x)
(x)
Em que (x), (x), e (x) so frmulas bem-formadas de LPO, cujas variveis livres esto
entre aquelas de x = x1,,xn. (x) chamado de pr-requisito, 1(x),,n(x) so chamados
de justificativas e (x) de consequente.
Diz-se que um default fechado se nenhum (x), (x), e (x) contm uma varivel livre.34
!
DEFINIO 2.2:
Uma teoria default um par ordenado (W, D) em que D um conjunto de defaults e W um
conjunto de FBFs fechadas (ou seja, frmulas sem variveis livres).
!
A definio 2.2 estabelece que qualquer teoria default consiste de dois elementos: um
conjunto W contendo frmulas de LPO, fechadas, e um conjunto D contendo defaults. O
conjunto W pode ser pensando intuitivamente como sendo nossa knowledge base, nossa base
de conhecimento. Por exemplo, para que possamos derivar as consequncias jurdicas de uma
certa situao do mundo, devemos inserir no conjunto W todas as informaes que sabemos
sobre o caso. Pense em W como sendo o conjunto de todos os fatos descritos sobre uma
situao juridicamente relevante. O conjunto D, ento, representa o que podemos
dedutivamente afirmar acerca dos fatos descritos em W. Observe que, tecnicamente, uma
teoria default unicamente determinada pelos elementos contidos tanto em D quanto em W.
Isto implica dizer que para cada caso concreto sobre o qual aplicarmos nosso sistema h uma
teoria default correspondente, j que o conjunto W conter informaes diferentes em cada
caso.
Pode-se ver, a partir da definio 2.1, que para que uma regra default qualquer seja
acionada (e a partir disto, uma nova crena possa ser derivada) o seu pr-requisito deve ser
atendido. Para que o pr-requisito de uma regra default seja atendido, preciso que haja uma
frmula fechada de LPO contida no conjunto W de frmulas que corresponda frmula que
aparece no pr-requisito da regra default. Considere o default apresentado como
correspondendo ao princpio da presuno de inocncia. Para que aquela regra possa ser
aplicada para obtermos que x inocente, preciso que tenhamos, em W, uma frmula
34
Perceba que nenhum dos exemplos de defaults dados at agora eram fechados.
fechada35 que atribua a propriedade de ser inocente a algum. Se h uma frmula do tipo
SujeitoDir(Thiago) contida em W, ento o pr-requisito do default foi atendido e
agora podemos checar se ele pode gerar uma nova frmula ou no. Nesta etapa, deve-se olhar
para o que chamamos de justificativas. Se o resultado (a frmula obtida atravs da aplicao
do default) de se aplicar uma regra default consistente com o conjunto de justificativas da
regra, ento o default pode ser utilizado, e seu consequente pode passar a constituir uma
crena.
Neste ponto importante definir precisamente o que significa dizer que a derivao de
uma frmula atravs da aplicao de um default vlida. Dizemos que uma derivao
vlida em uma teoria default qualquer se faz parte da extenso de uma teoria.
!
DEFINIO 2.3: EXTENSO
I.
Seja = (W, D) uma teoria default fechada, tal que todo default pertencente a D tem a
forma (x): 1(x),,n(x)/(x) onde (x), 1(x),,n(x), e (x) so FBFs fechadas
de LPO.
Ou seja, uma frmula cujas variveis estejam todas no escopo de um quantificador ou que no contenha
variveis. Frmulas chamadas tambm so comumente chamadas de sentenas.
!
Trato de descompactar a definio formal acima e revestir-lhe de um carter mais
intuitivo e acessvel. Sabemos que uma teoria default um par ordenado (W, D), que W
um conjunto de frmulas fechadas e que D um conjunto de defaults. A extenso de uma
teoria default consistir em todas aquelas frmulas que podem so derivadas pelas regras de
acarretamento descritas na seo anterior, e as frmulas que podem ser obtidas nomonotonicamente atravs da aplicao de defaults frmulas de W.
Para que este resultado seja obtido, defina um conjunto ThL(S) tal que ele seja o
conjunto de todas as frmulas w tal que w pertence LPO (obedece s regras de formao de
LPO), w fechada e pode-se mostrar que w acarretada pelas frmulas de S. (Linha II da
definio de extenso).
Em seguida, a partir de qualquer conjunto S que seja um subconjunto de LPO, defina
(S) como o conjunto formado pelas trs seguintes condies: I) todas as frmulas que
pertencem ao conjunto W de devem estar contidas em (S); II) que o conjunto ThL((S))
seja igual ao conjunto (S) (ou seja, (S) dedutivamente fechada); e III) se (x): 1(x),
,n(x)/(x) um default que pertence a ; (x) pertence a (S); e ~1(x),,~n(x) no
pertence a (S); ento (x) pertence a (S). Isto quer dizer que se o pr-requisito do default a
ser aplicado pertence a (S) e a negao das justificativas do default no pertencem ao default
em questo, ento a concluso do default pertence a (S). (Linhas III-VI da definio de
extenso)
Por fim, tm-se que um conjunto E LPO uma extenso de no caso de E ser igual
(E). (Linha VII da definio de extenso).
O teorema provado por Reiter apenas demonstra como se pode construir recursivamente
uma extenso de uma teoria default a partir da repetida aplicao de defaults ao conjunto
inicial W (definido como sendo E0). Por sua vez, o conjunto E1 consistir de todas as frmulas
pertencentes a Th(E0) unidas com o resultado de se aplicar um default a E0 e assim por diante,
!
36
Para um exemplo de teoria default com extenses mutuamente inconsistentes ver (ANTONIOU, 1999, p.
353-355)
!
Agora que todas as preliminares formais foram apresentadas e todos os conceitos
lgicos foram precisamente definidos, passo a construir a teoria CC8.
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
3. A TEORIA CC8
No captulo anterior expus todos os elementos necessrios criao de nossa teoria
CC8. Como j foi discutido, seria mais preciso dizer que CC8 no uma teoria, mas sim um
esquema de uma teoria default, j que CC8 apenas um conjunto de defaults que depende da
adoo de um conjunto D de frmulas bem fechadas que contm informaes sobre um caso
concreto. Lembre-se que uma teoria default um par ordenado (W, D), e que qualquer
diferena entre os elementos de W ou D
O fragmento do Cdigo Civil a ser representado em forma default formado pelos oito
primeiros artigos (e seus respectivos pargrafos e incisos) do Cdigo Civil de 2002.
Reproduzo-os integralmente para que o leitor tenha agilidade na visualizao dos enunciados
jurdicos em linguagem natural, encontrados no Cdigo:
!
ARTIGOS DO CDIGO CIVIL DE 2002
Art. 1 Toda pessoa capaz de direitos e deveres na ordem civil.
Art. 2 A personalidade civil da pessoa comea do nascimento com vida; mas a lei pe a
salvo, desde a concepo, os direitos do nascituro.
Art. 3
especial.
Art. 5 A menoridade cessa aos dezoito anos completos, quando a pessoa fica habilitada
prtica de todos os atos da vida civil.
Pargrafo nico. Cessar, para os menores, a incapacidade:
!
3.1. Defaults da Teoria CC8
AbsInc(x)
d4.1: Pessoa(x)16<18(x) : RelInc(x)
!
!
RelInc(x)
RelInc(x)
d4.3: Pessoa(x)~ExprVontade(x) : RelInc(x)
RelInc(x)
!
!
Capaz(x)
!
d5.4: Pessoa(x)GrauSuperior(x) : Capaz(x)
Capaz(x)
!
!
Capaz(x)
d7.2: Pessoa(x)(Prisioneiro(x)Desaparecido(x))~Encontrado(x):
Morte(x)
Morte(x)
Estes defaults formam a totalidade do conjunto D pertencente Teoria CC8, que faz
parte da base de conhecimento do sistema. Cada um destes defaults est associado ao que
Henry Prakken chama de unidade-fonte (source unit) da legislao. Uma unidade-fonte ,
para o autor holands, a menor unidade identificvel da qual uma norma pode ser
extrada (PRAKKEN, 1990, p.35). Na construo dos defaults da Teoria CC8 tive o cuidado
de tentar manter a mesma estrutura da legislao, para que o leitor possa verificar de imediato
a correspondncia entre um default qualquer e uma unidade-fonte do fragmento escolhido do
CC8. Os subscritos servem para facilitar ainda mais neste processo de identificao.
O leitor atento perceber que, em regra, os defaults contm em seu pr-requisito o
predicado Pessoa, ainda que a legislao no deixe explcito que indispensvel que haja o
reconhecimento da personalidade pessoa natural. Isso ocorre menos por necessidade de
explicitar algo que fico implcito no modo como os enunciados foram escritos, mas mais por
uma necessidade tcnica. Como o objetivo da formalizao no apenas o de fazer uma
traduo de enunciados em lingua natural para enunciados lgicos, mas sim de verificar a
possibilidade de o sistema lgico ser capaz de chegar a concluses jurdicas acerca de
indivduos diversos em situaes diversas. Para alcanar tal objetivo, levando em
considerao o escopo restrito deste estudo (que lida primariamente com a atribuio de
personalidade jurdica s pessoas naturais e a atribuio de capacidade jurdica a elas) resolvi
utilizar o predicado Pessoa para assegurar que apenas aqueles indivduos aos quais
possamos atribuir personalidade jurdica possam ser objeto de ativao dos gatilhos dos
defaults. evidente que estas ltimas observaes so um tanto bvias, e que de certa
maneira eu poderia ter prescindido da insero deste predicado, mas ele serve para dar
contornos bastante limitados ao escopo da aplicao dos defaults.
O leitor atento tambm notar de imediato que faltam alguns dispositivos legais em
nossa lista de defaults. Isto no um acidente. Da mesma maneira, pelo modo como foram
!
DEFINIO 3.2: AS FRMULAS FIXAS DE W
(x) (16<18(x) (~ <16(x) ~ 18(x)))
(x) (<16(x) (~ 16<18(x) ~ 18(x)))
(x) (18(x) (~ <16(x) ~ 16<18(x)))
(x)(y) (MorteMesmaOcasio(x,y) MorteMesmaOcasio(y,x))
(x) (Morte(x) ~Vivo(x))
(x) (Vivo(x) ~Morte(x))
(x) (Vivo(x) Pessoa(x)) [Esta frmula equivale ao art. 2 do CC/02]
(x) (Pessoa(x) (AbsInc(x) RelInc(x) Capaz(x))) [Esta frmula equivale ao art. 1 do
CC/02]
(x) Capaz(x) (~ RelInc(x) ~ AbsInc(x))
(x) AbsInc(x) (~ RelInc(x) ~ Capaz(x))
(x) RelInc(x) ( ~ Capaz(x) ~ AbsInc(x))
Agora que todas as frmulas que necessariamente fazem parte da Teoria CC8 foram
explicitadas, dou a definio final, em termos lgicos, da Teoria CC8.
!
DEFINIO 3.3: TEORIA CC8
A Teoria CC8 um par (W, D) em que D = {d3, d4.1, d4.2, d4.3, d4.4, d5, d5.1, d5.2, d5.3, d5.4, d5.5,
d6, d7.1, d7.2, d8} e W = {def3.2 inputs}.
!
Como dito no comeo deste captulo, deve-se ver a definio acima como o esquema de
uma famlia de teorias CC8. Isto ocorre porque apesar de o conjunto D no variar, e o
conjunto def3.2 (ao qual pertencem todas as frmulas da Definio 3.2) tambm no variar, o
conjunto inputs varia. E, a rigor, cada variao de inputs implicaria a existncia de uma teoria
default correspondente a cada variao. Escolhi chamar minha definio de teoria por
convenincia e para destacar que existe um ncleo de regras default e de frmulas fechadas
que servem de base para a criao de diversas outras teorias (entendidas aqui em sua acepo
tcnica).
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
37
KB existentes. Esta possibilidade de criao de conflitos toda vez que novas unidades-fonte
so adicionadas ao mundo jurdico fazem com que aumentem as chances de erros serem
cometidos ao se atualizar uma KB. Neste quesito a lgica de defaults de Reiter parece ser
bastante adequada, ao menos em vista do fragmento utilizado. Foram criados 15 defaults e 2
frmulas de LPO para dar conta de cerca de 21 unidades-fonte. Como exclu de minha
formalizao o pargrafo nico do art. 4, temos que 20 unidades-fonte transformaram-se em
17 unidades-KB. No entanto, as cabeas de certos artigos na verdade no contm contedo
normativo independente de seus incisos ( o caso do art. 4 e do art. 7) e que o pargrafo
nico do art. 5 no pode servir de unidade-fonte. Logo, foram traduzidas 17 unidades-fonte
em 17 unidades-KB, uma correspondncia perfeita. evidente que trabalhei apenas com um
fragmento bastante diminuto da legislao, de modo que no se pode chegar concluso de
que sempre ser possvel utilizar a lgica de defaults para obter uma correspondncia to
precisa. Observe que a propriedade de no-monotonicidade da relao de consequncia lgica
introduzida pelos defaults o que garante a possibilidade fazer tradues que preservam a
semelhana estrutural. O uso de uma linguagem inteiramente monotnica implicaria a perda
de semelhana estrutural at no caso simples aqui considerado.
!
4.2. Modularidade
comum confundir a propriedade de semelhana estrutural com a de modularidade. A
primeira refere-se ao produto da formalizao, enquanto a ltima refere-se ao processo. Dizer
que um certo sistema lgica permite a adio modular de novas unidades-KB o mesmo que
dizer que possvel fazer alteraes na KB sem ter que se preocupar com o resto do domnio,
isto , que pode-se tratar a adio de novas unidades-KB de maneira mais ou menos
independente. (PRAKKEN, 1990, p. 251) mostra que h casos em que a tentativa de manter a
propriedade de semelhana estrutural de maneira pura (ou seja, mantendo sempre uma
correspondncia de um-para-um) faz com que a adio de certas unidades-KB seja nomodular, de modo que deve-se analisar o trade-off entre semelhana estrutural e
modularidade, ainda mais quando se quer formalizar tcnicas de interpretao como
recorrncia a hierarquias normativas e dar preferncia a leis mais novas em detrimento das
mais velhas.
4.3. Exclusividade da especificao
!
4.4. Implementao
Deixei claro no incio deste captulo que no pretendi criar um sistema especialista de
fato, de modo que deixei de lado consideraes acerca de dificuldades tcnicas de se utilizar a
lgica de defaults de Reiter como base para um sistema especialista. No entanto, h dois
pontos que precisam ser abordados. O primeiro deles quanto complexidade computacional
da lgica de defaults. O prprio (REITER, 1980, p.129) reconhece que o modo como os
defaults se comportam apresenta problemas de implementao. (PRAKKEN, 1990, pp. 72-73)
apresenta o problema de maneira didtica:
Apesar de sua claridade intuitiva ser bastante atraente, a lgica de defaults tambm possui
algumas inconvenincias reconhecidas. Uma delas sua complexidade computacional, cuja
fonte a definio de consistncia que, como vimos acima, no construtiva. O problema
consiste no fato de que, ao checar se um certo default pode ser utilizado para aumentar a
extenso, temos que conferir sua consistncia, e no suficiente inspecionar a extenso at
38
Ordenaes constituem um importante campo de estudos em teoria dos conjuntos. v. (DAVEY & PRIESTLEY,
2002)
o ponto em que esta foi construda por outros defaults; deve-se adivinhar o todo o contedo
da extenso antecipadamente, e isto no pode ser facilmente mecanizado.39
O fato de a definio de extenso no ser construtivo ainda tem outro problema muito
srio. Como no h uma ordem a ser seguida na aplicao dos defaults, o prprio usurio deve
escolher que defaults utilizar. Um exemplo pode ser retirado da prpria Teoria CC8.
Observe, como exemplo, os defaults d5 Pessoa(x)18(x) : Capaz(x)/ Capaz(x) e
d4.4.Pessoa(x)Prdigo(x) : RelInc(x)/ RelInc(x). Observe que caso as frmulas
Pessoa(Fulano), 18(Fulano) e Prdigo(Fulano) pertencessem ao conjunto de frmulas
fechadas W da Teoria CC8, poderamos ter duas extenses diferentes. Caso utilizssemos d5
primeiro, poderamos derivar Capaz(Fulano), e deste modo a aplicao de d4.4 ficaria
bloqueada, j que a frmula (x) Capaz(x) (~ RelInc(x) ~ AbsInc(x)) faz parte do
conjunto def3.2 e a partir dela teramos que ~ RelInc(Fulano). No entanto, caso aplicssemos
d4.4 primeiro, derivaramos a concluso RelInc(Fulano), o que bloquearia a utilizao de d5 j
que a frmula (x) RelInc(x) ( ~ Capaz(x) ~ AbsInc(x)) faz parte do conjunto def3.2 e
poderamos derivar ~Capaz(Fulano), e assim d5 falharia no requerimento de consistncia.
bvio que esta situao causa grandes problemas para a utilizao da lgica de Reiter
como base para a criao de um sistema especialista para o direito. imediatamente visvel
que a possibilidade de haver duas extenses contraditrias entre si, em virtude de uma
deficincia tcnica da linguagem, altamente indesejvel. Este caso poderia ser facilmente
remediado ao criar uma ordenao ao conjunto de defaults, obrigando que os defaults que do
como resultado a propriedade de incapacidade absoluta tivesse precedncia em relao aos
defaults que do como resultado a propriedade de incapacidade relativa, que por sua vez
teriam precedncia em relao aos defaults que do como resultado a propriedade de
capacidade plena. No entanto, criar este tipo de ordenao iria requerer uma redefinio do
conceito de extenso, e isto seria um enriquecimento bastante forte da teoria de Reiter.
!
4.5. Expressividade
39
No original: Although its intuitive clarity is very appealing, default logic also has some recognized
drawbacks. One of them is its computational complexity, a main source of which is the fact that the definition of
an extension is, as explained above, not constructive. The problem is that in applying the consistency check to
see whether a default can be used to enlarge an extension, it is not sufficient to inspect the extension as it has
been constructed so far by the other defaults; instead the content of the entire extension has to be guessed
beforehand, and this cannot easily be mechanized.
5. CONCLUSO
primeira vista, a partir da anlise dos cinco parmetros apontados por Prakken
como cruciais para qualquer representao de conhecimento jurdico, pode parecer que a
concluso deste trabalho bastante negativa quanto possibilidade de se utilizar a lgica de
defaults de Reiter como alternativa de formalizao ao direito. Esta viso correta, mas
incompleta. Como mostrei em repetidos pontos do texto, muitos dos problemas apresentados
pela lgica de defaults no ocorrem pelos defaults em si, mas apenas pelo modo inicial como
eles foram apresentados no paper A logic for default reasoning de Reiter. O lgico
canadense, apesar dos pontos fracos de suas linguagem, deu um salto enorme na rea de
pesquisa de inteligncia artificial simblica. Se seu sistema original era um tanto incompleto,
muitas das lacunas foram preenchidas por trabalhos posteriores, como (BREWKA, 1991) e
(LUKASZSEWICZ, 1990), que produz um mtodo construtivo de definir a extenso de uma
teoria default. A pesquisa mostra que a verso vanilla dos defaults , de fato, incapaz de
produzir resultados satisfatrios quanto sua utilizao prtica. No entanto, mesmo sem que a
teoria seja enriquecida, seu estudo pode ser de grande valia especialmente para interessados
na interseo entre lgica e direito que esto apenas comeando seus estudos. A linguagem de
Reiter bastante intuitiva em sua construo, e a partir dela podem ser definidos e
apresentados programas de pesquisa que sejam capazes de sanar as dificuldades da prpria
lgica de defaults de Reiter e dar insight para novas abordagens.
Se este trabalho chegou a concluses negativas sobre a viabilidade prtica de se
utilizar o sistema de Reiter como base para a criao de um sistema especialista, espero que
tenha alcanado ao menos um outro objetivo: mostrar que se pode fazer pesquisa sobre
assuntos intimamente ligados ao direito sem que tenha que se recorrer aos temas tradicionais
de se fazer pesquisa. Espero que este trabalho tenha dado ao menos uma amostra muitssimo
modesta de que possvel manipular ferramentas advindas das cincias exatas e utiliz-las de
modo a gerar perguntas que so do interesse da comunidade jurdica. Sim, verdade que a
hiptese deste trabalho mostrou-se falsa. Mas tambm verdade que o caminho para chegar a
esta resposta traz luz certas perguntas a serem respondidas em pesquisas subsequentes:
como podemos formalizar as hierarquias entre as leis (lato sensu)? Devemos recorrer
lgicas no-monotnicas ou pode-se permanecer no domnio das lgicas clssicas
monotnicas? De que maneiras podemos enriquecer os defaults para que possamos capturar
mais elementos do fenmeno jurdico? Este trabalhou lidou apenas com regras formuladas de
maneira bastante clara, seria possvel lidar tambm com princpios utilizando tcnicas
formais? As respostas tais perguntas dificilmente sero obtidas a menos que sejamos
capazes de lidar com o simbolismo. Nossas intuies no bastam para responder tais
perguntas. Um jurista que jamais estudou mtodos formais e linguagens artificiais pode
facilmente dispensar para si a utilidade ou a viabilidade de usar tais mtodos para estudar o
direito. Mas ele no pode dar respostas quelas perguntas (e a muitas outras) apenas atravs
de suas intuies.
Espero ter mostrado tambm que pesquisas que fazem uso de ferramentas formais
no precisam atacar problemas de modo holista. O escopo do trabalho bastante limitado:
estudei um fragmento diminuto de um pedao de legislao, evitei o problema dos princpios,
do raciocnio por analogia e da relao entre legislao e jurisprudncia. Evitei o conflito
entre normas de hierarquias diferente, e tambm evitei o problema de leis conflitantes que
foram editadas em datas diversas. O leitor pode se perguntar se esta abordagem
reducionista. A resposta positiva, enfaticamente positiva. Mas desta resposta no decorre
uma viso negativa deste tipo de fazer pesquisa. Pelo contrrio, acredito que bastante natural
que possamos identificar um problema complexo e dividi-lo em fragmentos mais tratveis,
sem que seja necessrio responder as perguntas mais difceis ao mesmo tempo que as mais
fceis e assim por diante. A atitude cientfica diante de problemas aparentemente hipercomplexos no consistem em descartar o problema como insolvel, mas sim em fragment-lo,
analis-lo por diferentes ngulos e tentar encontrar pontos fracos em sua armadura.
Por fim, destaco a importncia de que a pesquisa brasileira em direito torne-se mais
diversificada. O uso de elementos extra-jurdicos para estudar e propor solues para
problemas eminentemente jurdicos est em alta. Do uso de data mining, inteligncia artificial
baseada em redes neutrais e deep learning,
BIBLIOGRAFIA
ANTONIOU, Grigoris. A Tutorial on Default Logics. ACM Computing Surveys, v. 31,
1999, pp. 337-359.
ARISTTELES. Analticos Anteriores. Trad. Pinharanda Gomes. Lisboa: Guimares
Editores, 1986.
ARISTTELES. Posterior Analytics. Trad. Jonathan Barnes. 2 ed.. Oxford: Clarendon Press,
2002.
BESNARD, Phillip. An Introduction to Default Logic. Nova Iorque: Springer-Verlag Berlin
Heidelberg. 1989.
BZIAU, Jean-Yves. Is Modern Logic Non-aristotelian? In: D. Zaitsev (ed) Nikolai
Vasiliev's Logical Legacy and Modern Logic. Dordrecht: Springer, 2016.
BOCHENSKI, J. M.. A history of formal logic. Trad. Ivo Thomas. Notre Dame: University
of Notre Dame Press, 1961.
BRACHMAN, Ronald J.; LEVESQUE, Hector J.. Knowledge Representation and
Reasoning. So Francisco: Elsevier, 2004.
BREWKA, Gerhard. Nonmonotonic Reasoning: Logical Foundations of Common Sense.
Cambridge: Cambridge University Press, 1991.
DAVEY B. A, PRIESTLEY H.A. Introduction to Lattices and Order. 2. ed. Nova Iorque:
Cambridge University Press, 2002.
DAVIS R. et al.. What is a knowledge representation? AI Magazine.
FINKELSTEIN, David M.. How to do things with Wittgenstein: the relevance of
Wittgensteins later philosophy to the philosophy of law. The Journal of Jurisprudence, v.
8, 2010, pp. 647-675.
FREITAS, Fred. CANDEIAS JR, Zacharias. STUCKENSCHMIDT, Heiner. Towards Checkin
Laws Consistency through Ontology Design: The Case of Brazilian Vehicle Laws. Journal
of Theoretical and Applied Electronic Commerce Research, v. 6, 2011, pp. 112-126.
HAACK, Susan. Filosofia das lgicas. Trad. Cezar Augusto Mortari & Luiz Henrique de
Arajo Dutra. So Paulo: UNESP, 2002.
HAGE, Jaap. Studies in legal logic. Dordrecht: Springer, 2005.
HAUGELAND, John. Artificial Intelligence: the Very Idea. Cambridge: MIT Press, 1989.
HART, H. L. A.. O Conceito de Direito. Trad. A. Ribeiro Mendes. 5 ed. Lisboa: Fundao
Calouste Gulbenkian, 2007.
LEMMON, E. J.. Beginning Logic. 2. ed. Nova Iorque: Chapman & Hall/CRC, 1987.
UKASIEWICZ, Jan. Aristotles Syllogistic: from the point of view of modern formal logic.
2. ed. Londres: Oxford University Press, 1957.
UKASZEWICZ, Witold. Non-monotonic reasoning. Formalization of Commonsense
Reasoning. Chichester: Ellis Horwood. 1990.
MARANHO, Juliano S. de A.. A lgica no direito: grandes expectativas e algumas
desiluses. In: Estudos sobre lgica e direito. So Paulo: Marcial Pons, pp. 213-253, 2013.
MARTIN-Lf, Per. On the meanings of the logical constants and the justifications of the
logical laws. Nordic Journal of Philosophical Logic, v. 1, n. 1, pp. 11-60.
MENDELSON, Elliot. Introduction to mathematical logic. 6. ed.. Boca Raton: CRC Press,
2015.
MORTARI, Cezar A.. Introduo lgica. So Paulo: UNESP. 2001.
MOSSAKOWSKI et tal.. What is a logic?. In: Jean-Yves Bziau (ed.) Logica Universalis:
Towards a General Theory of Logic. Basel: Birkhuser Basel, 2007. pp. 111-133.
PATZIG, Gnther. Aristotles theory of the syllogism: a logico-philosophical study of book
A of the Prior Analytics. Trad. Jonathan Barnes. Dordrecht: Springer, 1968.
PERELMAN, Cham. Lgica Jurdica: nova retrica. Trad. Vergnia K Pupi. So Paulo:
Martins Fontes, 2000.
PRAKKEN, Henry. Logical Tools for Modeling Legal Reasoning. Dordrecht: Springer,
1997.
PRAKKEN, Henry. A Formal Model of Adjudication Dialogues. Artificial Intelligence and
Law. Springer Netherlands. v. 16, n. 3, pp. 305-328. 2008a.
PRAKKEN, Henry. Formalising Ordinary Legal Disputes: a Case Study. Artificial
Intelligence and Law. Springer Netherlands. v. 16, n. 4, pp. 333-359. 2008b.
PRAKKEN & SARTOR, H. Kaptein. Legal Evidence and Proof: Statistics, Stories, Logic.
H. Prakken & B. Verheij (eds.) Farnham: Ashgate Publishing, Applied Legal Philosophy
Series, 2009. pp. 223- 253.
PRAKKEN & SARTOR, Law and Logic: a Review from an Argumentation Perspective.
Artificial Intelligence. Elsevier. v. 227, pp. 214-245. 2015.
SIDER, Theodore. Logic for philosophers. Oxford: Oxford University Press. 2010.
SCHEINERMAN, Edward R.. Mathematics: a Discrete Introduction. 3. ed.. Boston:
Cengage Learning.
STRASSER, Christian. ANTONELLI, G. Aldo. Non-monotonic Logic. In: Edward Zalta
(ed.), The Stanford Encyclopedia of Philosophy. Disponvel em: http://plato.stanford.edu/
archives/fall2015/entries/logic-nonmonotonic/ (Acesso 16/11/2015)
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
ANEXO I: TABELAS DE VERDADE DOS CONECTIVOS LGICOS
!
!
!