Nome da Atividade
LÓGICA PARA COMPUTAÇÃO
CÓDIGO
1118010
Carga Horária
68 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
Ementa
Revisão de lógica proposicional e de primeira ordem; sintaxe, semântica e aplicações das lógicas modais, temporais e outras lógicas não-clássicas.
Objectives
Objetivo Geral:
Esta disciplina objetiva estudar a fundamentação conceitual relativa às lógicas multivaloradas, com foco na lógica fuzzy e suas extensões. Busca-se apresentar os conceitos básicos e propriedades dos principais conectivos, discutir a modelagem matemática, incluindo as principais caracterizações dos sistemas baseados em lógica fuzzy, abordando a inferência, fuzzificação e defuzzificação. Considera-se o projeto com estudo e desenvolvimento de um sistema fuzzy com aplicações em áreas de pesquisa na computação.Conteúdo Programático
Lógica Proposicional: Fundamentação, Sintaxe e Semântica e Dedução Natural;
Lógica de Primeira Ordem: Fundamentação, Sintaxe e Semântica;
Introdução às Lógicas Multivaloradas - Lógica Fuzzy: Fundamentos, Conectivos, Agregações e Implicações;
Sistemas Baseados em Lógica Fuzzy: Inferência, Fuzzificação e Defuzzificação;
Projeto: Redação de Artigo Aplicações da Lógica Fuzzy.
Lógica de Primeira Ordem: Fundamentação, Sintaxe e Semântica;
Introdução às Lógicas Multivaloradas - Lógica Fuzzy: Fundamentos, Conectivos, Agregações e Implicações;
Sistemas Baseados em Lógica Fuzzy: Inferência, Fuzzificação e Defuzzificação;
Projeto: Redação de Artigo Aplicações da Lógica Fuzzy.
Bibliografia
Bibliografia Básica:
- KLEMENT, E. P.; NAVARA, M. A survey on different triangular norm-based fuzzy logics. Fuzzy Sets and Systems, [S.l.], v.101, n.2, p.241–251, 1999.
- BARROS, L.; BASSANEZI, R., Tópicos de Lógica Fuzzy e Biomatemática, coleção IMECC 5, MEC-UNICAMP, 2008.
Bibliografia Complementar:
- HUTH, M.; RYAN, M. Logic in Computer Science: modeling and reasoning about systems. New York, USA: Cambridge University Press. 2nd edition, 427 pgs, 2004.
- ZOHAR, M.; PNUELI, A. The Temporal Logic of Reactive and Concurrent Systems - Specification, Springer Verlag. 1991.
- FITTING, M. First Order Modal logic. Springer, 1999.
- FODOR, J. C.; ROUBENS, M. Fuzzy Preference Modelling and Multicriteria Decision Support. [S.l.]: Springer, 1994. (Theory and Decision Library, v.14).
- PRIEST, G. An Introduction to Non-classical Logics. Cambridge University. Press, 2001.
- ROSS, T. Fuzzy Logic with Engineering Applications, JohnWiley & Sons, 2010.
- GOMIDE, F. A. C.; GUDWIN, R. R.; TANSCHEIT, R. Conceitos Fundamentais da Teoria de Conjuntos Fuzzy, Lógica Fuzzy e Aplicações. n.June.