Loading...
Please wait, while we are loading the content...
Similar Documents
Logic programming with social features
| Content Provider | Scilit |
|---|---|
| Author | Buccafurri, Francesco Caminiti, Gianluca |
| Copyright Year | 2008 |
| Description | 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. |
| Related Links | http://arxiv.org/pdf/0805.3518 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F795F2FEC9D6A63DCFAA39A8791CC6E4/S1471068408003463a.pdf/div-class-title-logic-programming-with-social-features-a-href-fn1-ref-type-fn-span-class-sup-1-span-a-div.pdf |
| Ending Page | 690 |
| Page Count | 48 |
| Starting Page | 643 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s1471068408003463 |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 5-6 |
| Volume Number | 8 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2008-11-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming History and Philosophy of Science Logic Programming Stable Model Semantics Knowledge Representation |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
