Article contents
Logic programming with social features1
Published online by Cambridge University Press: 01 November 2008
Abstract
In everyday life it happens that a person has to reason out what other people think and how they behave, in order to achieve his goals. In other words, an individual may be required to adapt his behavior by reasoning about the others' mental state. In this paper we focus on a knowledge-representation language derived from logic programming which both supports the representation of mental states of individual communities and provides each with the capability of reasoning about others' mental states and acting accordingly. The proposed semantics is shown to be translatable into stable model semantics of logic programs with aggregates.
- Type
- Regular Papers
- Information
- Copyright
- Copyright © Cambridge University Press 2008
References
- 3
- Cited by