Resource-driven substructural defeasible logic

Francesco Olivieri; Guido Governatori; Matteo Cristani; Nick van Beest; Silvano Colombo-Tosatto

doi:10.1007/978-3-030-03098-8_46

Resource-driven substructural defeasible logic

Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo-Tosatto

Artificial Intelligence and Cyber Futures Institute

Research output: Book chapter/Published conference paper › Conference paper › peer-review

5 Citations (Scopus)

Abstract

Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.

Original language	English
Title of host publication	PRIMA 2018: Principles and Practice of Multi-Agent Systems
Subtitle of host publication	21st International Conference, 2018, Proceedings
Editors	Nir Oren, Yuko Sakurai, Itsuki Noda, Tran Cao Son, Tim Miller, Bastin Tony Savarimuthu
Place of Publication	Cham, Switzerland
Publisher	Springer-Verlag Italia Srl
Pages	594-602
Number of pages	9
ISBN (Electronic)	9783030030988
ISBN (Print)	9783030030971
DOIs	https://doi.org/10.1007/978-3-030-03098-8_46
Publication status	Published - 2018
Event	PRIMA 2018 - The 21st International Conference on Principles and Practice of Multi-Agent Systems - AIST Tokyo Waterfront, Tokyo, Japan Duration: 29 Oct 2018 → 02 Nov 2018 https://link.springer.com/book/10.1007/978-3-030-03098-8 (Proceedings) http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=75038&copyownerid=116042 (Call for papers) https://web.archive.org/web/20180831033948/http://2018.prima-conference.org/ (Conference website)

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11224 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	PRIMA 2018 - The 21st International Conference on Principles and Practice of Multi-Agent Systems
Country/Territory	Japan
City	Tokyo
Period	29/10/18 → 02/11/18
Other	The 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018) invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities.
Internet address	https://link.springer.com/book/10.1007/978-3-030-03098-8 (Proceedings) http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=75038&copyownerid=116042 (Call for papers) https://web.archive.org/web/20180831033948/http://2018.prima-conference.org/ (Conference website)

Access to Document

10.1007/978-3-030-03098-8_46

Cite this

Olivieri, F., Governatori, G., Cristani, M., van Beest, N., & Colombo-Tosatto, S. (2018). Resource-driven substructural defeasible logic. In N. Oren, Y. Sakurai, I. Noda, T. Cao Son, T. Miller, & B. T. Savarimuthu (Eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st International Conference, 2018, Proceedings (pp. 594-602). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11224 LNAI). Springer-Verlag Italia Srl. https://doi.org/10.1007/978-3-030-03098-8_46

Olivieri, Francesco ; Governatori, Guido ; Cristani, Matteo et al. / Resource-driven substructural defeasible logic. PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st International Conference, 2018, Proceedings. editor / Nir Oren ; Yuko Sakurai ; Itsuki Noda ; Tran Cao Son ; Tim Miller ; Bastin Tony Savarimuthu. Cham, Switzerland : Springer-Verlag Italia Srl, 2018. pp. 594-602 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{34f7d096eb0643a1be2a2550b854beaf,

title = "Resource-driven substructural defeasible logic",

abstract = "Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.",

author = "Francesco Olivieri and Guido Governatori and Matteo Cristani and {van Beest}, Nick and Silvano Colombo-Tosatto",

year = "2018",

doi = "10.1007/978-3-030-03098-8_46",

language = "English",

isbn = "9783030030971",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag Italia Srl",

pages = "594--602",

editor = "Nir Oren and Yuko Sakurai and Itsuki Noda and {Cao Son}, Tran and Tim Miller and Savarimuthu, {Bastin Tony}",

booktitle = "PRIMA 2018: Principles and Practice of Multi-Agent Systems",

address = "Italy",

note = "PRIMA 2018 - The 21st International Conference on Principles and Practice of Multi-Agent Systems ; Conference date: 29-10-2018 Through 02-11-2018",

url = "https://link.springer.com/book/10.1007/978-3-030-03098-8, http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=75038&copyownerid=116042, https://web.archive.org/web/20180831033948/http://2018.prima-conference.org/",

}

Olivieri, F, Governatori, G, Cristani, M, van Beest, N & Colombo-Tosatto, S 2018, Resource-driven substructural defeasible logic. in N Oren, Y Sakurai, I Noda, T Cao Son, T Miller & BT Savarimuthu (eds), PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st International Conference, 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11224 LNAI, Springer-Verlag Italia Srl, Cham, Switzerland, pp. 594-602, PRIMA 2018 - The 21st International Conference on Principles and Practice of Multi-Agent Systems, Tokyo, Japan, 29/10/18. https://doi.org/10.1007/978-3-030-03098-8_46

Resource-driven substructural defeasible logic. / Olivieri, Francesco; Governatori, Guido; Cristani, Matteo et al.
PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st International Conference, 2018, Proceedings. ed. / Nir Oren; Yuko Sakurai; Itsuki Noda; Tran Cao Son; Tim Miller; Bastin Tony Savarimuthu. Cham, Switzerland: Springer-Verlag Italia Srl, 2018. p. 594-602 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11224 LNAI).

Research output: Book chapter/Published conference paper › Conference paper › peer-review

TY - GEN

T1 - Resource-driven substructural defeasible logic

AU - Olivieri, Francesco

AU - Governatori, Guido

AU - Cristani, Matteo

AU - van Beest, Nick

AU - Colombo-Tosatto, Silvano

PY - 2018

Y1 - 2018

N2 - Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.

AB - Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.

UR - http://www.scopus.com/inward/record.url?scp=85056450163&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85056450163&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-03098-8_46

DO - 10.1007/978-3-030-03098-8_46

M3 - Conference paper

AN - SCOPUS:85056450163

SN - 9783030030971

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 594

EP - 602

BT - PRIMA 2018: Principles and Practice of Multi-Agent Systems

A2 - Oren, Nir

A2 - Sakurai, Yuko

A2 - Noda, Itsuki

A2 - Cao Son, Tran

A2 - Miller, Tim

A2 - Savarimuthu, Bastin Tony

PB - Springer-Verlag Italia Srl

CY - Cham, Switzerland

T2 - PRIMA 2018 - The 21st International Conference on Principles and Practice of Multi-Agent Systems

Y2 - 29 October 2018 through 2 November 2018

ER -

Olivieri F, Governatori G, Cristani M, van Beest N, Colombo-Tosatto S. Resource-driven substructural defeasible logic. In Oren N, Sakurai Y, Noda I, Cao Son T, Miller T, Savarimuthu BT, editors, PRIMA 2018: Principles and Practice of Multi-Agent Systems: 21st International Conference, 2018, Proceedings. Cham, Switzerland: Springer-Verlag Italia Srl. 2018. p. 594-602. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-03098-8_46

Resource-driven substructural defeasible logic

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this