时态多值条件逻辑：初步报告

arXiv - CS - Logic in Computer Science Pub Date : 2024-09-06 DOI:arxiv-2409.09069

Mario Alviano, Laura Giordano, Daniele Theseider Dupré

{"title":"时态多值条件逻辑：初步报告","authors":"Mario Alviano, Laura Giordano, Daniele Theseider Dupré","doi":"arxiv-2409.09069","DOIUrl":null,"url":null,"abstract":"In this paper we propose a many-valued temporal conditional logic. We start\nfrom a many-valued logic with typicality, and extend it with the temporal\noperators of the Linear Time Temporal Logic (LTL), thus providing a formalism\nwhich is able to capture the dynamics of a system, trough strict and defeasible\ntemporal properties. We also consider an instantiation of the formalism for\ngradual argumentation.","PeriodicalId":501208,"journal":{"name":"arXiv - CS - Logic in Computer Science","volume":"52 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Temporal Many-valued Conditional Logics: a Preliminary Report\",\"authors\":\"Mario Alviano, Laura Giordano, Daniele Theseider Dupré\",\"doi\":\"arxiv-2409.09069\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we propose a many-valued temporal conditional logic. We start\\nfrom a many-valued logic with typicality, and extend it with the temporal\\noperators of the Linear Time Temporal Logic (LTL), thus providing a formalism\\nwhich is able to capture the dynamics of a system, trough strict and defeasible\\ntemporal properties. We also consider an instantiation of the formalism for\\ngradual argumentation.\",\"PeriodicalId\":501208,\"journal\":{\"name\":\"arXiv - CS - Logic in Computer Science\",\"volume\":\"52 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Logic in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.09069\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.09069","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文提出了一种多值时态条件逻辑。我们从具有典型性的多值逻辑出发，用线性时间时态逻辑（LTL）的时态运算符对其进行了扩展，从而提供了一种形式主义，它能够通过严格的和可违背的时态属性捕捉系统的动态。我们还考虑了形式主义的渐进论证实例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Temporal Many-valued Conditional Logics: a Preliminary Report

In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argumentation.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Logic in Computer Science

自引率

0.00%

发文量