DocumentCode :
323329
Title :
Extended logic programming applied to the specification of multi-agent systems and their computing environments
Author :
Neves, José ; Machado, José ; Analide, Cesar ; Novais, Paulo ; Abelha, António
Author_Institution :
Dept. de Inf., Univ. do Minho, Portugal
Volume :
1
fYear :
1997
fDate :
28-31 Oct 1997
Firstpage :
159
Abstract :
The paper presents 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 Grice´s maxims (1975), 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, the Portuguese Public Prosecution Service is considered, 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
Keywords :
cooperative systems; formal logic; inference mechanisms; logic programming; software agents; Portuguese Public Prosecution Service; compound contexts; contextual reasoning; contextuality; extended logic programming; law; logic of contexts; logical framework; multi-agent systems; multi-context systems; Artificial intelligence; Automatic control; Automation; Context modeling; Humans; Law; Learning; Logic programming; Multiagent systems; Problem-solving;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Intelligent Processing Systems, 1997. ICIPS '97. 1997 IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-4253-4
Type :
conf
DOI :
10.1109/ICIPS.1997.672757
Filename :
672757
Link To Document :
بازگشت