Common-sense reasoning as proto-scientific agent activity
2004 (English)In: Journal of Applied Logic, ISSN 1570-8683, E-ISSN 1570-8691, Vol. 2, no 4, 385-407 p.Article in journal (Refereed) Published
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 epistemi 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.
Place, publisher, year, edition, pages
2004. Vol. 2, no 4, 385-407 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-22486DOI: 10.1016/j.jal.2004.07.002Local ID: 1733OAI: oai:DiVA.org:liu-22486DiVA: diva2:242799