liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Common-sense reasoning as proto-scientific agent activity
Linköping University, Department of Science and Technology, Visual Information Technology and Applications (VITA). Linköping University, The Institute of Technology.
Universidade Nova de Lisboa.
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
Abstract [en]

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.
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-22486DOI: 10.1016/j.jal.2004.07.002Local ID: 1733OAI: diva2:242799
Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2011-01-04

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Dell'Acqua, Pierangelo
By organisation
Visual Information Technology and Applications (VITA)The Institute of Technology
In the same journal
Journal of Applied Logic
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 109 hits
ReferencesLink to record
Permanent link

Direct link