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

Journal of Logic Language and Information最新文献

筛选
英文 中文
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks 捕捉自然语言推理的多样性:现有数据集的系统调查和两个新的基准
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2023-11-20 DOI: 10.1007/s10849-023-09410-4
Reto Gubelmann, Ioannis Katis, Christina Niklaus, Siegfried Handschuh
{"title":"Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks","authors":"Reto Gubelmann, Ioannis Katis, Christina Niklaus, Siegfried Handschuh","doi":"10.1007/s10849-023-09410-4","DOIUrl":"https://doi.org/10.1007/s10849-023-09410-4","url":null,"abstract":"<p>Transformer-based Pre-Trained Language Models currently dominate the field of Natural Language Inference (NLI). We first survey existing NLI datasets, and we systematize them according to the different kinds of logical inferences that are being distinguished. This shows two gaps in the current dataset landscape, which we propose to address with one dataset that has been developed in argumentative writing research as well as a new one building on syllogistic logic. Throughout, we also explore the promises of ChatGPT. Our results show that our new datasets do pose a challenge to existing methods and models, including ChatGPT, and that tackling this challenge via fine-tuning yields only partly satisfactory results.</p>","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"36 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2023-11-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138517876","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}
引用次数: 0
Monotonicity Reasoning in the Age of Neural Foundation Models 神经基础模型时代的单调性推理
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2023-11-15 DOI: 10.1007/s10849-023-09411-3
Zeming Chen, Qiyue Gao
{"title":"Monotonicity Reasoning in the Age of Neural Foundation Models","authors":"Zeming Chen, Qiyue Gao","doi":"10.1007/s10849-023-09411-3","DOIUrl":"https://doi.org/10.1007/s10849-023-09411-3","url":null,"abstract":"<p>The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our understanding of traditional symbolic and logical reasoning. The first part of this paper summarizes several works concerning the progress of monotonicity reasoning through neural networks and deep learning. We demonstrate different methods for solving the monotonicity reasoning task using neural and symbolic approaches and also discuss their advantages and limitations. The second part of this paper focuses on analyzing the capability of large-scale general-purpose language models to reason with monotonicity.</p>","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138517875","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}
引用次数: 0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents 概率资源有界代理的形式化建模与验证
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2023-11-15 DOI: 10.1007/s10849-023-09405-1
Hoang Nga Nguyen, Abdur Rakib
{"title":"Formal Modelling and Verification of Probabilistic Resource Bounded Agents","authors":"Hoang Nga Nguyen, Abdur Rakib","doi":"10.1007/s10849-023-09405-1","DOIUrl":"https://doi.org/10.1007/s10849-023-09405-1","url":null,"abstract":"<p>Many problems in Multi-Agent Systems (MASs) research are formulated in terms of the abilities of a coalition of agents. Existing approaches to reasoning about coalitional ability are usually focused on games or transition systems, which are described in terms of states and actions. Such approaches however often neglect a key feature of multi-agent systems, namely that the actions of the agents require resources. In this paper, we describe a logic for reasoning about coalitional ability under resource constraints in the probabilistic setting. We extend Resource-bounded Alternating-time Temporal Logic (RB-ATL) with probabilistic reasoning and provide a standard algorithm for the model-checking problem of the resulting logic Probabilistic resource-bounded ATL (pRB-ATL). We implement model-checking algorithms and present experimental results using simple multi-agent model-checking problems of increasing complexity.</p>","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"120 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138517877","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}
引用次数: 0
Assessing the Strengths and Weaknesses of Large Language Models 评估大型语言模型的优缺点
3区 数学
Journal of Logic Language and Information Pub Date : 2023-11-11 DOI: 10.1007/s10849-023-09409-x
Shalom Lappin
{"title":"Assessing the Strengths and Weaknesses of Large Language Models","authors":"Shalom Lappin","doi":"10.1007/s10849-023-09409-x","DOIUrl":"https://doi.org/10.1007/s10849-023-09409-x","url":null,"abstract":"Abstract The transformers that drive chatbots and other AI systems constitute large language models (LLMs). These are currently the focus of a lively discussion in both the scientific literature and the popular media. This discussion ranges from hyperbolic claims that attribute general intelligence and sentience to LLMs, to the skeptical view that these devices are no more than “stochastic parrots”. I present an overview of some of the weak arguments that have been presented against LLMs, and I consider several of the more compelling criticisms of these devices. The former significantly underestimate the capacity of transformers to achieve subtle inductive inferences required for high levels of performance on complex, cognitively significant tasks. In some instances, these arguments misconstrue the nature of deep learning. The latter criticisms identify significant limitations in the way in which transformers learn and represent patterns in data. They also point out important differences between the procedures through which deep neural networks and humans acquire knowledge of natural language. It is necessary to look carefully at both sets of arguments in order to achieve a balanced assessment of the potential and the limitations of LLMs.","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"6 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135042670","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}
引用次数: 0
A Computational Algebraic Analysis of Hindi Syntax 印地语句法的计算代数分析
3区 数学
Journal of Logic Language and Information Pub Date : 2023-11-11 DOI: 10.1007/s10849-023-09404-2
Alok Debanth, Manish Shrivastava
{"title":"A Computational Algebraic Analysis of Hindi Syntax","authors":"Alok Debanth, Manish Shrivastava","doi":"10.1007/s10849-023-09404-2","DOIUrl":"https://doi.org/10.1007/s10849-023-09404-2","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"17 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135042690","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}
引用次数: 0
Double Negation as Minimal Negation 双重否定是最小否定
3区 数学
Journal of Logic Language and Information Pub Date : 2023-11-11 DOI: 10.1007/s10849-023-09413-1
Satoru Niki
{"title":"Double Negation as Minimal Negation","authors":"Satoru Niki","doi":"10.1007/s10849-023-09413-1","DOIUrl":"https://doi.org/10.1007/s10849-023-09413-1","url":null,"abstract":"Abstract N. Kamide introduced a pair of classical and constructive logics, each with a peculiar type of negation: its double negation behaves as classical and intuitionistic negation, respectively. A consequence of this is that the systems prove contradictions but are non-trivial. The present paper aims at giving insights into this phenomenon by investigating subsystems of Kamide’s logics, with a focus on a system in which the double negation behaves as the negation of minimal logic. We establish the negation inconsistency of the system and embeddability of contradictions from other systems. In addition, we attempt at an informational interpretation of the negation using the dimathematical framework of H. Wansing.","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"16 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135042693","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}
引用次数: 0
Commutative Lambek Grammars 交换Lambek语法
3区 数学
Journal of Logic Language and Information Pub Date : 2023-10-30 DOI: 10.1007/s10849-023-09407-z
Tikhon Pshenitsyn
{"title":"Commutative Lambek Grammars","authors":"Tikhon Pshenitsyn","doi":"10.1007/s10849-023-09407-z","DOIUrl":"https://doi.org/10.1007/s10849-023-09407-z","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136067755","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
Graph Grammar Formalism with Multigranularity for Spatial Graphs 空间图的多粒度图语法形式化
3区 数学
Journal of Logic Language and Information Pub Date : 2023-10-06 DOI: 10.1007/s10849-023-09406-0
Yufeng Liu, Fan Yang, Jian Liu
{"title":"Graph Grammar Formalism with Multigranularity for Spatial Graphs","authors":"Yufeng Liu, Fan Yang, Jian Liu","doi":"10.1007/s10849-023-09406-0","DOIUrl":"https://doi.org/10.1007/s10849-023-09406-0","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135351860","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}
引用次数: 0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update 基于语境更新的条件弱本体必然性逻辑理论
3区 数学
Journal of Logic Language and Information Pub Date : 2023-09-21 DOI: 10.1007/s10849-023-09403-3
Fengkui Ju
{"title":"A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update","authors":"Fengkui Ju","doi":"10.1007/s10849-023-09403-3","DOIUrl":"https://doi.org/10.1007/s10849-023-09403-3","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136235821","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
Iterated AGM Revision Based on Probability Revision 基于概率修正的AGM迭代修正
IF 0.8 3区 数学
Journal of Logic Language and Information Pub Date : 2023-08-20 DOI: 10.1007/s10849-023-09402-4
S. Hansson
{"title":"Iterated AGM Revision Based on Probability Revision","authors":"S. Hansson","doi":"10.1007/s10849-023-09402-4","DOIUrl":"https://doi.org/10.1007/s10849-023-09402-4","url":null,"abstract":"","PeriodicalId":48732,"journal":{"name":"Journal of Logic Language and Information","volume":"32 1","pages":"657 - 675"},"PeriodicalIF":0.8,"publicationDate":"2023-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49459844","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学术文献互助群
群 号：604180095
Book学术官方微信
小红书