SERVIO PBLICO FEDERAL MINISTRIO DA EDUCAO INSTITUTO FEDERAL DO PAR CURSO DE ANLISE E DESENVOLVIMENTO DE SISTEMAS

LUIS PAULO JACOB ROSSAS NOVAES

SISTEMA ESPECIALISTA LEGAL AUXLIO NOS PROCESSOS PARA A VARA DE FAMLIA

BELM 2013

INSTITUTO FEDERAL DO PAR CURSO ANLISE E DESENVOLVIMENTO DE SISTEMAS

Lus Paulo Jacob Rossas Novaes

SISTEMA ESPECIALISTA LEGAL AUXLIO NOS PROCESSOS PARA A VARA DE FAMLIA

Trabalho Acadmico de Concluso de curso apresentado ao Instituto Federal do Par (IFPA) como requisito para obteno do Grau em Tecnlogo em anlise desenvolvimento de sistema sobre orientao do Prof. DR. Claudio Alex.

BELM 2013

INSTITUTO FEDERAL DO PAR CURSO ANLISEE DESENVOLVIMENTO DE SISTEMAS

Lus Paulo Jacob Rossas Novaes

SISTEMA ESPECIALISTA LEGAL AUXLIO NOS PROCESSOS PARA A VARA DE FAMLIA

Data da Defesa: _____/____/_____ Conceito: ____________________

BANCA EXAMINADORA:

Prof. Orientador Dr. Claudio Alex, IFPA.

Prof. Coorientadora Me. Luciana Gluck Paul, IFPA

Prof. Avaliador Me. Iranildo Encarnao, IFPA

AGRADECIMENTOS

Ao Orientador Dr. Claudio Alex, por ter aceitado a ideia inicial deste trabalho e pela pacincia, coordenao, disponibilidade e ajuda. A todos os colegas de trabalho (Edinaldo Fernandes, Antnio Carlos Pinjes, Ana Paula Souza e muitos outros) que me ajudaram na criao da base de conhecimento do SEL-FAM. Aos professores e colegas da faculdade que ajudaram de maneira direta ou indireta para a minha formao. Aos meus pais que sempre acreditaram em mim e me apoiaram nos momentos que mais precisei. A Deus que ao meu lado vem me ajudando e me orientado nos caminhos da vida. E a todos que puderam contribuir de alguma forma.

Os novos horizontes so imensos, mas correm o risco de ficarem comprometidos pela falta de anteviso daqueles que so responsveis pela aplicao de nova tecnologia e pelas alteraes legislativas, capazes de autorizar as necessrias mudanas, no mbito do Poder Judicirio. A iniciativa privada j descobriu as inmeras vantagens do mundo informatizado enquanto os tribunais ainda insistem num passado de excessivo formalismo. O computador no pode ser reduzido funo mnima de editar textos, pois seria como termos uma sofisticada mquina de escrever.

Juiz Marcos Alaor Grangeia (GO).

RESUMO
A informatizao de forma eficiente da justia no Brasil iniciou recentemente e o computador deixa de ser apenas uma mquina de escrever moderna para iniciar uma modernizao j utilizada pelo setor privado h anos. Logo os tribunais vo precisar de novas propostas para sua informatizao, e assim garantir sociedade uma justia clere, acessvel e efetiva, zelando pela autoridade e uniformidade na interpretao e no cumprimento das normas infraconstitucionais. Os sistemas especialistas legais tm sido desenvolvidos em diversas reas do conhecimento do direito. A caracterstica bsica do SEL agir como um especialista em um determinado assunto e realizar diagnsticos a partir de situaes do mundo real. O prottipo implementado em uma ferramenta de modelagem de sistemas especialistas, chamada e2gLITE. Utilizaremos a sua interface grfica e sua plataforma em JAVA para aplicar de forma ainda no encontrada em outros trabalhos o uso do SEL em dispositivos mvel. O objetivo deste trabalho a verificao da viabilidade de um sistema especialista legal voltado para auxlio vara de famlia, tendo como estudo de caso a vara de famlia do tribunal de justia do estado do Par.

Palavras chave: sistemas baseados em conhecimento, sistemas especialistas, sistemas especialista legal, e2gLite.

ABSTRACT

Justice's Computerization efficiently in Brazil started recently and the computer is not just a modern typewriter. To start a modernization already used by the private sector for years. Soon the courts will need new proposals for its computerization and thus ensure justice society a fast, affordable and effective, ensuring the authority and uniformity in the interpretation enforcement of standards infra. The legal expert systems have been developed in several areas of knowledge of the law. The basic feature of SEL is to act as an expert on a particular subject and perform diagnostics from real-world situations. The prototype implemented into a tool for modeling expert systems, called e2gLITE. We use your GUI and your platform in JAVA to apply it not yet found in other studies using the SEL on mobile devices. The objective of this work is to verify the feasibility of a legal expert system focused on aid to family court, taking as a case study of Par's family court.

Keywords: knowledge-based systems, expert systems, Legal expert systems, e2gLite.

LISTA DE SIGLAS

BC

Base de Conhecimento

IA Inteligncia Artificial SE Sistema Especialista SBC Sistemas Baseados em Conhecimento. STJ Supremo Tribunal Federal TJPA Tribunal de Justia do Estado do Par AR Analista de Requisitos

LISTA DE FIGURAS

Figura 1: Figura 2: Figura 3: Figura 4: Figura 5: Figura 6: Figura 7: Figura 8: Figura9: Figura10: Figura 11: Figura 12: Figura 13: Figura 14: Figura 15:

Mapa Estratgico da Organizao Interface com o usurio. Site Expertise2Go, 2013 Ambiente do E2gRule Writer, 2013. Ambiente do E2gDroid, Google Play 2013.

12 18 20 40 40

Janela de consulta de sistema para identificar carros pela placa, e2gDroid. 48 Tela de abertura do Prottipo. Interface E2gLite. Tela de ajuda do E2gLite. Execuo do E2gLite pelo modo depurador. Tela de Resultados rvore de explicada. Prottipo desenvolvido para testes Avaliao dos Usurios Mdia de resultados 49 49 50 50 51 51 52 52 53

SUMRIO
1. INTRODUO ............................................................................................................................11

2. SISTEMAS ESPECIALISTAS .......................................................................................................15

2.1 INTELIGNCIA ARTIFICAL ....................................................................................... 15 2.2 SISTEMAS BASEADOS EM CONHECIMENTO ....................................................... 16 2.3 CONCEITOS BSICOS DE SISTEMAS ESPECIALISTAS ....................................... 16 2.3.1 Arquitetura dos SE ..................................................................................................... 17 2. 3.2. Vantagens e desvantagens do SE.................................................................................. 20 2.3.3 Shells ......................................................................................................................... 20 2.4 REPRESENTAO DO CONHECIMENTO ............................................................... 21 2.4.1 Regras ...................................................................................................................... 22 2.4.2 Clculo Probabilstico dos Sistemas Especialistas ............................................... 24
3. ENGENHARIA DE REQUISITOS ...............................................................................................28

3.1 ELICITAO DE REQUISITOS .................................................................................. 28 3.1.1 Entrevistas ............................................................................................................. 29 3.1.2 Tempestade de ideias (Brainstorm) ..................................................................... 30 3.1.3 Cenrios ................................................................................................................ 31 3.1.4 Etnografia .............................................................................................................. 31 3.2 VERIFICAO E VALIDAO DE REQUISITOS ................................................... 32 3.3 GERENCIAMENTO DE REQUISITOS........................................................................ 33
4. SISTEMA ESPECIALISTA LEGAL (SEL) .................................................................................33

4.1 CONSIDERAES INICIAIS .................................................................................... 34 4.2 RELEVNCIA DOS SEL ............................................................................................ 35 4.3 RESTRIES DOS SEL ............................................................................................. 35 4.4 TRABALHOS CORRELATOS ................................................................................... 36
5. A CONSTRUO DO PROTTIPO DE SISTEMA ESPECIALISTA LEGAL .....................39

5.1 PROJETO ....................................................................................................................... 39

5.2 SHELL UTILIZADO ...................................................................................................... 40 5.3 ESTUDO DE VIABILIDADES ..................................................................................... 41 5.4 FORMALIZAO DO CONHECIMENTO DO ESPECIALISTA EM DIREITO ...... 42 5.4.1 Aquisio de conhecimento ................................................................................. 42 5.5 IMPLEMENTAO DO PROTTIPO ........................................................................ 43 5.5.1 Base de conhecimento............................................................................................. 45 5.5.2 Interface com o usurio .......................................................................................... 46 5.5.3 Consultando ............................................................................................................ 49 5.5.4 Acompanhamento (DEBUG) ................................................................................. 50 5.6 GARANTINDO A RELEVNCIA DO SEL-FAM ...................................................... 52
6. CONCLUSO .................................................................................................................................54 REFERNCIAS BIBLIOGRFICAS ...............................................................................................56

Apndice 01 .......................................................................................................................... 60 Apndice 02 .......................................................................................................................... 62

GLOSSRIO ........................................................................................................................................69

11

1. INTRODUO Atualmente, a crescente onda de descobertas tecnolgicas, e sua popularizao nos mais variados ramos da cincia moderna, demonstram como o trabalho da computao e da informatizao podem beneficiar outras reas do conhecimento humano, a exemplo do Direito. A defeituosa legislao processual, a defeituosa organizao do trabalho e a insuficiente utilizao da moderna tecnologia concorrem para reter em baixo nvel a produtividade nos rgos do Poder Judicirio (Moreira, Carlos, 2000). Ao afirmar isto se refere a insuficiente utilizao da moderna tecnologia, com certeza estava se referindo falta da implantao de avanados sistemas de computao eletrnica para gerenciar os servios de uma forma tcnica mais produtiva com menor tempo, menor quantidade de pessoas e com baixo custo operacional. Outro especialista da rea em entrevista a revista Gesto & Conhecimento, afirma: Nas palavras de Adel El TASSE (2001, p. 19):
O Estado onipotente, atuante em todas as reas e incapaz de atender aos mais variados encargos, que assumiu no mais se coaduna aos novos contornos sociais. Faz-se necessria, portanto, uma mudana no relacionamento entre o Estado e o cidado, de sorte que haja um enxugamento do maquinrio burocrtico existente, voltando a organizao nacional a atuar com eficcia nas reas em que haja efetivo interesse coletivo.

Ao ser questionado sobre a crise do judicirio no Brasil, salienta Adel El TASSE (2001, p. 43):
Em verdade, no h crise alguma no Poder Judicirio, existe sim o acordar de um sono coletivo, que vitimou a populao que comea, agora, a se dar conta de que a estrutura judicial brasileira no eficaz em resolver as problemticas complexas da vivncia comunitria nacional. Fala-se em crise do Pode Judicirio, no entanto, a verdade que este jamais cumpriu o seu papel histrico de pacificar a sociedade, distribuindo, de forma igualitria, a justia. Referir-se a uma crise pressupe que, em algum momento, se teve, no Brasil, justia clere e efetiva, para todos os setores da sociedade, o que, em momento algum, ocorreu. As pessoas, em geral, passaram a perceber as falhas do sistema estatal de resoluo de litgios, opondo-se

12 manuteno do mesmo. Acordando de seu sonho coletivo, passa a sociedade a exigir uma nova sistemtica para a resoluo dos conflitos, e isto faz que, os detentores do Poder se apressem em preparar um novo conto de fadas para embalar o sono da populao, por mais algumas dcadas..

A globalizao e informatizao em que nossa sociedade est inserida, deve refletir em amplo e irrestrito o apoio proposta de informatizar toda a justia brasileira. Garantir sociedade uma justia clere, acessvel e efetiva, zelando pela autoridade e uniformidade na interpretao e no cumprimento das normas infraconstitucionais. O Supremo Tribunal de Justia assumiu ento a esta reponsabilidade e assim reverter essa situao de sono do Judicirio. Ser reconhecido pela sociedade como o Tribunal da Cidadania, modelo na garantia de uma justia clere, acessvel e efetiva (Plano estratgico, STJ, 2004-2006, 2010-2014). O Supremo Tribunal de Justia assumiu esta misso a partir de 2004 e criou conceitos que justificam a grande importncia da criao de um sistema inteligente especialista na rea de direito exemplo destes conceitos demostrados no plano estratgico do STF:

Figura 1: Mapa Estratgico da Organizao. Plano Estratgico STF 2010/2014

Celeridade Agilizar a prestao dos servios e o trmite processual. Acessibilidade viabilizar o acesso justia, facilitando a disponibilizao dos

13

servios e das informaes processuais ao cidado. Efetividade Trabalhar com competncia e criatividade para garantir uma prestao jurisdicional que atenda s demandas da sociedade. Tribunal da Cidadania tribunal de referncia no que concerne prestao jurisdicional com qualidade, rapidez e efetividade e considerando a responsabilidade socioambiental. Garantir a infraestrutura apropriada s atividades administrativas e judiciais: prover os recursos materiais e tecnolgicos, oferecendo condies de trabalho adequadas, para o melhor desempenho de magistrados e servidores. Promover a cidadania: proporcionar a incluso social, oferecendo aes socioeducativas e ambiente acessvel, para o fortalecimento da conscincia dos direitos, deveres e valores do cidado. Inovao Buscar e incentivar a criatividade na implementao de solues inovadoras para a resoluo de problemas e para a melhoria contnua dos servios.

Tem crescido bastante a quantidade de softwares que capturam e simulam o comportamento de especialistas humanos, estes denominados Sistemas Especialistas (SE) ( NOGUEIRA e S I L V A , 1 9 9 7 ; D I E H L , 2000). A utilizao d e sistema especialista voltado para a rea de Direito podem auxiliar no tratamento de problemas complexos, onde a soluo s seria alcanada com a ajuda de um especialista na rea de Direito. Segundo os especialistas anteriormente citados, a utilizao de um sistema especialista se torna necessria devido a diversos fatores tecnolgicos e econmico-sociais, tais como: Dificuldade de acesso a especialistas humanos em determinadas regies; Armazenamento e formalizao do conhecimento de vrios especialistas humanos; Ferramenta de apoio tomada de decises por parte do especialista; Treinamento de profissionais e imparcialidade na tomada de decises. Por essas razes este trabalho tem com objetivo principal a criao de um prottipo de sistema especialista (SE) para a rea de Direito denominado SEL-FAM. O SEL-FAM no tem o intuito de retirar do homem o trabalho abordado, o objetivo do SEL-FAM e o de auxiliar, o procedimento correto de acordo com as regras dos processos do direito, diminuindo assim a complexidade e facilitando a utilizao eficiente e

14

eficaz dos conceitos e da informao capaz de auxiliar os profissionais do Direito, s partes e sociedade na realizao de clculos, mtodos, deveres e direitos relacionadas rea do Direito da famlia. Procura-se demonstrar, alm do desenvolvimento do referido sistema e sua portabilidade para dispositivos moveis, tambm de fazer uso do mesmo, respeitando-se todos os princpios constitucionais inerentes ao assunto. Este trabalho est estruturado em seis captulos, onde o Segundo captulo aborda os conceitos bsicos de Sistemas Especialistas (SE), explicando o que so Softwares Especialistas e aquisio de conhecimento. J o terceiro captulo descreve o processo da engenharia de requisitos abordando desde o levantamento dos requisitos junto ao especialista at a aplicao dos conhecimentos e o gerenciamento dos mesmos. O quarto captulo comenta sobre os Sistemas Especialistas Legais. Seguindo para a implementao do prottipo no quinto capitulo e no sexto capitulo finaliza o trabalho com uma fantstica concluso. Tambm apresentada a arquitetura bsica de um sistema especialista com suas regras de produo. No quarto captulo descreve o Sistema Especialista Legal, SELFAM. Neste captulo detalhado como ser base de conhecimento do sistema, quais as variveis, objetivos, regras e interfaces com o usurio o mesmo ter. Por fim no captulo seis, so apresentados as concluses e os trabalhos futuros.

15

2. SISTEMAS ESPECIALISTAS O objetivo deste captulo apresentar os conceitos bsicos de Sistemas Especialistas (SE), na seo 2.1, mostrarem o conceito de Inteligncia Artificial (IA) na seo 2.2 so apresentados os Sistemas Baseados em Conhecimentos. Na seo 2.3, So apresentados os conceitos bsicos de sistemas especialistas. Finalizando com a representao do conhecimento nos SE, apresentada na seo 2.4.

2.1 INTELIGNCIA ARTIFICAL A Inteligncia Artificial (IA) nasceu oficialmente em 1956, durante uma conferncia de vero em Dartmouth College, nos Estados Unidos. Jonh McCarthy, Marvin Minsky, Nathaniel Rochester e Claude Shannon se reuniram com a inteno de realizar um estudo sobre o tpico, Inteligncia Artificial, que a partir de ento ficou conhecida, gerando inclusive polmicas. Pois os pesquisadores ficando impossibilitados de adotar uma definio formal precisa para IA, visto que seria necessrio definir, a prpria inteligncia, propuseram algumas definies operacionais: Inteligncia Artificial a parte da cincia da computao que compreende o projeto de sistemas computacionais que exibam caractersticas associadas, quando presentes no comportamento humano, inteligncia. (BARR; FEIGENBAUM, 1981). Existem duas linhas principais de pesquisa para a construo de sistemas inteligentes: a linha conexionista e a linha simblica. A linha conexionista visa modelagem da inteligncia humana atravs da simulao dos componentes do crebro, isto , de seus neurnios, e de suas interligaes. Esta proposta foi formalizada inicialmente em 1943, quando o neuropsicolgico McCulloch e o lgico Pitts propuseram um primeiro modelo matemtico para um neurnio. A linha simblica segue a tradio lgica e teve em McCarthy e Newell seus principais pesquisadores. Os princpios dessa linha de pesquisa so apresentados no artigo, Physical symbol systems de Newell. O sucesso dos sistemas especialistas, a partir da dcada de setenta, estabeleceu a manipulao simblica de um grande nmero de fatos especializados sobre um domnio restrito como o paradigma corrente para a construo de sistemas inteligentes do tipo simblico.

16

Uma das metas na Inteligncia Artificial ter uma mquina que simule com exatido as atividades da mente humana. Um SE pode ser aplicado nas mais diversas reas do conhecimento, como: agricultura, qumica, sistemas de computadores, eletrnica, engenharia, gerenciamento de informaes, etc. (FIGUEIREDO, 2011). 2.2 SISTEMAS BASEADOS EM CONHECIMENTO Sistemas Baseados no Conhecimento (SBC) ou Knowledge-based systems so alvo de vrias pesquisas em Inteligncia Artificial, realizadas com sucesso e cada vez mais presente no cotidiano. Esses sistemas so baseados em um modelo explcito de conhecimento destinado a solucionar problemas. O conhecimento deve ser representado em forma de regras ou modelos de objetos que aplicam mecanismos automatizados de raciocnio para a representao e inferncia de conhecimento que costumam ser identificados como simplesmente de inteligncia artificial aplicada e representam uma abrangente classe de aplicaes. Existe uma srie de formalismos que podem ser utilizados para modelar o conhecimento dos SBC, tais como, regras de produo, raciocnio baseados em casos, redes neurais, redes probabilsticas, entre outros. Neste ramo da IA est dividida em trs reas de pesquisa relativamente independentes. Alguns pesquisadores preocupam-se em desenvolver programas de computador que leiam, falem ou entendam a linguagem que as pessoas usam em suas conversas dirias, atualmente populares por serem usados nos smartphones atravs de softwares como o SIRI, S Voice e Google Voice. Outra rea trabalha com o desenvolvimento de robs inteligentes usados para explorao no espao pela NASA. E a terceira rea de pesquisa, objetivo deste trabalho, desenvolve programas que usem o conhecimento simblico para simular o comportamento dos especialistas humanos. A ideia desenvolver programas que possibilitem a utilizao dos conhecimentos dos especialistas atravs de uma mquina que permita o armazenamento e o sequenciamento de informaes e a autoaprendizagem, sendo conhecido como Sistemas Especialistas. 2.3 CONCEITOS BSICOS DE SISTEMAS ESPECIALISTAS Um sistema especialista (FLORES, 2003) uma forma de sistema baseado no

17

conhecimento especialmente projetado para emular a especializao humana de algum domnio especfico. So Capazes de resolver tarefas especficas de uma rea de conhecimento supostamente com a mesma qualidade que um especialista humano. Os SEs comearam a ser estudados por volta da dcada de 60 quando as pesquisas na rea da IA, segundo Reategui (1993), eram bastante audaciosas, pois visavam criar revolvedores de problemas com interfaces em uma linguagem natural. Contudo os resultados no eram muito satisfatrios. As pesquisas com a IA comearam a ter melhores resultados a partir do momento em que o foco passou a ser tratar problemas mais restritos de uma rea de conhecimento (REATEGUI, 1993). Assim,

comeou a ser desenvolvido programas que reproduzissem o comportamento humano na resoluo de problemas do mundo real (BITTENCOURT, 2006), armazenando, sequenciando informaes e auto- aprendendo com base nos experimentos prticos impostos pelas situaes em estudo (FIGUEIREDO, 2011). Um sistema especialista (SE) pode ser visto como uma subrea da Inteligncia Artificial, desenvolvido a partir da necessidade de se processar informaes no numricas, um sistema especialista capaz de apresentar concluses sobre um determinado tema, desde que devidamente orientado e alimentado. O objetivo do sistema especialista bastante restrito, se considerar o objetivo dos modelos psicolgicos: os SE's so concebidos para reproduzir o comportamento de especialistas humanos na resoluo de problemas do mundo real, mas o domnio destes problemas altamente restrito (BARR; FEIGENBAUM, 1981). Um dos primeiros sistemas especialistas que obtiveram sucesso em seus objetivos foram os sistemas DENDRAL (FEIGENBAUM; BUCHANAN; LEDERBERG, 1971) e MYCIN (SHORTLIFFE, 1976). A partir dessa poca, vrios sistemas foram desenvolvidos e resolveram diversos problemas, em diferentes domnios, como por exemplo, agricultura, qumica, sistemas de computadores, eletrnica, engenharia, geologia, gerenciamento de informaes, matemtica, medicina, aplicaes militares, fsica, controle de processos, tecnologia espacial e direito. 2.3.1 Arquitetura dos SE Um sistema especialista apresenta uma arquitetura com os seguintes componentes: base de conhecimentos, mecanismos de inferncia, explanao e aquisio de conhecimento.

18

A base do conhecimento rene o conhecimento do especialista modelado conforme a representao do conhecimento escolhida para modelar o domnio em questo. O mecanismo de inferncia examina o contedo da base de conhecimentos, decidindo a ordem em que se tiram as inferncias. Assim, o mecanismo de inferncia conduz a consulta com o usurio, transferindo os fatos e regras, utilizados durante uma consulta, para a memria de trabalho. Demostrado na Figura 2 abaixo:

Figura 2: Interface com o usurio. NILSON, Neils S. Principles of Artificial Intelligence, Springer Verlag, Berlin, 1982

A interface homem-mquina exercida pela estrutura de dilogo possibilita ao usurio o acesso ao sistema. A estrutura pode: responder a aes do usurio como, por exemplo, responder a uma questo do mesmo; permitir a atualizao das bases de dados e de conhecimento; quando utilizada juntamente com um mecanismo de justificativa mostrando ao usurio o encadeamento do raciocnio utilizado para a soluo apresentada. O mecanismo de inferncia evoca o mdulo de explanao, visando a um processo de transformao do conhecimento, representado na base de conhecimentos do SE ou deduzido no processo de busca de uma soluo (FLORES, 2003). Ests dedues criadas so as chamadas hipteses a partir delas ocorre uma sequncia de aes que devero ser encadeadas ou sequenciadas de regras aplicadas. Outra caracterstica comum nos sistemas especialistas a existncia de um mecanismo de raciocnio incerto que permita representar a incerteza a respeito do conhecimento do domnio. Existem basicamente dois modelos de derivao de uma hiptese: encadeamento para frente, encadeamento pra trs (LIEBOWITZ, 1988):

19

O encadeamento para frente, tambm conhecido como raciocnio dirigido por eventos, utilizado quando a soluo de um problema tem dados ou idias bsicas como ponto de partida sem meta pr-definida. Por exemplo quando se tem um conjunto de sintomas e se deseja inferir as possveis doenas que os representem;.

O encadeamento para trs, tambm chamado de raciocnio dirigido a metas, utilizado quando se tem uma meta como ponto de partida e se deseja satisfaz-la. A partir da meta todas as hipteses que possam satisfaz-la so verificadas.

Existe tambm a possibilidade de combinao destas duas tcnicas que so aplicadas normalmente quando se tem um amplo espao de busca e problemas complexos (LIEBOWITZ, 1988). O motor de inferncia controla a atividade do sistema. Esta atividade ocorre em ciclos, cada ciclo consistindo em trs fases que so de:

Correspondncia de dados, onde as regras que satisfazem a descrio da situao atual so selecionadas. Resoluo de conflitos, onde as regras que sero realmente executadas so escolhidas dentre as regras que foram selecionadas na primeira fase, e ordenadas.

Ao, a execuo propriamente dita das regras.

A base de conhecimento talvez o mais importante componente do sistema especialista. Na maioria dos sistemas composta de regras empricas baseadas na experincia do(s) especialista(s) consultado(s). De acordo com DUDA (1981) quanto maior for a base de conhecimento mais poderoso ser o sistema (LIEBOWITZ,1988). Os principais mecanismos de representao do conhecimento so a lgica de primeira ordem, os frames, redes semnticas e regras de produo. Os SEs gerados no Expert e2gLite tem sua arquitetura composta basicamente pelos seguintes componentes: Bases de conhecimentos; Interface de usurio;

20

Mquina de inferncia; Tais componentes esto interligados, conforme exemplificado na figura seguinte.

Figura 03: Site expertise2Go, 2013.

2. 3.2. Vantagens e desvantagens do SE Relacionando com outras tcnicas computacionais, os sistemas especialistas tm ainda as vantagens de serem bem aceitos por usurios finais que veem computadores solucionar problemas do mundo real, trabalhar com conhecimento adquirido com a experincia do especialista, efetuar processamento de forma semelhante humana, facilitar a transformao de conhecimento em cdigo e tratar incertezas (BASDEN, I 984). Como principais desvantagens temos: os sistemas especialistas tendem a trabalhar de uma forma rotineira, sem inspirao ou criatividade onde no sintetizado novo conhecimento; dificuldade de lidar com situaes inesperadas- entrada de informao e representao simblica e no sensria; no possuir conhecimento do senso comum (WATERMAN,1986). 2.3.3 Shells Para se criar um SE necessrio um software que auxilie no processo de construes de SEs. S egundo Nogueira e Silva (1997), a construo de um software para a gerao de sistemas especialistas no fcil, pois o software deve ser capaz de tratar e resolver os problemas da mesma maneira que um especialista humano, quando se depara com algum problema equivalente. O software tambm conhecido como Shell dever permitir que a captura do

21

conhecimento atravs de sua interface seja de fcil utilizao. A seguir so apresentados alguns dos principais exemplos de Shell: O Expert SINTA , segundo LIA (1999), uma ferramenta utilizada para gerao automtica de sistemas especialistas com o auxlio de tcnicas de Inteligncia Artificial. Esta ferramenta possibilita a criao de modelos de representao do conhecimento baseados em regras de produo e probabilidades, possibilitando uma economia de tempo e simplificao do trabalho aos desenvolvedores de sistemas especialistas, construo automtica de telas e menus, tratamento das regras de produo e criao de menus de ajuda com explicaes sobre a base de conhecimento modelada (LIA, 1999). Um sistema especialista com este tipo de modelo bastante til em problemas de classificao, pois o usurio responde a uma sequncia de menus e o sistema se encarrega de fornecer respostas que se encaixem no quadro apontado pelo usurio. Jess um mecanismo de regras e ambiente de script escrito inteiramente em linguagem Java criado por Ernest Friedman-Hill no Sandia National Laboratories em Livermore, Califrnia. Usando Jess, possvel construir o software Java, que tem a capacidade de "razo" usando o conhecimento fornecido na forma de regras declarativas. Jess leve, pequeno, e um dos motores mais rpidos de regras disponveis. Sua linguagem de script poderosa d-lhe acesso a todas as APIs do Java. Jess inclui um ambiente de desenvolvimento completo com base na plataforma Eclipse. O eXpertise2Go, e2gLite, shell empregado nesse trabalho, um applet Java que est incorporado em uma pgina da Web e download do servidor Web pelo navegador do usurio. O applets carrega uma base de conhecimento a partir do servidor e depois executado inteiramente no browser. As vantagens dessa Shells a possibilidade da fcil utilizao por qualquer navegador e dispositivos moveis atravs do e2gDroid lite. 2.4 REPRESENTAO DO CONHECIMENTO

Parte mais sensvel e crtica no desenvolvimento de um SE (NOGUEIRA e

22

SILVA, 1997; BITTENCOURT, 2006), a representao de conhecimento no limitada somente pela adio de nova informao a base de conhecimentos, mesclando as novas informaes com as j armazenadas na base de conhecimento (BITTENCOURT, 2008). A representao do conhecimento, segundo Diehl (2000), constitui de um conjunto de mecanismos utilizados no armazenamento e manipulao da informao, modelando de forma eficiente ao ponto de serem utilizados como conhecimento em um sistema inteligente. Existem vrias formas de se modelar o conhecimento de um especialista, tais como, lgica matemtica, regras de produo, raciocnio baseado em casos, redes probabilsticas, entre outros (FLORES, 2003; DIEHL, 2000). As mais utilizadas, segundo Nogueira e Silva (1997), so as regras de produo (ou regras de realizao), que utilizam a teoria das probabilidades, garantindo assim uma maior legibilidade da base de conhecimentos.

2.4.1 Regras

Uma regra em si um conjunto de premissas, normalmente escritas com sintaxe prxima linguagem natural, que realizam as concluses indicadas na mesma. Estas regras tm o formato SE - ENTO, permitindo-se o uso dos conectivos lgicos (E, OU, NO, e outros desejados). Como por exemplo: 1. SE cliente tem cadastro em outras locadoras = sim 2. OU reside no mesmo endereo a mais de 5 anos = sim 3. E situao = adimplente 4. ENTO crdito = liberado sem perdas [90%] O "SE" o corpo da regra, conhecido por ficar ao lado esquerdo da Proposio, avalia em relao a base de conhecimentos como um todo. realizado uma busca no mecanismo de avaliao para verificar a validade da Proposio, a condio deve ser satisfeita para que seja considerada a ao proposta, se a Proposio falhar a ao tambm falha. (DIEHL, 2000; NOGUEIRA e SILVA, 1997). As regras de produo possuem algumas vantagens, segundo LIA (1999), como:

23

Modularidade: cada regra pode ser considerada como uma pea de conhecimento independente; Facilidade de edio: novas regras podem ser includas e regras antigas podem modificadas com relativa independncia; Transparncia do sistema: garante maior legibilidade das bases de conhecimentos. Resumindo, uma regra um par ordenado de smbolos que representa algum conhecimento sobre um determinado assunto (DIEHL, 2000). Uma das grandes vantagens da utilizao de regras a facilidade na demonstrao de como se chega soluo atravs do rastreamento das regras pela mquina de inferncia (NOGUEIRA e SILVA, 1997). Quando se estiver criando bases de conhecimento com n o E2gLite devem ser levados em considerao alguns critrios na estrutura das premissas e concluso das regras, conforme descrito por Diehl (2000): O modelo para cada premissa deve seguir a seguinte estrutura (FILHO, 2011): <CONECTIVO> <ATRIBUTO> <OPERADOR> <VALOR>

Conectivo: So os elementos (E, NO, OU) utilizados para unir a sentena a o conjunto d e p r e m i s s a s q u e f o r m a m a s e o d e antecedentes de uma regra; Atributo: uma varivel capaz de assumir um ou uma lista de valores no decorrer da consulta base de conhecimento; Operador: So as ligaes entre o atributo e o valor da premissa, definindo o tipo de comparao a ser realizada. Os operadores podem ser: =, >, <=, >=, <>, entre outros; Valor: um item de uma lista, a qual foi previamente criada e relacionada a um atributo.

A estrutura de concluso, conforme salienta Nogueira e Silva (1997):

<ATRIBUTO>

<VALOR>

<GRAU DE CONFIANA>

24

Atributo: Mesmo atributo utilizado nas premissas; =: um operador de atribuio. O atributo receber o valor que lhe est sendo atribudo; Valor: Mesmo valor utilizado nas premissas; Grau d e c o n f i a n a : Percentual i n d i c a n d o a c o n f i a b i l i d a d e d a

concluso da regra com base nas premissas. Varia de 0% 100%. 2.4.2 Clculo Probabilstico dos Sistemas Especialistas Para se efetuar o tratamento do raciocnio, evidncia e aquisio automtica de conhecimento, um sistema especialista necessita de um mecanismo para se tratar destes problemas. O grau de confiana na deciso visto na estrutura de construo da concluso no exemplo anterior, quando utilizado um ponto critico para a considerao e confiabilidade das premissas, criando assim a dificuldade de se representar confiabilidade das seguintes informaes; segundo LIA (1999) Os especialistas matematicamente; Os resultados gerados atravs de clculos matemticos de probabilidade nem sempre geram as melhores respostas para aquela aplicao prtica.

humanos

no

utilizam

estimativas

definidas

O E2gLite modela os tratamentos probabilsticos utilizando quatro casos como base onde o clculo varia de acordo com o objetivo que se deseja podendo ser para se descobrir o valor final atribudo a uma regra, calcular o grau de confiana quando se tem o operador E embutido na regra ou calcular o grau de confiana quando se tem o operador OU na regra. Para melhor exemplificar os casos disponveis no e2gLite, ser mostrado o clculo utilizando as regras retiradas da base do Sistema Especialista demostrado no Site da ferramenta. Caso 1: Quando queremos saber o valor final atribudo s variveis na concluso de uma regra (LIA, 1999). O grau de confiana de uma regra R, ser o nmero atribudo a C1 ao final da

25

premissa de R, onde na concluso de R, temos expresses como Var = value CNF C2. Onde: Var uma varivel; value um termo qualquer que pode ser substitudo pela varivel; C2 um nmero real no intervalo de 0 a 100, que representa o grau de confiana da atribuio; O resultado final e dependente da premissa, pois C2 apenas uma referncia. Assim a operao a ser realizada Var = value CNF C1*C2. Como por exemplo, Teste simples em carro com defeito: Se [o tanque de gasolina] = "vazio" Ento, [a ao recomendada] = "reabastecer o carro"@ 60

Ento, na execuo da regra mostrada a cima, o usurio digitando o grau de confiana da premissa o tanque de gasolina = vazio com 80%, tem-se que o atributo a
ao recomendada receber o valor recarregar ou substituir a bateria, com o respectivo

grau de confiana da regra de 60%. O valor final da regra atribuda pelos valores fornecidos e obtido pelo clculo = 0.80 * 0.60 = 0.48 = 48%.33. Caso 2: Clculo do grau de confiana com o conectivo E (LIA, 1999). A regra possuindo duas igualdades var1 = value1 e var2 = value2, com os respectivos graus de confiana c1 e c2, temos a sentena var1 = value1 E var2 = value2, ficando como valor de confiana o resultado a multiplicao de C1 por C2. Como por exemplo, no mesmo caso anterior:

Se [o resultado de tentar o arranque] = "O carro morre lentamente" E [tentar ligar os faris] = "ligam normalmente" Ento [o tanque de gs] = "vazio" @ 80

Ao executar a regra cima, digamos que o grau de confiana para o resultado de

tentar o arranque = "O carro morre lentamente" 60% e o grau de confiana pra tentar ligar os faris = ligam normalmente 90%. Chega-se ao valor de 56%, obtido pelo

26

seguinte clculo 0.60*0.90 =0.54. Com o valor do clculo entre as premissas, agora se multiplica pelo grau de confiana da regra de 80%, ficando o valor final da regra em 43,2%.

Caso 3: Clculo do grau de confiana com o conectivo OU (LIA, 1999). Possuindo duas igualdades var1 = value1 e var2 = value2, com seus respectivos graus de confiana c1 e c2, obtm-se a sentena var1 = value1 OU var2 = value2. O valor de confiana obtido com o seguinte clculo c1 + c2 (c1* c2). Como por exemplo: Se [o resultado de ligar os faris] = "falhar" Ou [o resultado de tentar o arranque] = "nada acontece"
Ento, [a ao recomendada] = "recarregar ou substituir a bateria" @ 70

Na execuo da regra exemplificada a cima, digamos que o valor para o grau de confiana da igualdade o resultado de ligar os faris = Falhar 80% e o grau de confiana da igualdade o resultado de tentar o arranque = nada acontece 90%, ento obtm-se um valor de 98%, atravs do seguinte clculo ((0.80 + 0.90) (0.80 * 0.90)) = (1.7 - 0.72) = 0.98. Como valor das premissas, o passo seguinte e multiplica-lo com o grau de confiana da regra de 70%, obtendo o valor final da regra de 68,6%. Caso 4: Clculo do grau de confiana com o conectivo NO (MATOS, 2011). Negando uma ou mais igualdades var = value, com seus respectivos graus de confiana c, obtm-se a sentena NO var = value. O valor de confiana obtido com o seguinte clculo: (1 c). Como por exemplo:

Se [no conseguir d o arranque] = "sim" E [cheiro de gasolina] = "no" Ento [o tanque de gs] = "vazio" @ 40 A regra mostrada a cima o grau de confiana de 90% fornecido pelo usurio para o atributo Conseguir d o arranque = Sim, mas como a premissa foi negada inicialmente com o operador NO, o valor real da premissa ser 10%, de acordo com o clculo 1 0.90. Com o resultado da premissa, aplicasse a regra do caso 2, pois na premissa seguinte possui o conectivo E.

27

O valor do atributo cheiro de gasolina e de 60%. Ao final do calculo entre as premissas, 0.10 * 0.60, chegasse ao valor de 6%. J o valor final da regra ser o valor o grau de confiana das premissas 6% multiplicado pelo grau de confiana da regra de 40%. Chegando ao valor final de 24%. Seguindo os casos da base de modelagem de tratamento probabilstico, exemplificados acima, possvel criar inmeros outros casos simplesmente acrescentando de varias formas diferentes os conectivos a mesma regra, onde a ordem de prioridade : NO primeiro, seguindo de E, logo o OU.

28

3. ENGENHARIA DE REQUISITOS O objetivo deste captulo e explicar as atividades presentes no processo de engenharia de requisitos. So abordados pontos sobre a elicitao de requisitos e quais as principais tcnicas utilizadas para se coletar os requisitos. Ser explicada a validao dos requisitos e como se gerenciar os requisitos. O captulo est organizado da seguinte maneira: A seo 3.1 aborda a elicitao de requisitos e as principais tcnicas utilizadas para o correto levantamento dos requisitos. Na seo 3.2 aborda o processo de verificao e validao de requisitos. Finalmente o gerenciamento de requisitos abordado na seo 3.3. 3.1 ELICITAO DE REQUISITOS na elicitao de requisitos que organizada a reunio entre todos os interessados no projeto com o intuito de aprender mais sobre como o sistema deve ser (SOMMERVILLE, 2008). Na elicitao so identificados os requisitos do sistema, chegando- se a um entendimento mais completo do software (OLIVEIRA, 2008). Ainda segundo Oliveira (2008) a fase de elicitao de requisitos no consiste apenas em perguntar aos clientes o que eles querem, e sim fazer um levantamento cuidadoso do domnio e do processo de negcio que o sistema dever ter. Todavia, a elicitao, segundo Sommerville (2008), acaba se tornando complexo pelas seguintes razes:

Os interessados no sabem o que querem; Os interessados utilizam seus prprios termos com conhecimento implcito sobre os requisitos cabendo ao Analista de Requisitos o conhecimento e o domnio para entender esses requisitos; Diferentes interessados possuem diferentes formas de expressar os requisitos. O analista de requisitos deve saber entender os pontos em comum nos requisitos expressados; Fatores polticos podem influenciar nos requisitos do sistema. Por

exemplo, um jurista pode solicitar um requisito que aumentar sua

29

influncia em determinado processo; Os requisitos mudam constantemente durante o processo,

mudando tambm a importncia de determinados requisitos. Novos requisitos de novos interessados podem surgir. De todo caso a elicitao de requisitos no pode ser considerado apenas simples transferncia de conhecimento de especialistas para documentos de requisitos. O processo muito mais complexo devido a fatores distintos entre as pessoas envolvidas. Portanto no se pode considerar a elicitao de requisitos apenas como uma simples pesca dos requisitos, mas um procedimento complexo de negociao envolvendo todos os interessados envolvidos no projeto (OLIVEIRA, 2008). Para conseguir chegar ao entendimento completo do software so utilizadas algumas tcnicas, dentre as quais se destacam: entrevistas, tempestade de ideias, cenrios e etnografia. 3.1.1 Entrevistas

Entrevistas formais ou informais com todos os interessados, segundo Sommerville (2008), realizadas na maioria dos processos de engenharia de requisites. As entrevistas so realizadas pelos ARs formulam questes para os determinados especialistas no sistema que eles atualmente usado e aprimorar o que ser desenvolvido. Os requisitos assim vo sendo criados conforme as entrevistas so finalizadas. Estas entrevistas, Segundo Oliveira (2008), podem ser de dois tipos: Entrevistas fechadas, onde os analistas de requisitos perguntam aos interessados uma lista de perguntas j elaboradas. Entrevistas abertas, nas quais no existem perguntas predefinidas. Os ARs exploram vrios assuntos com os interessados, de forma a adquirir uma compreenso maior sobre a necessidade dos mesmos. Na prtica as entrevistas so uma mistura entre esses dois tipos. As entrevistas surgem de uma necessidade de melhora das atividades por parte dos interessados, como eles podem melhorar a interao com o sistema quais as dificuldades atuais presentes (OLIVEIRA, 2008).

30

No entanto as entrevistas no so teis para entender o domnio da aplicao (SOMMERVILLE, 2008). Elicitar o domnio da aplicao somente com entrevistas uma tarefa muito complexa, pois, os interessados especialistas do domnio tm dificuldade em explicar os requisitos sem utilize os termos especficos de sua rea, ou ento consideram os domnios extremamente fundamentais de forma que no vale a pena mencion-los o que acaba provocando um mau entendimento ou no levado em considerao por parte dos AR (SOMMERVILLE, 2008). O conhecimento obtido em forma de entrevistas, que muitas vezes so a nica forma de conhecimento do Sistema, deve complementar outras informaes sobre o Sistema, obtidas de documentos. Para uma correta elicitao, Sommerville (2008) comenta que as entrevistas devem ser auxiliadas com outras tcnicas para a elicitao de requisitos, pois apenas as entrevistas, pode levar a perda de informaes essenciais para o sistema. 3.1.2 Tempestade de ideias (Brainstorm)

A tempestade de ideias uma antiga tcnica para gerao de ideias em reunies em grupo. O princpio bsico consiste em reunir um conjunto de interessados especialistas em sistemas e negcios (APARECIDO e CARVALHO, 2002). Na reunio, estabelecido um curto prazo para que seja criado ideias criativas para contribuir para a resoluo do problema, cabendo ao AR filtrar as ideias e explora-las para criar um projeto nico. Amplamente utilizada no inicio da fase de desenvolvimento, quando se tem pouco conhecimento do negcio, a aplicao da tcnica interessante para o surgimento de novas ideias (OLIVEIRA, 2008). Gerar novas ideias rapidamente, deixando a mente livre para aceitar todas as ideias criativas que forem surgindo. O resultado de uma sesso bem sucedida a soluo do problema com um conjunto de boas ideias, propostas por todos os participantes (APARECIDO e CARVALHO, 2002). Em termos de tempo, a tempestade de idias pode ter um custo baixo, j que uma sesso no leva mais que uma hora, principalmente se os envolvidos j tiverem experincia com a tcnica e forem criativos. J em termos de esforos, a tempestade de idias pode ter um custo relativamente alto, pois requer um nmero significativo de pessoas, o que no indicado. O aconselhvel incluir pessoas chaves com diferentes perfis (APARECIDA e CARVALHO, 2002; OLIVEIRA, 2008).

31

Entretanto, segundo Aparecido e Carvalho (2002), levando-se em conta a quantidade de informao coletada com o custo para obt-la, o uso da tcnica tempestade de idias acaba sendo uma tima escolha. 3.1.3 Cenrios

Os interessados acham mais simples relatar os exemplos do trabalho cotidiano e assim descrever as funcionalidades que desejariam que existisse no futuro sistema. No cenrio, eles podem interagir, compreendendo e/ou criticando como seriam as novas funcionalidades do sistema (OLIVEIRA, 2008). A tcnica de cenrios bastante usada em metodologias geis como as estrias ou no RUP com os casos de uso. Um Sistema robusto ter um nmero muito grande de cenrios tornado muito complexo. Os cenrios devem incluir pelo menos uma das seguintes informaes, Segundo Oliveira (2008) e Sommerville (2008): Uma descrio do estado do sistema antes de entrar no cenrio; O fluxo normal de eventos no cenrio; Uma descrio dos possveis fluxos de excees; Informaes sobre outras atividades que podem ocorrer no mesmo momento; Uma descrio do estado do sistema aps concluir o cenrio. Os cenrios podem ser descritos na forma de textos, diagramas e imagens. 3.1.4 Etnografia

A etnografia uma tcnica de observao, utilizada para obter os requisitos que podem ficar omitidos se utilizada outra tcnica. A tcnica consiste em o AR se inserir no ambiente de trabalho para o qual o Sistema ser desenvolvido e recolher os requisitos de sua observao (OLIVEIRA, 2008). A observao do dia-a-dia de trabalho das pessoas envolvidas, anotando e construindo imagens de como realizado o trabalho delas. A etnologia ajuda o AR a descobrir e entender os procedimentos que podem vir a

32

serem os requisitos reais e implcitos que o Sistema dever ter (SOMMERVILE, 2008). Portanto, o etngrafo deve ser uma pessoa com habilidade de observao e transformao dessa observao em cenrios como casos de uso (OLIVEIRA, 2008). Deve-se ter apresso maior dentre as diretrizes para a etnografia, procurar formas no padronizadas de trabalho, tomar nota de forma detalhada de todas as prticas de trabalho, analisando-as e chegando a uma concluso e, sempre que possvel, combinar a etnografia com outras tcnicas de elicitao como entrevistas.

3.2 VERIFICAO E VALIDAO DE REQUISITOS

A validao de requisitos um dos mais importantes na Engenharia de Requisitos, pois detalha a real necessidade do Sistema. A validao de requisitos est relacionada descoberta de problemas que os requisitos possam ter, prevenindo custos excessivos com retrabalho (OLIVEIRA, 2008). O custo de correo de requisitos o maior dentre outras partes do processo como projeto de desenvolvimento, pois um erro de requisite implica em grandes mudanas no projeto, e em seu desenvolvimento alm da necessidade de realizar novos testes (SOMMERVILLE, 2008). O sucesso no processo de validao de requisitos obtido por meio da necessria realizao de verificao nos requisitos. Essas verificaes incluem Segundo (Sommerville, 2008):

Verificar se o sistema est atendendo a todas as necessidades dos interessados, pois o sistema ter diferentes usurios e cada

usurio ter necessidades diferentes; Verificar se os documentos (de requisitos) descrevem todos os requisitos e restries dos usurios, no gerando conflito entre estes os requisitos; Verificar se os requisitos podem realmente ser desenvolvidos com a tecnologia escolhida no prazo e oramento estipulados; Verificar se a descrio dos requisitos est entendvel. As divergncias, erros e problemas detectados na validao de requisitos no podem ser subestimados, conflitos, contradies e omisses nos requisitos devem ser apontados e

33

negociados junto aos interessados buscando assim um acordo para criar uma soluo para os problemas identificados (SOMMERVILLE, 2008).

3.3 GERENCIAMENTO DE REQUISITOS

Os requisitos de sistemas de software esto em constante mudana, conforme os especialistas tm novos entendimentos sobre os problemas existentes. Cabe aos ARs adaptar os requisitos a esses novos entimentos. Conforme os usurios utilizem os sistemas, novos requisitos iro surgir naturalmente (LUIZA e OLIVEIRA, 2008). A partir do momento que definido um requisite como pronto o gerenciamento de requisitos deve compreender e controlar as mudanas dos requisitos que devem ser acompanhados individualmente, mantendo as ligaes dos requisitos dos requisitos. A mudana de requisitos quando o sistema j est em uso inevitvel. O surgimento de novas necessidades no ambiente de trabalho ocorre e os requisitos acompanham essas mudanas fundamental atender a essas modificaes corretamente. Para se gerenciar corretamente essas mudanas, o planejamento deve ser feito (Sommerville, 2008). O AR deve verificar a validade das solicitaes de modificaes, definir os requisitos que podem sofrer modificaes, estimar os custos das mudanas, acordar com os usurios os custos de tal mudana e utilizar ferramentas para auxiliar na rastreabilidade destes requisitos (LUIZA e OLIVEIRA, 2008).

34

4. SISTEMA ESPECIALISTA LEGAL (SEL)

O objetivo deste captulo e explicar conceitos bsicos dos SELs . So abordados pontos sobre a utilizao e quais as principais restries utilizadas para o sucesso do SEL. Ser explicada a relevncia dos SEL e como ele est sendo trabalhado. O captulo est organizado da seguinte maneira: A seo 4.1 aborda as consideraes iniciais sobre os SELs e as principais definies utilizadas para especifica-los. Na seo 4.2 aborda relevncia dos SELs. As restries dos SELs abordado na seo 4.3. E Finalmente os trabalhos correlatos na seo 4.4.

4.1

CONSIDERAES INICIAIS

Consiste em uma srie de programas que buscam informaes validas em uma base de dados jurdicos estruturados, justificando cada ocorrncia com as regras aplicadas e pondo em disposio uma interface homem-mquina que facilite a introduo de novas regras nos pontos onde as bases de conhecimentos se revelem incompleta ou desatualizada. Em outras palavras, um SEL deveria ser capaz de simular aquela parte do raciocnio jurdico (de um especialista jurdico) que das normas extrai concluses (excluindo a interpretao) visando atingir a regra geral (Martinho,1985- Traduzido). Desta definio pode-se tirar certa caractersticas que pertencem aos SEL em geral:

1. Existncia de uma base de dados jurdicos; 2. Deduo de informaes que no esto explicitamente armazenadas na base de dados; 3. Justificao e explicao de por que certos dados so necessrios, bem como do caminho percorrido para chegar deduo; 4. Interfaces amigveis e de boa interao entre homem-mquina; 5. Possibilidade de completar o sistema, seja com a introduo de novos dados pelo usurio, seja pelo aprendizado automtico da mquina, a partir de consultas anteriores ou mudanas nas regras legais

Nos SEL e em especial a interface ganha contornos especiais, face ao carter de transparncia (explicitao minuciosa dos procedimentos lgicos seguidos), documentao (citao dos textos em que se baseia a concluso) e acessibilidade (lingustica e tcnica) dos contedos da consulta (FAMELI, 1984) .

35

O importante encurtar a distncia do dilogo homem-mquina inventando regras de intermediao e de controle eficientes e amigveis.

4.2

RELEVNCIA DOS SEL

Os SEL parecem destinados a uma enorme difuso; em certo ponto se pode decidir sua construo por suas caractersticas semelhante a cincia jurdica e pelo mesmo modo pelo qual os especialistas de direito consideram, a lgica, e em particular a lgica das normas oferece uma contribuio muito importante para a concepo e realizao dos SEL (Martino, 1985). No Brasil atualmente existem poucas propostas e poucas discusses sobre os SEL, e todos so recebidos pelos especialistas e usurios da rea com grandes expectativas positivas, pois o sistema atual est saturado e existem poucos profissionais disponveis, e a maior carncia justamente onde os SEL podem suprir, auxiliando os processos e difundindo informaes do direito a sociedade em geral. Brevemente os SE relacionados cincia do direito, tendem a ser mais frequentes, nos ramos mais diversos do direito, isto facilitar notavelmente uma parte importante do trabalho jurdico, no somente do especialista mas principalmente de outros usurios leigos. E em um futuro prximo quando os SEL perfeitamente eficientemente implementados, realizaro servios que antes somente eram possveis com uma grande quantidade de pessoas. Claro com a criao de uma forma mais refinada de inteligncia artificial voltada para o direito.

4.3

RESTRIES DOS SEL

H grande necessidade de encurtar a distncia do dilogo usurio-mquina elaborando regras de intermediao e de controle eficientes e amigveis. Esta tarefa ainda uma problemtica em relao ao desenvolvimento de um SEL, o uso de uma interface apropriada para a linguagem natural evolui aceleradamente com as novas tecnologias de IA, porm precisa ser aprimorada para ser utilizada junto ao conhecimento jurdico, a construo de regras para obter as inferncias/concluses pelos SEL, que tm necessidade de conhecimento estruturado, como qualquer SE. Da se reconhece que os enunciados legislativos so mais facilmente identificveis para a representao num SEL, no eliminado, as outras formas.

36

O jurista argentino Martino, destacou que o conhecimento jurdico tem algumas peculiaridades, sobre tudo referente SEL de grandes dimenses, que devem ser evitadas para que seja respeitada as caractersticas do raciocnio jurdico. H informaes legais que devem ser tratadas com muito cuidado pelo fato de se manter sigilo para proteo por exemplo de uma criana, essas informaes referentes a ato sigilosos nos SEL devem ser evitadas e direcionadas a um especialista do direito. Podem-se destacar alguns pontos que precisam ser tomados para o sucesso do SEL:

1. Expressividade do sistema: localizar as estruturas de conhecimento ou linguagens apropriadas ao problema a ser representado, procurando determinar qual o formalismo mais apropriado. Esta uma questo prpria da representao na IA e que na anlise do Sistema judiciario propriamente dito, cai nas duas questes que seguem. 2. Decidibilidade do sistema: determinar os limites apropriados do sistema, respondendo exigncia de completude. 3. Tratabilidade do sistema: neste artigo est restrita ao problema da consistncia, forma como o sistema tratar as contradies.

So problemas de difcil mas no impossvel soluo. De acordo com o tipo de conhecimento ou sistema a ser implementado, diversos so os formalismos que tentam dar uma boa resposta. O avano das pesquisas e dos trabalhos prticos fundamental para se chegar ao limite razovel do problema, seja na implementao de um SEL ou de novas tcnicas de IA.

4.4

TRABALHOS CORRELATOS

Introduo aos sistemas especialistas legais: Dificuldades acerca do sistema jurdico, artigo no qual Aires Jos Rover descreve cinco partes centrais: a primeira estuda o problema central da construo do sistema jurdico, nos problemas da completude e da consistncia do mesmo e nas formas de como solucion-los. A segunda parte discute a informtica jurdica, seu histrico e desenvolvimento; a terceira apresenta a discusso em torno da Inteligncia artificial; a quarta centra-se na questo dos sistemas especialistas legais atendo-se especialmente nos formalismos utilizados, em resposta a determinados problemas de representao; a quinta e ltima apresenta alguns

37

aspectos de um exemplo de Sistema Especialista Legal (ROVER, 1997)

Lgica dentica para consistente e sistemas especialistas legais: Uma ferramenta para governo eletrnico judicial, onde Jos Renato Gaziero Cella, Universidade Federal de santa Catarina (UFSC), afirma que o raciocnio jurdico, bem como o conflito entre normas jurdicas so examinada por meio de vrios sistemas lgicos. A primeira limitao lgica clssica o seu carcter monotnica: a adio de uma nova informao para um conjunto finito de locais no altera o concluses que podem ser deduzidas a partir da configurao inicial, ao contrrio do raciocnio jurdico, em que a concluso de cada novo alterao de informao ou premissa adicionada. Uma segunda limitao da lgica clssica refere-se impossibilidade de representao do contraditrio declaraes, ao contrrio do raciocnio jurdico, que considera o possibilidade de normas contraditrias, informaes ou instalaes. Como alternativa para a primeira limitao, as lgicas no so monotnicos formulado; segunda limitao, os para consistente lgica anotada poderia ser uma possibilidade para uma forma reconstruo do raciocnio jurdico, para que a monotonia no e os conflitos normativos podem ser adequadamente representadas em sistemas especialistas legais e que poderia ser feita uma otimizao no Judicirio e Governo (GAZIERO e CELLA, 2009)

Projeto e desenvolvimento de sistemas especialistas jurdicos Texto no qual Pablo Ribeiro Surez e Alunos propem expor um processo de desenvolvimento gil para sistemas especialistas, inspirado em prticas da Engenharia de Software e da Engenharia de Conhecimento. A experincia-piloto associada concepo desse processo foi o desenvolvimento de um sistema especialista jurdico capaz de auxiliar a tarefa de fixao de penas privativas de liberdade em crimes de homicdio simples. Esse processo ainda deve ser avaliado por especialistas e utilizado, como forma de auxlio e no de substituio de suas expertises, em projetos que envolvam elicitao, representao e validao de conhecimento jurdico (SUARES, 2009)

Uma proposta de um sistema especialista para o cdigo de defesa do consumidor Brasileiro (CDC): No qual Fabian Vigas, Juliano Flix da Silva, Leandro Schmitt,

Cludia Petry de Faria propem em seu artigo que tem como objetivo demonstrar o uso de

38

tcnicas de Inteligncia Artificial, em especial a tcnica de Sistemas Especialistas, na rea do Direito. O Direito do Consumidor foi rea de Direito escolhida para representar tal conhecimento especializado, onde o desenvolvimento de uma aplicao inteligente para auxlio na tomada de decises dar origem ao Sistema Especialista Legal apresentado no final do trabalho a fim de auxiliar em situaes que requeiram conhecimentos jurdicos para solucionar problemas (VIEGAS, 2011).

39

5. A CONSTRUO DO PROTTIPO DE SISTEMA ESPECIALISTA LEGAL

O objetivo deste captulo e explicar as atividades presentes no processo de construo do prottipo que ser chamado de SEL-FAM. Discutindo as etapas bsicas na elaborao do sistema especialista. O captulo est organizado da seguinte maneira: A seo 5.1 aborda conceitos bsicos que criaram a ideia do prottipo de SEL. Na seo 5.2 aborda a ferramenta utilizada para a construo do prottipo. Questo relacionada ao estudo de viabilidade do prottipo de SEL abordada na seo 5.3. A seo 5.4 trata da formalizao do conhecimento do especialista em direito, especificamente em direito da famlia. A implementao do Prottipo demostrada na seo 5.5. Finalmente garantindo a relevncia do SEL-FAM na seo 5.6.

5.1 PROJETO O SEL-FAM uma proposta de SEL em questes tratadas pela vara de famlia. Surgiu por meio das tcnicas de engenharia de requisitos aplicadas no Tribunal de Justia do Estado do Par (TJPA), foram realizadas vrias entrevistas com especialistas da rea de direito alm do estudo etnogrfico sobre a especialidade. Que confirmaram a real necessidade de um SEL. Os Sistemas que so da rea no cientfica possuem uma usabilidade e interface amigvel com o usurio. Nos dias atuais as ferramentas que possibilitam uma fcil interao entre homem e mquina so os dispositivos mveis, ajudam no aumento da produtividade e no rpido desenvolvimento no processo de criao de um software. Boa parte das SHELLs de hoje disponveis para a criao de sistemas especialistas, no possibilitam que ocorra uma maior portabilidade de seus softwares. Logo SEs em dispositivos mveis ainda so raros. A ferramenta que ir auxiliar na criao de um sistema especialista deve ter uma fcil utilizao, possuindo uma interface autoexplicativa, permitindo que qualquer pessoa familiarizada com um computador possa criar o conhecimento especializado de acordo com a linguagem de representao do conhecimento disponvel (BITTENCOURT, 2006). A ferramenta para a criao do SEL-FAM permite sua portabilidade. Est ferramenta melhor detalhada a seguir.

40

5.2 SHELL UTILIZADO

Com o e2gLite possvel criar rapidamente todas as variveis e seus possveis valores, como tambm os objetivos do sistema para, em seguida, iniciar a criao das regras de produo, conforme verificado na figura 04 abaixo:

Figura 04: Ambiente do e2gRule Writer, 2013.

Assim como o Expert 2egLite, existem outras ferramentas

que ajudaram

segundo, na disseminao dos sistemas especialistas, entre a ferramenta de criao do conhecimento que define as regras e aspectos operacionais, do conhecimento de domnio a aplicativo para dispositivos moveis como o Android est disponvel o app e2gDroid, como podemos ver na figura 05.

Figura 05: Ambiente do e2gDroid,Google Play 2013.

41

5.3 ESTUDO DE VIABILIDADES Cria um sistema especialista para auxiliar e processos complexos como o da cincia do Direito no pode ser resolvido facilmente. Por isso, sero utilizados como base na criao do sistema a sugesto de necessidade imediata obtida com o especialista. As metodologias utilizadas para saber se o sistema especialista a resposta na resoluo de um problema. Nogueira e Silva (1997) afirmam que se torna necessrio na definio da resposta, os seguintes parmetros: A tarefa no necessita de senso comum? J que computadores tm uma enorme dificuldade em lidar com senso comum. Mas sistemas especialistas so quase

que totalmente desprovidos de bom senso, ento no sofrem grandes prejuzos ao tratarem do assunto (NOGUEIRA E SILVA, 1997); Existem modos de formalizao para o conhecimento desejado? O sistema deve ser validado por diversos especialistas no assunto (NOGUEIRA E SILVA, 1997); Existem especialistas disponveis que possam colaborar com o

desenvolvimento do sistema? Presena ativa de profissionais com alto grau de conhecimento do problema em estudo vital para obteno de resultados funcionais (NOGUEIRA E SILVA, 1997);

A aplicao relevante? O sistema s valer a pena se o mesmo no for para resoluo de tarefas triviais ou de pouca importncia (NOGUEIRA E SILVA, 1997). Tambm deve ser levado em considerao o pblico alvo, afinal de contas o

sistema tem como misso ser simples e amigvel ao usurio, atualmente essa identificao ocorre seu aparelho pessoal um Smartphone. Validando uma informao da mesma forma que um especialista humano, treinar novos analistas com as melhores respostas dos principais problemas j vivenciados por outros especialistas. Para se chegar a estes objetivos se torna necessria uma boa formalizao do conhecimento, conforme descrito a seguir.

42

5.4 FORMALIZAO DO CONHECIMENTO DO ESPECIALISTA EM DIREITO O grande problema na criao de um SEL est na dificuldade de se conseguir elaborar corretamente o conhecimento do Direito. Nogueira e Silva (1997) indicam uma boa entrevista com os especialistas da rea em que esteja querendo coletar as informaes, pois segundo os mesmos difcil se criar regras com base nas concluses feitas pelos Especialistas, quando os mesmos lidam com novas situaes, onde se torna necessrio, uma boa experincia ou at mesmo na dificuldade de comunicao quando se utiliza muitos termos tcnicos. Seguindo a sugesto descrita acima, foram utilizados na formalizao do conhecimento para a base do S E L- F A M , dois mtodos para extrao do conhecimento dos especialistas em requisitos. Os mtodos so os seguintes: O Mtodo da Observao, onde o desenvolvedor do sistema especialista deve assistir ao dia a dia de trabalho de um especialista na resoluo dos problemas (NOGUEIRA E SILVA, 1997); Mtodo Intuitivo, onde feito um estudo e interao tanto com o especialista em requisitos quanto com a literatura bsica sobre o assunto (NOGUEIRA E SILVA, 1997). Alm dos mtodos de observao e intuitivo descritos acima, tambm foi realizada uma entrevista com p a r a i d e n t i f i c a r alguns problemas tpicos do dia a dia de um especialista da Vara de famlia. A partir dessa entrevista foi criado um questionrio e enviado a alguns especialistas para que os mesmos dessem suas contribuies. 5.4.1 Aquisio de conhecimento O SEL-FAM um sistema especialista voltado a suporte na resoluo de problemas simples de reponsabilidade da Vara de famlia. Seu principal objetivo e o de auxiliar ao especialista, analistas de Direito e sociedade em geral, podendo tambm ser utilizado como treinamento a novos membros de uma equipe responsvel pela Vara. A modelagem do conhecimento requer uma srie de refinamento aumentando a imparcialidade das respostas do sistema e seu domnio s regras do Direito.

43

O refinamento do conhecimento, obtido com as tcnicas descritas sobre requisitos utilizados na verso inicial do Prottipo feito da seguinte maneira: Mtodo da Observao: Foi observado durante um perodo de 6 meses a rotina de trabalho de especialistas d rea do Direito no Tribunal de Justia do Estado do Par. Mtodo Intuitivo: A partir do levantamento bibliogrfico sobre a disciplina de inteligncia artificial foi feito um levantamento d as melhores prticas sobre o assunto descrito pelos autores especialistas em sistemas especialistas legais. Seguindo suas recomendaes foi priorizado no prottipo sua portabilidade e usabilidade amigvel. Entrevista: As perguntas contidas no questionrio eram voltadas real necessidade do sistema para a Vara de famlia e a sociedade, a existncia de algum sistema similar para o suporte a deciso, o grau de interesse dos especialistas e relao a uma nova ferramenta. O questionrio serviu como base para a criao do grau de confiana atribudo aos objetivos das regras. A entrevista completa pode ser apreciada no Apndice 01.

5.5 IMPLEMENTAO DO PROTTIPO

Pelo fato de que o e2gLite ainda ser uma Shell nova ainda no muito prtico utilizar o e2gRulewriter sua interface de criao. A ferramenta permite criar seu banco de conhecimento atravs de simples cdigos em arquivos com extenso.kb usando linguagem em Java script e as linguagens prprias da Shell, devidamente documentas em seu manual. A base de conhecimento da Shell pratica pois permite facilmente adaptvel ao um servidor web, aplicativo Java ou dispositivos Android. Uma base de conhecimento no e2gLite envolve os seguintes conjuntos de atributos que devem ser criados na base:

Variveis so os atributos que sero utilizados nas regras; Regras so formadas por um conjunto de premissas com um grau de

44

confiana; Perguntas so variveis que iro aparecer ao usurio como forma de perguntas; Objetivos so variveis que iro estar na concluso das regras; Informaes adicionais, local onde so colocados a adicionais, local onde so colocados as informaes de apresentao do sistema e nome dos autores. S quando esses elementos estiverem definidos, se torna possvel utilizar o sistema especialista. Com a base de conhecimento j levantada, utiliza-se o e2gRulewriter para criar a base de conhecimento em arquivo, est ferramenta ainda estava em desenvolvimento no perodo de criao do prottipo. Logo foi usado a seguinte forma: deve-se abrir o bloco de notas e criar uma nova base de conhecimento, digitando no topo REM NOME (Nome.kb) e um HTML. Conforme veremos abaixo, onde explicar melhor esse processo atravs do cdigo em HTML.

45

No HTML: <HTML> <HEAD><TITLE>FAMILIA (TJE.html)</TITLE></HEAD> <BODY bgcolor="#9BCD9B"> <center> <APPLET CODE="e2glite.e2g.class" ARCHIVE="e2glite.jar" WIDTH=1400 HEIGHT=900> <PARAM NAME="KBURL" VALUE="TJE.kb"> <PARAM NAME="DEBUG" VALUE="false"> <PARAM NAME="APPTITLE" VALUE="Prottipo SEL para a Vara de Famlia"> <PARAM NAME="APPSUBTITLE" VALUE="Luis Paulo Jacob R Novaes"> <param name="BGCOLOR" value="#990033"> <param name="TITLECOLOR" value="#ffff00"> <param name="PROMPTCOLOR" value="#ffffff"> <param name="STARTBUTTON" value="Consultar"> <param name="WORDWRAP" value="true"> <param name="DEBUG" value="false"> <PARAM NAME="DIALOGFONT" VALUE="Segoe UI"> <PARAM NAME="MONOFONT" VALUE="Courier New"> Java is required to view this page! </APPLET> </center> </BODY> </HTML>

5.5.1 Base de conhecimento Na criao da base de conhecimento do Prottipo, necessria primeiramente a criao dos objetivos que sero alcanados no sistema. Esses objetivos estaro ligados as perguntas, para finalmente dar incio a criao das regras de produo que sero utilizadas no sistema. Todo o processo de criao das variveis, separao das variveis objetivos das perguntas e criao das regras ser explicada na seo seguinte. Variveis e objetivos A criao de variveis do Prottipo pelo e2gLite bastante simples. Aps ter definido quais sero os problemas ou situaes mais vivenciadas por especialistas

46

em na Vara de Famlia, basta declarar as variveis.

Onde: GOAL [ PROMPT [ feita ao usurio. ]: para declarar o objetivo principal. ]; a declarao da varivel obtida pelas perguntas

Ao definir as variveis objetivos, o prximo passo a criao da interface com o usurio. A interface a forma como as variveis iro ser exibidas aos usurios do sistema, e como sero feitas as perguntas aos usurios.

5.5.2 Interface com o usurio

O e2glite se comunica com o usurio final atravs de menus de mltipla escolha. Os menus so construdos logo aps a varivel ligada a pergunta e para cada varivel pergunta criar uma questo e um motivo de ajuda, que ir auxiliar o usurio quando o mesmo no souber sobre do que se trata a pergunta, mostrando a regra ligada a mesma. No cdigo de criao de perguntas do e2gLite, existem as seguintes as declaraes de tipos de perguntas. YesNo (boto de rdio true / false entrada (Boolean)) MultChoice (texto cadeia de entrada boto de rdio) ForcedChoice (o mesmo que MultChoice sem o "eu no sei ..." opo) (v3.04a) Escolha (texto cadeia de entrada lista drop-down) AllChoice (String text entradas de caixa de seleo mltiplos: Veja MAXVALS) Numrico (intervalo verificado entrada numrica)

Um exemplo da interface do prprio Prottipo:

PROMPT [acao] ForcedChoice CF "Escolha uma entre as aes abaixo para iniciar um processo:"

47 "Casamento" "Divorcio"

No permitido que esta mesma varivel seja referenciada em uma regra como varivel pergunta e objetivo. Com a seleo das variveis, a criao das perguntas e definio dos motivos para o Prottipo, o prximo passo e o mais complexo a criao das regras de produo com seus respectivos graus de confiana. Regras A modelagem do conhecimento no e2gLite feita atravs das regras de produo, declaradas aps o RULE [ ] , Exemplo: ], then[ ]

RULE [Casamento_CASAMENTO_C] Por seguinte, criamos a estrutura if [ acompanhadas dos

objetivos obtidos nas perguntas e resultando o objetivo final conforme vemos abaixo:

If [acao] = "Casamento" Then [resultado] = "Casamento"

Aps ser inserida a primeira premissa da regra, o e2gLite permite que sejam inseridos os conectivos and e or;
If [acao] = "Casamento" and

[Estado Civel] = "Casado(a)" Then [resultado] = "Bigamia crime !!"

Aps declarado os objetivos da regra, o seu respectivo valor e seu graus de confiana, declarado pelo character @. Como vemos abaixo: If [acao] = "Casamento" and [Estado Civel] = "Casado(a)" Then [resultado] = "Bigamia crime !!" @ 90

O Prottipo j est com sua base de conhecimento completa, restando apenas consulta-la e verificar os resultados alcanados.

48

Para melhor compreenso a codificao detalhada est anexada no Apndice 2.Onde poder ser vista e analisada. Como Informaes adicionais: antes de executar o Prottipo, se torna necessrio instalar a ltima verso da marquinha virtual JAVA, para executar um programa com extenso .jar, que o caso do e2gLite ou instalar o JAVA em no navegado web e permitir sua execuo. No Android; Figura 06; para que seja executado no dispositivo necessria a instalao do e2gDroid Lite, que executa qualquer arquivo com a extenso kb criada para o e2gLite.

Figura 6: Janela do APP SEL-FAM, e2gDroid

Tambm possvel a criao de arquivos de ajuda online, definir preferncias na execuo dos conectivos, formula matemticas e proteo por senha para o sistema especialista. Em uma verso futura do Prottipo, poder ser agregada algumas destas funcionalidades presentes no Expertise2Go.

49

5.5.3 Consultando

Antes de mostrar as consultas primeiramente sero mostrados alguns comandos bsicos do e2gLite. Existem dois modos de acompanhamento de consulta e um deles o DEBUG, que permite verificar cada ao que o software realiza de acordo com o andamento do mesmo. Iniciando a consulta, a primeira tela que ir aparecer ser a tela de abertura do sistema. A tela mostra uma pequena descrio sobre o Prottipo, segue abaixo.

Figura 7 Tela de abertura do Prottipo

Aps a tela de abertura iro aparecer as perguntas criadas. A base de conhecimento do e2gLite possui 21 regras e foi elaborada com variveis univaloradas, ento as perguntas iro aceitar apenas uma opo a ser selecionada, que conforme seja selecionada permite ao sistema solicitar qual o grau de confiana naquela resposta, conforme mostrado na figura 08.

. Figura 8: Interface e2gLite

50

Contudo, caso o analista que esteja utilizando o e2gLite, no saiba o que a pergunta significa, basta consultar a ajuda selecionando a opo Por qu? . O e2gLite ir mostrar ao analista o porque de estar fazendo aquela pergunta, conforme figura 9.

Figura 9: Tela de ajuda do e2gLite

Mas se mesmo com a tela de ajuda o usurio no souber como responder a pergunta, simplesmente poder passar a pergunta s escolhendo a opo OK. Independente da escolha, o e2gLite ir auxiliar o usurio na melhor maneira. 5.5.4 Acompanhamento (DEBUG) O acompanhamento das consultas do e2gLite pode ser feito atravs do depurador. O depurador exibe uma caixa de listagem com todas as regras que formam a base de conhecimento do, destacando a premissa que est sendo analisada pela mquina de inferncia naquele momento, tem o objetivo de auxiliar o desenvolvedor do sistema. Conforme mostrado na figura 10.

Figura 10 : Execuo do e2gLite pelo modo depurador

51

Para utilizar o modo depurador o analista deve executar o e2gLite, para ativar preciso editar o documento nomeado com extenso HTML e adicionar a linha:

<PARAM NAME="DEBUG" VALUE="TRUE">

E para cada resposta efetuada, continuar apertando a tecla. Assim e possvel ver como o e2gLite funciona na escolha das regras.

5.5.5 Janela de Resultados Atingidos Ao final de uma busca de objetivos, o e2gLite apresenta uma janela de resultados., comenta que esta janela se divide em varias partes: A de resultados, onde so apresentados todos os objetivos atingidos, com seus respectivos graus de confiana, conforme mostrado na figura 11.

Figura 11: Tela de Resultados

Explicar: onde exibido todo o caminho realizado pelo sistema especialista at atingir a soluo do objetivo escolhido, conforme mostrado na figura 12.

Figura 29 Arvore de explicada.

Figura 12: rvore de explicada.

52

5.6 GARANTINDO A RELEVNCIA DO SEL-FAM

A garantia da funcionalidade na verso atual do Prottipo tem o intuito de verificar se os objetivos sugeridos pelo sistema realmente ajudaram os especialistas e usurios comuns em suas rotinas. Para efetuar os testes, foram aplicado um questionrio. Presentes nas figuras abaixo da seguinte forma: O primeiro teste, figura 13, efetuado com o sistema foi em relao aos especialistas da rea do direito. O intuito foi verificar se os objetivos que e2gLite chegou, atingiram uma boa porcentagem em relao soluo adotada pelos especialistas para se chegar concluso do sistema. No momento do teste foram levadas em considerao as situaes que ocorreram na poca que o prottipo e s t a v a d esenvolvido para testes.

Figura 13: Prottipo desenvolvido para testes

O segundo teste, figura 14, foi aplicado aos usurios no especialistas. O intuito do teste foi verificar se os objetivos atingidos pelo e2gLite satisfazem as necessidades.

Figura 14 : Avaliao dos Usurios

53

Aps analisar os resultados dos testes detectaram-se quais os objetivos do prottipo esto mais prximos dos utilizados pelos usurios e quais precisam ser melhorados, para uma futura verso, conforme figura 15.

Figura 15: Mdia de resultados.

Na avaliao final acima se conclui, que os especialistas na rea exigem uma interface mais refinada. Confirmando assim uma das caractersticas afirmadas por Martinho em 1985 em relao aos SEL. importante destacar que o prottipo desenvolvido neste trabalho utiliza uma Shell com recursos limitados de interface porm sua real proposta disponibiliza o acesso de um futuro SEL por meio de dispositivos mveis, quanto a este ponto o prottipo foi muito bem aceito. O SEL-FAM tem um grande potencial se continuado o seu desenvolvimento, sua base conhecimento deve ser aprimorada at os processos mais complexos da vara de famlia, como o caso de penso alimentcia, divrcio litigioso, ganho de guarda, etc.

54

6. CONCLUSO Construir sistemas especialistas no uma tarefa trivial. Apesar do desenvolvimento das tcnicas de aquisio e modelagem do conhecimento, principalmente na cincia do Direito. Evitar crenas e preconceitos embutidos nas bases de conhecimento jurdicos, bem como selecionar "a priori" o melhor meio de representao que se adeque at mesmo s situaes inesperadas, as regras definidas pelas leis. O curto tempo necessrio tambm impossibilitou que fosse sugerida a criao de uma melhoria para a ferramenta utilizada na criao do sistema especialista legal. No entanto para se conseguir gerar a primeira verso do sistema, foram necessrios estudos relacionados a sistema especialistas legais, como sua histria, seus principais conceitos. Tambm foi necessrio pesquisar em campo, estudo esse que forneceu as bases do conhecimento necessrias para concluso do trabalho. Para se chegar aos objetivos finais do trabalho foi necessria uma srie de entrevistas com especialistas na rea, alm de observaes e estudo dos principais autores sobre o assunto alm de testes para garantir a funcionalidade da base do SEL-FAM. Como contribuies acadmicas e cientficas, este trabalho abordou a criao de um sistema especialista legal para a disciplina de inteligncia artificial voltada para sistemas especialistas com o auxlio de uma ferramenta geradora de Sistemas especialistas, com base em um referencial terico e prtico que contempla os principais conceitos da disciplina. vlido destacar que o sistema necessita sempre ter sua base de conhecimento alimentada, com novas informaes, conforme for sendo utilizado e corrigido as suas falhas. Papel este que rende estudos aprofundados em vrias universidades e centros de pesquisas do mundo inteiro tanto na rea de Direito como em inteligncia artificial. Dois efeitos podem ser observados durante a modelagem do conhecimento que tendem a dificultar essa etapa: tendncias excessiva simplificao ou complexidade. Os problemas devem ser tratados no nvel de sua soluo e a necessidade de ter algo pronto leva-se muitas vezes a desconsiderar aspectos relevantes do conhecimento. Por outro lado, por receio de se desconsiderar algum fator importante, redundncias podem estar contidas no conhecimento. Apesar desses fatores esse campo da inteligncia artificial mostra-se atraente pelos resultados a que leva. Obviamente o trabalho que se sugere como sequncia natural deste a concluso do Prottipo para seleo e auxlio de processos jurdicos, bem como, a construo do sistema

55

especialista em Direito da famlia. Outras atividades podem ser desenvolvidas a partir desse trabalho: Anlise de sistemas e projetos de sistemas especialistas: quais os pontos em comum e que ferramentas podem ser utilizadas por ambos; Modelagem do conhecimento das regras da cincia do Direito: qual a melhor forma de regras de produo serem representadas na forma de classes e objetos; Aprimoramento de interfaces de usurio para sistemas especialistas mais amigveis ao usurio; etc.

56

REFERNCIAS BIBLIOGRFICAS

APARECIDO, Edinelson Batista; CARVALHO, Ariadne M. B. R. Uma Taxonomia Facetada Para Tcnicas de Elicitao de Requisitos. 2002. Disponvel

em:<http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER03/edinelson_batista.pdf>.Acessado em 23 Out.2012.

BALDWIN, R. R. "Reportage on Spring 1982 IEEE COMPCON Conference", In SOFTWARE ENGINEERING NOTES, 17, n'. 2 (Abril 1982), pgs. 13-20. BASDEN, Andrew. On the Application of Expert Systems. Developments in Expert Systems. London: Academic Press Inc., 1984.

BITTENCOURT, Guilherme. Inteligncia Artificial: Ferramentas e Teorias. 3. ed. UFSC: Florianpolis, 2006. p 371.

BITTENCOURT,

Guilherme. Sistemas Especialistas. 2008.

Disponvel

em:

<

https://disciplinas.dcc.ufba.br/pastas/MATA64/Tutoriais/siesp.pdf >. Acesso em: 12 Fev.2011.

CELLA, Jos Renato Gaziero

Lgica dentica para consistente e sistemas especialistas

legais. 2009. Disponvel em:< http://zaguan.unizar.es/record/4259/files/ART--2009-058.pdf>. Acesso em: 24 Mar.2012.

DIEHL, Vera Alice. Prottipo para Gerenciamento de programa da qualidade (5s) utilizando Sistemas Especialistas. Blumenau: FERB, 2000. 71 p. Trabalho de Concluso de Curso, Universidade Reginal de Blumenau, Blumenau, 2000. Disponvel em: < http://campeche.inf.furb.br/tccs/2000-II/2000-2veraalicediehlvf.pdf>. Acesso em: 26 Jun 2012.

DIVERIO, T .; MENEZES, P. Teoria da Computao: mquinas universais e computabilidade. 2.ed. Porto Alegre: Sagra-Luzzatto, 2000. (Livros Didticos, v .5).

DUDA, R.O. and GASHINING, J.G. "Knowledge-based Expert Systems Come of Age". BYTE, september, 1981.

57

FAMELI, Elio. "Intelligenza artificiale e sistemi esperti nel diritto. Note in tema de apprendimento e ragionamento per analogia". In: Informatica e diritto: diritto e nuove tecnologie, l' organizzazione della societ nell' era telemtica. Firenze : Le Monnier, 1984, p 165 / 180.

FEIGENBAUM, Edward A. e Barr, Avron. The handbook of intelligence- Vol I, USA.1981.

FILHO, J.B.S. SISREQUI Sistema especialista para auxlio no processo da engenharia de requisitos. Faculdade Farias Brito, Fortaleza, 2011.

FIGUEIREDO, Ciro Jardim et al. Uso de Sistemas Especialistas para a avaliao de um processo agroindustrial. 2011. Disponvel em: < http://ojs.ingepro.com.br/index.php/ingepro/article/download/344/303>. Acesso em: 12 Agost. 2011.

FLORES, Ceclia Dias. Fundamentos dos Sistemas Especialistas. In: Dante Augusto Couto Barone. (Org.). Sociedades Artificiais: A Nova Fronteira da Inteligncia nas Mquinas. 1 ed. Porto Alegre, 2003, v. 1, p. 127 / 154.

GAZIERO Cella, Jos Renato. Lgica dentica para consistente e sistemas especialistas legais: una ferramenta para governo eletrnico judicial, Disponvel em: <

,http://zaguan.unizar.es/record/4259/files/ART--2009-058.pdf>. Acessado em : 12 Jan. 2013.

LIA, Laboratrio de Inteligncia Artificial. Expert SINTA : uma ferramenta para criao de sistemas especialistas. 1999. Disponvel em: <http://www.lia.ufc.br>. Acessado em 10 Jan. 2011.

LIEBOWITZ, Jay. Introduction Mitchell Publishing Inc., 1988.

to Expert

Systems. Santa Cruz,

Califrnia, USA:

LUIZA, Ana vila; OLIVEIRA, Rodrigo Spinola. Introduo Engenharia de Requisitos. Vista Engenharia de Software [online]. Maro de 2008. Disponvel em:

<http://sites.google.com/site/pasqueline/EngenhariadeRequisitosDevMedia.pdf >. Acesso em:

58

14 Ago. 2-010. MARTINO, A. "Modelli giuridici, razionalit, informtica". In: MARTINO e NATALI, F.S. (Org.) Lgica, informtica, direito. V.2, Firenze, 1985, p 11 / 19.

MARTINO, A. SELA. e outros. "Base della conoscenza nell' analisi automatica dela legislazione". In: MARTINO e NATALI, F.S. (Org.) Lgica, informtica, direito. V. 1, Firenze, 1985, p 425 / 459.

MARTINS. Jos Carlos Cordeiro. Tcnicas para Gerenciamento de Projetos de Software. Rio de Janeiro: Brasport, 2007. p 552 .

MATOS, Helano.

Sistemas Especialistas.

Inteligncia Artificial.

Outubro de 2010.

Disponvel em: <http://ffb.virtual.ufc.br/solar/>. Acesso em: 14 fev. 2011. MOREIRA, CARLOS B. Desembargador : Revista AMB, Rio de Janeiro, Set/2000.

MENDES, Raquel Dias. Inteligncia Artificial: Sistemas Especialistas no Gerenciamento da Informao. Disponvel em: <www.scielo.br/scielo.php?pid=S0100-

19651997000100006&script=sci_arttext>. Acesso em: 14 Fev. 2011.

NOGUEIRA, Jos Helano Matos; SILVA, Ricardo Bezerra A. Gerao Automtica de Aplicaes Especialistas Usando o Expert SINTA. Engenharia de Software, So Carlos, 1997. Anais do Simpsio Brasileiro de

OLIVEIRA, Alexandre Jos Henrique Luna. Abordagem da engenharia de requisitos em projetos de desenvolvimento de software para telessade/telemedicina. Recife: UFPE, 2008. 79 p. Trabalho de Ps-graduao, Centro de informtica, Universidade Federal de Pernambuco, Recife, 2008. Disponvel em:

http://www.cin.ufpe.br//n1020/arquivos/monografias/20081/IN1020_EngRequisitos_Monografi a_EngRequisitos%20na%20Telemedicina%20e%20Telessaude_Alexluna_v1.15.pdf >. Acesso em: 15 Out. 2011 PRESSMAN, Roger S. Engenharia de software. So Paulo: Pearson Makron Books, 2005.1056 p. ISBN 85-346-0237-9. Portugus.

59

PY, Mnica Xavier. Sistemas Especialistas: uma Introduo. 2006. Disponvel em: < http://www.inf.ufrgs.br/gppd/disc/cmp135/trabs/mpy/sistemasespecialistas.pdf>. Acesso em: 18 Jun. 2011.

REATEGUI, Elsio Berni. Um modelo para Sistemas Especialistas Conexionistas Hbridos. Universidade Federal do Rio Grande do Sul, 1993. 123 p. Tese de mestrado, Instituto de Informtica, Universidade Federal do Rio Grande do Sul, Porto Alegre, 1993. Disponvel em: < http://www.lume.ufrgs.br/bitstream/handle/10183/25522/000060983.pdf?sequence=1>.Acesso em: 25 Agost. 2011.

ROVER, Aires J. Sistemas Legais: Uma soluo inteligente para o direito. Disponvel em: < http://www.scribd.com/doc/15097015/Sistemas-especialistas-legais-uma-solucao-inteligente- para-odireito>. Acesso em: 14 de Fev. 2011.

ROVER, Aires J. Introduo aos Sistemas Especialistas Legais: Dificuldades acerca do Sistema Jurdico. Disponvel em: Org. Leonel Severo Rocha. Paradoxos da auto-observao: percursos da teoria jurdica contempornea. JM Editora : Curitiba, 1997 Acervo Aires 40 A. SILVA, Carlo Giovano Pires; SOUZA, Gabriela Telles; BELCHIOR, Arnaldo Dias. Padres de Requisitos para Especificao de Casos de Uso em Sistemas de Informao. Disponvel em: <
http://www.atlantico.com.br/sites/default/files/biblioteca/padroes-derequisitos-para-

especificacao-de-casos-de-uso-em-sistemas-de-informacao.pdf>. Acesso em: 14 Agosto. 2010.

SOMMERVILLE, Ian. Engenharia de software. 8. ed. So Paulo: Pearson Education do Brasil, 2008. p 552 .

SUREZ, Pablo R. Projeto e desenvolvimento de sistemas especialistas jurdicos. Disponvel em: < http://coopex.fiponline.com.br/images/arquivos/documentos/1304516725.PDF>. Acesso em: 14 de Fev. 2012. TASSE, A. A crise no poder judicirio: Revista gesto e conhecimento Curitiba: Juru, 2001. WATERMAN, Donald Arthur. A Guide to Expert Systems. USA: Addison Wesley Publishing Company, Inc., 1985.

60

Apndice 01 I Entrevista realizada para a criao base de conhecimento do Prottipo Como aplicado a taxa alimentos? Com relao ao percentual estipulado pelo juiz para cada filho, est em mais ou menos 10% a 15% caso a pessoa a ser aplicada esta taxa tenha uma fonte de renda fixa, esta taxa ser descontada diretamente na folha de pagamento. Se a pessoa no tiver uma renda fixa ou for autnoma estipulado em percentual de salrio mnimo, podendo ser 10% a 40%.

O que a vara de famlia? uma vara que trata dos assuntos exclusivamente da famlia, separao, divorcio, alimentos, guarda de menores, alvar para liberao de FGTS, busca e apreenso de menor, reconhecimento de unio estvel.

Com relao a adoo de crianas? A vara da criana e juventude a responsvel por esta rea, no a de famlia.

Qual a ao mais frequente na vara de famlia? Divrcio consensual e litigioso, casamento, reconhecimento de soluo de unio estvel e principalmente guarda pedido de alimentos e exonerao de alimento.

O que seria a exonerao de alimentos? quando por exemplo um pai que paga uma penso para seu filho solicita a exonerao pelos motivos de atinge a maior idade, casa ou termina o nvel superior, etc.

Existe algum sistema que auxilie na vara de famlia no TJPA atualmente? No existe nenhum sistema no TJPA que faa esse auxlio para informaes especializadas, h somente o sistema para documentos oficiais. Existe no Brasil algum sistema que auxilie a Vara de famlia?

61

No conheo nenhum, acredito no exista sistemas voltado para rea de informar ou at mesmo acompanhar processos da vara de famlia ou de qualquer vara.

Um sistema para auxiliar o especialista e a populao que trabalha na Vara de famlia seria de grande ajuda? O TJPA assim como outros TJ, necessitam de mais funcionrios em todos os setores, estamos atualmente acima do limite. O contingente de processos crescente, e os prazos por falta de profissionais de vrios setores, acabam por expirar. Esta sua ideia excelente poderamos ter esse sistema por que a pessoa com a informao em mos estar ciente do que necessita para efetuar a ao evitando assim um problema que temos muito hoje que falta de informao, atendemos muitas pessoas somente para dar informao e deixamos de dar andamento a outros processos mais importantes.

O atraso nesse atendimento j ocasionou muitos problemas? Sim, como por exemplo, uma pessoa sem informao acaba procurando a defensoria pblica, est tambm est sobrecarregada devido a muitos outros processos e um nmero de pessoas restrito para informao, dificultado assim a pessoa a ter o seu direito.

Os servios de informao atualmente no so eficientes? Existe um servio para informao no TJPA, fica na entrada, mas as pessoas no o procuram, imagino que seja por esta mal localizada ou a informao muito vaga, logo estas pessoas procuram diretamente a secretaria e a vara. H pessoas que precisam ver o processo de qualquer forma at mesmo pegar o processo, e isso no permitido sem as devidas autorizaes das partes.

Existem aplicativos desenvolvidos para dispositivos mveis do TJPA? No, existe apenas um sistema web que o LIBRA, um sistema usado por todos no estado, seu acesso lento e dificultoso.

62

Apndice 02 Base de Conhecimento do Prottipo A seguir, as regras que compem a base de conhecimento do Prottipo. Objetivos: Documentos Necessrios Pr-requisitos Consequncias

Regras: REGRA 1 [Casamento_CASAMENTO_C] Se [acao] = "Casamento" e [Estado Civel] = "Casado (a)" Ento [Resultado] = "Crime: Bigamia ! No permitido no pas"

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Casado(a) o Resultado apresentado na premissa verdadeiro

REGRA 2 [Casamento_Solteiro_A] Se [acao] = "Casamento" e [Estado Civel] = "Solteiro (a)" Ento [Resultado] = "Documentos_Nesc = Certido de nascimento e cdulas de Identidade (Originais), Certido de Nascimento Copias e cdulas de Identidade (AUTENTICADAS).

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Solteiro(a) o Resultado apresentado na premissa verdadeiro

REGRA 3 [Casamento_Solteiro_B] Se [acao] = "Casamento" e [Estado Civel] = "Solteiro (a)" Ento [resultado1] = "Pr_Requisitos = Taxa de R $ 128,20, Dar Entrada AO Processo

63

de Casamento ".

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Solteiro (a) o Resultado1 apresentado na premissa verdadeiro

REGRA 4 [Casamento_Solteiro_C] Se [acao] = "Casamento" e [Estado Civel] = "Solteiro (a)" Ento [resultado2] = "consequncias= Poder estabelecer um Partilha OU NAO dos Bens, Institui o Estado de casado. Poema FIM AO Estado Civil anterior. "

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Solteiro(a) o Resultado2 apresentado na premissa verdadeiro

REGRA 5 [Casamento_Divorciado_A] Se [acao] = "Casamento" e [Estado Civel] = "Divorciado (a)" Ento [Resultado] = "Documentos_Nesc = Certido de nascimento e Cdula de Identidade (Originais), Copia da certido do Casamento com averbao anterior do Divrcio e Termo de Audincia (AUTENTICADAS), Copia da Cdula de Identidade (AUTENTICADAS). "

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Divorciado(a) o Resultado apresentado na premissa verdadeiro

REGRA 6 [Casamento_Divorciado_B] Se [acao] = "Casamento" e [Estado Civel] = "Divorciado (a)" Ento [resultado1] = "Pr_Requisitos = Taxa de R $ 128,20, Dar Entrada Ao Processo de Casamento ".

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Divorciado (a) o Resultado1 apresentado na premissa verdadeiro

64

REGRA 7 [Casamento_Divorciado_C] Se [acao] = "Casamento" e [Estado Civel] = "Divorciado (a)" Ento [resultado2] = "consequncias= Poder estabelecer um Partilha OU NAO dos Bens, Institui o Estado de casado. Poema FIM AO Estado Civil anterior.

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Divorciado(a) o Resultado2 apresentado na premissa verdadeiro

REGRA [Casamento_Viuvo_A] Se [acao] = "Casamento" e [Estado Civel] = "Viuvo (a)" Ento [Resultado] = "Documentos_Nesc = Certido de bito DO conjugue falecido, Copia da certido de nascimento e cdula de Identidade (SIMPLES).

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Viuvo(a) o Resultado apresentado na premissa verdadeiro

REGRA 8 [Casamento_Viuvo_B] Se [acao] = "Casamento" e [Estado Civel] = "Viuvo (a)" Ento [resultado1] = "Pr_Requisitos = Taxa de R $ 128,20, Dar Entrada Ao Processo de Casamento. "

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Viuvo(a) o Resultado1 apresentado na premissa verdadeiro

REGRA 9 [Casamento_Viuvo_C] Se [acao] = "Casamento" e [Estado Civel] = "Viuvo (a)" Ento [resultado2] = "consequncias= Poder estabelecer um Partilha OU NAO dos Bens, Institui o Estado de casado. Poema FIM AO Estado Civil anterior."

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Viuvo(a) o

65

Resultado2 apresentado na premissa verdadeiro

REGRA 10 [Casamento_Estrangeiro_residente_A] Se [acao] = "Casamento" e [Estado Civel] = "Sou estrangeiro, mas resido Pais." ento [Resultado] = "Documentos_Nesc = Cpia da cdula de Identidade Civil permanente UO Temporria (AUTENTICADAS), Registro de Nascimento traduzido POR tradutor juramentado e declarao do Estado civil ".

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Sou estrangeiro, mas no resido Pais o Resultado apresentado na premissa verdadeiro

REGRA 11 [Casamento_Estrangeiro_residente_B] Se [acao] = "Casamento" e [Estado Civel] = "Sou estrangeiro, mas resido Pais." ento [resultado1] = "Pr_Requisitos = Taxa de R $ 180,00, Dar Entrada AO Processo de Casamento ".

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Sou estrangeiro, mas resido Pais o Resultado1 apresentado na premissa verdadeiro

REGRA 12 [Casamento_Estrangeiro_residente_C] Se [acao] = "Casamento" e [Estado Civel] = "Sou estrangeiro, mas resido Pais." ento [resultado2] = "consequncias = Poder estabelecer um Partilha OU NAO dos Bens, Institui o Estado de casado. Poema FIM AO Estado Civil anterior. "

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Sou estrangeiro, mas resido Pais o Resultado2 apresentado na premissa verdadeiro

REGRA 13 [Casamento_Estrangeiro_N_residente_A] Se [acao] = "Casamento" e [Estado Civel] = "Sou estrangeiro e Nao resido no Pais." Ento [Resultado] = "Documentos_Nesc = Cpia fazer Passaporte

66

(AUTENTICADAS),Registro de Nascimento traduzido POR tradutor juramentado e fazer declarao Estado civil ". Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Sou estrangeiro, mas no resido Pais o Resultado apresentado na premissa verdadeiro

REGRA 14 [Casamento_Estrangeiro_N_residente_B] Se [acao] = "Casamento" e [Estado Civel] = "Sou estrangeiro e Nao resido no Pais." Ento [resultado1] = "Pr_Requisitos = Taxa de R $ 180,00, Dar Entrada AO Processo de Casamento, Declarao da Policia Federal comprovando Que ESTA nenhum Pas legalmente.

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Sou estrangeiro, mas no resido Pais o Resultado1 apresentado na premissa verdadeiro

REGRA 15 [Casamento_Estrangeiro_N_residente_C] Se [acao] = "Casamento" e [Estado Civel] = "Sou estrangeiro e Nao resido no Pais." Ento [resultado2] = "consequncias= Poder estabelecer um Partilha OU NAO dos Bens, Institui o Estado de casado. Poema FIM AO Estado Civil anterior.

Se ao solicitada por usurio igual a Casamento e seu estado cvel atual Sou estrangeiro, mas no resido Pais o Resultado2 apresentado na premissa verdadeiro

REGRA 16 [Divorcio_com_filhos_A] Se [acao] = "Divorcio" e [Filhos] = "Sim" ento [Resultado] = "Documentos_Nesc = Certido de Casamento, Registro de Imveis OU comprovantes da existencia de other Bens pertencentes AO casal, Certido de Nascimento dos Filhos ".

Se ao solicitada por usurio igual a Divorcio e possuir filhos o Resultado apresentado na premissa verdadeiro

67

REGRA 17 [Divorcio_com_filhos_B] Se [acao] = "Divorcio" e [Filhos] = "Sim" ento [resultado1] = "Pr_Requisitos = Ser casado h Civil."

Se ao solicitada por usurio igual a Divorcio e possuir filhos o Resultado1 apresentado na premissa verdadeiro

REGRA 18 [Divorcio_com_filhos_C] Se [acao] = "Divorcio" e [Filhos] = "Sim" ento [resultado2] = "consequncias= Determina a Partilha dos Bens comuns UO Separao total de Bens de, Institui o Estado Civil de Divorciado, poema FIM AO Casamento. Estabelece um Guarda, Visitas e Alimentos, com Relao EAo Filhos "

Se ao solicitada por usurio igual a Divorcio e possuir filhos o Resultado2 apresentado na premissa verdadeiro

REGRA 19 [Divorcio_sem_filhos_A] Se [acao] = "Divorcio" e [Filhos] = "No" Ento [Resultado] = "Documentos_Nesc = Certido de Casamento, Registro de Imveis OU comprovantes da existencia de other Bens pertencentes AO casal. "

Se ao solicitada por usurio igual a Divorcio e no possuir filhos o Resultado apresentado na premissa verdadeiro

REGRA 20 [Divorcio_sem_filhos_B] Se [acao] = "Divorcio" e [Filhos] = "No" Ento [resultado1] = "Pr_Requisitos = Ser casado h Civil."

Se ao solicitada por usurio igual a Divorcio e no possuir filhos o Resultado1 apresentado na premissa verdadeiro

68

REGRA 21 [Divorcio_sem_filhos_C] Se [acao] = "Divorcio" e [Filhos] = "No" Ento [resultado2] = "consequncias= Determina a Partilha dos Bens comuns UO Separao total de Bens de, Institui o Estado Civil de Divorciado, poema FIM AO Casamento ".

Se ao solicitada por usurio igual a Divorcio e no possuir filhos o Resultado2 apresentado na premissa verdadeiro

69

GLOSSRIO

Analista de Requisitos (AR): Responsvel pela coleta, anlise, validao e documentao dos requisitos junto ao cliente e passar esses requisitos coletados para os desenvolvedores (RUP, 2006).

SHELL: Shell o nome dado a uma famlia de ferramentas e no linguagens de programao, que tem o objetivo de apoiar e simplificar o processo de construo de Sistemas Especialistas.

SISTEMAS ESPECIALISTAS: Conceito utilizado na IA para definir programas que auxiliam na resoluo de problemas de uma determinada rea de conhecimento com a mesma qualidade e rapidez que um especialista humano.

SMARTPHONE: (telefone inteligente, numa traduo livre do ingls) um telemvel com funcionalidades avanadas que podem ser estendidas por meio de programas executados por seu sistema operacional. Os sistemas operacionais dos smartphones permitem que desenvolvedores criem milhares de programas adicionais, com diversas utilidades, agregados em sites como o Google Play

SIRI: um aplicativo no estilo assistente pessoal para iOS. O aplicativo usa processamento de linguagem natural para responder perguntas, fazer recomendaes, e executar aes.

S VOICE: um assistente pessoal inteligente que est disponvel para o Samsung Galaxy S III e Samsung Galaxy Note II. O software usa uma interface de usurio com linguagem natural para responder perguntas, fazer recomendaes e executar aes, delegando pedidos a um conjunto de servios na Web.

GOOGLE VOICE: um servio de telecomunicao lanado pela Google em 11 de maro de 2009. O servio providencia um nmero de telefone para o usurio, que o usa (e paga) tal como um telefone comum, porm, pela internet. Atualmente utilizado no google now para efetuar envoi de sms, postagens e geolocalizao.

70

NASA:

(sigla

em ingls de National

Aeronautics

and

Space

Administration; Administrao Nacional da Aeronutica e do Espao) uma agncia do Governo dos Estados Unidos da Amrica, responsvel pela pesquisa e desenvolvimento de tecnologias e programas de explorao espacial..

DENDRAL: O programa Dendral considerado o primeiro sistema especialista, por causa do seu modo automtico de tomar decises e resolver problemas relativos a qumica orgnica. Ele dividido em dois subprogramas, o Heuristic Dendral e o Meta-Dendral e foi inteiramente escrito em Lisp.

MQUINA VIRTUAL JAVA: um programa que carrega e executa os aplicativos ,linguagem muito fina sobre as aes liberadas para o cdigo que est rodando na VM. Isso permite a execuo de cdigo confivel de fontes remotas, um modelo usado pelos applets. Os applets rodam dentro de uma VM (Vitual Machine) incorporada ao browser do usurio, executando cdigo baixado de um servidor HTTP remoto. O cdigo remoto roda em uma sandbox, que protege o usurio de cdigos maliciosos. O autor do applet pode aplicar um certificado para assinar digitalmente o applet como "seguro", dando a ele permisso de sair do sandbox e acessar livremente a mquina onde est rodando.

APPLET:

um software

aplicativo que

executado

no

contexto

de

outro programa (como por exemplo uma web browser), uma applet geralmente executa funes bem especficas. O termo foi introduzido pelo AppleScript em 1993.