I am well aware of breadth and depth of the project (I am reading AGI two volume set, PLN book, AGI conferences proceedings, wiki, etc.) but I just wanted to take off and start with manually created knowledge base and I think that OpenCog is the perfect environment where I can host it - it allows multiple logics (with gradual transition from probabilisti to crisp logic) and it allows expansion in the future (e.g. adding NLP or automatic learning capabilities)
Currently I don't understand: - ImplicationLink - is it the logical connective (whose consequent just bring out the knowledge that existed in the implicit form) or is it the sign of production rule (whose consequent can create of reject existing knowledge, e.g., but creating new concepts or new instances of existing concepts)? Or maybe ImplicationLink can act in both roles depending on the content of the ImplicationLink? - How can I express the creation or deletion of the Atom, e.g. in the consequent part of the ImplicationLink? Statement about existence or non-existence seems not to serve well, some imperative statement can be more intuitive here. It could be good idea to document how the Object-Oriented design and programming notions can be mapped or translated into Atomese language. Potential users are experienced in object oriented modelling and it could smooth the learning curve if something known could be shown. -- 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/45f68d3c-c61c-463a-b587-3dda1949d0d7%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
