Harium / suneidesis

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

[Logic] Add reasoning #48

Open yuripourre opened 5 years ago

yuripourre commented 5 years ago

It can be achieved using a variation of Inspector.

Facts:

Chicken has two legs
Human has two legs
List<Concept> findings = ReasoningClass.reasoning(storage);
// Print findings
Chicken is human
Human is chicken

https://en.m.wikipedia.org/wiki/Logical_reasoning

yuripourre commented 5 years ago

More than just reasoning, there is a fundamental concept tightly close, that is supposition.

Supposition is a fact that depends on a condition to be true/done.

Supposition leds us to wish. Wish = fact + condition + intention

A wish can be compared to a goal into Decision Support Systems.