このINFER(英語の論理推論(単数または複数))単文に基づいて論理的推論を行うことができるソフトウェアプログラムである。私たちは「ジョンはヤマウズラを撃った」と入力した場合たとえば、プログラムが「ジョンはハンターである「プリントアウトします。私たちは「ジョンはアンと結婚した」で入力した場合、プログラムは「ジョンはアンの夫である「プリントアウトし、「アンはジョンの妻です」。のみ選択した簡単な文章や意味におけるそれらの等価物に取り組んでいます。
の制限事項の:ます。
10ユーストライアルます。
コメントが見つかりません