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/e6a3907f-1424-4acc-a739-3d5ddcd5f19a%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
