Adding knowledge updates to 3APL

João Alexandre Carvalho Pinheiro Leite

doi:10.1007/978-3-540-71956-4_10

Adding knowledge updates to 3APL

João Alexandre Carvalho Pinheiro Leite

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Citation (Scopus)

Abstract

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.

Original language	Unknown
Title of host publication	Lecture Notes in Computer Science
Editors	RH Bordini, M Dastani, J Dix, AEF Seghrouchni
Pages	165-181
Volume	4411
DOIs	https://doi.org/10.1007/978-3-540-71956-4_10
Publication status	Published - 1 Jan 2007
Event	Programming Multi-Agent-Systems (PROMAS) - Duration: 1 Jan 2006 → …

Conference

Conference	Programming Multi-Agent-Systems (PROMAS)
Period	1/01/06 → …

Access to Document

10.1007/978-3-540-71956-4_10

Cite this

@inproceedings{612731c502fb4db2ad566ae7c399c147,

title = "Adding knowledge updates to 3APL",

abstract = "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.",

author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro}",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/978-3-540-71956-4_10",

language = "Unknown",

volume = "4411",

pages = "165--181",

editor = "RH Bordini and M Dastani and J Dix and AEF Seghrouchni",

booktitle = "Lecture Notes in Computer Science",

note = "Programming Multi-Agent-Systems (PROMAS) ; Conference date: 01-01-2006",

}

TY - GEN

T1 - Adding knowledge updates to 3APL

AU - Leite, João Alexandre Carvalho Pinheiro

PY - 2007/1/1

Y1 - 2007/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-71956-4_10

DO - 10.1007/978-3-540-71956-4_10

M3 - Conference contribution

VL - 4411

SP - 165

EP - 181

BT - Lecture Notes in Computer Science

A2 - Bordini, RH

A2 - Dastani, M

A2 - Dix, J

A2 - Seghrouchni, AEF

T2 - Programming Multi-Agent-Systems (PROMAS)

Y2 - 1 January 2006

ER -