作者: Vivek Nigam
DOI:
关键词:
摘要: 3APL is a widely known multi-agent programming language. However, 3APL, when to be used in certain domains and environments, has the following limitations: • limited update operator that only allows for updates extensional part of belief base; lack language with both default strong negation enable representation reasoning about knowledge open closed world assumptions; expressiveness goals. Agents can’t express negated, conditional nor maintenance In this dissertation, we propose address these issues by modifying base goal represented Dynamic Logic Programming, an extension Answer-Set Programming changes time. We show new system agents constructed it are more expressive than agents, they don’t have limitations stated above; able communications, where rules instead atoms transmitted; dynamic goals, i.e. goals can adopted, dropped, or changed.