推荐一个跨语言、跨库科技文献检索平台

2010年6月11日,在芬兰首都赫尔辛基举行的ICSTI(国际科技信息理事会)夏季会议上,举行了“世界科学跨语言检索平台”发布仪式。在以下链接可以看到较详细的发布内容http:∥federatedsearchblog.com/2010/06/13/deep-web-technologies-unveils-multilingual-federated-search/。我代表中国科学技术信息研究所在此发布仪式上做了简短发言。“世界科学跨语言检索平台”的网站是,http:∥worldwidescience.org/multilingual,在这里可以进行跨语言跨库检索。该平台的最大价值是,帮助大家     

跨模态语言大模型：进展及展望

以ChatGPT为代表的对话式语言大模型通过使用超大规模模型参数和海量训练数据,涌现出很强的上下文学习能力和思维链推理能力,在各种自然语言处理任务上取得了显著的进步,被视为颠覆性通用人工智能技术。在纯文本语言大模型突破的基础上,近期显现的重要技术发展趋势是向能够理解和生成语音、图像、图形等其他模态数据的跨模态语言大模型的转变。随着大模型技术的快速发展,跨模态语言大模型逐步拥有了较强的多模态感知以及初步的跨模态认知能力。本文将从多模态感知大模型、跨模态认知大模型、以及分布式智能体系统三种范式综述跨模态语言大模型技术体系的演进过程,并总结相关的评测基准,最后讨论跨模态语言大模型面临的技术挑战及潜在重要研究方向。     

语境论与数学的实在性

“抽象的数学世界存在吗”是当代数学本体论领域持久争论的两大核心问题之一。实在论主张数学为我们描述了一种抽象的实在世界;反实在论则认为数学仅仅是一种有用的虚构和方便的工具而已。语境论在阐明传统解释存在缺陷的基础上,对数学的实在性问题给出了新的说明。以作为世界观的语境论为基点,得出：抽象的数学世界不存在,数学是表征而非描述物质世界。     

存在者与存在着之区别——地理学批判实在论对巴斯卡批判实在论的偏离

地理学把实在论哲学引入本领域过程中对实在论进行了重构,重构过程中地理学批判实在论对其先驱巴斯卡批判实在论“存在着”哲学产生了偏离,其真正理论源泉是巴斯卡的哲学老师哈里的“存在者”实在论体系。“存在者”哲学中构成论的缺陷可以被“存在着”哲学中的生成论范式所弥补。     

元宇宙多模态、跨模态内容时代的科技出版理论探讨与实践研究

【目的】探讨元宇宙技术背景下科技出版面临的挑战与机遇,探索以人工智能(AI)技术为核心元宇宙多模态、跨模态内容大爆发带来的科技期刊行业的范式创新和高质量发展路径。【方法】对元宇宙AI多模态、跨模态内容的相关概念、理念、特点、工具、应用场景等进行理论探讨,以《实用临床医药杂志》多模态数智内容融合出版实践范例为模板,剖析科技期刊元宇宙出版与传播的可能路径。【结果】借助多语种即时交互技术,科学共同体可实现“母语化创作,母语化阅读”,即科技期刊从以语种为焦点逐渐向以元宇宙多模态、跨模态学术内容的生产、组织、审核、评价、确权、传播、存储和应用为核心转移。AI赋能的“多模态数智内容编辑器”可解决元宇宙多模态内容的碎片化与孤岛化问题,是编辑与传播多模态内容的利器。【结论】元宇宙为科学共同体引入全新变量,多模态、跨模态传播生态让全球科技出版面临全新的发展格局,科学研究进入第五范式“元宇宙科学范式”,科技期刊发展进入元宇宙多模态、跨模态内容时期。《实用临床医药杂志》实践案例表明“多模态数智内容编辑器”可以解决元宇宙多模态、跨模态碎片化与孤岛化问题。     

克里普克语义学及其指称关联

克里普克语义学将可能世界的哲学概念融入了模态逻辑的形式建构中,突破了经典语义学的狭隘性,开拓了模态逻辑研究的广阔视野。一方面,克里普克坚持了可能世界的科学实在论立场,并且借鉴了传统哲学中的本质主义思想,为其历史因果的指称理论奠定了重要基础。另一方面,克里普克语义学的建立促进了语义分析工具的完善,实现了指称内在论向指称外在论的转变,从而为科学实在论的发展做出了重要贡献。     

达米特的语义反实在论

达米特认为意义理论的比较研究有助于解决实在论与反实在论的争论问题 ,以促使一个“研究纲领”的产生。他的反实在论哲学以其意义理论分歧或语义学模型分歧为出发点 ,借助现代逻辑的手段 ,试图用直觉主义逻辑来奠定其反实在论哲学的逻辑基础 ,并尝试把应用于数学领域的直觉主义逻辑方法推广到日常语言领域 ,以解决不同意义理论之间的争论问题。因此 ,达米特的反实在论本质上是一种语义反实在论。这种反实在论的研究不仅促使我们深入地思考语言描述与客观实在的关系问题 ,而且使我们找到了一种研究哲学问题的新方法。     

试论哈金的实体实在论

哈金是实验哲学的创始人。他认为,自然科学一开始就有两种形式：理论与实验。与此相对应,科学实在论也有两种形式,一是关于理论的实在论;二是关于实体的实在论。前者是为了说出世界的真相,与科学的目标联系在一起,因而是负载有价值的,很容易受到各种反实在论的批判;而后者是为了改造世界,是对世界的干预。当科学家运用理论实体制造出仪器,并测量到新的现象时,这个实体就成为一种工具,因而是存在的。文章考察了哈金的解构理论实在论和建构实体实在论的思维脉络,并剖析了他的实体实在论所带来的启迪与存在的问题。     

理性危机与表征难题的实践解决

传统科学实在论与科学的社会建构共享着表征主义的科学观。表征主义使“实在论与反实在论”之争陷入了一种“理性的危机”,即传统的科学哲学实在论把科学家看成是“理性傀儡”或“规范傀儡”,社会建构主义则把科学家变成了“利益傀儡”,结果使科学研究陷入不可自拔的认识是否能够真实地反映实在的“方法论的恐惧”之中。用作为实践和文化的科学,取代作为知识的表征的科学,给与“实在”以动态的、生成的、过程的解释,是消解这类“危机”,并拯救科学的社会建构理论的批判成果的可行途径。     

走进果蝇的"认知世界"

2001年11月,我们的学习记忆实验室,曾在国际上首次向人们讲述了果蝇面对矛盾的视觉线索时如何作出两难抉择的故事,它告诉人们,基于脑内的“价值系统”的抉择行为,也许不应被看作是人类或非人灵长类的“专利”。从果蝇的面对冲突的“两难抉择”到学习记忆的跨模态“协同双赢”,我们大约又走过了3年的研究历程。这是果蝇的“认知世界”里的又一个十分有趣的故事。它告诉我们,在一定的时空条件下,果蝇的视觉和嗅觉两个模态的学习记忆之间,可以通过协同机制达到非线性的放大,而不是对两个模态的各自的学习记忆作简单的线性叠加。这篇论文得到了…