FUNDAMENTOS CONCEITUAIS PARA A CONSTRUÇÃO DE SISTEMAS OPERACIONAIS BASEADOS EM CONHECIMENTO

Transcrição

1 UNIVERSIDADE FEDERAL DE SANTA CATARINA CENTRO TECNOLÓGICO PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA DE PRODUÇÃO FUNDAMENTOS CONCEITUAIS PARA A CONSTRUÇÃO DE SISTEMAS OPERACIONAIS BASEADOS EM CONHECIMENTO Mauro Marcelo Mattos Roberto Pacheco, Dr. Orientador Florianópolis (SC), novembro de 2003.

2 Universidade Federal de Santa Catarina Programa de Pós-Graduação em Engenharia de Produção Mauro Marcelo Mattos FUNDAMENTOS CONCEITUAIS PARA A CONSTRUÇÃO DE SISTEMAS OPERACIONAIS BASEADOS EM CONHECIMENTO Tese de Doutorado Florianópolis 2003

3 MAURO MARCELO MATTOS FUNDAMENTOS CONCEITUAIS PARA A CONSTRUÇÃO DE SISTEMAS OPERACIONAIS BASEADOS EM CONHECIMENTO Tese apresentada ao Programa de Pós-Graduação em Engenharia de Produção da Universidade Federal de Santa Catarina como requisito parcial para a obtenção do título de Doutor em Engenharia de Produção. Orientador: Prof. Roberto Carlos dos Santos Pacheco, Dr. Florianópolis 2003

4 Ficha Catalográfica elaborada pela Biblioteca da FURB Mattos, Mauro Marcelo M444f Fundamentos conceituais para a construção de sistemas operacionais baseados em conhecimento / Mauro Marcelo Mattos p. : il. Orientador: Roberto Carlos dos Santos Pacheco. Tese (doutorado) Universidade Federal de Santa Catarina, Programa de Pós-Graduação em Engenharia de Produção e Sistemas. 1. Sistemas operacionais (Computadores). I. Pacheco, Roberto Carlos dos Santos. II. Universidade Federal de Santa Catarina. Programa de Pós- Graduação em Engenharia de Produção e Sistemas. III. Título. CDD Depósito legal na Biblioteca Nacional N , Livro 465, folha 149, conforme Decreto número de 20 de dezembro de Todos os Direitos Reservados É proibida a reprodução total ou parcial de qualquer forma ou por qualquer meio. A violação dos direitos do autor (Lei número 5.988/1973) é crime estabelecido pelo Artigo 184 do Código Penal. Da mesma forma, é vedada a utilização deste trabalho para fins comerciais, de prestação de serviços e outras finalidades, exceto com o consentimento do Autor.

5 Mauro Marcelo Mattos FUNDAMENTOS CONCEITUAIS PARA A CONSTRUÇÃO DE SISTEMAS OPERACIONAIS BASEADOS EM CONHECIMENTO Esta tese foi julgada e aprovada para a obtenção do título de Doutor em Engenharia de Produção no Programa de Pós-Graduação em Engenharia de Produção da Universidade Federal de Santa Catarina Florianópolis, 14 de novembro de Prof. Edson Pacheco Paladini, Dr. Coordenador do Curso BANCA EXAMINADORA Prof. Luiz Natal Rossi,Dr Universidade de São Paulo Examinador externo Prof. Roberto Pacheco,Dr. Universidade Federal de Santa Catarina Orientador Prof. Marco Antônio Barbosa Cândido, Dr. Pontifícia Universidade Católica do Paraná Examinador externo Prof. Luiz Fernando Friedrich,Dr. Universidade Federal de Santa Catarina Moderador Profª. Elizabeth Sueli Specialski,Dra. Universidade Federal de Santa Catarina Membro Prof. Rômulo Silva de Oliveira,Dr. Universidade Federal de Santa Catarina Membro Prof. João Bosco da Mota Alves,Dr. Universidade Federal de Santa Catarina Membro

6 À minha adorada esposa Mariene, companheira e grande incentivadora, presença indispensável em minha vida.

7 AGRADECIMENTOS Os meus sinceros agradecimentos e todas as pessoas e instituições, cuja ajuda, direta ou indireta, tornaram possível a realização deste trabalho. Aos professores Elizabeth Sueli Specialski,Dra., Rômulo Silva de Oliveira,Dr., João Bosco da Mota Alves, Dr., e Roberto Carlos dos Santos Pacheco,Dr., pelas considerações e contribuições no exame de qualificação e na banca examinadora desta tese. Aos professores Luiz Fernando Friedrich,Dr., Luiz Natal Rossi,Dr. E, Marco Antônio Barbosa pelas considerações e contribuições realizadas na banca examinadora desta tese. Ao Prof. Bernard Ziegler, PhD., pela atenção e pelas importantes considerações que contribuiram para a concepção do modelo proposto. À Universidade Federal de Santa Catarina UFSC, aos professores do Curso de Pós-graduação em Engenharia de Produção e Sistemas PPGEP, pelo apoio, incentivo e colaboração durante a fase do pós-graduação. À Universidade Regional de Blumenau FURB pelo apoio logístico e financeiro. Aos amigos e colegas do Departamento de Sistemas e Computação que apoiaram o projeto. À CAPES/PICDT pelo apoio financeiro. Aos amigos, Sérgio e Daniela Castro, Cláudia Holetz, Rômulo,Simone e Augusto, Roland e Luci Dagnoni, Jorge Sampaio Farias, Miriam e Sérgio Volpi e Marluza Mattos, Diala e Fernando e, outros tantos amigos, pela presença e constante apoio fator importante em projetos desta envergadura. Ao Professor e Orientador Roberto Carlos dos Santos Pacheco,Dr., pelo grande incentivo ao desenvolvimento deste projeto, o qual foi viabilizado pela sua filosofia de trabalho. Muito obrigado! Ao amigo e colega Jomi Fred Hübner,Dr., pela paciência em ouvir as minhas idéias e pelas considerações que determinaram o fechamento do modelo deste trabalho. Muito obrigado! Ao grande amigo Rômulo Silva de Oliveira,Dr., cuja disponibilidade, incentivo, caráter ético e muita paciência, contribuiram fundamentalmente para a realização deste trabalho. O meu muito obrigado! Ao grande Prof.Pedro Bertolino, pelas inestimáveis discussões sobre a elaboração do conceito de conhecimento em um sistema operacional baseado em conhecimento. Sua disponibilidade, visão de futuro e caráter científico foram determinantes na realização deste trabalho. Muito Obrigado! Ao amigo Juarez Estrázulas, meu sogro, pela revisão do português que tornou este texto legível. À amiga Inar Araújo, minha sogra, pela acolhida, torcida e pelas orações. Voces foram muito importantes durante todo o processo. Muito obrigado. À Mariene, pelo carinho, amor, amizade, paciência e companheirismo nos momentos difíceis, sem os quais seria difícil concluir este trabalho. Muito obrigado! Um agradecimento especial vai para a minha avó Isabel (in memorian), que desejava que eu fosse doutor, ao meu pai Alípio (in memórian), que desejava que eu fosse engenheiro e, a minha mãe Marília, que desejava que eu fosse professor. Hoje eu sou Prof.Dr.Eng., graças aos ensinamentos de voces. Muito obrigado!

8 Do ponto de vista da física básica, os fenômenos mais interessantes estão, sem dúvida, nos novos lugares, os lugares onde as regras não funcionam não os lugares onde funcionam! É assim que descobrimos novas regras! Richard P. Feynman.

9 VIII SUMÁRIO LISTA DE FIGURAS... XIII LISTA DE TABELAS... XVI LISTA DE REDUÇÕES...XVII RESUMO... XIX ABSTRACT...XX 1 INTRODUÇÃO Contextualização do tema e definição do problema de pesquisa Tema de Pesquisa Problema de Pesquisa Questões de Pesquisa Objetivos Objetivo Geral Objetivos Específicos Pontos Críticos e Dificuldades Justificativa Procedimentos Metodológicos Delimitação do tema de pesquisa Delimitação temporal da pesquisa Tipo de Estudo Realizado Classificação da Natureza da Pesquisa Classificação da Abordagem do Problema Classificação dos Objetivos Classificação dos Procedimentos Técnicos Procedimentos para a elaboração do trabalho Estrutura do Trabalho O ESTADO DA ARTE NA TEORIA CLÁSSICA DE SISTEMAS OPERACIONAIS Introdução O Conceito de Sistema Operacional Outros Conceitos Que Formam o Modelo Atual O modelo evolutivo de hardware Estruturas organizacionais clássicas Estruturas Monolíticas Estruturas Baseadas em Camadas Estruturas Hierárquicas Estruturas Baseadas em Micronúcleos... 68

10 IX Estruturas Configuráveis ou Adaptáveis Estruturas Baseadas em Núcleos Coletivos Estruturas Baseadas em Library Operating Systems Estruturas Baseadas em Nanonúcleos Estruturas Baseadas em Máquinas Virtuais Estruturas Baseadas no Conceito de Objetos Estruturas Baseadas em Reflexão Computacional Estruturas Baseadas em Conhecimento Estruturas Baseadas em Agentes Estruturas Híbridas Técnicas para obtenção de dados do núcleo O modelo evolutivo dos sistemas operacionais Considerações Finais NOVAS DEMANDAS: COMPUTAÇÃO UBÍQUA, TELETRABALHO e COMÉRCIO ELETRÔNICO Introdução Tendências em Computação Pesquisas em computação ubíqua Principais requisitos de computação ubíqua Demandas em Teletrabalho Demandas em Comércio Eletrônico Considerações finais ABORDAGENS DE INSTRUMENTALIZAÇÃO DE SISTEMAS OPERACIONAIS Introdução Emprego de técnicas de Inteligência Artificial em Sistemas Operacionais Sistemas Especialistas Redes neurais Lógica difusa Redes Probabilísticas Mapas Cognitivos Difusos (Fuzzy Cognitive Maps) Outras técnicas utilizadas Agentes Visualização de informações Análise de perfil Ferramentas baseadas em histórico Outras pesquisas relacionadas Abordagens adotadas em projetos de robótica Modelo de mundo Considerações Finais

11 X 5 CARACTERIZAÇÃO DO PROBLEMA Introdução Definição do Problema Deficiências do estado da arte Confiabilidade e Segurança Aspectos de confiabilidade de sistemas comerciais Estudos sobre Invasões Aspectos de segurança relacionados à computação ubíqua Aspectos de segurança relacionados a teletrabalho Aspectos de segurança relacionados a comércio eletrônico Complexidade de Utilização Visibilidade do estado do sistema: Sincronismo (match) entre sistema e o mundo real Controle do usuário e liberdade Consistência e padronização Prevenção de erros Identificar ao invés de relembrar Flexibilidade e eficiência de uso Projeto harmonioso e simples Auxiliar o usuário a reconhecer, diagnosticar e recuperar-se de erros Ajuda (help) e documentação Outras Considerações Domínio do Problema Análise comparativa Considerações finais BASE CONCEITUAL DO MODELO PROPOSTO Introdução Comportamento inteligente e conhecimento A questão do aprendizado em sistemas inteligentes A questão do tempo e suas implicações O formalismo DEVS Modelo de mundo aspectos conceituais O Modelo de Árvores Paralelas Funcionais de Decisão Aspectos conceituais Visão arquitetônica Representação do mapeamento entre estados do mundo e ações Arquitetura do protótipo InSitu Considerações finais SISTEMA OPERACIONAL BASEADO EM CONHECIMENTO - SOBC.. 224

12 XI 7.1 Introdução Definição Identificação dos requisitos do modelo proposto Requisitos funcionais da nova geração de sistemas operacionais Requisitos Não Funcionais Comparativo entre requisitos funcionais e não funcionais Avaliação da Viabilidade dos Requisitos Identificados O Modelo Proposto O modelo de tempo Modelo de Mundo Modelo de Aplicação O ambiente de execução Considerações finais CONCLUSÕES Recomendações finais BIBLIOGRAFIA APÊNDICES Apêndice 1 Call for papers ACM SIGOPS Apêndice 2 Descrição detalhada das arquiteturas de núcleos de sistemas operacionais Estruturas Monolíticas Estruturas Baseadas em Camadas Estruturas Hierárquicas Estruturas Baseadas em Micronúcleos Estruturas Configuráveis ou Adaptáveis Estruturas Baseadas em Núcleos Coletivos Estruturas Baseadas em Library Operating Systems Estruturas Baseadas em Nanonúcleos Estruturas Baseadas em Máquinas Virtuais Estruturas Baseadas no Conceito de Objetos Estruturas Baseadas em Reflexão Computacional Estruturas Baseadas em Conhecimento Estruturas Baseadas em Agentes Estruturas Híbridas Considerações finais Apêndice 3 Exemplo de log de erro no sistema (DrWatson Windows) Apêndice 4 Exemplo de log obtido através de device driver (Windows) Apêndice 5 Exemplo de log obtido através de Sar (Unix) Apêndice 6 Modelo de árvore de decisões para algoritmos Apêndice 7 Modelo de árvore de decisões para redações

13 10.8 Apêndice 8 Planilha para identificação de regras XII

14 XIII LISTA DE FIGURAS Figura 1 - Evolução das abstrações em favor do programador Figura 2 - Virtualização do processador através de multiprogramação Figura 3 - Intromissão virtual de pessoas na máquina do usuário Figura 4 - Estágio atual de evolução dos sistemas operacionais Figura 5 - Exemplo de opções de configuração do browser Internet Explorer Figura 6 - Chamada da IEEE para criação de um padrão para construção de sistemas operacionais seguros Figura 7 - Delimitação da proposta Figura 8 - Abrangência temporal x número de trabalhos consultados Figura 9 - Organização dos diretórios preservando a origem das informações coletadas.49 Figura 10 - Software utilizado para indexação da base digital Figura 11 - Estrutura do trabalho Figura 12 - Estrutura funcional de um sistema operacional Figura 13 - Pseudo-código que implementa um interpretador de máquina virtual Figura 14 - Modelo Evolutivo de Hardware Figura 15 - Formas de obtenção de informações do sistema operacional Figura 16 - Fase 0: primeiro estágio evolutivo dos sistemas operacionais Figura 17 - Fase 1: Protocolos implementados como bibliotecas externas ao sistema Figura 18 - Fase 2: protocolos incorporados ao sistema operacional Figura 19 - Fase 1: Navegadores desenvolvidos como bibliotecas externas Figura 20 - Fase 2: Navegadores incorporados ao sistema operacional Figura 21 - Próximas demandas Figura 22 - Evolução dos modelos de núcleos de sistemas operacionais Figura 23 - Tendências em Computação Figura 24 - Visão geral do projeto Oxygen do MIT Figura 25 - As quatro fases da evolução do espaço de trabalho Figura 26 - Classificador de padrões de acesso de E/S em PPFSII Figura 27 - Arquitetura de um OS Agent Figura 28 Fisheye: menu apresentando os 100 mais populares sites web retirados da lista dos mais populares da revista PC Magazine Figura 29 Data Mountain: exemplo de seleção de um documento Figura 30 Infra-estrutura para aquisição de informações contextuais Figura 31 - Mecanismo de inserção de mensagens aleatórias no Windows NT Figura 32 - (a) numero de erros por diretório no linux; (b) taxa de erros comparada com outros diretórios Figura 33 Versões de correção de erros Figura 34 - Mensagem de erro quando o usuário tenta remover um arquivo do S.O Figura 35 - Mensagem de aviso durante o cancelamento de operação com erro Figura 36- Associação entre formato de arquivo-aplicação Figura 37- Uso de linguagem técnica na interface com o usuário Figura 38- Exemplo de mensagem de erro crítico Figura 39- Mensagens de erro dependentes de API Figura 40 - Flutuações na disponibilidade de processador Figura 41 Tecnologia usada para coletar dados sem que o usuário tenha autorizado 173 Figura 42 Contexto onde os projetistas de SO trabalham

15 XIV Figura 43 - Visão sobre a qual está baseada a tecnologia de computação Figura 44 Confronto entre a visão de projeto de SO e a visão geral do atual modelo de computação Figura 45 Modelo DEVS Figura 46 DFD de nível 0 do projeto InSitu Figura 47 DFD de nível 1 do Projeto InSitu Figura 48 Modelo de mundo hiperdimensional Figura 49 Estrutura de uma quadtree Figura 50 Representação de evento instantâneo localizado numa base de tempo Figura 51 Sensores lógicos representando histórico de eventos Figura 52 Sensores lógicos representando espaço disponível em um disco Figura 53 Quadtree representando fragmentação de disco Figura 54 - Treze relacionamentos entre dois intervalos de tempo Figura 55 - Especificação do relógio de intervalo big-ben Figura 56 Dimensão física do Modelo de Mundo proposto Figura 57 Estados do Contexto Físico do Dispositivo Figura 58- Exemplo de representação de Modelo Físico do Mundo Figura 59 - Estados do Contexto Lógico do Dispositivo Figura 60 Contexto Lógico do Mundo - CLM Figura 61 Exemplo de representação do Contexto Lógico do Mundo Figura 62 - Transformação do modelo hiperdimensional em modelo unidimensional Figura 63 Processo de Desenvolvimento de Aplicações (a) tradicional (b) proposto. 261 Figura 64 Modelo de desenvolvimento de aplicações Figura 65 Contextualização do problema Figura 66 Feedback ao aluno Figura 67 Pseudo-código resultante da execução do sistema Figura 68 Tempo nominal de execução das aplicações Figura 69 Modelo preemptivo conceitual Figura 70 Exemplo de modelo preemptivo real Figura 71 Modelo de substrato reativo no paradigma atual Figura 72 Interação do especialista desenvolvedor Figura 73 Interface de assimilação e aprendizagem Figura 74 Interação do especialista escritor Figura 75 Tratamento de tempo explicito x tempo implícito Figura 76 Uso da cláusula NAO_SEI Figura 77 Comparativo entre modelos exógenos e o modelo proposto (endógeno) Figura 78 Chamada de trabalhos para o congresso na área de Sistemas Operacionais sob a chancela da ACM em Figura 79 Modelo de núcleo monolítico Figura 80 Modelo em camadas Figura 81 -Organização do sistema Pilot Figura 82 - O micronúcleo do Mach e seus sub-sistemas Figura 83 - Estrutura de núcleo coletivo Figura 84 Modelo de cache kernel Figura 85 Exemplo de funcionamento de uma máquina virtual Windows 98 executando sobre um host Windows Figura 86 Uma máquina virtual implementada sobre uma máquina real com mesmo conjunto de instruções Figura 87 - Estrutura da Máquina Virtual VirtualPC

16 Figura 88 - Objetos A, B e C implementam a solução de um problema específico. Objetos meta-nível M1..M4 controlam a execução dos abjetos A, B e C e implementam parte de seu comportamento Figura 89 - O ambiente Lisp consistindo de todas as funções e objetos em memória virtual Figura 90 Estrutura organizacional do sistema ABOS Figura 91- Abordagem híbrida do sistema operacional Windows 2000 Server Figura 92 Exemplo de árvore de decisões utilizada no protótipo de validação do modelo de aplicações Figura 93 Exemplo de árvore de decisões modelando conhecimento sobre construção de redações Figura 94 Planilha de regras utilizadas para montagem da árvore de decisões XV

17 XVI LISTA DE TABELAS Tabela 1 - Latência de processos e threads Tabela 2 - Características de núcleos monolíticos Tabela 3 - Características de núcleos em camadas Tabela 4 - Características de núcleos hierárquicos Tabela 5 - Características de micronúcleos Tabela 6 - Características de núcleos configuráveis/adaptáveis Tabela 7 - Características de núcleos coletivos Tabela 8 - Características de núcleos baseados em library OS Tabela 9 - Características de exonúcleos Tabela 10 - Características de cache kernel Tabela 11 - Características de nanonúcleos Tabela 12 - Características de núcleos baseados em máquinas virtuais Tabela 13 - Características de núcleos baseados no conceito de objetos Tabela 14 - Características de núcleos baseados em reflexão computacional Tabela 15 - Características de núcleos baseados em conhecimento Tabela 16 - Características de núcleos baseados em agentes Tabela 17- Características de núcleos híbridos Tabela 18 - Requisitos funcionais e não funcionais de projetos de sistemas operacionais Tabela 19 - Requisitos funcionais de computação ubíqua, teletrabalho e comércio eletrônico Tabela 20 - Resumo das características de uso da tecnologia de informações Tabela 21 - Requisitos funcionais e não funcionais de projetos de robôs autônomos Tabela 22 - Requisitos de segurança em computação ubíqua na visão de companhias de telecomunicações Tabela 23 - Problemas e medidas de segurança em tele-trabalho Tabela 24 - Comparativo entre requisitos de projetos de sistemas operacionais, computação ubíqua, teletrabalho, comércio eletrônico e robótica Tabela 25 - Comparativo entre requisitos funcionais e não funcionais Tabela 26 - Relacionamento entre intervalos usando quadtrees Tabela 27 - Aliases para variáveis lingüísticas

18 XVII LISTA DE REDUÇÕES ACM ADA AFIPS AOP API ARTIS ASIC AUP BIOS BNF CASE CFD CFM CLD CLM COM COP CORBA DARPA DMA E/S FAT FBI FCM FLIPS GNU GPS GUI HAL HCI HPFS HTML IA IBM IDS IEEE IIDS IOCS - Association of Computer Machinery - Active Document Architecture - American Federation of Information Processing Societies - Aspect Oriented Programming - Application Program Interface - Architecture for Real-time Intelligent Systems - Application Specific Integrated Circuit - Active Universal Plans - Basic Input-Output System - Backus Naur Form - Computer Aided Software Engineering - Contexto físico do dispositivo - Contexto físico do mundo - Contexto lógico do dispositivo - Contexto lógico do mundo - Component Object Model - Component-based Operating System Proxy - Common Object Request Brocker - Defense Advanced Research Projects - Direct Memory Access - Entrada e Saída - File Allocation Table - Federal Bureau of Investigation - Fuzzy Cognitive Maps - Fuzzy Logic Inferences per Second - General Public License - Global Positioning System - Graphical User Interface - Hardware Abstraction Layer - Human-Computer-Interaction - High Performance File System - Hypertext Markup Language - Inteligência Artificial - International Business Machines - Intrusion Detection System - Institute of Electrical and Electronics Engineers - Intelligent Intrusion Detection System - Input/Output Control System

19 XVIII IPC IVR JVM LRU MIPS MIT MM MMU MUD - Inter-Process Communication - Interactive Voice Response - Java Virtual Machine - Least Recently Used - Million Instructions per Second - Massachusetts Institute of Technology - Modelo de Mundo - Memory Management Unit - Multiple User Domain NCR - National Cash Register Company (adquirida pela AT&T em 1991) NSA - National Security Agency NC - Network Computer NTFS - NT File System (ou New Technology File System) OLE - Object Linking and Embedding ORB - Object Request Broker PC - Personal Computer PDF - Portable Document Format PKI - Public Key Infrastructure PGP - Pretty Good Privacy POSIX - Portable Operating System Interface PPFS - Portable Parallel File System QoP - Quality of Protection RBC - Raciocínio Baseado em Casos RISC - Reduced Instruction Set Computer RMI - Remote Method Invocation RPC - Remote Procedure Call SE - Sistema Especialista SMA - Sistemas Multiagentes SOBC - Sistema Operacional Baseado em Conhecimento SOM - System Object Model TIC - Tecnologias de Informação e Comunicação TLB - Translation Look-aside Buffer UML - Unified Modeling Language VFS - Virtual File System VMM - Virtual Machine Monitor VPN - Virtual Private Network WDM - Windows Driver Model WMI - Windows Management and Instrumentation XML - Extended Markup Language

20 XIX RESUMO MATTOS,Mauro M. Fundamentos conceituais para a construção de sistemas operacionais baseados em conhecimento páginas. Tese (Doutorado em Engenharia de Produção) Programa de Pós-Graduação em Engenharia de Produção, UFSC, Florianópolis. Um sistema inteligente deve ser capaz de adquirir autonomamente as informações necessárias, através da percepção, e executar as ações apropriadas. Para atingir a esta meta, sistemas artificiais devem acessar diretamente o ambiente que os cerca. O paradigma atual de sistemas operacionais suporta a noção de abstração de hardware, onde cada aplicação supõe possuir seu próprio processador e demais recursos. Esta situação e o fato de que em geral os sistemas operacionais tradicionais são baseados em (i) multitarefa, contribuem para a permanência de problemas identificados há mais de 30 anos. Estes problemas envolvem não só aspectos de segurança e usabilidade como também questões de privacidade das informações. Alem disso, há outros dois conceitos que contribuem para piorar a situação: (ii) o conceito de operador e (iii) o conceito de programa. A função de operador foi necessária nos primórdios da computação, quando os computadores eram enormes e difíceis de usar. O conceito de programa implica virtualmente na extensão das mãos dos desenvolvedores para dentro da máquina dos usuários. Este trabalho introduz uma definição para a noção de sistema operacional baseado em conhecimento, estabelece a possibilidade concreta dessa definição a partir da apresentação de uma base conceitual que sustenta a definição apresentada e fornece indicações sobre a sua necessidade isto é, dá-lhe um conteúdo objetivo e mostra o interesse e a utilidade que esta nova concepção pode ter para a área de Sistemas Operacionais em particular e para a área de Computação em geral. Especificamente, realiza-se uma particular leitura sobre o paradigma atual de concepção de sistemas operacionais e confronta-se este modelo com as demandas de computação ubíqua, teletrabalho e comércio eletrônico, resultando numa evidente disparidade entre os requisitos dos projetos de sistemas operacionais e os requisitos dos projetos das áreas elencadas. Por outro lado, uma mudança de atitude face aos objetivos propostos é também requerida. A definição dada supõe que se reconheça a autonomia operacional dos sistemas. E isto implica em abandonar, ou pelo menos colocar em segundo plano, o que comumente é chamado de artificialismo a busca de imitação do comportamento inteligente de seres humanos ou animais - e adotar o ponto de vista denominado naturalismo a consideração de inteligência de máquina como fenômeno natural nas máquinas, digno de ser estudado em si próprio. O trabalho apresenta os resultados da reflexão através da qual se tentou realizar os objetivos. Palavras-chave: Sistemas operacionais, sistemas operacionais baseados em conhecimento, modelo de kernel endógeno.

21 XX ABSTRACT MATTOS,Mauro M. Fundamentos conceituais para a construção de sistemas operacionais baseados em conhecimento páginas. Tese (Doutorado em Engenharia de Produção) Programa de Pós-Graduação em Engenharia de Produção, UFSC, Florianópolis. An intelligent system should be able to autonomously acquire its required information through perception and carry out the contemplated actions. To achieve this goal, artificial systems must have direct access to their surroundings. The paradigm over which we build operating systems today is based on an hardware abstraction where each application is supposed to possess its own processor (and other resources). This situation and the fact that in general all commercial operating systems are based on (i) multitasking, contribute to enforce problems identified since 30 years ago. Those problems range from security to usability, but also include aspects related to privacy. Besides that, there are two other concepts that contribute to make things worse: (ii) the operator concept and (iii) the program concept. The operator function was necessary in the first moments of computing area since the computers were big and difficult to use. Operators at that time were responsible for turning on/off the machine, starting programs, collecting reports, restarting new programs and so on. The program concept can be thought as the programmer s hands virtually inside the user s machines. This research introduces the definition for the notion of a knowledge-based operating system (KBOS), establishes the real possibility of this definition based on a conceptual basis that supports the definition and, presents some indications about its needs that is, gives an objective content and shows the interest and usefulness that this new conception can be to operating systems in particular and computing in general. A particular reading is made about the current operating system building paradigm and this model was compared with new demands in ubiquitous computing, teleworking and e- commerce areas resulting in a disparity between operating system s projects and the other projects. On the other hand, a change in attitude is required in face of the proposed objectives. The presented definition supposes the recognition of the operational autonomy of the KBOS. Thus, this abandons or at least puts in second plan what is called artificialism the search for imitation of animals or of the human beings intelligent behavior and to adopt the point of view denominated naturalism the consideration of machine intelligence as natural phenomenon in the machines worthy of being studied in itself. This research presents the results of the reflection through which the objectives were accomplished. Keywords: Operating systems, knowledge-based operating systems, endogenous kernel model.