2018/09/11 by Francesco Olivieri, Guido Governatori, Olivieri, Francesco +7
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA) #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.1809.03656
openalex publication_date 2018/09/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.