Loading...
34 results
Search Results
Now showing 1 - 10 of 34
- Raciocínio e Representação do Conhecimento: 3 - InferênciaPublication . Carvalho, Gracinda; Coelho, JoséApresentamos os métodos de inferência em lógica de primeira ordem. Iniciamos com a relação entre lógica proposicional e lógica de 1ª ordem, introduzimos a regra do Modus Ponens generalizado, e o unificador mais geral. Abordamos as provas com Modus Ponens generalizado e com resolução.
- Arquitetura de Computadores. Capítulo 7 - Análise e projeto de circuitos sequenciaisPublication . Coelho, José; Carvalho, GracindaCircuitos sequenciais síncronos são aqueles que dependem de um sinal de relógio para atualizar seus estados internos. Eles podem ser usados para modelar sistemas que reagem a eventos externos e internos, como máquinas de estado finito. Vamos ver como especificar informalmente e formalmente esses circuitos usando diagramas de estados e fluxogramas. Diagramas de estados mostram os possíveis estados do circuito e as transições entre eles, enquanto fluxogramas mostram o fluxo lógico das operações realizadas pelo circuito.
- Raciocínio e Representação do Conhecimento: Apresentação da Unidade CurricularPublication . Carvalho, Gracinda; Coelho, JoséApresentamos a unidade curricular de Raciocínio e Representação do Conhecimento da Universidade Aberta. A unidade curricular centra-se nos aspetos da Inteligência Artificial relacionados com a representação do conhecimento, raciocínio com incerteza e aprendizagem. Mostramos uma visão geral da matéria, metodologia, avaliação e recursos disponíveis.
- Searching a mixed corpus in the light of the new portuguese orthographic normPublication . Carvalho, Gracinda; Falé, Isabel; Matos, David Martins de; Rocio, VitorA mixed corpus of Portuguese is one in which texts of different origins produce different spelling variants for the same word. A new norm, which will bring together the written texts produced both in Portugal and Brazil, giving then a more uniform orthography, has been effective since 2009, but what happens in the perspective of search, to corpora created before the norm came into practice, or within the transition period? Is the information they contain outdated and worthless? Do they need to be converted to the new norm? In the present work we analyse these questions.
- Raciocínio e Representação do Conhecimento: 2B – Lógica de 1ª ordem - UtilizaçãoPublication . Carvalho, Gracinda; Coelho, JoséApresentamos exemplos de utilização da lógica de primeira ordem. Estes exemplos incluem graus de parentesco, números e conjuntos, bem como o exemplo da Caverna do manual.
- Improving IdSay: a characterization of strengths and weaknesses in question answering systems for portuguesePublication . Carvalho, Gracinda; Matos, David Martins de; Rocio, VitorIdSay is a Question Answering system for Portuguese that participated at QA@CLEF 2008 with a baseline version (IdSayBL). Despite the encouraging results, there was still much room for improvement. The participation of six systems in the Portuguese task, with very good results either individually or in an hypothetical combination run, provided a valuable source of information. We made an analysis of all the answers submitted by all systems to identify their strengths and weaknesses. We used the conclusions of that analysis to guide our improvements, keeping in mind the two key characteristics we want for the system: efficiency in terms of response time and robustness to treat different types of data. As a result, an improved version of IdSay was developed, including as the most important enhancement the introduction of semantic information. We obtained significantly better results, from an accuracy in the first answer of 32.5% in IdSayBL to 50.5% in IdSay, without degradation of response time.
- Arquitetura de Computadores. Capítulo 6 - Registos e contadoresPublication . Coelho, José; Carvalho, GracindaVamos explorar a aplicação de básculas na construção de memórias. Uma das formas mais simples de armazenar dados é usando registos, que são conjuntos de básculas que podem ser manipulados em bloco. Veremos como implementar registos com diferentes funcionalidades, como o registo universal, que pode realizar várias operações sobre os dados. Outra forma de usar básculas é para criar contadores, que são circuitos que incrementam ou decrementam um valor binário. Existem dois tipos principais de contadores: síncronos e assíncronos. Os contadores síncronos têm todas as básculas ligadas ao mesmo sinal de relógio, enquanto os contadores assíncronos têm as básculas ligadas em cascata, o que pode causar atrasos na propagação do sinal.
- Arquitetura de Computadores. Capítulo 1 - Representação digital da informaçãoPublication . Coelho, José; Carvalho, GracindaNeste vídeo, vamos explorar como a informação é representada digitalmente. Vamos aprender sobre as diferentes bases de numeração, como converter entre elas, como realizar operações aritméticas em base 2, quais são os códigos mais usados para representar caracteres e números, e quais são as unidades de medida da informação. Este é um tema importante para entender como os computadores funcionam e como armazenam e processam dados.
- Arquitetura de Computadores. Capítulo 5 - Circuitos aritméticos: reaisPublication . Coelho, José; Carvalho, GracindaVamos estudar como os computadores realizam operações aritméticas com números reais, representados de duas formas diferentes: números de vírgula fixa e números de vírgula flutuante. Vamos ver as vantagens e desvantagens de cada uma dessas formas, bem como os algoritmos e os circuitos que as implementam.
- Raciocínio e Representação do Conhecimento: 1B - Lógica proposicionalPublication . Carvalho, Gracinda; Coelho, JoséApresentamos os métodos de resolução de lógica proposicional. Abordamos diversos temas como as equivalências lógicas, regras de inferência, a regra de resolução.forma normal conjuntiva, algoritmo utilizando apenas resolução, cláusulas Horn. Terminamos com os algoritmos DPLL e WalkSAT.