The convergence of Law on Computing Science

Elias de Oliveira elias@inf.ufes.br Universidade Federal do Esprito Santo Cristine Griffo cristinegriffo@hotmail.com Fundao Novo Milnio Palavras-chave: Direito, ontologia da realidade social, representao de conhecimento, recuperao de informao.

1. Introduo
O Direito sempre foi visto como um mundo hermtico; com uma linguagem acessvel a um grupo limitado de pessoas; e, muitas vezes, gerador de anseios e angstias, muitos dos quais retratados em filmes ou livros, como O Processo, de Franz Kafka. Ontologicamente, Direito e Computao possuem traos idnticos: hermetismo, linguagem inteligvel a poucos, artificialismo e gerador de angstias. As revolues tecnolgicas pelas quais tm passado sociedade trouxeram como conseqncia o aumento da complexidade das relaes humanas (Lvy, 2000). Sempre se questionou se relaes intersubjetivas, objeto principal do domnio do Direito, poderiam ser formalizadas matematicamente, uma vez que as normas reguladoras dessas relaes dependiam do tempo e do espao para validao de suas interpretaes. Trabalhos na rea da Computao e do Direito confirmaram que esses relacionamentos na esfera jurdica podem ser computveis (Rover, 1999); (Griffo, 2004). Um impacto da complexidade das relaes humanas no Direito que pode ser mencionado foi o aumento da produo de documentos e processos. Assim, o problema que sempre existiu nos repositrios de livros e documentos como recuperar o documento certo no melhor tempo possvel? tornou-se um problema em voga no mundo do Direito. Este, por sua vez, inclinou-se para a tecnologia, vendo nesta um possvel caminho para a soluo. Neste contexto, surge o presente trabalho, indicando solues para construo do conhecimento e seu gerenciamento, como o conceito de ontologia traz um avano na representao de domnios e de conceitos genricos; a convergncia do Direito e da Computao e mtodos de recuperao em bases de conhecimento.

2. Ontologias
As ontologias so vistas como uma soluo para a representao da realidade em domnios jurdicos. Nesta perspectiva, a limitao existente na formalizao pela lgica de predicados, fundamento da modelagem ontolgica, tratada pela idia do compromisso ontolgico. Se concebermos como vlido para a interpretao de textos legais o tringulo de Husserl (figura 1): suporte fsico, significado e significao. Um signo (suporte fsico) se associa a um objeto (significado) e a um interpretante (significao). O signo a palavra (falada ou escrita); o objeto refere-se a algo do mundo interior ou exterior, da existncia concreta ou imaginria, atual ou passada e suscita em nossa mente uma noo ou idia que chamamos significao. No entrando no mrito da existncia ou no da intuio ou se tudo que existe produto de experincia subjetiva, podemos entender que no mundo do Direito, sendo um mundo artificial e humano, tudo que nele existe est em funo do sujeito, do seu tempo e do seu espao. Neste sentido, o compromisso ontolgico retratado por Guarino (1998) uma soluo para as constantes alteraes nos axiomas que compem o Direito. Pelo compromisso ontolgico, as diversas interpretaes que um texto legal pode tomar esto vinculadas pela relao tempo e espao, isto , a uma realidade social que muda medida que o ser humano tambm muda. Com isso, frmulas bem formadas (FBFs) que representam um enunciado legal em um nvel geral e abstrato sempre existiro como tal, mas as diversas normas jurdicas que se desprendem desse enunciado, cada qual apresentando uma interpretao do mesmo enunciado em diversos pontos (tempo versus espao), as quais existem em um nvel unvoco e abstrato (Griffo, 2004) podero coexistir (ainda que por um pouco espao de tempo) ou serem exclusivas, de acordo com a natureza do ordenamento jurdico em anlise.

significao

Suporte fsico

significado

Figura 1: o tringulo de Husserl para a interpretao de signos

Uma ontologia que representa um domnio jurdico especfico classificada como uma ontologia da realidade social. Uma caracterstica marcante deste tipo de ontologia a quantidade de variveis que influenciam o domnio e pertencem a ela. Cabe definir que, de um enunciado legal podem surgir vrias normas jurdicas (nvel unvoco abstrato ou unvoco concreto). Tambm, se for tomada como premissa que o Direito Positivo baseia-se em normas legais, princpios e jurisprudncias (Kelsen, 1979), ento axiomas que definem uma norma jurdica (existente em um nvel unvoco) passvel de alteraes ou excluses. Um bom exemplo o conceito de liberdade. No final do sculo XVIII, influenciada pelos movimentos libertrios, foi elaborada a Declarao dos Direitos do Homem e do Cidado votada definitivamente em 2 de outubro de 1789, ampliada pela Conveno Nacional em 1793, constando, nesta ltima verso o seguinte preceito: Todos os homens (H) so iguais (por natureza e) perante a lei (L). Ao formalizar este preceito legal usando a Lgica de Predicados, teremos:

(i)

z (L( z ) (xy (H ( x) H ( y ) Igual _ perante( x, y, z ) )))

No entanto, (i) possui vrias interpretaes no tempo e no espao. Considerando o espao fixo, apenas para uma melhor compreenso, teremos que o conceito homem em 1793 era representado pelo seguinte axioma: (ii)

x(hom em( x) branco( x) sexo _ masculino( x) possui _ bens ( x) )

As mulheres e os afro-americanos, por exemplo, no eram considerados homem pela interpretao do preceito legal naquele tempo (e naquele espao). Esta diferena bem representada pelo fato de mulheres e afro-americanos no possurem o direito de voto. A idia de res advinda do Direito Romano tanto para a mulher quanto para o escravo retirava qualquer oportunidade de defini-los como seres humanos autnomos e livres. Somente em 1920 as mulheres conquistaram o direito ao voto. Novamente, uma nova norma jurdica entra no ordenamento jurdico norte-americano alterando a idia anteriormente construda. Assim, o conceito de homem estendido permitindo a entrada da mulher como elemento essencial na formao do conceito homem. (iii) x (hom em ( x ) branco ( x ) (sexo _ masculino ( x ) sexo _ fe min ino ( x ) ) possui _ bens ( x ) ) O mesmo ocorre, em 1965, com o alargamento do conceito homem quando da promulgao do ato que dava o direito de voto aos afro-americanos. Notem que o preceito existente no nvel geral e abstrato no foi alterado todos os homens so iguais (por natureza e) perante a lei. O que se alterou com o tempo foi o utente da linguagem e construtor

do mundo dentico. Assim, uma vez que a interpretao est tambm em funo daquele que a constri (vide figura 1) o compromisso ontolgico de uma linguagem L, no caso a linguagem jurdica, conhecido como a interpretao da inteno (Guarino, 1998).

2.1 Ontologia da realidade social

Toda sociedade possui normas. Algumas normas, por serem vlidas em qualquer sociedade, podem ser entendidas como normas gerais e abstratas sem limites de espao e tempo (regras de formao, por exemplo). Outras, ainda que vinculadas a um domnio e a um intervalo de tempo, tambm podem ser relativamente genricas, uma vez que domnios semelhantes podem coexistir. Em um nvel individual e concreto ocorre a materializao do conceito genrico para casos concretos. Estes nveis podem ser representados da seguinte maneira:
NVEL GERAL E ABSTRATO ontologia genrica

NVEL UNVOCO E ABSTRATO ontologia de domnio ontologia de tarefas

NVEL UNVOCO E CONCRETO

ontologia de aplicao

modelagem da aplicao

o software Figura 2: nveis ontolgicos para a classificao de Guarino

A ontologia genrica est em um nvel geral e abstrato. dito nvel geral porque, como seu prprio nome mostra, possui elementos que podem ser aplicados a qualquer domnio. nvel abstrato porque no ocorre a aplicao desses conceitos na ontologia genrica, mas em uma ontologia mais especfica, como a ontologia de domnio e a ontologia de tarefas. A ontologia de domnio est em um nvel unvoco e abstrato. unvoco porque ocorre a aplicao das normas e dos conceitos gerais existentes no domnio genrico, por exemplo, o domnio "corregedoria de polcia militar" a aplicao do conceito "organizao". Ocorre a subsuno do conceito "corregedoria de polcia militar" ao conceito "organizao". abstrato porque o conceito no foi instanciado para um objeto existente em um mundo fenomnico, mas apenas identificado que existe o conceito em um mundo: "os limites de minha linguagem so os limites do meu mundo" (Wittgenstein, 2001). A ontologia de aplicao est em um nvel unvoco e concreto. unvoco porque ocorre a aplicao de todos os conceitos e tarefas existentes em uma dada ontologia de tarefas e ontologia de domnio. Aqui est a instanciao das ontologias existentes nos nveis anteriores. Preferimos trabalhar tanto com a concepo de subsuno de Ausubel quanto com a idia de fatos brutos e fatos institucionais de John Searle. Na concepo de Searle, a ontologia da realidade social est dividida em duas dimenses: no nvel superior esto os fatos brutos e no nvel inferior os fatos

institucionais. Os fatos institucionais so fatos brutos interligados por definies temporais estabelecidas. Para Ausubel, temos conceitos no vinculantes (que so constructos humanos mais genricos) e, portanto, genricos, que, em algum momento e espao podem ser concretizados por um fenmeno ocorrido e individualizado. Este fenmeno subsume generalizaes tornando-as concretas e vinculadas. O conceito organizao pode ser visto como genrico ao se verificar que um indivduo uma organizao, uma planta uma organizao, uma empresa uma organizao, uma famlia uma organizao, um pas uma organizao. At mesmo um objeto pode ser considerado uma organizao (de elementos qumicos e fsicos). A prpria matria uma organizao de prtons, neutrons, eltrons e outros elementos que so descobertos a cada dia. Portanto, partindo do conceito "organizao", que tem como significado a reunio de objetos ou indivduos para um fim especfico, pode-se ancorar outros conhecimentos a este conceito. Esse processo de atrelamento chamado de subsuno (Ausubel, 1978). Assim, ocorre a subsuno de um conceito mais especfico a um conceito mais genrico, por exemplo, os conceitos "corregedoria" e "instituio de ensino" so conceitos subsumidos, isto , ancorados ao conceito "organizao". Notem que os elementos que compem o nvel individual e genrico so essencialmente fatos institucionais. Na figura 2, as setas dos nveis sobem ao invs de descerem. Isso ocorre para definir que a subsuno do conceito mais especfico para o genrico; ou nas palavras de Ausubel, a subsuno ocorre a partir de conceitos especficos, pouco inclusivos para conceitos mais gerais, mais inclusivos. Ausubel (1978) descreve o processo de subsuno como o princpio da assimilao. Para ele, "a assimilao um processo que ocorre quando um conceito ou proposio, potencialmente significativo, assimilado sob uma idia ou conceito mais inclusivo, j existente na estrutura cognitiva" (Ausubel, 1978). As setas que saem da ontologia da aplicao so para indicar a instanciao da ontologia de aplicao a um objeto especfico que, ao final do processo, materializar-se- em um software.

2.2 Ontologia regulatria

Alguns pesquisadores provaram que possvel a formalizao matemtica de sub-domnios do Direito (Rover, 1999), (Griffo, 2004) sem a perda das significaes. Uma vez que toda norma jurdica possui uma estrutura lgico-sinttica a priori e uma estrutura semntica a posteriori (Kelsen, 1976), o mundo dentico pode ser axiomatizado. Assim, a estrutura existente no mundo do dever-ser Se A , ento X deve-ser equivalente a x ( p(x) q(x) ) (v) A norma jurdica uma estrutura lgico-sinttica de significao que ter um valor objetivo, formalizado matematicamente; e um valor subjetivo originado do contato do operador do Direito com a norma, que pode receber muitas significaes (plurissignificao), cada qual associada a uma funo tempo x espao. Uma vez que o valor subjetivo est em funo do tempo e do espao, entende-se, ento, que este valor atende a um compromisso ontolgico (Guarino, 1998). No domnio do Direito, ao contrrio do domnio da natureza, a lei que impera a lei da imputabilidade e no a lei da causalidade. Assim, enquanto o princpio da causalidade afirma que, quando A, B tambm (ou ser). O princpio da imputabilidade afirma que quando A B deve ser (Kelsen, 1979). Isto traz conseqncias significativas que devem ser representadas na ontologia regulatria de um ordenamento jurdico. Uma delas a idia de imputao que designa uma relao normativa. A imputao est no sinal da implicao e no interior de q (v). Alguns autores (Villanova, 1997) tambm formalizam q do seguinte modo: S R S onde R a varivel functoral, cujos valores substituintes so as constantes denticas permisso, proibio e obrigao (varivel R e valores substituintes R, R e R). A varivel substituenda R interpretvel pelo verbo dentico dever-ser. A grande dificuldade na representao de prescries legais era as interpretaes destas. No domnio do Direito, a lei pela lei no suficiente para alcanar a finalidade para o qual este domnio foi construdo: aplicar o Direito; alcanar a Justia. Cada dia mais, torna-se clara a afirmao a lei morta; o esprito vivifica. Portanto, to importante quanto a lei a interpretao que esta recebe nas vrias instncias jurisdicionais em diferentes espaos e diferentes intervalos de tempo. (iv)

 possvel utilizar uma linguagem notacional e representar os textos legais e seus respectivos compromissos ontolgicos (figura 3). Uma vez modelado, projetar e programar so os prximos passos na computao do domnio.
UTENTE
interpreta_o_texto

TEXTO LEGAL
pos s ui

COMPROMISSO ONTOLOGICO

CONCEITUO NORMA JURDICA PRINCPIO JURISPRUDNCIA

FUNO RELACIONAL

DOMNIO

RELAES CONCEITUAIS NO ESPAO

Figura 3: Representao dos enunciados legais com o utente da linguagem do domnio jurdico

3. O mtodo de recuperao por palavras-chave

Uma das preocupaes na recuperao de documentos digitais fornecer a cada livro seu leitor (Gigante, 1995), como apregoa a terceira lei fundamental de Ranganathan (1996). Oliveira (2005) reformula esta lei para os novos meios eletrnicos indicando a cada poro de informao o seu consumidor. A modelagem ontolgica do domnio permitiu apresentar um mtodo de busca no calcado no documento como um todo, mas em itens do documento, denominados palavras-chave. Ao ser inserido no domnio de conhecimento organizacional, o documento entrelaado a outros documentos pela indicao de palavras-chave comuns aos documentos deste domnio. A indicao dessas palavras-chave realizada pelos stakeholders (Couger, 1996). Apesar de valorizar o indivduo e seu conhecimento tcito (Polanyi apud Nonaka e Takeuchi, 1995), a classificao de palavras-chave feita desta maneira pressupe uma especializao de todos os indivduos que utilizam o domnio, o que, geralmente, no ocorre. Assim, existe uma limitao quanto indexao dos documentos, apesar de satisfazer tanto a anlise sinttica quanto a semntica do documento. Oliveira (2005) apresenta o mtodo de recuperao vetorial como soluo para a classificao, recuperao e indexao de documentos digitais de um domnio. Este mtodo atenda para o aspecto semntico do contedo do documento.

4. O mtodo de recuperao vetorial

No mtodo vetorial, os documentos so representados por vetores no espao Rn (Baeza-Yates and Ribiero-Neto, 1998) onde n representa o nmero de termos-palavras nos documentos considerados. Cada documento considerado, portanto, um vetor de termos. Formalizando o que foi dito, consideremos um conjunto de documentos D = {d1, d2, . . . , dj , . . . , dn}, onde di um dos elementos deste conjunto. O documento di ser representado por um vetor de pesos di = [w1,w2, . . . ,wk,wk+1,wk+2, . . . ,wn], sendo que k o nmero de todos termos {t1, t2, . . . , tk}distintos que aparecem no documento di. Os demais termos {tk+1, tk+2, . . . , tn}, associados aos pesos [. . . ,wk+1,wk+2, . . . ,wn], so termos que aparecem em outros documentos. O conjunto {t1, t2, . . . , tk, tk+1, tk+2, . . . , tn} so todos os termos do vetor do documento di e a freqncia dos termos tk+1 = tk+2 = . . . tn = 0 neste vetor. Assim, podemos concluir que um termo (palavra no documento) pode aparecer em mais de um documento. Portanto, para cada termo ser atribudo um peso wi. Este peso ser relativo ocorrncia do termo ti, tanto no documento onde ele aparece em relao aos demais termos deste mesmo documento, como tambm quanto ao nmero de documentos do conjunto em que o termo aparece. Atravs disso

ponderamos a importncia deste termo no conjunto de documentos onde ele aparece. Uma das propostas de ponderaco desta importncia apresentada na literatura (Baeza-Yatesand Ribiero-Neto, 1998) dada pela funo:

(vi)

idf i = log

N ni

onde: idfi (inverse document frequency) o valor desta ponderao para o termo ti, N o total de documentos no conjunto D; e ni o nmero de documentos em que o termo ti aparece. Com esta funo queremos tornar sensvel o fato de que se um termo aparece em todos os documentos, esta funo assumir valor prximo de zero. Esta forma de representar um documento nos mostra que enquanto ns seres humanos pensamos, as mquinas fazem contas. Portanto, o que est por trs de um modelo como esse o fato de transformar o processo de indexao e classificao em um processo de contagem para que o computador possa nos auxiliar a tratar grandes volumes de documentos. Desta forma, consideremos a pequena base ilustrativa D = {d1, d2, d3} de documentos. O que queremos agora saber precisamente quo similar um documento do outro. O que desejamos calcular o valor de sen(di, dj) entre quaisquer dois documentos da base. Uma vez tendo a representao vetorial dos documentos da base, como j feito acima, a conta que agora devemos fazer a seguinte (Baeza-Yates & Ribiero-Neto, 1998):

sim(d i , d j ) =

di d j
| di | x | d j |

t i =1

t i =1

wi , j wi , j
t

= cos( )
2 i, j

(vii)

2 i, j

w
j =1

Onde cos() o cosseno do ngulo entre os vetores que representam os dois documentos di e dj . O valor do cosseno de um ngulo varia em um intervalo de 0 a 1. Essa fato nos dar uma interpretao de distncia entre os documentos, onde 0 significar o mais alto grau de dissimilaridade e de completa similaridade. J os valores wi,j so os pesos assumidos pelos diversos termos que aparecem nos documentos do conjunto, como descrito anteriormente.

4. O estudo de caso
O estudo de caso teve como finalidade validar a soluo para o seguinte problema: Como armazenar, recuperar e reutilizar o conhecimento organizacional para tomadas de deciso em organizaes de natureza regulatria? Para a soluo do problema foi construdo um ambiente de aprendizagem organizacional baseado em ontologias para a Corregedoria da Polcia Militar do Esprito Santo, utilizando vrios mtodos de recuperao, entre eles, o mtodo de recuperao por palavra-chave. A cada insero na memria organizacional por um stakeholder, este entrelaava os seus insights com o contedo da base organizacional por meio de palavras-chave (figura 4). Assim, quando a recuperao era feita sobre uma palavra-chave, documentos relacionados a um outro documento tambm eram recuperados (figura 5). A gesto do conhecimento organizacional ficou a cargo de uma equipe de Engenharia de Conhecimento responsvel tanto por reconstruir periodicamente a memria organizacional com a ajuda das demais equipes, quanto reconstruir as ontologias que representavam este domnio.

Figura 4: Ambiente de Aprendizagem Organizacional. Os documentos so classificados conforme sua natureza e inseridos na memria organizacional.

Figura 5: Recuperao de documentos a partir de palavras-chave. Os documentos que possuem contedo em comum tambm so recuperados.

4.1 Construo de ontologias para a Corregedoria da Polcia Militar

Partindo do domnio da soluo e com conceitos inerentes a ele (levantados em uma anlise prvia), foram apontados conceitos como organizao, indivduo, tempo, espao, todo, parte, objeto, norma, origem, destino, finalidade e existncia, entre outros. Os axiomas existentes no nvel geral e abstrato que formam a ontologia genrica foram formalizados em lgica proposicional. Abaixo, alguns exemplos: 1. O todo possui partes. x (todo(x) y (parte(y) possui(x,y)) 2. Uma parte no pode ser subparte de uma parte que sua subparte. yx (parte(x) parte(y) subparte(y,x) ~ subparte(x,y)) 3. Se uma parte subparte de uma parte que subparte de uma terceira parte, ento a primeira parte ser subparte da terceira parte (transitividade). zyx(parte(x) parte(y) parte(z) subparte(x,y) subparte(y,z) subparte(x,z)) 4.Toda organizao possui uma finalidade. x (organizao(x) y(finalidade(y) possui(x,y)) 5. Todo indivduo uma organizao em si. x (indivduo(x) organizao(x) 6. Toda organizao est sob normas. x(organizao(x) y (norma(y) est_sob(x,y))) 7. Toda norma composta de premissa maior, premissa menor e concluso. x (norma(x) yzz (premissa_maior(y) premissa_menor(z) _composta(x,y) _composta(x,z) _composta(x,w) )) concluso(w)

Axiomas que representassem a ontologia de domnio tambm foram escritos com a lgica dos predicados. Alguns so citados abaixo: 1. Uma corregedoria uma organizao. x (corregedoria(x) organizao(x)) 2. Uma corregedoria de polcia uma corregedoria. x (corregedoria_polcia(x) corregedoria(x)) 3. Uma corregedoria de polcia composta de sees e cartrios. x (corregedoria_polcia(x) zy (seo(y) cartrio(z) pertence(z,y) composta(x,y))) 4. Um cartrio no pode ser subordinado a um cartrio. yx (cartrio(x) cartrio(y) (x y) ~ subordinado(x,y))

5. Uma equipe composta de indivduos. x (equipe(x) y (indivduo(y) compe(y,x))) 6. Um indivduo civil ou militar. x (indivduo(x) indivduo_civil(x) indivduo_militar(x)) 7. Todo corregedor um indivduo militar. x (corregedor(x) indivduo_militar(x)) Alguns axiomas extrados das leis que regulam uma Corregedoria da Polcia Militar esto assinalados a seguir: 8. Um crime um fato tpico, antijurdico e culpvel. x (crime(x) fato_tpico(x) antijurdico(x) culpvel(x)) O axioma nmero 8 um exemplo de proposio derivada. A definio acima de crime a mais acolhida, isto , para que um crime exista necessrio que exista um fato tpico que seja antijurdico e possua culpabilidade. Sem a existncia desses trs elementos no h que se falar em crime. No entanto, este conceito para crime no nico. Alguns doutrinadores e, por conseguinte, operadores do Direito, entendem que o elemento culpabilidade no elemento formador do crime. 9. Art. 1 - Princpio da Legalidade. No h crime sem lei anterior que o defina, sem pena sem prvia cominao legal. x (crime(x) y (lei_anterior(y) define(y, ,x))) x (pena(x) y (cominao_legal(y) define(y, ,x))) x (cominao_legal(x) crime(x)) x (pena(x) y (crime(y) define(y, x))) 10. Art. 2 - Lei supressiva de incriminao. Ningum pode ser punido por fato que lei posterior deixa de considerar crime, cessando, em virtude dela, a prpria vigncia de sentena condenatria irrecorrvel, salvo quanto aos efeitos de natureza civil. (Se lei posterior desconsidera fato, ento no existe mais crime. No existindo mais crime, ningum poder ser punido por aquele fato) yx (lei_posterior(x) fato(y) desconsidera(x,y) ~z (crime(z) tipifica(y,z) ~w (individuo(w) punido(w,y))) 11. art. 5 - Tempo do crime Considera-se praticado o crime no momento da ao ou omisso, ainda que outro seja o do resultado. (O tempo de um crime o tempo em que ocorreu a ao ou a omisso) x ( tempo_crime(x) tempo_ao(x) tempo_omisso(x)) 12. art. 6 - Lugar do crime Considera-se praticado o fato, no lugar em que se desenvolveu a atividade criminosa, no todo ou em parte, e ainda que sob forma de participao, bem como onde se produziu ou deveria produzir-se o resultado. Nos crimes omissivos, o fato considera-se praticado no lugar em que deveria realizar-se a ao omitida. (O lugar do crime o lugar onde se desenvolveu a atividade criminosa ou o lugar onde se produziu o resultado. Exceo: se o crime for omissivo, ento o lugar do crime o lugar onde se realizou a ao omissiva) x ( lugar_crime(x) lugar_desenvolveu_atividade_criminosa(x) lugar_onde_foi_produzido_resultado(x) ) x ( lugar_crime_omissivo(x) lugar_realizou_ao_omissiva(x) )

5. Testes comparativos de recuperao de documentos 6. Consideraes finais e trabalhos futuros

O uso da especializao dos stakeholders no estudo de caso possui vantagens e desvantagens. Apesar de trabalhar com profissionais experientes, fato que no dia-a-dia, muitos no se comprometem com o ambiente de aprendizagem organizacional, no disponibilizando as informaes para os demais. Uma soluo para este problema automatizar por completo a indexao dos documentos do ambiente organizacional, utilizando mtodos de recuperao como o mtodo vetorial. Como pesquisa em concluso, esto sendo realizados testes comparativos usando o mtodo vetorial e o mtodo de recuperao por stakeholders. O que se quer aferir com estes testes o quo prximo da indexao humana a indexao vetorial automtica pode chegar. Vrios centros de pesquisa de Direito e Computao tm trabalhado nestes ltimos anos com a representao de domnios regulatrios e recuperao de informaes a partir deles. Alguns que podem ser citados: Edinburgh University, Leeds University, Universit di Bologna, Universit di Roma, entre outros.

7. Referncias
AUSUBEL, D., NOVAK, J., & HANESIAN, H. Educational Psychology: A Cognitive View, 2. ed., New York: Holt, Rinehart & Winston, 1978. BAEZA,, R.Y. e RIBEIRO, B. N. (1998). Modern Information Retrieval. Addison-Wesley, 1. ed., New York. COUGER, D. Creative and innovation in information systems. London: International Thomson, 1995. GIGANTE, M. C. Os Sistemas de Classificao Bibliogrfica como Interface Biblioteca/Usurio. Cincia da Informao, 25(2), 1995. GRIFFO, Cristine L. P. ToDO: Tomadas de Deciso Apoiadas em Ontologias. Vitria-ES, Dissertao de Mestrado. PPGI/UFES, Universidade Federal do Esprito Santo, 2004. GUARINO, Nicola. Formal Ontology and Information Systems. Proceedings of FOIS98. IOS Press, Amsterdam, pp. 3-15. KELSEN, Hans, Teoria Pura do Direito, Coimbra, Armnio Amado Editor, Sucessor, 1979. LVY, Pierre. A Inteligncia coletiva. Por uma antropologia do ciberespao. 3 ed. So Paulo: Edies Loyola, 2000. NONAKA, Ikujiro e TAKEUCHI, Hirotaka. Criao de Conhecimento na Empresa: como as empresas japonesas geram a dinmica da inovao. Rio de Janeiro: Ed. Campus, 1997. OLIVEIRA, Elias. Um Modelo Algbrico para Representao, Indexao e Classificao Automtica de Documentos Digitais. Pesquisa cientfica. Universidade Federal do Esprito Santo, Vitria-ES, 2005. RANGANATHAN, S. R. Five Laws of Library Science. Stosius Inc/Advent. Books Division, 1.ed., 1996. ROVER, Aires Jos. Representao do conhecimento legal em sistemas especialistas: o uso da tcnica de enquadramentos. Florianpolis, Tese de Doutorado, Curso de Ps-Graduao em Direito, Universidade Federal de Santa Catarina, 1999. SEARLE, J.The construction of social reality. The Free Press, New York, 1995. VILANOVA, Lourival. Estruturas Lgicas e o Sistema do Direito Positivo. So Paulo: Max Limonad, 1997. WITTGENSTEIN, L., Tratactus Logico Philosophicus, Edusp, 3 edio - 2001.