AIMA.Test.Core.Unit.Logic.FOL.CommonFOLInferenceProcedureTests.testEqualityAxiomsKBabcAEqualsCSucceeds C# (CSharp) Méthode

        protected void testEqualityAxiomsKBabcAEqualsCSucceeds(
                InferenceProcedure infp)
        {
            FOLKnowledgeBase akb = FOLKnowledgeBaseFactory
                    .createABCEqualityKnowledgeBase(infp, true);

            TermEquality query = new TermEquality(new Constant("A"), new Constant(
                    "C"));

            InferenceResult answer = akb.ask(query);

            Assert.IsTrue(null != answer);
            Assert.IsFalse(answer.isPossiblyFalse());
            Assert.IsTrue(answer.isTrue());
            Assert.IsFalse(answer.isUnknownDueToTimeout());
            Assert.IsFalse(answer.isPartialResultDueToTimeout());
            Assert.IsTrue(1 == answer.getProofs().Count);
            Assert.IsTrue(0 == answer.getProofs()[0].getAnswerBindings()
                    .Count);
        }