An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences as majority, alone with probability and statistics, formal logic, cognitive and developmental psychology, computational philosophy, cognitive neuroscience, and computational sociology. We are promoting high-level machine intelligence by getting inspirations from the way that human learns and thinks, while obtaining a deeper understanding of human cognition simultaneously. We believe that this kind of reciprocative research is a potential way towards our big picture: building human-level intelligent systems with capabilities such as abstracting, explaining, learning, planning, and making decisions. And such intelligence may generally help people improve scientific research, engineering, and the arts, which are the hallmarks of human intelligence.
Awesome AGI & CoCoSci is an all-in-one collection, consisting of recources from basic courses and tutorials, to papers and books around diverse topics in mutiple perspectives. Both junior and senior researchers, whether learning, working on, or working around AGI and CoCoSci, meet their interest here.
Contributions are greatly welcomed! Please refer to Contribution Guidelines before taking any action.
<span id = "c"></span>
Abduction - Plato Stanford. A computational philosophy account on Abduction, one of the three thinking patterns besides Induction and Deduction, being unique for its potential to introduce new ideas into current knowledge.
Scientific Explanation - Plato Stanford. A computational philosophy account on Scientific Explanation, a canonical application of Abduction.
Scientific Reduction - Plato Stanford. A computational philosophy account on Scientific Reduction, which comes with no explicit boundary with Explanation.
Non-monotonic Logic - Plato Stanford. A computational philosophy account on Non-monotonic Logic, a family of formal frameworks devised to capture and represent defeasible inference.
Philosophical Writings of Peirce - Courier Corporation, 1955. [All Versions]. Original writings by C. S. Peirce, the establisher of Abduction.
The Inference to the Best Explanation - Philosophical Review, 1965. [All Versions]. Lipton's original paper on Inference to the Best Explanation as a special case of Abduction.
Inference to the Best Explanation - Routledge, 1991. [All Versions]. Lipton's book on Inference to the Best Explanation as a special case of Abduction.
A Study of Thinking - Routledge, 1956. [All Versions]. A classic book on thinking patterns.
Abductive Reasoning and Learning - Springer, 2000. [All Versions]. An introductory account on abductive reasoning.
Abductive Reasoning: Logical Investigations into Discovery and Explanation - Springer, 2006. [All Versions]. An introductory account on abductive reasoning.
Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning - Springer, 2009. [All Versions].
Explanation and Abductive Inference - The Oxford Handbook of Thinking and Reasoning, 2012. [All Versions]. A handbook on the formulations of Abduction.
Probabilistic models of cognition: Conceptual foundations - Trends in Cognitive Sciences, 2006. [All Versions]. A Bayesian account of Abduction.
The structure and function of explanations - Trends in Cognitive Sciences, 2006. [All Versions]. Basic computation modes of Abduction.
Explanatory Preferences Shape Learning and Inference - Trends in Cognitive Sciences, 2016. [All Versions]. An account showing that inductive bias is critical for explanation.
The Role of Explanatory Considerations in Updating - Cognition, 2015. [All Versions].
Explanation, updating, and accuracy - Journal of Cognitive Psychology, 2016. [All Versions].
Best, second-best, and good-enough explanations: How they matter to reasoning - Journal of Experimental Psychology, 2018. [All Versions]. A subjective probability account of Abduction.
How explanation guides belief change - Trends in Cognitive Sciences, 2021. [All Versions]. A review on the subjective probability account of Abduction.
Use of current explanations in multicausal abductive reasoning - Cognitive Science, 2001. [All Versions].
Kinematic mental simulations in abduction and deduction - Proceedings of the National Academy of Sciences, 2013. [All Versions].
Patterns of abduction - Synthese, 2007. [All Versions]. A categorization for Abduction in the account of pure philosophy.
Abduction: A categorical characterization - Journal of Applied Logic, 2015. [All Versions].
Defending Abduction - Philosophy of Science, 1999. [All Versions].
On the distinction between Peirce's abduction and Lipton's Inference to the best explanation - Synthese, 2011. [All Versions].
Abduction − the context of discovery + underdetermination = inference to the best explanation - Synthese, 2019. [[All
一键生成PPT和Word,让学习生活更轻松
讯飞智文是一个利用 AI 技术的项目,能够帮助用户生成 PPT 以及各类文档。无论是商业领域的市场分析报告、年度目标制 定,还是学生群体的职业生涯规划、实习避坑指南,亦或是活动策划、旅游攻略等内容,它都能提供支持,帮助用户精准表达,轻松呈现各种信息。
深度推理能力全新升级,全面对标OpenAI o1
科大讯飞的星火大模型,支持语言理解、知识问答和文本创作等多功能,适用于多种文件和业务场景,提升办公和日常生活的效率。讯飞星火是一个提供丰富智能服务的平台,涵盖科技资讯、图像创作、写作辅助、编程解答、科研文献解读等功能,能为不同需求的用户提供便捷高效的帮助,助力用户轻松获取信息、解决问题,满足多样化使用场景。
一种基于大语言模型的高效单流解耦语音令牌文本到语音合成模型
Spark-TTS 是一个基于 PyTorch 的开源文本到语音合成项目,由多个知名机构联合参与。该项目提供了高效的 LLM(大语言模型)驱动的语音合成方案,支持语音克隆和语音创建功能,可通过命令行界面(CLI)和 Web UI 两种方式使用。用户可以根据需求调整语音的性别、音高、速度等参数,生成高质量的语音。该项目适用于多种场景,如有声读物制作、智能语音助手开发等。
字节跳动发布的AI编程神器IDE
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。
AI助力,做PPT更简单!
咔片是一款轻量化在线演示设计工具,借助 AI 技术,实现从内容生成到智能设计的一站式 PPT 制作服务。支持多种文档格式导入生成 PPT,提供海量模板、智能美化、素材替换等功能,适用于销售、教师、学生等各类人群,能高效制作出高品质 PPT,满足不同场景演示需求。
选题、配图、成文,一站式创作,让内容运营更高效
讯飞绘文,一个AI集成平台,支持写作、选题、配图、排版和发布。高效生成适用于各类媒体的定制内容,加速品牌传播,提升内容营销效果。