Portal InstitucionalUFPEL

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.

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.

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.