汎用ツリーを使用することは可能ですか? たとえば、次の式があるとします。
notC または notF または E
L or F or notE
ふ
この KnowledgeBase が一貫しているかどうかを確認したい。ノードごとに 3 つのブランチを使用するのは正しいですか? すべてのノード (リーフを除く) には 3 つの子があります。Web で見たすべての例では、バイナリ ツリーを使用しています。これはルールですか、それとも単なるメモリの最適化ですか?
…………フ…………
……ないC…………ないF…………E
.L....F...notE..........L.....F...notE