Logical Inference (English) 1.0

antyde (logisk slutning (e) på engelsk) er et program som kan lage logiske slutninger basert på enkle setninger. For eksempel hvis vi skriver inn "John skutt en rapphøne", vil programmet skrive ut "John er en jeger". Hvis vi skriver inn "John giftet Ann",...
Nylig viste programvare