In this talk a new cognitive logic is introduced. The logic uses a categorical language which is close to natural languages, and an experience-grounded semantics which covers several types of uncertainty. The logic has inference rules for deduction, induction, abduction, revision, analogy, etc., all within the same framework.
Read more
Introducing a call for papers for the workshop on Self-Programming in AGI Systems. The workshop will be part of the next conference on Artificial General Intelligence, hosted by Google, Inc. This post includes a compact description of areas of interests. For full information, questions of interest and submission guidelines see our dedicated workshop page.
Read more
Log in