The long-term goal of the Active Logic, Metacognitive Computation, and Mind project at University of Maryland, College Park, Computer Science Department is "to design and implement common sense in a computer." The website offers an explanation for what a project of this nature involves and the challenges of achieving "cognitive adequacy." A Primer section provides an introduction to active logic, which the project describes as a formal architecture that is more flexible than traditional artificial intelligence systems because it explicitly reasons in time and incorporates a history of its reasoning as it runs, making it most suitable for commonsense, real-world reasoning. Examples of logic interfaces are provided as one of the Primers. The website also discusses the project hypothesis regarding a limited and formalizable set of generic strategies of metareasoning and explain why its researchers focus on the study of conversations, particularly human-computer natural-language dialog, to better understand these metacognitive strategies. The Publications section posts forthcoming and previously published articles as well as dissertations.
Comments