Knowledge Based Systems
Prof Dr Christoph Beierle
Knowledge Based Systems
Prof Dr Christoph Beierle
Enter your conditional belief base
Syntax: conjunction "a,b" • disjunction "a;b" • negation "!a" • brackets "((a;b),a)" • tautology: "Top" • contradiction: "Bottom"
Enter your query
Select the inference methods
| Inference method | Result | |
|---|---|---|
|
|
Yes | No |
|
|
Yes | No |
|
|
Yes | No |
|
|
Yes | No |