Harium / suneidesis

A project to represent knowledge
MIT License
2 stars 1 forks source link

[Core] Add Inspector (for attributes) #71

Closed yuripourre closed 3 years ago

yuripourre commented 3 years ago

This class could be associated to matchers.

Either the strategy, it should be used to perform checks, comparisons and inferences.

// Using plain concepts
boolean result = Inspector.is(bat, mammal);

// Using action
boolean result = Inspector.can(bat, fly);

// Using amount
Inspector.has(biped, legs, 2)//IntAmount(2)

// Using Matcher
Inspector.has(millionaire, money, greaterThan(1000000))

http://www2.hawaii.edu/~pine/logicweb/tutorials/Inferences/Inferences-1/Inferences-1.html