Monadic and Bi-Lógicas Monádica e Bi-Sortida de Primeira-Ordem para a Análise de Conceitos Formais

A Análise de Conceitos Formais (ACF) é uma teoria que formaliza as noções de 'conceito' e 'hierarquia conceitual'. Foi desenvolvida inicialmente por Rudolf Wille como uma ferramenta para descobrir dependências entre dados de um determinado conjunto e, consequentemente, para apoiar a análise conceitual. Os dados são representados por uma tabela cruzada chamada 'contexto formal', que descreve conexões particulares entre conjuntos de objetos e conjuntos de atributos. A noção de um 'conceito formal' desse contexto formal surge quando um conjunto de objetos (ou seja, a 'extensão' do conceito) está conectado ao conjunto de seus atributos comuns (ou seja, a 'intensão' do conceito). Todos os conceitos de um contexto formam uma estrutura chamada de 'reticulado conceitual' - ou seja, uma estrutura hierárquica representada por um diagrama de linhas (também conhecido como 'diagrama de Hasse), dotado de uma relação de subconceito-superconceito. Este trabalho apresenta duas abordagens lógicas para a Análise de Conceitos Formais (ACF): uma Lógica Monádica de Primeira-Ordem Clássica e uma Lógica Bi-sortida de Primeira-Ordem Clássica. Essas abordagens parecem estender as capacidades da ACF, fornecendo métodos mais precisos, expressivos e flexíveis para analisar as relações entre conceitos.