Parece-me que o "implica" no idioma inglês não significa a mesma coisa que o operador lógico "implica", de maneira semelhante como a palavra "OR" na maioria dos casos significa "OR exclusivo" em nosso uso cotidiano da linguagem. Vamos dar dois exemplos: Se hoje é segunda-feira, amanhã é...
Recentemente, eu estava pensando sobre a validade da prova por contradição. Eu li nos últimos dias coisas sobre lógica intuicionista e teoremas de Godel para ver se eles me dariam respostas para minhas perguntas. No momento, ainda tenho perguntas pendentes (talvez relacionadas ao novo material que...
Eu estava lendo a pergunta Consistência e integridade implicam solidez? e a primeira afirmação diz: Entendo que a solidez implica consistência. O que me deixou bastante intrigado porque pensei que a consistência era uma afirmação mais fraca que a consistência (ou seja, pensei que sistemas...
Tentei resolver o exercício a seguir, mas fiquei preso ao tentar encontrar todos os pares críticos . Tenho as seguintes perguntas: Como sei qual par crítico produziu uma nova regra? Como sei que encontrei todos os pares críticos? Seja onde é binário, é unário e é uma constante. ∘ i e E = {...
Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a...
Seja e sejam vetores de variáveis booleanas. Eu tenho um predicado booleano em . Dou à minha amiga Priscilla . Em resposta, ela me fornece , um predicado booleano em , e ela afirma
Eu pensei que qualquer FOT é um subconjunto de FOL, mas isso não parece ser o caso, porque FOL está completo (todas as fórmulas são válidas ou inválidas), enquanto alguns FOT (como aritmética inteira linear) não estão completos. Então, o FOL é mais expressivo que o FOT? Ou incomparável? Além...
Passando por alguns tutoriais de representação do conhecimento sobre resolução no momento, deparei-me com o slide 05.KR, no77 . Lá é mencionado que "o procedimento também está completo". Eu acho que essa completude não pode significar que, se uma sentença for envolvida por KB, ela será derivada...
Eu tenho lido o excelente livro Representação e Raciocínio do Conhecimento, de Ronald Brachman e Hector Levesque. No início da Seção 3.2 "Vocabulário" do Capítulo 3 "Expressando conhecimento", eles afirmam: Ao criar uma KB (Base de Conhecimento), é uma boa idéia começar com o conjunto de...
A "Complexidade Computacional" de Papadimitriou afirma que VALIDITY, o problema de decidir se uma fórmula de lógica de primeira ordem (sem aritmética) é válida, é recursivamente enumerável. Isso decorre dos teoremas da completude e da solidez, que igualam VALIDITY e THEOREMHOOD, sendo este último o...
Estou interessado na relação de equivalência alfa em idiomas com ligações variáveis, como: t := x:y 'x belong to y' | bot 'False' | t -> t 'implication' | Ax.t 'forall x, t' Ou o cálculo lambda puro: t := x 'variable' | (t t) 'application ' | Lx.t 'abstraction: \x -> t' Estou...