Please use this identifier to cite or link to this item:

TitleExtended logic programming applied to the specification of multi-agent systems and their computing environments
Author(s)Neves, José
Machado, José Manuel
Analide, Cesar
Novais, Paulo
Abelha, António
Issue date1997
CitationNeves, J., Machado, J., Analide, C., Novais, P., & Abelha, A. (1997, October). Extended logic programming applied to the specification of multi-agent systems and their computing environments. In Intelligent Processing Systems, 1997. ICIPS'97. 1997 IEEE International Conference on (Vol. 1, pp. 159-164). IEEE
Abstract(s)In this work it is presented a logical framework to model some aspects of contextuality; i.e. generating contexts in a multi-context setting. Following the existing work on Extended Logic Programming and Multi-Agent Systems, a contextual reasoning procedure for a particular class of multi-context systems, the law ones, is proposed based on the Grice's maxims, which in turn are used to support a larger set of contexts by combining contexts into compound structures, thus defining a logic of contexts. The notion of compound contexts reflects the beliefs, desires, intentions and obligations, among others, that depend on the problem, leading to a variety of dynamic context formations. In its applied form, it will be considered the Portuguese Public Prosecution Service, which is the state body entrusted with representing the state, bringing criminal cases to court, defending democratic legality, and any other interests that The Law determines.
TypeConference paper
Publisher version
AccessRestricted access (UMinho)
Appears in Collections:CAlg - Artigos em livros de atas/Papers in proceedings

Files in This Item:
File Description SizeFormat 
  Restricted access
152,44 kBAdobe PDFView/Open    Request a copy!

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID