Common-sense reasoning as proto-scientific agent activity

We wish to model common-sense reasoning in situations where it contains some of the ingredients typical of proto-scientific reasoning, with a view to future elaboration and proof of concept. To model this proto-scientific narrative, we employ the integrative formal computational machinery we have been developing and implementing for rational cooperative epistemic agents. In our logic-based framework, agents can update their own and each other's theories, which are comprised of knowledge, active rules, integrity constraints, queries, abducibles, and preferences; they can engage in abductive reasoning involving updatable preferences; set each other queries; react to circumstances; plan and carry out actions; and revise their theories and preferences by means of concurrent updates on self and others.