Bases para a Implementao de Sistemas Especialistas de Auxlio Deciso em Direito Ambiental

Vitor V. VasconcelosI; Paulo Pereira Martins Junior

I

II

Doutorando em Geologia, Universidade Federal de Ouro Preto, Mestre em Geografia, Especialista em Solos e Meio Ambiente, Bacharel em Filosofia, Tcnico em Meio Ambiente, Tcnico em Informtica, vitor.vasconcelos@almg.gov.br
II

Universidade Federal de Ouro Preto (Professor), Fundao Centro Tecnolgico de Minas Gerais - CETEC-MG (Pesquisador Pleno), Gelogo, Doutor em Cincias da Terra, paulo.martins@cetec.br

Disponvel em:
http://pt.scribd.com/doc/208483943/Bases-Para-a-Implementacao-de-Sistemas-Especialistas-de-Auxilio-a-Decisao-Em-Direito-Ambiental

Verso para lngua portuguesa do original publicado em:

VASCONCELOS, Vitor V.; MARTINS JUNIOR, Paulo Pereira. Grounds for the implementation of expert systems to aid the decision-making process in environmental law. Rev. digit. bibliotecon. cienc. inf., Campinas, SP, v.12, n.1, p.5-21, jan/apr. 2014. ISSN 1678-765X. Available at: http://www.sbu.unicamp.br/seer/ojs/index.php/rbci/article/download/3878/pdf_50. Access on: 30 jan. 2014.

BASES PARA IMPLEMENTAO DE SISTEMAS ESPECIALISTAS PARA AUXLIO DECISO EM DIREITO AMBIENTAL
GROUNDS FOR THE IMPLEMENTATION OF EXPERT SYSTEMS TO AID THE DECISION-MAKING PROCESS IN ENVIRONMENTAL LAW Vitor V. Vasconcelos 1 Paulo Pereira Martins Junior2
Resumo: Este artigo visa apresentar bases conceituais e tericas para o desenvolvimento de sistemas de inteligncia artificial voltados para a gesto ambiental, assim como alguns desenvolvimentos j realizados neste sentido. Ser enfocado o contexto de desenvolvimento de um programa especialista que se prope a auxiliar o usurio em sua conduta para com o meio ambiente rural, fornecendo educao ambiental e jurdica, desenvolvido ao longo do projeto CRHA Conservao de Recurso Hdrico no mbito da Gesto Ambiental e Agrcola de Bacias Hidrogrficas (2003-2006). Este trabalho til para demonstrar a viabilidade de aplicaes computacionais envolvendo as Geocincias Agrrias e Ambientais e Cincias Jurdicas, demonstrando tambm as potencialidades da anlise lgica aplicada aos conhecimentos tcnicos e cientficos. Palavras-Chave: Inteligncia Artificial. Sistema de Auxlio Deciso. Gesto Ambiental. Direito Ambiental.

Abstract: This paper aims at presenting conceptual and theoretical grounds for the development of artificial intelligent systems targeting environmental management. Focus will be given to the development of an expert program to assist the users in dealing with the rural environment, granting them legal and environmental education, as developed in the scope of the CRHA Project (Environmental and Agricultural Watershed Management for the Conservation of Water Resources). This work is useful in demonstrating the feasibility of computational applications involving Legal Sciences and Agricultural and Environmental Geosciences. It also demonstrates the potential of logic analysis applied to technical and scientific knowledge. Keywords: Artificial Intelligence. Decision-Support System. Environmental Management. Environmental Law.
1

Doutorando em Geologia pela Universidade Federal de Ouro Preto. Consultor Legislativo de Meio Ambiente e Desenvolvimento Sustentvel na Assembleia Legislativa de Minas Gerais. Brasil. E-mail: vitor.vasconcelos@almg.gov.br 2 Doutor em Cincias da Terra. Gelogo. Universidade Federal de Ouro Preto / Fundao Centro Tecnolgico de Minas Gerais. Brasil. E-mail: paulo.martins@cetec.br Recebido em: 25/03/2013 Aceito em: 13/12/2013.

1 INTRODUO

Com a apresentao da proposta de desenvolvimento de um novo ramo das Geocincias, desde ento intitulado Geocincias Agrrias e Ambientais GAA (MARTINS JUNIOR, 1998) iniciou-se, ento, um j longo caminho em direo ao desenvolvimento do campo epistemolgico, metodolgico e com a Abordagem interdisciplinar. Esse processo implicou, desde o incio, em tratar com questes que no tm sido articuladas de forma coerente, consistente e integradas a partir das diversas cincias e especialidades no trato com sistemas naturais e sistemas socioeconmicos articuladamente; ademais de tambm tratar com os sistemas administrativos e jurdicos, de forma direta, em virtude de a legislao direcionar em muitos aspectos aquelas interaes. Reconhece-se que, como processo para identificar e abrir o campo epistemolgico / metodolgico, de contedos e da abordagem interdisciplinar seja profcuo o apoio de trs categorias de mtodos, fundamentais que servem para criar sistemas de gesto, a saber: (1) dois mtodos especficos prprios de engenharia e arquitetura de conhecimentos Mtodo CommonKADS (SCHREIBER et al., 1999) e o Mtodo ORCI (MARTINS JUNIOR et al., 2003-2006 www.sisorci.cetec.br) (2) a inteligncia artificial IA para o auxlio deciso (MARTINS JUNIOR et al., 2006) e (3) o desenvolvimento sistemas integrados de banco de dados orientados ao objeto, sistema de informao (geogrfico / geo-ambiental), sistema de auxlio deciso, sistemas de modelagem da circulao hdrica, sistema de zoneamento ecolgico-econmico ZEE, sistema de desenho de uso optimal do territrio DUOT e sistema de certificao da qualidade geo-ambiental e econmica de bacia hidrogrfica CQGE, com diversos projetos desenvolvido na Fundao Centro Tecnolgico de Minas gerais - CETEC (MARTINS JUNIOR et al., 2007). Com o projeto CRHA (MARTINS JUNIOR, 2006) na Fundao CETEC intitulado Conservao de Recursos Hdricos no mbito da Gesto Agrcola e Ambiental de Bacias Hidrogrficas, financiado pelo MCT / FINEP / Fundo Setorial CT-Hidro-2002, desenvolveuse a pesquisa para elucidar uma lgica agro-hidro-ambiental para bacias hidrogrficas, visando contextualizar as atividades agrcolas, sob o ponto de vista do conceito de Ordenamento do Territrio e Gesto Agro-ambiental dos Recursos Hdricos. Para tanto, props-se o estabelecimento de produtos cientficos em diversos nveis estruturados de informao, com linguagem e semitica amigveis. Neste intuito, recorreu-se s seguintes atividades: [a] identificao de condicionantes lgico-formais para a deciso sistmica e [b]

programao de um sistema especialista. O presente artigo trata de um tema da legislao para controle florestal, iniciado no Projeto CRHA (2003-2006), e faz parte do sistema SisDec de auxlio deciso para gesto geoambiental de bacia hidrogrfica.

2 OBJETIVOS DA INTELIGNCIA ARTIFICIAL

O principal objetivo dos sistemas de IA (Inteligncia Artificial) executar funes que, caso fossem desempenhadas por um ser humano, seriam consideradas inteligentes. Trata-se de um conceito amplo e que recebe tantas definies quanto se deem significados diferentes palavra Inteligncia. Dentre as caractersticas bsicas usuais desses sistemas, ressalta-se a capacidade de raciocnio (aplicar regras lgicas a um conjunto de dados disponveis para chegar a uma concluso), aprendizagem (aprender com os erros e acertos de forma a no futuro agir de maneira mais eficaz), reconhecimento de padres (tanto visuais e sensoriais, como tambm padres de comportamento) e inferncia (capacidade de conseguir aplicar o raciocnio nas situaes de contexto humano). Uma boa introduo IA se encontra em Ginsberg (1993).

2.1 Sistemas Especialistas e Multi-Especialistas

Sistemas especialistas so programas que tm como objetivo simular o raciocnio de um profissional expert em algum campo do conhecimento bem especfico. Sistemas Multiespecialistas so uma tendncia atual, visto que muitos problemas no so possveis de se resolver com apenas um profissional especialista, mas apenas com toda uma equipe pluridisciplinar. Nesse caso, o programa se torna especialista em dois ou mais ramos de setores cientficos distintos, e usam-se esses conhecimentos de forma integrada para fornecer o melhor aconselhamento possvel. Os sistemas multiespecialistas se mostram como promessas prementes em geocincias ambientais, engenharia e direito ambiental, em vista de seu enfoque ser interdisciplinar. O desenvolvimento abordado neste artigo, em modelagem conceitual e cdigo de programa, volta-se para um sistema multiespecialista nas reas de Direito Ambiental e demais Cincias Ambientais.

3 PROLOG

uma linguagem declarativa de programao que se constitui basicamente de chamadas e recurses. Deste modo guardam-se axiomas lgicos, os quais podem fornecer ao usurio parte de suas informaes nas situaes em que determinados parmetros destes axiomas tornarem-se disponveis. Bratko (2000) apresenta um estudo detalhado das potencialidades desta linguagem para sistemas de inteligncia artificial. Utilizemos este exemplo de linguagem PROLOG aplicada a uma situao ambiental, com o seguinte cdigo: sem_licena(ilegal). Quando o usurio digita: ?- sem_licena(X). %Note que a letra X maiscula uma varivel que ser instanciada. O programa responde, relatando que se trata de uma situao ilegal: X = ilegal Tome-se outro exemplo, com esta programao: codigo_florestal(lei,Ano):- busca(Ano). %Chamar o cdigo codigo_florestal aciona o cdigo busca. busca(1965). O usurio digita: Resposta do programa: ?- codigo_florestal(lei,X). X=1965

3.1 Base de Conhecimentos

Parte do cdigo do programa em PROLOG refere-se aos fatos e informaes conhecidos no domnio do problema. Exemplos so rio(poludo), significando um rio que esteja poludo, ou lei(codigo_florestal,federal), significando que a lei codigo_florestal do tipo federal. A base de conhecimento deve ser separada da estrutura de inferncia, que a parte do programa que ir manipular os dados da base de conhecimento e fornec-los ao usurio.

4 METODOLOGIA CommonKADS

CommonKADS (SCHREIBER et al., 1999) uma metodologia para representao do conhecimento, utilizada em Engenharia de Conhecimento, para a construo de sistemas especialistas. De maneira resumida, ela indica como se apropriar de um conhecimento tcnico e formaliz-lo de maneira que possa ser criado um programa de inteligncia artificial. Utilizando a metodologia CommonKADS, temos, ao fim do processo, um programa pronto com caractersticas desejveis, a saber, toda uma documentao pronta sobre o conhecimento em questo, que pode ser facilmente atualizada, alterada e at mesmo reutilizada por outros programas especialistas. Outra caracterstica eficiente desse mtodo sua capacidade de abarcar os vrios tipos de conhecimento do profissional especialista, fornecendo estratgias para extrair este conhecimento em suas vrias modalidades (declarativo, procedural, explcito, tcito, semntico, episdico - ou seja, adquirido por meio de uma sequncia de experincias semelhantes -, compartilhado, metaconhecimento e outros).

4.1 Modelos de Domnio, Tarefa e Inferncia

A mtodo CommonKADS se estrutura como um conjunto de diversos modelos padronizados, que devem ser estruturados de acordo com o conhecimento que se procura formalizar e com a tarefa que necessita ser cumprida pelo programa. So referncias os Modelos de Domnio (que vo constituir a Base de Conhecimento do programa) os Modelos de Inferncia (que vo coletar, tratar e analisar os dados da Base de Conhecimento), e os Modelos de Tarefa (que indicam ao programa e/ou ao usurio quais as etapas que devem ser seguidas para resolver cada tipo de problema). Para o Modelo de Tarefa, o mtodo CommonKADS possui vrios modelos-padro, denominados mtodos de resoluo de problemas; estes so procedimentos padres para tarefas de diagnstico, classificao, planejamento e mais uma gama de tarefas que o programa pode utilizar para simular o comportamento de um especialista. Em conjunto, todos estes modelos formam o Modelo de Conhecimento, bastante complexo, que detalha as formas lgicas do conhecimento especialista.

5 UML - UNIFIED MODELING LANGUAGE

A linguagem UML (BOOCH et al., 1999) utilizada em Engenharia de Programao (produo de programas - softwares) para a modelagem padronizada no processo de implementao de programas de computador. A UML fornece um conjunto de diagramas, esquemas e desenhos que abrangem vises (abstraes) que partem desde o foco usurio, passando pelo funcionamento lgico do programa at chegar fase de programao. A metodologia CommonKADS incorpora o padro UML em diversas partes de seu processo, de maneira a diminuir a margem de erros de interpretaes e potencializar a reutilizao das informaes contidas.

6 SIMULAO DE LGICAS NO-CLSSICAS PARA O PROGRAMA ESPECIALISTA

Algumas situaes previstas para o programa especialista necessitam de tratamentos especiais que no so usualmente bem manipulados pela lgica clssica padro. A lgica clssica proporciona uma modelagem satisfatria para sistemas estticos, mas apresenta dificuldades em retratar processos dinmicos, como os dos ecossistemas e sua interao com o Homem. Por esse motivo, torna-se necessrio recorrer a teorias lgicas no-clssicas (DUBOIS et al., 1988), que devero ser simuladas pelo programa. bastam, e preciso determinar se algo Verdadeiro no perodo de tempo A, ou Falso aps o evento B. : o sistema de lgica usado para indicar condutas e comportamentos e que inclui as relaes de poder entre indivduos. Enquanto a lgica clssica trata do que ou no , a lgica dentica trata do que se deve ou no fazer.Na elaborao do sistema de conhecimento, ser muito importante deixar bem clara a diferenciao do que fato e do que indicao de conduta. 7 LGICA APLICADA EM GEOCINCIAS AGRRIAS E AMBIENTAIS GAA

As Geocincias Agrrias e Ambientais, GAA tm como vistas a trazer toda a Lgica da Geodinmica externa, junto Lgica da Economia, aos ambientes agrrios. A Lgica aplicada s GAA implica no desenvolvimento da interconexo cognitiva entre as diversas

cincias que compem as GAA e os prprios sistemas na Natureza, ademais das questes legais cobertas pela percepo dos legisladores. Cabe ressaltar que em complemento legislao o profissional, que oriente algum proprietrio rural ou empresa sobre desmatamentos legais, dever no somente apontar para todas as obrigaes previstas como orientar sobre as condies geo-ambientais que, eventualmente, no sejam previstas em lei, mas que sejam necessrias para a sustentabilidade de curto, mdio e longo prazo.

8 LGICA APLICACADA AO DIREITO

8.1 Sobre a Organizao Jurdica

O sistema jurdico ou legal , em maneira ampla, um sistema centralizado e amparado por um poder central (o Estado), e que tem como objetivo prescrever normas de conduta para o bom relacionamento entre indivduo x indivduo, indivduo x Estado e Estado x Estado. De acordo com teorias jurdicas, o sistema jurdico no obriga ningum a seguir uma conduta ou outra, mas obriga a pessoa a sofrer sanes no caso de agir contra alguma norma jurdica. Entre as sanes mais comuns esto a priso, a multa, a restrio de direitos e a prestao de trabalhos alternativos. As leis so promulgadas pelo poder legislativo federal, estadual ou municipal usualmente com a sano do chefe do poder executivo. Incluem-se ainda os documentos infralegais (decretos, resolues, deliberaes normativas, portarias) referentes a situaes especficas e que normalmente so elaborados no mbito dos rgos executores e fiscalizadores da determinada funo. Diversos conceitos jurdicos de relevncia lgica so pertinentes de serem apresentados: (1) Lcito: conduta ou situao que est dentro dos parmetros permitidos pela lei; (2) Ilcito: conduta ou situao que est fora dos parmetros permitidos em lei; (3) Jurisprudncia: Ao lado das leis, uma das fontes s quais o juiz consulta quando vai decidir se uma conduta ilcita ou no. A jurisprudncia o conjunto dos veredictos de casos anteriores, que sejam semelhantes e aos quais foi aplicada a mesma lei; (4) Juristas: Estudiosos das leis que estudam suas relaes lgicas entre si, procurando a interpretao correta e analisando as contradies e contrariedades entre os documentos legais; (5) Coero: Efeito da lei sobre a sociedade, quando as pessoas deixam de fazer atos ilegais porque existe a lei e existe a polcia, mas sem que seja preciso aplicar as sanes sobre

elas, s o medo destas j o suficiente; e (6) Dentico: que trata do ramo do dever, ou seja, sobre mandar ou aconselhar um indivduo.

8.2 Lgica Aplicada Linguagem Jurdica

Os estudos apresentados neste tpico se basearam principalmente em Bobbio (1999), Kelsen (1998) e Barros (1998). Utilizar os fundamentos e operaes da Lgica , a princpio, complexo na rea de Direito, quando comparado a cincias exatas (como Matemtica, Fsica, etc...), uma vez que os processos humanos dentro dos aspectos jurdicos e legais passam por critrios julgadores que muitas vezes no so determinsticos ou de lgicas triviais. Isso se deve em grande parte porque h certa deriva sinttica e semntica no texto dos documentos legais, que pode levar a duplas ou imprecisas interpretaes. A Lgica do Direito analisa a forma das normas, mas no chega aos contedos fticos (inferncia emprica nas situaes da vida cotidiana), nem aos contedos axiolgicos (de valores humanos: justia, desejos, etc...). Na aplicao da lgica cincia jurdica, h de haver sujeitos ativos (que possuem um direito garantido) e sujeitos passivos (que possuem deveres) ver Figura 1 - , sendo que os sujeitos podem ser pessoas, empresas, o Ministrio Pblico ou o Estado. A forma lgica de uma lei (Figura 2) inclui a Norma Primria, que possui a Hiptese (situao coberta pela lei) e a Tese (a conduta prescrita para essa situao). Alm disso, a lei possui a Norma Secundria, que especifica a sano devida a quem desobedece a conduta prescrita na Tese. Por fim, a lgica do direito dentica, onde s cabem qualificaes como proibido, permitido e obrigatrio, e no h espao para qualificaes como verdadeiro e falso, justo e injusto, etc. (Tabela 1).

Figura 1 - Relao entre os Sujeitos do Direito, atravs de relaes jurdicas.

Figura 2 - Relao entre as normas jurdicas, indicando o caminho que segue do enquadramento legal sano. A Hiptese possui sentenas abertas e gerais, que sero preenchidas pelas constantes individuais da situao real analisada.

Figura 3 - Procedimento que parte da norma jurdica geral, para o enquadramento do caso especfico, e que se conclui na deciso do juiz de direito.

Tabela 1 - Anlise deontolgica da qualificao de aes em relao s normas jurdicas vigentes. A legalidade (lcito ou ilcito) indica se a pessoa pode ter a conduta especificada, de acordo com as normas legais. CONDUTAS Proibida Obrigatria Permitida (sempre que no for proibida ou obrigatria), inclusive quando no h nenhuma norma legislando sobre essa conduta. LEGALIDADE Ilcito Lcito Lcito

Muitas vezes, uma lei que expressa um dever j subentende um direito oposto ao outro sujeito da relao jurdica (por exemplo, uma lei que probe o cidado de desmatar a propriedade alheia d ao outro sujeito o direito de no ter sua propriedade desmatada por outra pessoa).

Tabela 2 - Categorias de anlise das normas jurdicas AS NORMAS JURDICAS PODEM SER AS NORMAS NO PODEM SER CLASSIFICADAS EM CLASSIFICADAS EM: Verdadeiras ou falsas (j que no Vlidas ou no-vlidas (nica dedutvel no tratam de objetos do mundo real campo da lgica) [mundo do ser], e sim do mundo da conduta [mundo do dever ser] ) Justas ou injustas (dentro da tica e axiologia) Aplicveis ou no-aplicveis (pelo mtodo de inferncia do juiz) Eficazes e no-eficazes (se as normas esto cumprindo os objetivos para o qual foram feitas) Vigentes ou no vigentes (para isso necessrio observar o processo legal e a jurisprudncia) 9 MODELAGEM DO CONHECIMENTO DE DIREITO AMBIENTAL

9.1 Fontes

Para a modelagem do conhecimento de Direito Ambiental, pode-se utilizar como fontes, em quase sua totalidade, os documentos legais originais, dos quais foram retiradas as diversas restries legais e as explicaes sobre o funcionamento dos processos jurdico-ambientais. Tambm so fontes: artigos de Lgica do Direito, questionrio enviado aos setores jurdicos dos rgos ambientais, entrevistas diretas e comentrios de advogados sobre a aplicabilidade de documentos legais e sobre condutas jurdicoambientais adequadas.

9.2 O suporte dos mtodos utilizados (CommonKADS e UML)

A primeira ao deve ser de preencher o Modelo de Organizao, que se mostra sempre til para se organizar as ideias sobre o que o programa como um todo, alm do contexto no qual foi planejada sua aquisio. A partir da contextualizao da rea de conhecimento, possvel traar um planejamento das tarefas, dos agentes e dos demais procedimentos que seguiriam a construo do programa. A segunda etapa a de formalizao do conhecimento adquirido. A tambm se mostra bastante til desenvolver os Modelos de Agente e de Tarefas, atravs dos diagramas padres de UML. Por fim,

comea-se a programao efetiva do cdigo-fonte, desde a interface, incluindo o cdigo necessrio tarefa de Avaliao, que se constitui como o corpo lgico principal da estrutura de inferncia. De acordo com que cada parte do programa termina de ser programada, devem ser realizados testes avaliativos sobre a sua eficcia e a existncia de eventuais erros de sintaxe no cdigo-fonte.

9.3 Sobre a Atualizao do Acervo Jurdico do Programa

Um dos grandes problemas a serem enfrentados na implementao de um sistema especialista de auxlio deciso em rea jurdica o da atualizao constante das leis, visto que estas esto mudando constantemente. Existem alternativas de atualizao, como consultar peridicos jurdicos nas bibliotecas especializadas, ou tambm servios por correio eletrnico, fornecidos em stios (sites), que informam sempre das ltimas alteraes legais (alguns desses so pagos). Uma tentativa mais radical seria utilizar o stio do Planalto Federal para estar constantemente atualizado da legislao vigente. Alm disso, se o programa for utilizar das legislaes municipais sobre meio ambiente, h o grande entrave de que muitos municpios no possuem a legislao em via digital. Esclarece-se que se o programa for feito sobre diretrizes legais mais gerais, como o Cdigo Florestal e a Leis de Crimes Ambientais, o problema da atualizao fica mais simples, pois se tratam de normas mais estveis e, portanto, facilmente gerenciadas no caso de alteraes devido a estes serem mais amplamente divulgadas. Em relao s autorizaes ambientais, preciso estar atento com as mudanas de procedimentos, pois o assunto regulado em sua maior parte por normas infralegais. Assim, os procedimentos, os documentos exigidos, assim como as instituies a serem procuradas podem mudar ao longo dos anos.

9.4 Avaliao dos Benefcios e da Viabilidade Ambiental - Financeira do programa

Apresenta-se a seguir uma adaptao do Diagrama de Organizao OM-5 (Viabilidade de Execuo), de acordo com a metodologia CommonKADS, que julga-se pertinente oferecer neste artigo, como uma avaliao da necessidade e dos possveis ganhos passveis de obteno com a utilizao de programas especialistas tais como aqui apresentados (Tabela 3).

Tabela 3 - Apresentao parcial e adaptada do Modelo de Organizao OM-5, demonstrando os benefcios, o valor agregado, as solues alternativas e as mudanas organizacionais relacionadas potencial utilizao do sistema de inteligncia artificial como o apresentado neste artigo. OM-5 VIABILIDADE DE EXECUO - Melhorias em mdio prazo na disponibilidade e regularidade de recursos hdricos, o que dever dar melhores condies para o desenvolvimento de atividades econmicas usurias de recursos hdricos. - Preservao do patrimnio biogentico da regio, com benefcio 1. Benefcios econmico ainda a ser estimado. - Diminuio na eroso e perda de solos, com ganhos para a economia agropecuria. - Melhora microclimtica em mdio/longo prazo, beneficiando aumento na qualidade de vida da populao local e as atividades agropecurias. So diversos os ganhos socioambientais, devido s melhorias 2. Valor ambientais estarem de certa forma to integradas, que os ganhos agregado em sua preservao refletem ganhos cumulativos na cadeia causal. esperado - A soluo de um programa especialista paralela a outras aes, como as campanhas ambientais no meio rural e a tentativa de coero pelos rgos fiscalizadores. Porm, no o caso de excluso de umas vias pelas outras, mas de articular as vrias atividades para criar uma relao cada vez mais coerente entre as atividades rurais e o meio ambiente. - Tambm haveria a opo de se utilizar apenas critrios ambientais em um programa especialista, abrindo mo das restries jurdicas. Isso traria vantagens, como no necessitar atualizar to constantemente a base de conhecimento e a facilidade de oferecer o mesmo programa a outros pases, mesmo que tenham legislao completamente diversa (o Direito muda de pas para pas, enquanto os critrios cientficos costumam no variar tanto, a no ser que o ambiente analisado seja muito diverso). Porm essa soluo alternativa perde em abrangncia e em utilidade para o programa, alm de no permitir o estudo lgico da legislao ambiental, que poderia servir de usufruto para propostas crticas de aperfeioamento desta. - O programa, para ter eficcia, necessita que haja uma mudana de comportamento por parte dos usurios. Eles precisam alterar seus planos de atividades rurais de forma se adequar aos critrios legais. - preciso tambm que as entidades de meio ambiente e as de recursos hdricos estruturem sua assessoria populao rural de forma que eles possuam meios de acessar o programa e, tambm, que se sintam estimulados a isso.

Viabilidade financeira e ambiental 3. Solues alternativas

4. Mudanas Organizacionais

10 MODELAGEM DO CONHECIMENTO

Aclarando as atividades de modelagem dos conhecimentos especialistas sob a linguagem de modelagem unificada UML, apresenta-se a seguir o modelo bsico utilizado para a formalizao e preenchimento da base de conhecimentos relativos s normas jurdicas. Aps o modelo em UML, est o modelo relativo linguagem em PROLOG, como efetivamente programado. No exemplo, em sequncia, este modelo preenchido com uma das normas, a saber, a da proteo ambiental para s reas no entorno de nascentes.

Documento Legal
Tipo: Documento Esfera: Esfera Nome: constante Assunto: String Ano: Inteiro

Restrio Legal
Nome: Constante Origem: Lista com leis de origem Hiptese: Lista de pr-condies Tese: Lista de relaes lgicas proibidas Norma Secundria: Lista com multa (Real), pena mnima (Inteiro), pena mxima (Inteiro) e demais sanes (String). Explicao: String Legalidade: Boolean Modificador: constante, para assessoramento

Contm

Figura 4 - Modelo UML para base de conhecimento de restries legais ambientais.

10.1 Modelo UML transcrito para PROLOG

O sistema PROLOG no aceita acentuao da lngua portuguesa e assim as instrues abaixo esto escritas sem os acentos. documento_legal(Documento, Esfera, Nome, Assunto, Ano). restricao_legal(Nome, Origem, Hipotese, Tese, Norma_Secundaria, ExplicacaoLegal, ExplicacaoEco, Legalidade, Modificador).

Lei 12651 - 2012 : Documento Legal

Tipo: lei Esfera: federal Nome: lei_12.651 Assunto: Lei de Proteo da Vegetao Nativa Data: 2012

Limite desmatamento em perto de nascentes: Restrio Legal

Nome: limite_de_nascente Origem: [lei_12651, lei_9605] Hiptese: [DistanciaN // do desmatamento em metros// (inteiro), AreaD //do desmatamento em hectares// (inteiro)] Tese: DistanciaN<50 Norma Secundria: [(rea*984,13), 1, 3, paralizao de suas atividades no local, reparar o dano que causou, perder os produtos gerados na rea, perder os equipamentos e materiais usados no desmatamento (moto-serra, machado, etc.)] Explicao: Desmatar a rea em volta das nascentes diminui muito a sua quantidade de gua, normalmente podendo at sec-las. Com isso, diminui a quantidade de gua potvel para beber; alm de diminuir a quantidade de gua dos rios, j que eles deixam de receber as guas desta nascente. Modificador: preservacaopermanente

Contm

Lei 9605 - 1998: Documento Legal

Tipo: lei Esfera: federal Nome: lei_9605 Assunto: Lei de Crimes Ambientais Data: 1998

Contm

Figura 5 - Exemplo de modelagem UML para restrio legal referente desmatamentos em reas prximas nascentes de corpos dgua.

10.2 Exemplo UML transcrito para Prolog

restricao_legal(limite_de_nascente, [lei_12651, lei_9605],[DistanciaN, AreaD], Legalidade, Norma_secundaria, ExplicacaoLegal, ExplicacaoEco, preservacaopermanente) :(DistanciaN<50 -> Legalidade = n ; Legalidade = s), Norma_secundaria = [Multa, 1, 3, 'paralizacao das atividades no local', 'reparar o dano que causou', 'perder os produtos gerados na area', 'perder os equipamentos e materiais usados no desmatamento (moto-serra, machado, etc.)'], Multa is AreaD*984,

ExplicacaoLegal = [' seu desmatamento e ilegal, pois esta proximo demais da nascente indicada.'], ExplicacaoEco = ['Desmatar a area em volta das nascentes diminui muito a sua quantidade de agua,','normalmente podendo ate seca-las. Com isso, diminui a quantidade de agua potavel para beber;',' alem de diminuir a quantidade de agua dos rios, ja que eles deixam de receber as aguas desta nascente'].

11 CONCLUSES

A partir das bases conceituais e dos desenvolvimentos apresentados no presente artigo, pode-se visualizar com clareza a possibilidade de desenvolvimento de sistemas computacionais que se utilizem do contedo lgico explicitado de normas jurdicas. No tocante utilizao destes sistemas para o auxlio deciso em gesto ambiental, as possibilidades so amplas, tanto na avaliao legal de desmatamentos (como foi o caso dos vrios exemplos acima apresentados), como em diversos outros como outorga de uso da gua, licenciamento ambiental, denncias de crimes ambientais. Por exemplo, no caso dos licenciamentos ambientais, o usurio pode compreender melhor se o seu empreendimento necessita ser licenciado e, se for o caso, quais devem ser os procedimentos, os documentos e estudos tcnicos a serem desenvolvidos para iniciar o processo de licenciamento. A possibilidade direta de obter assessoria jurdica ambiental adaptada ao caso do usurio um instrumento precioso, no caso de no poder contar com um profissional especialista disponvel. No obstante, a utilizao de sistemas de inteligncia computacional apresenta possibilidades de utilizao no s para a Lgica aplicada ao direito ambiental, mas tambm para vrios outros campos de conhecimento especialista, assentados sobre o raciocnio lgico. Desta maneira, o auxlio deciso por sistemas especialistas, sob um ponto de vista mais amplo, pode ser desenvolvido em qualquer rea em que se exista um ramo especialista do saber. Exemplos possveis de aplicao de inteligncia artificial, na rea de meio ambiente, so: ordenamento territorial com menores impactos ambientais, manejo sustentvel de sistemas agropecurios, utilizao de tcnicas para conservao de solo, gua e regenerao da vegetao, aplicados caso a caso gesto hdrica de bacias hidrogrficas e a educao ambiental em geral.

REFERNCIAS

BARROS, C. G.de. Teoria Geral do Direito e Lgica Jurdica. 2. ed. rev. e atual. Rio de Janeiro: Forense, 1998 BOBBIO, N. Teoria do Ordenamento Jurdico. 10 ed., Braslia: Editora UNB, 1999, 184 p. BRATKO, I. Prolog programming for Artificial Inteligence. E. Kardelj University, J. Stefan Institute. Yugoslavia: Addison Wesley Publishing Company, 2000, 678 p BOOCH, G., RUMBAUGH, J., JACOBSON, I. The Unified Modeling Language User Guide, UML. 6th printing, Massachusets, EUA: Addison Wesley Publishing Company, 1999 DUBOIS, D., MAMDANI, A., PRADE, H., SMETS, Ph. Non-Standart Logics for Automated Reasoning. San Diego, USA: Academic Press, 1988 GINSBERG, M. Essentials of Artificial Inteligence. USA: Morgan Kaufmann Publishers, 1993 KELSEN, Hans. Teoria Pura do Direito. 6.ed. So Paulo: Martins Fontes, 1998. 427p. MARTINS Jr, P.P. Fundamentos Conceituais para o Desenvolvimento e a Prtica das Geocincias Agrrias e Ambientais. A Terra Em Revista, Belo Horizonte, v. 4, n. 4, p. 10-15, 1998. MARTINS Jr., P.P., Endo, I., Carneiro, J.A., Novaes, L.A.dA., Pereira, M.A.S., Vasconcelos, V.V. Modelo de Integrao de Conhecimentos Geolgicos para Auxlio Deciso sobre Uso da Terra em Zonas de Recarga de Aqferos. Belo Horizonte e Ouro Preto: Revista Brasileira de Geocincias, v. 36, n. 4, p. 651-662, 2006. MARTINS Jr., P.P. (Coord.) Projeto CRHA - Conservao de Recurso Hdrico no mbito da Gesto Ambiental e Agrcola de Bacia Hidrogrfica. Belo Horizonte: FAPEMIG / FUNDAO CETEC (Memria Tcnica). Relatrio Final e Notas Tcnicas, 2006. MARTINS JUNIOR, P.P., CARNEIRO, J.A., RIBEIRO, S.T.M., DINIZ, C.P.L., ABREU JNIOR, J.C., PEREIRA, J.S., PAIVA, D.A., BUENO de OLIVEIRA, P.H. 2007. Arquitetura de Conhecimentos em Ecologia-economia para Gesto Ambiental de Bacia Hidrogrfica. Belo Horizonte: Fundao CETEC. Projeto ACEE. 237p. SCHREIBER, G., AKKERMANS, H., ANJEWIERDEN, A., HOOG, R. de, SHADBOLT, N., VELDE, W. V., WIELINGA, B. Knowledge Engineering and Management: the

CommonKADS Methodology. Massachusetts Institute of Technology. Cambridge, London, England: Bradford Book, The MIT Press,1999. 455p.

AGRADECIMENTOS

Agradecemos FAPEMIG, FINEP, ao CNPq e CAPES pelo financiamento das pesquisas que possibilitaram a elaborao deste artigo.

Como citar este artigo: VASCONCELOS, Vitor V.; MARTINS JUNIOR, Paulo Pereira. Grounds for the implementation of expert systems to aid the decision-making process in environmental law. Rev. digit. bibliotecon. cienc. inf., Campinas, SP, v.12, n.1, p.5-21, jan/abr. 2014. ISSN 1678-765X. Disponvel em: <http://www.sbu.unicamp.br/seer/ojs/index.php/rbci>. Acesso em: 30 jan. 2014.