我正在尝试实现一个函数,该函数接受FOL语句,并以子句形式返回等效语句。任何关于链接的想法,示例,因为我到目前为止还找不到。
尝试从https://code.google.com/p/aima-java/source/browse/trunk/aima-core/src/main/java/aima/core/logic/fol/kb/FOLKnowledgeBase.java?r=1011。祝你好运
我正在尝试实现一个函数,该函数接受FOL语句,并以子句形式返回等效语句。任何关于链接的想法,示例,因为我到目前为止还找不到。
尝试从https://code.google.com/p/aima-java/source/browse/trunk/aima-core/src/main/java/aima/core/logic/fol/kb/FOLKnowledgeBase.java?r=1011。祝你好运
javascript python java c# php android html jquery c++ css ios sql mysql arrays asp.net json python-3.x ruby-on-rails .net sql-server django objective-c excel regex ruby linux ajax iphone xml vba spring asp.net-mvc database wordpress string postgresql wpf windows xcode bash git oracle list vb.net multithreading eclipse algorithm macos powershell visual-studio image forms numpy scala function api selenium