社会互动理性主体的策略推理逻辑:综述与展望

IF 0.4 Q4 LOGIC Journal of Applied Logics Pub Date : 2023-02-06 DOI:10.3390/logics1010003

V. Goranko

{"title":"社会互动理性主体的策略推理逻辑:综述与展望","authors":"V. Goranko","doi":"10.3390/logics1010003","DOIUrl":null,"url":null,"abstract":"This paper is an overview of some recent and ongoing developments of formal logical systems designed for reasoning about systems of rational agents who act in pursuit of their individual and collective goals, explicitly specified in the language as arguments of the strategic operators, in a socially interactive context of collective objectives and attitudes which guide and constrain the agents’ behavior.","PeriodicalId":52270,"journal":{"name":"Journal of Applied Logics","volume":"59 1","pages":""},"PeriodicalIF":0.4000,"publicationDate":"2023-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and Perspectives\",\"authors\":\"V. Goranko\",\"doi\":\"10.3390/logics1010003\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper is an overview of some recent and ongoing developments of formal logical systems designed for reasoning about systems of rational agents who act in pursuit of their individual and collective goals, explicitly specified in the language as arguments of the strategic operators, in a socially interactive context of collective objectives and attitudes which guide and constrain the agents’ behavior.\",\"PeriodicalId\":52270,\"journal\":{\"name\":\"Journal of Applied Logics\",\"volume\":\"59 1\",\"pages\":\"\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2023-02-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Applied Logics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3390/logics1010003\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Logics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3390/logics1010003","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

本文概述了一些最近和正在进行的形式逻辑系统的发展，这些系统设计用于推理理性主体的系统，这些理性主体的行为是为了追求他们的个人和集体目标，在语言中明确指定为战略操作者的论点，在集体目标和态度的社会互动背景下指导和约束代理人的行为。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Logics for Strategic Reasoning of Socially Interacting Rational Agents: An Overview and Perspectives

This paper is an overview of some recent and ongoing developments of formal logical systems designed for reasoning about systems of rational agents who act in pursuit of their individual and collective goals, explicitly specified in the language as arguments of the strategic operators, in a socially interactive context of collective objectives and attitudes which guide and constrain the agents’ behavior.

求助全文

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

来源期刊