J. Log. Comput.最新文献

A formal, diagrammatic, and operational study of normative relations 对规范关系的形式化、图解性和操作性研究

J. Log. Comput. Pub Date : 2023-04-03 DOI: 10.1093/logcom/exad011

Matteo Pascucci, Giovanni Sileno

引用次数: 0

Incrementally Predictive Runtime Verification 增量预测运行时验证

J. Log. Comput. Pub Date : 2023-03-30 DOI: 10.1093/logcom/exad012

Angelo Ferrando, G. Delzanno

引用次数: 3

Sustainable goal-oriented smart environments: a declarative programming approach 面向可持续目标的智能环境:一种声明式编程方法

J. Log. Comput. Pub Date : 2023-03-28 DOI: 10.1093/logcom/exad015

Giuseppe Bisicchia, Stefano Forti, Antonio Brogi

引用次数: 0

Special issue for the 36th Italian Conference on Computational Logic (CILC 2021) 第36届意大利计算逻辑会议(CILC 2021)特刊

J. Log. Comput. Pub Date : 2023-03-25 DOI: 10.1093/logcom/exad008

F. Bergenti, Stefania Monica

引用次数: 0

Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks 处理高阶双极论证框架逻辑编码中的支持循环和集体交互

J. Log. Comput. Pub Date : 2023-01-20 DOI: 10.1007/978-3-030-89391-0_14

M. Lagasquie-Schiex

引用次数: 2

Correction to: Opinion diffusion and campaigning on society graphs 更正:社会图表上的舆论传播和运动

J. Log. Comput. Pub Date : 2022-12-20 DOI: 10.1093/logcom/exac103

P. Faliszewski, Rica Gonen, Martin Koutecký, Nimrod Talmon

引用次数: 0

Classical reasoning in the justification paradigm 证明范式中的经典推理

J. Log. Comput. Pub Date : 2022-11-02 DOI: 10.1093/logcom/exac076

V. A. Peluce

引用次数: 0

Correction to: An Argumentation-Based Approach for Goal Reasoning and Explanations Generation 更正:基于论证的目标推理和解释生成方法

J. Log. Comput. Pub Date : 2022-10-17 DOI: 10.1093/logcom/exac083

引用次数: 0

An Argumentation-Based Approach for Goal Reasoning and Explanations Generation 基于论证的目标推理和解释生成方法

J. Log. Comput. Pub Date : 2022-09-06 DOI: 10.1093/logcom/exac052

Mariela Morveli Espinoza, J. Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski

{"title":"An Argumentation-Based Approach for Goal Reasoning and Explanations Generation","authors":"Mariela Morveli Espinoza, J. Nieves, Cesar Augusto Tacla, Henrique M. R. Jasinski","doi":"10.1093/logcom/exac052","DOIUrl":"https://doi.org/10.1093/logcom/exac052","url":null,"abstract":"\u0000 Explainable Artificial Intelligence systems, including intelligent agents, are expected to explain their internal decisions, behaviors and reasoning that produce their choices to the humans (or to other systems) with which they interact. Given this context, the aim of this article is to introduce a practical reasoning agent framework that supports generation of explanations about the goals the agent committed to. Firstly, we present an argumentation-based formalization for supporting goal reasoning. This is based on the belief-based goal processing model proposed by Castelfranchi and Paglieri, which is a more granular and refined model than the Beliefs–Desires–Intentions model. We focus on the dynamics of goals since they are desires until they become intentions, including the conditions under which a goal can be cancelled. We use formal argumentation reasoning to support the passage of the goals from their initial state until their final state. Secondly, in order that agents based on the proposed formalization be able to generate explanations about the goals they decided to commit to, we endow them with a mechanism for generating both complete and partial explanations. Finally, we use a scenario of rescue robots in order to illustrate the performance of our proposal, for which a simulator was developed to support the agents goal reasoning.","PeriodicalId":398763,"journal":{"name":"J. Log. Comput.","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130061957","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Copying safety and liveness properties of computational artefacts 计算机人工制品的复制安全性和活跃性

J. Log. Comput. Pub Date : 2022-08-15 DOI: 10.1093/logcom/exac053

Nicola Angius, G. Primiero

{"title":"Copying safety and liveness properties of computational artefacts","authors":"Nicola Angius, G. Primiero","doi":"10.1093/logcom/exac053","DOIUrl":"https://doi.org/10.1093/logcom/exac053","url":null,"abstract":"\u0000 This paper shows how safety and liveness properties are not necessarily preserved by different kinds of copies of computational artefacts and proposes procedures to preserve them, which are consistent with ethical analyses on software property rights infringement. Safety and liveness are second-order properties that are crucial in the definition of the formal ontology of computational artefacts. Software copies are analysed at the level of their formal models as exact, inexact and approximate copies, according to the taxonomy in [3]. First, it is explained how exact copies are the only kind of copies that preserve safety and liveness properties, and how inexact and approximate copies do not necessarily preserve them. Secondly, two model checking algorithms are proposed to verify whether inexact and approximate copies actually preserve safety and liveness properties. Essential properties of termination, correctness and complexity are proved for these algorithms. Finally, contraction and expansion algorithmic operations are defined, allowing for the automatic design of safety- and liveness-preserving approximate copies. As a conclusion, the relevance of the present logical analysis for the ongoing debates in miscomputation and computer ethics is highlighted.","PeriodicalId":398763,"journal":{"name":"J. Log. Comput.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130205672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1