AIMA.Test.Core.Unit.Logic.FOL.CommonFOLInferenceProcedureTests.testDefiniteClauseKBKingsQueryRichardEvilFalse C# (CSharp) Метод

        protected void testDefiniteClauseKBKingsQueryRichardEvilFalse(
                InferenceProcedure infp)
        {
            FOLKnowledgeBase kkb = FOLKnowledgeBaseFactory
                    .createKingsKnowledgeBase(infp);
            List<Term> terms = new List<Term>();
            terms.Add(new Constant("Richard"));
            Predicate query = new Predicate("Evil", terms);
            InferenceResult answer = kkb.ask(query);
            Assert.IsTrue(null != answer);
            Assert.IsTrue(answer.isPossiblyFalse());
            Assert.IsFalse(answer.isTrue());
            Assert.IsFalse(answer.isUnknownDueToTimeout());
            Assert.IsFalse(answer.isPartialResultDueToTimeout());
            Assert.IsTrue(0 == answer.getProofs().Count);
        }