Dear Lotfi, The following paper (draft) describes our implementation of a theorem prover that uses weighted abduction and first-order logic with sorts:
"Abductive Theorem Proving for Analyzing Explanations and Guiding Feedback in Tutoring Systems": http://andes1.lrdc.pitt.edu/~maxim/papers/arte.ps.gz Cheers, Maxim Makatchev _____________________________________________________________ Maxim Makatchev Natural Language Tutoring Systems Group Learning Research and Development Center, Univ. of Pittsburgh http://www.pitt.edu/~maxim email: [EMAIL PROTECTED] _____________________________________________________________ Dr. Lotfi Ben Romdhane wrote: > Hi, > > Does anybody know about or has published recent > papers/models for ABDUCTIVE REASONING using Bayesian > networks or other approaches ? > > Thanks in advance for your kind help. > -- LBR >
