[opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

Thanks for the clarification and suggestions! I had to search book as a set of articles and then it is here! Is it hard/possible to extend PLN from term logic to the full predicate logic? As far as I understand, then I should rewrite only formulas for the truth value vectors/matrices? -- You

Re: [opencog-dev] Re: Best texbook (most relevant to Opencog Node and Link Types) in Knowledge representation

On Mon, Apr 17, 2017 at 1:34 AM, Alex wrote: > To be honest, I am a bit afraid to include in my thesis project that uses > term logic - it is just fragment of monadic predicate logic and it was > decided some 150 years ago that more extensive logics (full predicate