search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

unificação para FOL #34

Open arademaker opened 9 years ago

arademaker commented 9 years ago

http://arxiv.org/abs/cs/9301110 descreve o método de unificação na seção 3. Vamos precisar também de unificação para implementar resolução. Também poderíamos ter outro issue possível que seria implementar cálculo de sequentes, outro método dedutivo, mas este issue aqui é sobre unificação.

hcrespo commented 9 years ago

Eu e o @paulodt começamos a implementar a função de unificaçao, segundo o artigo, mas ficamos com duvida de como ele define Fun(t,ts) e Param(b,bs). Como seria na linguagem que estamos utilizando? @arademaker

arademaker commented 9 years ago

as func occs e occsl não são usadas? Para que lookup se em Lisp podemos representar env como uma alist? Vide http://goo.gl/NQ47gh sec "Lookup Tables: Alists and Plists".

Vide idéia no commit c6c88c4

Mas lookup também não parece estar sendo usada! Este código está estranho e precisa ser revisto.

paulodt commented 9 years ago

Creio que, com as modificações feitas na função unify, este issue possa ser fechado.

arademaker commented 9 years ago

Bug

attempt to call `chasevar' which is an undefined function.
   [Condition of type undefined-function]

when

fol> (unify '(and ?x ?y) '(and a b) nil)
paulodt commented 9 years ago

Corrigido!

Paulo de Tarso

2015-07-12 16:44 GMT-03:00 Alexandre Rademaker notifications@github.com:

Bug

attempt to call `chasevar' which is an undefined function. [Condition of type undefined-function]

when

fol> (unify '(and ?x ?y) '(and a b) nil)

— Reply to this email directly or view it on GitHub https://github.com/arademaker/krr/issues/34#issuecomment-120756273.