Skip to main content

FoilLearner

oxilean_std::program_synthesis::types

Struct FoilLearner 

Source 
pub struct FoilLearner {
    pub max_depth: usize,
    pub min_gain: f64,
}
Expand description

FOIL (First Order Inductive Learner) algorithm scaffolding.

Fields§

§max_depth: usize

Maximum clause depth.

§min_gain: f64

Minimum information gain threshold.

Implementations§

Source§

impl FoilLearner

Source

pub fn new(max_depth: usize, min_gain: f64) -> Self

Create a new FOIL learner.

Source

pub fn foil_gain(&self, t: f64, p0: f64, n0: f64, p1: f64, n1: f64) -> f64

FOIL information gain for a literal L. Gain(L) = t * (log2(p1/(p1+n1)) - log2(p0/(p0+n0))) where p0/n0 are positive/negative before adding L, p1/n1 after.

Source

pub fn covering_clauses_needed(&self, num_positives: usize) -> usize

Greedy covering algorithm: add clauses until all positives are covered. Returns the number of clauses needed (simplified).

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.