Common-sense reasoning as proto-scientific agent activity |
| |
Authors: | Pierangelo Dell''Acqua,Luí s Moniz Pereira, |
| |
Affiliation: | aDepartment of Science and Technology – ITN, Linköping University, 601 74 Norrköping, Sweden bCentro de Inteligência Artificial – CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516 Caparica, Portugal |
| |
Abstract: | 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. |
| |
Keywords: | Common-sense reasoning Epistemic agents Non-monotonic reasoning Abductive reasoning Logic programming |
本文献已被 ScienceDirect 等数据库收录! |
|