Coal fired power plants

Nesta seção são apresentados os ensaios e simulações realizados, os quais tem como objetivo mostrar a viabilidade e utilidade do modelo formulado. Estes ensaios e simulações são conduzidos de forma a destacar a integração do raciocínio não-monotônico abdutivo, dado que o modelo formulado foi idealizado justamente com vistas a incorporá-lo à capacidade semântica de suportre às funcionalidades analíticas dos SAD, objetivo principal desta Tese. Adicionalmente, deve ser registrado que não se pretendeu esgotar todas as possíveis análises desenvolvidas por um gestor diante dos diversos processos de tomada de decisão, algo que seria impossível mesmo de ser premeditado. Por isto, os requisitos funcionais descritos na seção 6.3-Requisitos do Sistema foram tomados como referência nas simulações, em especial aqueles itens que envolvem a não-monotonicidade.

Sendo assim, optou-se por enfatizar nos ensaios dois dos componentes do modelo formulado, o Sistema de Modelos e o Suporte à Tomada de Decisão-Simulações, ambos mostrados na Figura 27. Esta opção deve-se aos seguintes motivos: 1) ao fato de que é neles que

reside a extensão arquitetônica inovativa introduzida por este trabalho de pesquisa ao paradigma DDM-Diálogos, Dados e Modelos e às propostas de Laudon e Laudon (2001) e Turban et al. (2007) e; 2) por eles comporem os elementos-chave à não-monotonicidade, conforme já destacado na Seção 5.3.1 deste texto. Para tanto, os dados importados do sistema transacional Novo Pós-Graduação foram trazidos diretamente para dentro da ontologia, na forma de intâncias ou indivíduos. Foram importados os cadastros de programas/cursos, professores, disciplinas e grade curricular. Quanto aos alunos, optou-se por utilizar nomes hipotéticos. Já para a realização das consultas e inferências na ontologia foi utilizado a ferramenta DL-Query-tab, um plugin do Protégé 4 baseado na sintaxe da linguagem Manchester-OWL, a qual funciona associado aos reasoners FaCT++ e Pellet, e cuja finalidade é oferecer recursos que permitem ao usuário final interagir com uma ontologia (PROTÉGÉ-DL, 2010). A DL-Query-tab, a base de conhecimentos representada pela ontologia criada, o Protégé 4.0 e o SMVH são os componentes do protótipo de SAD a ser utilizado para a execução dos ensaios e simulações.

6.4.2.1 Execução

Dos requisitos anteriormente relacionados na seção 6.3, os quatro primeiros referem-se a simples consultas e manipulações dos cadastros de professores, alunos, cursos, disciplinas, matrizes curriculares e usuários do sistema. Eram eles:

1. permitir os cadastros de: professores, alunos, cursos, disciplinas, matrizes curriculares e usuários do sistema; 2. permitir popular os cadastros de professores, alunos, cursos,

disciplinas, matrizes e curriculares através da importação de dados do sistemas transacional Novo Pós-Graduação;

3. permitir introduzir alterações nos cadastros para fins de simulações e análises;

4. disponibilizar um conjunto de consultas que permitam extrair e cruzar informações dos diversos cadastros, tais como: alunos de um programa, professores de um programa, disciplinas e componentes de uma matriz curricular, cursos de um programa, orientandos de um orientador, entre outro.

Nenhum deles envolve inferências que dependam de um reasoner, já que as informações desejadas podem ser obtidas de forma direta, pelo de

simples acessos aos referidos cadastros. Ademais, as respostas a elas poderiam também ser extraídas pelo usuário do sistema transacional Novo Pós-Graduação. De qualquer forma, a solução aqui desenvolvida pode também respondê-las, como mostrado por meio de alguns exemplos referentes ao quarto item da relação, e cujas implementações são apresentadas nas Figuras 35, 36 e 37. A Figura 35 ilustra uma consulta para saber todos os programas stricto sensu existentes na instituição. Na figura, a seta indicada com o número 1 aponta para a consulta realizada e a seta indicada com o número 2 aponta para a resposta obtida, a qual relaciona corretamente os nove programas existentes na FURB.

Figura 35 - Consulta dos Programas Existentes Fonte: Do autor

A Figura 36 apresenta uma consulta para verificar os cursos vinculados ao Programa de Pós-Graduação em Ciências Contábeis. Nela, a seta indicada com o número 1 mostra a pergunta apresentada ao sistema e a seta indicada com o número 2 mostra a resposta obtida, a qual relaciona corretamente os dois cursos vinculados ao referido programa.

Figura 36 - Cursos de um Programa Fonte: Do autor

A Figura 37 apresenta uma consulta para verificar os orientandos de um Professor orientador. Novamente a seta assinalada com o número 1 aponta para a pergunta formulada e a seta de número 2 mostra a resposta obtida, a qual relaciona corretamente os dois alunos orientandos de um Professor.

Figura 37 - Orientandos de um Orientador Fonte: Do autor

Já de modo inverso, os requisistos numerados de seis até nove, daqueles relacionados na Seção 6.3, não podem ser viabilizados através de consultas simples ao sistema. Tratam-se de questões que envolvem o raciocínio não-monotônico, imposto pelas inconsistências entre os diversos atos regulatórios envolvidos no regramento dos cursos e programas, como já descrito no Quadro 13. Como consequência, a aplicação dos componentes Simulações-Abdutivas e SMVH do modelo formulado faz-se necessária.

Para demonstrar o comportamento do sistema diante desta situação, foi elaborado um questionamento hipotético que serve como exemplo para ilustrar o desenvolvimento e a obtenção da resposta. A questão hipotética pode ser assim descrita:

Quais as exigências curriculares do curso de Mestrado em Quìmica? Esta questão, por sua vez, está vinculada ao item número seis da relação dos requisistos listados na Seção 6.3 deste texto, qual seja:

Permitir verificar as exigências curriculares para titulação de um aluno. A consulta deve ser considerada a luz de qualquer um dos atos regulatórios (de abrangência federal, estadual, insititucional ou específica do programa);

A resposta à pergunta, assim, é dependente da adoção de hipóteses, as quais correspondem aos atos normativos que devem ser observados e privilegiados, pois cada um deles impõe a geração de um diferente cenário de informação a ser considerado. Tal situação pode ser observada na Figura 38, a qual mostra três fragmentos de código OWL recortados da ontologia.

No primeiro fragmento está a ObjectProperty que corresponde a declaração de que o exame de proficiência em língua inglesa é um componente curricular do curso de Mestrado em Química. Ela refere-se à exigência prevista nos Parágrafos 2º e 3º do Artigo 18 da Resolução FURB-63/2005, como mostrado anteriormente no Quadro 13. O segundo fragmento corresponde à declaração de que a disciplina de Inglês Técnico II é uma disciplina do Programa de Pós-Graduação em Química, também em conformidade com a mesma resolução. Já o terceiro fragmento, conflitando com os dois anteriores, declara que o Exame em Língua Inglesa aplicado pelo Laboratório de Idiomas da FURB é um requisito obrigatório do curso de Mestrado em Química, em conformidade com o Artigo 41 da Resolução FURB-75/2009.

Figura 38 - Cenários na Ontologia Fonte: Do autor

Para tornar possível a convivência com este cenário, o usuário deveria ter ativado o componente SMVH-Sistema de Manutenção da Verdade Baseado em Hipóteses, definindo os conjuntos de sentenças P (declarações condicionadas contidas na ontologia) e sentenças E (declarações que explicam ou tornam verdadeiras cada uma daquelas sentenças contidas em P). Os conjuntos P e E estarão armazenados no repositório de hipóteses. O Quadro 18 mostra a situação do referido repositório, após a inclusão dos conjuntos de sentenças relativas à questão hipotética do curso de Mestrado em Química.

N Conjuntos P Conjuntos E 1 <ObjectPropertyAssertion> <ObjectProperty URI="&PosGraduacaoTese;t emProficienciaIdioma"/> <Individual URI="&PosGraduacaoTese; MestradoEmQuimica"/> <Individual URI="&PosGraduacaoTese; Exame_Lingua_Inglesa"/> </ObjectPropertyAssertion> <ObjectPropertyAssertion> <ObjectProperty URI="&PosGraduacaoTese;ehRe gulador"/> <Individual URI="&PosGraduacaoTese;Reso lucao-FURB63/2005"/> <Individual URI="&PosGraduacaoTese;Prog rama_de_Pos- Graduacao_em_Quimica"/> </ObjectPropertyAssertion> 2 <ObjectPropertyAssertion> <ObjectProperty URI="&PosGraduacaoTese; ehUmaDisciplina"/> <Individual URI="&PosGraduacaoTese;I ngles_Tecnico_II"/> <Individual URI="&PosGraduacaoTese; Programa_de_Pos- Graduacao_em_Quimica"/> </ObjectPropertyAssertion> <ObjectPropertyAssertion> <ObjectProperty URI="&PosGraduacaoTese;ehRe gulador"/> <Individual URI="&PosGraduacaoTese;Reso lucao-FURB63/2005"/> <Individual URI="&PosGraduacaoTese;Prog rama_de_Pos- Graduacao_em_Quimica"/> </ObjectPropertyAssertion> 3 <ObjectPropertyAssertion> <ObjectProperty URI="&PosGraduacaoTese;e hRequisitoObrigatorio"/> <Individual URI="&PosGraduacaoTese; Exame_Lingua_Inglesa_LAB /FURB"/> <Individual URI="&PosGraduacaoTese; MestradoEmQuimica"/> </ObjectPropertyAssertion> <ObjectPropertyAssertion> <ObjectProperty URI="&PosGraduacaoTese;ehRe gulador"/> <Individual URI="&PosGraduacaoTese;Reso lucao-FURB75/2009"/> <Individual URI="&PosGraduacaoTese;Prog rama_de_Pos- Graduacao_em_Quimica"/> </ObjectPropertyAssertion> Quadro 18 - Conjuntos P e E do SMVH - Parcial

Fonte: Do Autor

Assim, quando um processo de inferência envolver qualquer uma das sentenças do conjunto P, o usuário será questionado quanto a validade ou não de suas condicionantes, ou seja, das sentenças do conjunto E associadas àquela declaração e que estão armazenadas no repositório de hipóteses. Se as sentenças de E forem classificadas como

válidas pelo usuário, o sistema considera no seu processo de inferência aquela declaração condicionada, enquanto que, de forma inversa, a invalidação pelo usuário fará com que o sistema descarte a referida declaração. Na linha de número 2 do Quadro 18, por exemplo, afirma-se que a disciplina de Inglês Técnico II é uma disciplina do Programa de Pós-Graduação em Química (sentença condicionada - conjunto P), desde que a Resolução FURB63/2005 seja o ato regulador do mesmo programa (sentença condicionante - conjunto E).

Retornando-se à questão hipotética anteriormente apresentada, a qual consistia em interrogar o sistema quanto aos componentes ou exigências curriculares do curso de Mestrado em Química, a Figura 39 apresenta uma possível solução. Nela está sendo considerado que o usuário tenha manifestado-se da seguinte forma quanto às sentenças E relacionadas no Quadro 18: E(linha1) e E(linha2) são aceitas, e E(linha3) é rejeitada. Tal posição implica em tornar válidas as sentenças P(linha1) e P(linha2), além de invalidar P(linha3). Na figura a seta indicada com o número 1 mostra a pergunta apresentada ao sistema e a seta indicada com o número 2 mostra a resposta obtida.

Figura 39 - Resposta / Primeiro Cenário Fonte: Do autor

Já na Figura 40 é mostrada outra resposta obtida do sistema para a mesma questão. Agora, no entanto, está considerando-se que o usuário manifestou-se da seguinte forma quanto às sentenças E relacionadas no Quadro 18: E(linha1) e E(linha2) são rejeitadas, e E(linha3) é aceita. Tal posição implica em tornar inválidas as sentenças P(linha1) e P(linha2), além de validar P(linha3).