Well, the mentioned book has chapter about inheritance, but it is in no way connected with the terms of intensional and extensional inheritance. So, this book is not usable.
Now I am looking Non-Axiomatic Logic: A Model Of Intelligent Reasoning by P. Wang and it should be fairly good book, because OpenCog uses term logic and the idea about possible use of term logic (more than 2000 years after Aristotle) in present times comes from P. Wang (as described in PLN book), but I have no access to this book, so..... It could be nice to know where such notions about extensional and intensional inheritance comes from. OpenCog wiki says that intensional inheritance (class inheritance) can be understood as subset relationship but from my programming experience I can say that this is wrong perception. Subset relationship is subset relationship but class is something more: class has class functions, class as a concept exists even without members of this class, class has factory methods/constructors/destuctors - means of creating new instances and so on. Class (in some lanuages) can have multiple inheritance. So, I am still afraid of adopting OpenCog notions. 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 logic) are necessary for more expressivity... -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/d5114d44-aff0-42d5-b53e-d0d01870b628%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
