ValidArgsTester

Um sistema para provar se um argumento é válido. Desenvolvido para Disciplina de Inteligência Artificial

Como funciona?

Aplicando regras de inferências, que são argumentos válidos conhecidos. As inferências são obtidas da entrada padrão (stdin).

Operadores

Operador	Símbolo
SE	->
OU	.
NAO	'
PROVAR	@

Regras de inferência implementadas

Modus Pones
Modus Tolens
Silogismo Hipotético

Siglas

Sigla	Significado
CQD	Como Queira Demonstrar
MP	Modus Pones
SH	Silogismo Hipotético
MT	Modus Tolens
.:.	Portanto

Exemplo

danny@hakurei:~/Dev/ValidArgsTester$ ./trabalho2.py 
Digite cada uma das proposições
Por último digite o argumento a ser provado!
E este deve ser iniciado com @, exemplo: @ (s)'
proposicao: 
t -> q
proposicao: 
(q)'
proposicao: 
@ (t)'
proposicao: 

MT (0 , 1) 	t -> q, (q)'
	____________________
.:.		(t)'
["(t)'"]


cqd: ["(t)'"]
danny@hakurei:~