发布求助
文献互助 智能选刊 最新文献

Minds and Machines最新文献

筛选
英文 中文
Three Early Formal Approaches to the Verification of Concurrent Programs 并发程序验证的三种早期形式化方法
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2023-01-23 DOI: 10.1007/s11023-023-09621-5
Cliff B. Jones
{"title":"Three Early Formal Approaches to the Verification of Concurrent Programs","authors":"Cliff B. Jones","doi":"10.1007/s11023-023-09621-5","DOIUrl":"https://doi.org/10.1007/s11023-023-09621-5","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":" ","pages":""},"PeriodicalIF":7.4,"publicationDate":"2023-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44931704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Enactivism Meets Mechanism: Tensions & Congruities in Cognitive Science 行动主义与机制:认知科学中的张力与一致性
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2023-01-16 DOI: 10.1007/s11023-022-09618-6
Jonny Lee
{"title":"Enactivism Meets Mechanism: Tensions & Congruities in Cognitive Science","authors":"Jonny Lee","doi":"10.1007/s11023-022-09618-6","DOIUrl":"https://doi.org/10.1007/s11023-022-09618-6","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"33 1","pages":"153-184"},"PeriodicalIF":7.4,"publicationDate":"2023-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45666849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
The Switch, the Ladder, and the Matrix: Models for Classifying AI Systems 开关、阶梯和矩阵:人工智能系统分类模型
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2023-01-04 DOI: 10.1007/s11023-023-09626-0
Jakob Mökander, Margi Sheth, David Watson, Luciano Floridi
{"title":"The Switch, the Ladder, and the Matrix: Models for Classifying AI Systems","authors":"Jakob Mökander, Margi Sheth, David Watson, Luciano Floridi","doi":"10.1007/s11023-023-09626-0","DOIUrl":"https://doi.org/10.1007/s11023-023-09626-0","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"33 1","pages":"221-248"},"PeriodicalIF":7.4,"publicationDate":"2023-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42765507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Correction to: The Switch, the Ladder, and the Matrix: Models for Classifying AI Systems 修正:开关、阶梯和矩阵:分类人工智能系统的模型
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2023-01-04 DOI: 10.1007/s11023-022-09620-y
Jakob Mökander, Margi Sheth, David Watson, Luciano Floridi
{"title":"Correction to: The Switch, the Ladder, and the Matrix: Models for Classifying AI Systems","authors":"Jakob Mökander, Margi Sheth, David Watson, Luciano Floridi","doi":"10.1007/s11023-022-09620-y","DOIUrl":"https://doi.org/10.1007/s11023-022-09620-y","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"33 1","pages":"249"},"PeriodicalIF":7.4,"publicationDate":"2023-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43183189","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems. 先验信念在容错分布式系统设计和分析中的作用。
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2023-01-01 Epub Date: 2023-04-17 DOI: 10.1007/s11023-023-09631-3
Giorgio Cignarale, Ulrich Schmid, Tuomas Tahko, Roman Kuznets
{"title":"The Role of A Priori Belief in the Design and Analysis of Fault-Tolerant Distributed Systems.","authors":"Giorgio Cignarale,&nbsp;Ulrich Schmid,&nbsp;Tuomas Tahko,&nbsp;Roman Kuznets","doi":"10.1007/s11023-023-09631-3","DOIUrl":"10.1007/s11023-023-09631-3","url":null,"abstract":"<p><p>The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy of types of a priori beliefs and their role for the different agents that participate in the system engineering process, which match the existing view exceedingly well and are particularly promising for explaining and dealing with unexpected behaviors in fault-tolerant distributed systems. Developing such a philosophical foundation will provide a sound basis for eventually implementing our ideas in a suitable epistemic reasoning and analysis framework and, hence, constitutes a mandatory first step for developing methods and tools to cope with the various challenges that emerge in such systems.</p>","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"33 2","pages":"293-319"},"PeriodicalIF":7.4,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10345063/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"10183556","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
How a Minimal Learning Agent can Infer the Existence of Unobserved Variables in a Complex Environment. 最小学习代理如何在复杂环境中推断出未观测变量的存在。
IF 4.2 3区 计算机科学
Minds and Machines Pub Date : 2023-01-01 Epub Date: 2022-12-29 DOI: 10.1007/s11023-022-09619-5
Benjamin Eva, Katja Ried, Thomas Müller, Hans J Briegel
{"title":"How a Minimal Learning Agent can Infer the Existence of Unobserved Variables in a Complex Environment.","authors":"Benjamin Eva, Katja Ried, Thomas Müller, Hans J Briegel","doi":"10.1007/s11023-022-09619-5","DOIUrl":"10.1007/s11023-022-09619-5","url":null,"abstract":"<p><p>According to a mainstream position in contemporary cognitive science and philosophy, the use of abstract compositional concepts is amongst the most characteristic indicators of meaningful deliberative thought in an organism or agent. In this article, we show how the ability to develop and utilise abstract conceptual structures can be achieved by a particular kind of learning agent. More specifically, we provide and motivate a concrete operational definition of what it means for these agents to be in possession of abstract concepts, before presenting an explicit example of a minimal architecture that supports this capability. We then proceed to demonstrate how the existence of abstract conceptual structures can be operationally useful in the process of employing previously acquired knowledge in the face of new experiences, thereby vindicating the natural conjecture that the cognitive functions of abstraction and generalisation are closely related.</p>","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"33 1","pages":"185-219"},"PeriodicalIF":4.2,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10082113/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"9290096","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Model Solution: On the Compatibility of Predictive Processing and Embodied Cognition 一种模型解法：论预测处理与具体认知的兼容性
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2022-11-29 DOI: 10.1007/s11023-022-09617-7
L. Kersten
{"title":"A Model Solution: On the Compatibility of Predictive Processing and Embodied Cognition","authors":"L. Kersten","doi":"10.1007/s11023-022-09617-7","DOIUrl":"https://doi.org/10.1007/s11023-022-09617-7","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"33 1","pages":"113-134"},"PeriodicalIF":7.4,"publicationDate":"2022-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47188924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
The Turing Test is a Thought Experiment 图灵测试是一项思想实验
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2022-11-27 DOI: 10.1007/s11023-022-09616-8
Bernardo Gonçalves
{"title":"The Turing Test is a Thought Experiment","authors":"Bernardo Gonçalves","doi":"10.1007/s11023-022-09616-8","DOIUrl":"https://doi.org/10.1007/s11023-022-09616-8","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"33 1","pages":"1-31"},"PeriodicalIF":7.4,"publicationDate":"2022-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46226625","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
On the Advantages of Distinguishing Between Predictive and Allocative Fairness in Algorithmic Decision-Making 论算法决策中区分预测公平与分配公平的优势
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2022-11-23 DOI: 10.1007/s11023-022-09615-9
Fabian Beigang
{"title":"On the Advantages of Distinguishing Between Predictive and Allocative Fairness in Algorithmic Decision-Making","authors":"Fabian Beigang","doi":"10.1007/s11023-022-09615-9","DOIUrl":"https://doi.org/10.1007/s11023-022-09615-9","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"32 1","pages":"655 - 682"},"PeriodicalIF":7.4,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47666514","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Alan Turing (1912–1954)
IF 7.4 3区 计算机科学
Minds and Machines Pub Date : 2022-11-01 DOI: 10.1023/A:1017354226375
J. Moor
{"title":"Alan Turing (1912–1954)","authors":"J. Moor","doi":"10.1023/A:1017354226375","DOIUrl":"https://doi.org/10.1023/A:1017354226375","url":null,"abstract":"","PeriodicalId":51133,"journal":{"name":"Minds and Machines","volume":"10 1","pages":"461"},"PeriodicalIF":7.4,"publicationDate":"2022-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1023/A:1017354226375","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43911060","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信