强人工智能（Strong AI）或通用人工智能（Artificial General Intelligence）是具备与人类同等智慧、或超越人类的人工智能，能表现正常人类所具有的所有智能行为。
强人工智能是人工智能研究的主要目标之一，同时也是科幻小说和未来学家所讨论的主要议题。相对的，弱人工智能（applied AI，narrow AI，weak AI, artificial narrow intelligence, ANI）只处理特定的问题。弱人工智能不需要具有人类完整的认知能力，甚至是完全不具有人类所拥有的感官认知能力，只要设计得看起来像有智慧就可以了。由于过去的智能程式多是弱人工智能，发现这个具有领域的局限性，人们一度觉得强人工智能是不可能的。而强人工智能也指通用人工智能（artificial general intelligence，AGI），或具备执行一般智慧行为的能力。强人工智能通常把人工智能和意识、感性、知识和自觉等人类的特征互相连结。
因而，这样的具备意识的强人工智能是否存在？目前模拟出简单的一个生物头脑已经不是不可能的事，一如化学技术累积发展下，现在许多研发药品已经使用计算机模型来推演药物效果，以减少受试动物的痛苦等。从前在使用电脑语言的时代，原先电脑被认为是不可能具备自我解决能力的，电脑只是看起来聪明，实质上还是按照设计好的规则行事，并不能应付突如其来的状况，仍旧会犯下错误，而近年来从电脑在摩尔定律与神经科学研究的协助下，透过在电脑上对生物神经元系统复杂的电位冲动模拟上取得了明显的突破，使人工智能越过发展中的坎——神经处理机制的发现，因为生物的独特是在于刺激与反应下会强化其回馈作用，这类能够透过试错学习经验并总结，以回应各种刺激的系统（例如玩多次网球游戏便能从生疏至熟巧），还能从每种回馈中又触发其他回路来升级改进思考结构，做出更复杂的精细反应（例如在对话中选择诚实、说谎、漠然之后考虑其不同行为的后果等），这样的仿生领域已经得到长足的进步，使人脑与AI的区别逐渐变得模糊；但是，在机器是否存在有自主“思想”上的议题，将还会一直是人们争辩的对象，特别是在智能理性与心理感性部分要如何区别、统合，更需要进一步引导其具有人性，来为人类提供最佳解，目前这些方法都还没有探索出来。在一些能够自动推理出最佳解的工具已经出现，如Google旗下的深思公司（DeepMind）在此领域进展最多，成功开发出了能解决任意问题的通用思考机器，他们将其类人脑神经程式称“人工通用智慧技术”，而“通用”一词就代表者这是一个可以透过自主“进化发展”的通用智慧。
强人工智能（定义见上文）不应该和约翰·罗杰斯·希尔勒（John Searle）的强人工智能假说混淆。强人工智能是指一台计算机可以显示的智能量，而声称一台电脑作为一个人的智能行为，必须也必然有一个心灵和意识。
人们提出过很多人工智能的定义（例如能够通过图灵测试），但是没有一个定义能够得到所有人的认同 然而，人工智能的研究者们普遍同意，以下特质是一个智能所必须要拥有的：
还有一些重要的能力，包括机器知觉（例如计算机视觉），以及在智能行为的世界中行动的能力（例如机器人移动自身和其他物体的能力）。 它可能包括探知与回避危险的能力。 许多研究智能的交叉领域（例如认知科学、机器智能和决策）试图强调一些额外的特征，例如想象力（不依靠预设而建构精神影像与概念的能力） 以及自主性。基于计算机的系统中的确已经存在许多这样的能力，例如计算创造性（英语：computational creativity）、自动推理、决策支持系统、机器人、进化计算、智能代理，然而并未达到人类的水平。
一个强人工智能需要通过什么样的测试标准，科学家们有很多不同的想法，他们之中包括阿兰·图灵、本·格策尔（英语：Ben Goertzel）、尼尔斯·尼尔森（英语：Nils John Nilsson），他们提出的测试包括：
1. 图灵测试（）
2. 咖啡测试 ()
3. 机器人学生测试 ()
4. 雇员测试 ()
这些测试检测了一系列必要的特质，包括推理和学习能力。
人们将对于计算机来说最困难的问题，非正式地称为“人工智能完备”（AI-complete）或者“人工智能困难”（AI-hard）的，以此说明解决了这些计算性问题就相当于解决了人工智能的核心问题——让计算机和人类或者强人工智能一样聪明。 将一个问题称为“人工智能完备的”，意味着它不能被一个简单的特定算法解决。
人们假定人工智能完备的问题包括计算机视觉、自然语言理解，以及处理真实世界中的意外情况。目前为止，人工智能完备的问题仍然不能单靠现代计算机技术解决，而是需要人类计算（英语：human computation）。这一点在某些方面很有用，例如通过验证码来判别人类和机器，以及在计算机安全方面用于阻止暴力破解法。
现代人工智能研究开始于1950年代中期。 最早的一批人工智能研究者相信强人工智能不仅是可能的，而且将在几十年内出现。人工智能先驱司马贺在1965年写道：“在20年之内，机器就能够做到一个人能做到的任何事。” 启发这一预言的是斯坦利·库布里克和亚瑟·查理斯·克拉克创作的角色，HAL 9000。当时的人工智能研究者确信，能够在2001年制造出这样的机器。值得一提的是，人工智能先驱马文·闵斯基，在创作HAL 9000的工作中， 他担任了尽量将其制作得与当时主流研究界预言一致的项目顾问；根据Crevier所引用他在1967年所说的话：“在一代人之内...制造‘人工智能’的问题就将被基本解决，”，
然而，到了1970年代早期，研究者们意识到他们远远低估了其中的困难。资助AI项目的机构开始对强人工智能产生怀疑，向研究者们施压要求他们转向更有用的技术，所谓的“应用AI”。 在1980年代初，日本的第五代电脑开始重新对强人工智能恢复兴趣，制定的十年计划中包括一些强人工智能的目标，比如“进行日常对话”。 同时，专家系统的成功和它一起促成了工业界和政府的资金重新开始注入这个领域。 然而，人工智能的市场在1980年代晚期发生剧烈崩塌，而第五代计算机的目标从未实现。 再一次，人工智能研究者们对于强人工智能即将到来的预言在20年之内被证明超出了他们的能力。到了1990年代，人工智能研究者背上了无法实现自己承诺的名声，他们拒绝再作出任何预言。 并且避免提到任何“人类水平”的人工智能，以免被贴上“白日梦”的标签。
在1990年代和21世纪初，主流的人工智能在商业成果和学术地位上已经达到了一个新高度，依靠的是专注于细分的专门问题的解决。他们可以提供许多方案和商业应用，例如人工神经网络、机器视觉以及数据挖掘。 这些“应用人工智能”今天已经在工业技术和研究中得到广泛和深入应用，在学术和产业方面都得到了许多资助。
大多数主流的人工智能研究者希望，能够通过将解决局部问题的方法组合起来实现强人工智能，例如将智能体架构（英语：agent architecture）、认知架构（英语：cognitive architecture）或者包容式架构（英语：subsumption architecture）整合起来。汉斯·莫拉维克在1988年写道
"我相信，有一天人工智能的自下而上的研究路线，会与传统的自上而下的路线半途相遇，从而获得真实世界中的能力，以及对于推理程序来说极其困难的常识知识库。这两种方向结合在一起的时刻，会成为了产生真正智能机器的所谓“金钉子”。"
然而，在人工智能研究者之间也存在一些争论，甚至涉及这个领域的哲学基础；例如，普林斯顿大学的S.Harnad在1990年关于符号基础假设的论文中这样写道
"人们期待，模型认知的“自上而下的”（符号的）研究会在某个点上遇到“自下而上”（感觉的）研究。但是如果这篇文章的基础是正确的，那么这个希望不会实现，只有一个可行的路线从感觉到符号，就是自下而上。一个独立的符号层面，类似计算机软件从不需要这样的路径来到达（反之亦然）——我们也不清楚为何要达到这样的层面，因为这个过程反而将其从自身的意义中拔出（仅仅是将我们化简为何计算机程序等价的东西）。"
“强人工智能”引发起一连串哲学争论，例如如果一台机器能完全理解语言并回答问题的机器是不是有思维。哲学家希尔勒认为不可能。
关于强人工智能的争论，不同于更广义的一元论和二元论的争论。其争论要点是：如果一台机器的唯一工作原理就是转换编码数据，那么这台机器是不是有思维的？希尔勒认为这是不可能的。他举了著名的中文房间的例子来说明，如果机器仅仅是转换数据，而数据本身是对某些事情的一种编码表现，那么在不理解这一编码和这实际事情之间的对应关系的前提下，机器不可能对其处理的数据有任何理解。基于这一论点，希尔勒认为即使有机器通过了图灵测试，也不一定说明机器就真的像人一样有思维和意识。
也有哲学家持不同的观点。丹尼尔·丹尼特（Daniel C. Dennett）在其著作《意识的阐释》（Consciousness Explained）里认为，人也不过是一台有灵魂的机器而已，为什么我们认为：“人可以有智能，而普通机器就不能”呢？他认为像上述的数据转换机器是有可能有思维和意识的。
