Talk:Main Page

From Dyna

Jump to: navigation, search

Insert non-formatted text here== Headline text == Hi all,

I compiled DYNA 0.3.2 successfully on SuSE Linux 9.1 Professional. Very easy. What I do are 1. Download DYNA from dyna.org 2. su root 3. Do standard install process tar -xzf dyna-0.3.2.tar.gz cd dyna-0.3.2 make 4. make install cd demos/cky

The output looks like Makefile:5: warning: overriding commands for target `test.out' ../Makefile.include:12: warning: ignoring old commands for target `test.out' ../../bin/dynac cky.dyna main.cpp ar: creating libcky.a mv a.out cky ./cky grammar < sentences > test.out cmp -s test.out expected.out cky OK

Best

Nguyen

[edit]

quantification

from <<inference rule>> page > We considered writing universal and existential quantification as for each and if some, instead of whenever and > if ever. Please let us know if you think that would be nicer.

am reading through your documentation. imho "if ever" is a confusing way to name the existential quantifier. am aware of no way to confirm this, but i think there's a contextual reading of it which is near-synonymous with "whenever." at least you have the existence proof of one man's poor, colloquialism-ridden lexicon for which this is the case.

-cs 489280310956359685809900 8015428525892974110195

[edit]

Another question

how hard/reasonable would it be to provide a general "print_best_antecedents" function for use in driver programs?

Retrieved from "http://www.dyna.org/Talk:Main_Page"
Personal tools