EK_ExpertSystem

java.lang.Object

tripleo.vendor.batoull22.EK_ExpertSystem

public class EK_ExpertSystem extends Object

Field Summary

Fields

Modifier and Type

Field

Description

EK_Fact

goal

Scanner

input

final List<EK_Fact>

Listfacts

final ArrayList<tripleo.vendor.batoull22.EK_Production>

Listrule
Constructor Summary

Constructors

Constructor

Description

EK_ExpertSystem()
Method Summary

Modifier and Type

Method

Description

void

actualizePush(@NotNull tripleo.vendor.batoull22.EK_Push aPush, tripleo.vendor.batoull22.EK_Production current_production)

boolean

Backwardchaining()

void

checkBackwardchaining(EK_Fact g)

boolean

Forwardchaining()

void

Forwardchaining(EK_Fact goal)

void

print()

void

proof(@NotNull String st)

void

updateBackwardChaining(@NotNull tripleo.vendor.batoull22.EK_Production prod)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details
- goal
  
  public EK_Fact goal
- input
  
  public Scanner input
- Listfacts
  
  public final List<EK_Fact> Listfacts
- Listrule
  
  public final ArrayList<tripleo.vendor.batoull22.EK_Production> Listrule
Constructor Details
- EK_ExpertSystem
  
  public EK_ExpertSystem()
Method Details
- actualizePush
  
  public void actualizePush(@NotNull @NotNull tripleo.vendor.batoull22.EK_Push aPush, tripleo.vendor.batoull22.EK_Production current_production)
- Backwardchaining
  
  public boolean Backwardchaining()
- checkBackwardchaining
  
  public void checkBackwardchaining(EK_Fact g)
- Forwardchaining
  
  public boolean Forwardchaining()
- Forwardchaining
  
  public void Forwardchaining(EK_Fact goal)
- print
  
  public void print()
- proof
  
  public void proof(@NotNull @NotNull String st)
- updateBackwardChaining
  
  public void updateBackwardChaining(@NotNull @NotNull tripleo.vendor.batoull22.EK_Production prod)