thanks what parameters are still missing in opencog, and are the current state of opencog?
On Sunday, April 30, 2017 at 4:16:43 AM UTC+5, Alex wrote: > > Pretty basic questions. Modal logics serve to formalize such notions as > 'agent knows that...', 'agent believes that...'. So the question is about > representation of modalities in the Atomspace and this question has been > already discussed here (result is that special predicates can be used for > expression of modal statements). Regarding the content of the knowledge > (everyting that sits under the modal operators) - this content can be more > or less any logic - propositional logic, predicate logic, modal logic (then > we have nested and mixed modalities), action logic and so on - universal > logic (there are good Springer journal of book series Logica Universalis). > > And there is other question - what agent can do with her knowledge, how > agent knows that she knows something and whether her knowledge is > sufficient or should she need to create goal "go out and seek for more > knowledge". Such perspective leads use to the question "what is > understanding", "what are tests for understanding", "how we can measure > understanding", "what is meaning". Those questions are more or less > answered in > https://link.springer.com/chapter/10.1007%2F978-3-319-41649-6_11 > > BTW - there are Artificial General Intelligence conference series (LNCS) > and de Gryter Journal of Artificial General Intelligence. > -- 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/4b269520-b580-4ef3-8637-93fee8763dfa%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
