3APL is a widely known multi-agent programming language. However, when to be used in certain domains and environments, 3APL has some limitations related to its simplistic update operator that only allows for updates to the extensional part of the belief base and its lack of a language with both default and strong negation to enable the representation and reasoning about knowledge with the open and closed world assumptions. In this paper, we propose to address these issues by modifying the belief base of 3APL to be represented by Dynamic Logic Programming, an extension of Answer-Set Programming that allows for the representation of knowledge that changes with time.
|Title of host publication||Lecture Notes in Computer Science|
|Editors||RH Bordini, M Dastani, J Dix, AEF Seghrouchni|
|Publication status||Published - 1 Jan 2007|
|Event||Programming Multi-Agent-Systems (PROMAS) - |
Duration: 1 Jan 2006 → …
|Conference||Programming Multi-Agent-Systems (PROMAS)|
|Period||1/01/06 → …|