aima.core.logic.fol

Class SubsumptionElimination

java.lang.Object

aima.core.logic.fol.SubsumptionElimination

public class SubsumptionElimination
extends java.lang.Object

Artificial Intelligence A Modern Approach (3rd Edition): page 356.

The subsumption method eliminates all sentences that are subsumed by (that is, more specific than) an existing sentence in the KB. For example, P(x) is in the KB, then there is no sense in adding P(A) and even less sense in adding P(A) V Q(B). Subsumption helps keep the KB small and thus helps keep the search space small.

Note: From slide 17.

Relational Subsumption

A relational clause Φ subsumes Ψ if and only if there is a substitution δ that, when applied to Φ, produces a clause Φ' that is a subset of Ψ.

Author:

Ciaran O'Reilly, Mike Stampone

Constructor Summary

Constructors

Constructor and Description
SubsumptionElimination()

Method Summary

Modifier and Type	Method and Description
static java.util.Set<Clause>	findSubsumedClauses(java.util.Set<Clause> clauses) Returns the clauses that are subsumed by (that is, more specific than) an existing clause in the specified set of clauses.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SubsumptionElimination

public SubsumptionElimination()

Method Detail

findSubsumedClauses

public static java.util.Set<Clause> findSubsumedClauses(java.util.Set<Clause> clauses)

Returns the clauses that are subsumed by (that is, more specific than) an existing clause in the specified set of clauses.

Parameters:

clauses - a set of clauses in first order logic

Returns:

the clauses that are subsumed by (that is, more specific than) an existing clause in the specified set of clauses.