126:
697:. KL-ONE and languages that were influenced by it such as Loom had an automated reasoning engine that was based on formal logic rather than on IF-THEN rules. This reasoner is called the classifier. A classifier can analyze a set of declarations and infer new assertions, for example, redefine a class to be a subclass or superclass of some other class that wasn't formally specified. In this way the classifier can function as an inference engine, deducing new facts from an existing knowledge base. The classifier can also provide consistency checking on a knowledge base (which in the case of KL-ONE languages is also referred to as an Ontology).
937:, but there are also many special-purpose theorem-proving environments. These environments can validate logical models and can deduce new theories from existing models. Essentially they automate the process a logician would go through in analyzing a model. Theorem-proving technology had some specific practical applications in the areas of software engineering. For example, it is possible to prove that a software program rigidly adheres to a formal logical specification.
3238:
929:, was often used as a form of functional knowledge representation. Frames and Rules were the next kind of primitive. Frame languages had various mechanisms for expressing and enforcing constraints on frame data. All data in frames are stored in slots. Slots are analogous to relations in entity-relation modeling and to object properties in object-oriented modeling. Another technique for primitives is to define languages that are modeled after
3248:
3258:
888:. Languages based on the Frame model with automatic classification provide a layer of semantics on top of the existing Internet. Rather than searching via text strings as is typical today, it will be possible to define logical queries and find pages that map to those queries. The automated reasoning component in these systems is an engine known as the classifier. Classifiers focus on the
953:
all frames would be instances of a frame class. That class object can be inspected at run time, so that the object can understand and even change its internal structure or the structure of other parts of the model. In rule-based environments, the rules were also usually instances of rule classes. Part of the meta protocol for rules were the meta rules that prioritized rule firing.
704:. One of the first realizations learned from trying to make software that can function with human natural language was that humans regularly draw on an extensive foundation of knowledge about the real world that we simply take for granted but that is not at all obvious to an artificial agent. Basic principles of common-sense physics, causality, intentions, etc. An example is the
807:
even to understand knowledge expressed in complex, mathematically-oriented ways. Secondly, because of its complex proof procedures, it can be difficult for users to understand complex proofs and explanations, and it can be hard for implementations to be efficient. As a consequence, unrestricted FOL can be intimidating for many software developers.
959:. Traditional logic requires additional axioms and constraints to deal with the real world as opposed to the world of mathematics. Also, it is often useful to associate degrees of confidence with a statement. I.e., not simply say "Socrates is Human" but rather "Socrates is Human with confidence 50%". This was one of the early innovations from
669:. It also had a complete frame-based knowledge base with triggers, slots (data values), inheritance, and message passing. Although message passing originated in the object-oriented community rather than AI it was quickly embraced by AI researchers as well in environments such as KEE and in the operating systems for Lisp machines from
999:. The standard that Brachman and most AI researchers use to measure expressive adequacy is usually First Order Logic (FOL). Theoretical limitations mean that a full implementation of FOL is not practical. Researchers should be clear about how expressive (how much of full FOL expressive power) they intend their representation to be.
1068:, "Every ontology is a treaty- a social agreement among people with common motive in sharing." There are always many competing and differing views that make any general-purpose ontology impossible. A general-purpose ontology would have to be applicable in any domain and different areas of knowledge need to be unified.
877:"It is a medium for pragmatically efficient computation", i.e., "the computational environment in which thinking is accomplished. One contribution to this pragmatic efficiency is supplied by the guidance a representation provides for organizing information" so as "to facilitate making the recommended inferences."
811:
representation formalisms, from databases to semantic nets to production systems, can be viewed as making various design decisions about how to balance expressive power with naturalness of expression and efficiency. In particular, this balancing act was a driving motivation for the development of IF-THEN rules in
1091:) looks substantially different from the same task viewed in terms of frames (e.g., INTERNIST). Where MYCIN sees the medical world as made up of empirical associations connecting symptom to disease, INTERNIST sees a set of prototypes, in particular prototypical diseases, to be matched against the case at hand.
1040:
project. Cyc was an attempt to build a huge encyclopedic knowledge base that would contain not just expert knowledge but common-sense knowledge. In designing an artificial intelligence agent, it was soon realized that representing common-sense knowledge, knowledge that humans simply take for granted,
952:
that gives developers run time access to the class objects and enables them to dynamically redefine the structure of the knowledge base even at run time. Meta-representation means the knowledge representation language is itself expressed in that language. For example, in most Frame based environments
684:
The integration of frames, rules, and object-oriented programming was significantly driven by commercial ventures such as KEE and
Symbolics spun off from various research projects. At the same time, there was another strain of research that was less commercially focused and was driven by mathematical
1035:
As knowledge-based technology scaled up, the need for larger knowledge bases and for modular knowledge bases that could communicate and integrate with each other became apparent. This gave rise to the discipline of ontology engineering, designing and building large knowledge bases that could be used
810:
One of the key discoveries of AI research in the 1970s was that languages that do not have the full expressive power of FOL can still provide close to the same expressive power of FOL, but can be easier for both the average developer and for the computer to understand. Many of the early AI knowledge
652:
It was not long before the frame communities and the rule-based researchers realized that there was a synergy between their approaches. Frames were good for representing the real world, described as classes, subclasses, slots (data values) with various constraints on possible values. Rules were good
1086:
The commitment made selecting one or another ontology can produce a sharply different view of the task at hand. Consider the difference that arises in selecting the lumped element view of a circuit rather than the electrodynamic view of the same device. As a second example, medical diagnosis viewed
746:
of concepts. Searching for a concept will be more effective than traditional text only searches. Frame languages and automatic classification play a big part in the vision for the future
Semantic Web. The automatic classification gives developers technology to provide order on a constantly evolving
1078:
The lumped element model, for instance, suggests that we think of circuits in terms of components with connections between them, with signals flowing instantaneously along the connections. This is a useful view, but not the only possible one. A different ontology arises if we need to attend to the
1031:
the knowledge-bases were fairly small. The knowledge-bases that were meant to actually solve real problems rather than do proof of concept demonstrations needed to focus on well defined problems. So for example, not just medical diagnosis as a whole topic, but medical diagnosis of certain kinds of
806:
Arguably, FOL has two drawbacks as a knowledge representation formalism in its own right, namely ease of use and efficiency of implementation. Firstly, because of its high expressive power, FOL allows many ways of expressing the same information, and this can make it hard for users to formalise or
733:
Any mechanically embodied intelligent process will be comprised of structural ingredients that a) we as external observers naturally take to represent a propositional account of the knowledge that the overall process exhibits, and b) independent of such external semantic attribution, play a formal
570:
In contrast, researchers at MIT rejected the resolution uniform proof procedure paradigm and advocated the procedural embedding of knowledge instead. The resulting conflict between the use of logical representations and the use of procedural representations was resolved in the early 1970s with the
509:
also in 1959. GPS featured data structures for planning and decomposition. The system would begin with a goal. It would then decompose that goal into sub-goals and then set out to construct strategies that could accomplish each subgoal. The
Advisor Taker, on the other hand, proposed the use of the
924:
were one of the first knowledge representation primitives. Also, data structures and algorithms for general fast search. In this area, there is a strong overlap with research in data structures and algorithms in computer science. In early systems, the Lisp programming language, which was modeled
1082:
Ontologies can of course be written down in a wide variety of languages and notations (e.g., logic, LISP, etc.); the essential information is not the form of that language but the content, i.e., the set of concepts offered as a way of thinking about the world. Simply put, the important part is
1002:
Reasoning efficiency. This refers to the run time efficiency of the system. The ability of the knowledge base to be updated and the reasoner to develop new inferences in a reasonable period of time. In some ways, this is the flip side of expressive adequacy. In general, the more powerful a
1702:
The good news in reducing KR service to theorem proving is that we now have a very clear, very specific notion of what the KR system should do; the bad new is that it is also clear that the services can not be provided... deciding whether or not a sentence in FOL is a theorem... is
989:. Non-monotonic reasoning allows various kinds of hypothetical reasoning. The system associates facts asserted with the rules and facts used to justify them and as those facts change updates the dependent knowledge as well. In rule based systems this capability is known as a
874:"It is a fragmentary theory of intelligent reasoning, expressed in terms of three components: (i) the representation's fundamental conception of intelligent reasoning; (ii) the set of inferences the representation sanctions; and (iii) the set of inferences it recommends."
1079:
electrodynamics in the device: Here signals propagate at finite speed and an object (like a resistor) that was previously viewed as a single component with an I/O behavior may now have to be thought of as an extended medium through which an electromagnetic wave flows.
717:
project. Cyc established its own Frame language and had large numbers of analysts document various areas of common-sense reasoning in that language. The knowledge recorded in Cyc included common-sense models of time, causality, physics, intentions, and many others.
868:"A knowledge representation (KR) is most fundamentally a surrogate, a substitute for the thing itself, used to enable an entity to determine consequences by thinking rather than acting," i.e., "by reasoning about the world rather than taking action in it."
1007:
engine will be. Efficiency was often an issue, especially for early applications of knowledge representation technology. They were usually implemented in interpreted environments such as Lisp, which were slow compared to more traditional platforms of the
974:
vs. facts and defaults. Universals are general statements about the world such as "All humans are mortal". Facts are specific examples of universals such as "Socrates is a human and therefore mortal". In logical terms definitions and universals are about
892:
relations in a knowledge base rather than rules. A classifier can infer new classes and dynamically change the ontology as new information becomes available. This capability is ideal for the ever-changing and evolving information space of the
Internet.
747:
network of knowledge. Defining ontologies that are static and incapable of evolving on the fly would be very limiting for
Internet-based systems. The classifier technology provides the ability to deal with the dynamic environment of the Internet.
712:
and can process basic statements and questions about the world, it is essential to represent this kind of knowledge. In addition to McCarthy and Hayes' situation calculus, one of the most ambitious programs to tackle this problem was Doug Lenat's
644:
in the mid-1970s. A frame is similar to an object class: It is an abstract description of a category describing things in the world, problems, and potential solutions. Frames were originally used on systems geared toward human interaction, e.g.
708:, that in an event driven logic there need to be axioms that state things maintain position from one moment to the next unless they are moved by some external force. In order to make a true artificial intelligence agent that can
632:
to answer questions and solve problems in the domain. In these early systems the facts in the knowledge base tended to be a fairly flat structure, essentially assertions about the values of variables used by the rules.
653:
for representing and utilizing complex logic such as the process to make a medical diagnosis. Integrated systems were developed that combined frames and rules. One of the most powerful and well known was the 1983
770:
Knowledge-representation is a field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used for solving complex problems.
649:
and the social settings in which various default expectations such as ordering food in a restaurant narrow the search space and allow the system to choose appropriate responses to dynamic situations.
983:. All forms of knowledge representation must deal with this aspect and most do so with some variant of set theory, modeling universals as sets and subsets and definitions as elements in those sets.
2151:
785:
For example, talking to experts in terms of business rules rather than code lessens the semantic gap between users and developers and makes development of complex systems more practical.
567:, in turn, showed how to do robot plan-formation by applying resolution to the situation calculus. He also showed how to use resolution for question-answering and automatic programming.
1075:
widely used in representing electronic circuits (e.g.,), as well as ontologies for time, belief, and even programming itself. Each of these offers a way to see some part of the world.
742:. The Semantic Web seeks to add a layer of semantics (meaning) on top of the current Internet. Rather than indexing web sites and pages via keywords, the Semantic Web creates large
778:
is not the best formalism to use to solve complex problems. Knowledge representation makes complex software easier to define and maintain than procedural code and can be used in
792:
because one of the main purposes of explicitly representing knowledge is to be able to reason about that knowledge, to make inferences, assert new knowledge, etc. Virtually all
803:(FOL), with its high expressive power and ability to formalise much of mathematics, is a standard for comparing the expressibility of knowledge representation languages.
849:. The resulting extended semantics of LP is a variation of the standard semantics of Horn clauses and FOL, and is a form of database semantics, which includes the
617:, etc. Rather than general problem solvers, AI changed its focus to expert systems that could match human competence on a specific task, such as medical diagnosis.
944:
in computer science. It refers to the capability of a formalism to have access to information about its own state. An example would be the meta-object protocol in
1041:
was essential to make an AI that could interact with humans using natural language. Cyc was meant to address this problem. The language they defined was known as
1668:
Levesque, H.J. and
Brachman, R.J., 1987. Expressiveness and tractability in knowledge representation and reasoning 1. Computational intelligence, 3(1), pp.78-93.
963:
research which migrated to some commercial tools, the ability to associate certainty factors with rules and conclusions. Later research in this area is known as
900:(RDF) provides the basic capabilities to define knowledge-based objects on the Internet with basic features such as Is-A relations and object properties. The
385:
2026:
Davis R, Shrobe H E, Representing
Structure and Behavior of Digital Hardware, IEEE Computer, Special Issue on Knowledge Representation, 16(10):75-82.
476:
2143:
1813:
1389:
1115:
1791:
1064:. Modularity—the ability to define boundaries around specific domains and problem spaces—is essential for these languages because as stated by
50:. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge, in order to design
272:
237:
2274:
1997:
1904:
1724:
544:
to formalise mathematics and to automate the proof of mathematical theorems. A major step in this direction was the development of the
1569:
751:
1434:
336:
314:
54:
that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from
1071:
There is a long history of work attempting to build ontologies for a variety of task domains, e.g., an ontology for liquids, the
250:
2963:
1617:
3016:
2101:
2064:
1981:
1856:
1695:
1653:
1570:"The Semantic Web – A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities"
1549:
1486:
1359:
861:
469:
395:
349:
304:
299:
2867:
871:"It is a set of ontological commitments", i.e., "an answer to the question: In what terms should I think about the world?"
827:
610:
896:
The
Semantic Web integrates concepts from knowledge representation and reasoning with markup languages based on XML. The
3021:
2293:
2043:
448:
420:
415:
309:
1929:
Zlatarva, Nellie (1992). "Truth
Maintenance Systems and their Application for Verifying Expert System Knowledge Bases".
2526:
1733:
1516:
590:
The early development of logic programming was largely a
European phenomenon. In North America, AI researchers such as
506:
408:
277:
267:
257:
3282:
3173:
3001:
2531:
2137:
2085:
2005:
1303:
941:
793:
654:
380:
326:
292:
159:
799:
A key trade-off in the design of knowledge representation formalisms is that between expressivity and tractability.
3287:
3261:
2355:
462:
366:
212:
2649:
709:
641:
144:
70:
47:
3297:
2940:
2902:
2559:
2267:
2241:
1083:
notions like connections and components, not the choice between writing them as predicates or LISP constructs.
897:
755:
743:
646:
98:
82:
2236:
489:
The earliest work in computerized knowledge representation was focused on general problem-solvers such as the
3292:
3082:
3059:
2789:
2779:
857:. These assumptions are much harder to state and reason with explicitly using the standard semantics of FOL.
3302:
3163:
2751:
2659:
2564:
2340:
2325:
3251:
2986:
2484:
2108:
331:
282:
179:
3223:
2872:
1821:
1401:
1150:
980:
154:
137:
3241:
3168:
3143:
3006:
2654:
2260:
2159:
1779:
1451:
MacGregor, Robert (June 1991). "Using a description classifier to enhance knowledge representation".
1100:
537:
232:
94:
685:
logic and automated theorem proving. One of the most influential languages in this research was the
529:
today. In such approaches, problem solving was a form of graph traversal or path-finding, as in the
125:
3092:
2925:
2511:
2380:
990:
976:
762:(OWL) provides additional levels of semantics and enables integration with classification engines.
356:
43:
758:(RDF) provides the basic capability to define classes, subclasses, and properties of objects. The
3153:
3087:
2978:
2794:
2454:
1028:
996:
854:
598:
advocated the representation of domain-specific knowledge rather than general-purpose reasoning.
117:
35:
880:"It is a medium of human expression", i.e., "a language in which we say things about the world."
754:(DARPA) have integrated frame languages and classifiers with markup languages based on XML. The
3218:
3049:
2930:
2697:
2687:
2682:
1175:
850:
830:. But logic programs have a well-defined logical semantics, whereas production systems do not.
826:. Logic programs have a rule-based syntax, which is easily confused with the IF-THEN syntax of
658:
515:
490:
227:
620:
Expert systems gave us the terminology still in use today where AI systems are divided into a
3188:
3158:
3148:
3044:
2958:
2834:
2774:
2741:
2731:
2614:
2579:
2569:
2506:
2375:
2350:
2345:
2310:
1973:
1965:
1687:
1679:
1541:
1533:
1375:
1272:
Hewitt, C., 2009. Inconsistency robustness in logic programs. arXiv preprint arXiv:0904.3036.
1110:
901:
759:
701:
2017:
Hayes P, Naive physics I: Ontology for liquids. University of Essex report, 1978, Essex, UK.
1873:
1645:
1639:
521:
Many of the early approaches to knowledge represention in AI used graph representations and
2948:
2920:
2892:
2887:
2716:
2692:
2644:
2627:
2622:
2604:
2594:
2589:
2551:
2501:
2496:
2413:
2359:
1219:
1160:
1072:
1053:
1018:
956:
889:
726:
602:
169:
1591:
605:
in psychology and to the phase of AI focused on knowledge representation that resulted in
563:
as a logical representation of common sense knowledge about the laws of cause and effect.
8:
3213:
3138:
3054:
3039:
2804:
2584:
2541:
2536:
2433:
2423:
2395:
1574:
1170:
1004:
986:
842:
838:
789:
530:
321:
86:
1423:
1223:
904:(OWL) adds additional semantics and integrates with automatic classification reasoners.
734:
but causal and essential role in engendering the behavior that manifests that knowledge.
42:
about the world in a form that a computer system can use to solve complex tasks such as
3178:
3077:
2953:
2910:
2819:
2761:
2746:
2736:
2521:
2320:
2073:
2069:
2053:
2049:
2039:
1946:
1896:
1843:
Brachman, Ron (1985). "Introduction". In Ronald Brachman and Hector J. Levesque (ed.).
1509:
Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
1468:
1309:
1235:
1210:
Doran, J. E.; Michie, D. (1966-09-20). "Experiments with the Graph Traverser program".
913:
560:
549:
541:
511:
371:
1587:
1288:
Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC '86
1254:
3198:
3128:
3107:
3069:
2877:
2844:
2824:
2516:
2428:
2302:
2133:
2118:
2097:
2081:
2060:
2001:
1977:
1852:
1845:
1739:
1729:
1715:
1691:
1649:
1545:
1512:
1355:
1349:
1299:
1145:
1140:
1061:
1049:
1022:
930:
846:
819:
812:
800:
678:
666:
572:
545:
522:
149:
78:
74:
2179:: Logical, Philosophical, and Computational Foundations. Brooks/Cole: New York, 2000
2093:
Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
1950:
1900:
1472:
1313:
1239:
1197:
Scripts, Plans, Goals, and Understanding: An Inquiry Into Human Knowledge Structures
3031:
2915:
2882:
2677:
2599:
2488:
2474:
2469:
2418:
2405:
2330:
2283:
2221:
1938:
1888:
1609:
1583:
1460:
1291:
1283:
1227:
1120:
921:
662:
526:
498:
287:
222:
207:
90:
66:
2218:
by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy
2142:
Jean-Luc Hainaut, Jean-Marc Hick, Vincent Englebert, Jean Henrard, Didier Roland:
3102:
2996:
2968:
2862:
2814:
2799:
2784:
2639:
2634:
2574:
2464:
2438:
2390:
2335:
1490:
1155:
1105:
926:
775:
595:
164:
1036:
by multiple projects. One of the leading research projects in this area was the
3208:
3112:
3011:
2857:
2829:
2215:
2193:
Mary-Anne Williams and Hans Rott: "Frontiers in Belief Revision, Kluwer", 2001.
2126:
1057:
779:
690:
629:
614:
606:
580:
864:
outlined five distinct roles to analyze a knowledge representation framework:
3276:
3097:
2385:
2226:
2203:
1608:
Knublauch, Holger; Oberle, Daniel; Tetlow, Phil; Wallace, Evan (2006-03-09).
960:
884:
Knowledge representation and reasoning are a key enabling technology for the
705:
637:
591:
564:
217:
51:
1892:
1003:
representation, the more it has expressive adequacy, the less efficient its
3193:
2852:
2183:
2172:
2114:
2044:
What IS-A is and isn't. An Analysis of Taxonomic Links in Semantic Networks
1719:
1231:
1125:
885:
739:
502:
494:
361:
1487:
Some philosophical problems from the standpoint of artificial intelligence
1295:
920:
Primitives. What is the underlying framework used to represent knowledge?
693:
that had a rigorous semantics, formal definitions for concepts such as an
3183:
2809:
2721:
2122:
1329:
964:
834:
738:
One of the most active areas of knowledge representation research is the
584:
390:
375:
39:
3203:
3133:
2726:
2459:
2315:
1942:
1493: (archived August 25, 2013). In Meltzer, B., and Michie, D., eds.,
1065:
971:
533:. Typical applications included robot plan-formation and game-playing.
2209:
818:
A similar balancing act was also a motivation for the development of
2708:
2669:
1464:
945:
916:
categorized the core issues for knowledge representation as follows:
700:
Another area of knowledge representation research was the problem of
670:
556:
425:
189:
774:
The justification for knowledge representation is that conventional
2769:
2252:
1390:"An Assessment of Tools for Building Large Knowledge-Based Systems"
1165:
262:
184:
2232:
Principles of Knowledge Representation and Reasoning Incorporated
1966:"A Fundamental Tradeoff in Knowledge Representation and Reasoning"
1680:"A Fundamental Tradeoff in Knowledge Representation and Reasoning"
430:
2092:
1778:
Davis, Randall; Shrobe, Howard; Szolovits, Peter (Spring 1993).
1743:
1638:
Hayes-Roth, Frederick; Waterman, Donald; Lenat, Douglas (1983).
1534:"Prologue to Reflections and Semantics in a Procedural Language"
1348:
Hayes-Roth, Frederick; Waterman, Donald; Lenat, Douglas (1983).
624:, which includes facts and rules about a problem domain, and an
1610:"A Semantic Web Primer for Object-Oriented Software Developers"
1568:
Berners-Lee, Tim; Hendler, James; Lassila, Ora (May 17, 2001).
934:
823:
686:
576:
2152:
Knowledge Representation and the Semantics of Natural Language
1136:
1088:
674:
55:
1607:
796:
have a reasoning or inference engine as part of the system.
1130:
1042:
949:
694:
2000:(3rd ed.), Upper Saddle River, New Jersey: Prentice Hall,
2158:
Frank van Harmelen, Vladimir Lifschitz and Bruce Porter:
1613:
1567:
1037:
714:
940:
Meta-representation. This is also known as the issue of
833:
The earliest form of logic programming was based on the
65:
Examples of knowledge representation formalisms include
2246:
1637:
1347:
837:
subset of FOL. But later extensions of LP included the
721:
The starting point for knowledge representation is the
2237:
Description Logic in Practice: A CLASSIC Application
1777:
1563:
1561:
2107:Randall Davis, Howard Shrobe, and Peter Szolovits;
1968:. In Ronald Brachman and Hector J. Levesque (ed.).
1682:. In Ronald Brachman and Hector J. Levesque (ed.).
1536:. In Ronald Brachman and Hector J. Levesque (ed.).
860:In a key 1993 paper on the topic, Randall Davis of
1844:
1497:4. Edinburgh: Edinburgh University Press. 463–502.
1424:"A Structural Paradigm for Representing Knowledge"
1558:
1256:Application of Theorem Proving to Problem Solving
1133:, a language for lexical knowledge representation
3274:
2231:
1963:
1874:"Paradigm Shift: An Introduction to Fuzzy Logic"
1820:. Information Sciences Institute. Archived from
1677:
788:Knowledge representation goes hand in hand with
2249:- a non-free 3d knowledge representation system
2144:Understanding Implementations of IS-A Relations
1728:(4th ed.). Hoboken: Pearson. p. 282.
1506:
540:for first-order logic, motivated by the use of
2222:DATR Lexical knowledge representation language
2292:Note: This template roughly follows the 2012
2268:
2155:, Springer, Berlin, Heidelberg, New York 2006
1714:
1194:
470:
1964:Levesque, Hector; Brachman, Ronald (1985).
1678:Levesque, Hector; Brachman, Ronald (1985).
1431:Bolt, Beranek, and Neumann Technical Report
1209:
710:converse with humans using natural language
2275:
2261:
1998:Artificial Intelligence: A Modern Approach
1996:Russell, Stuart J.; Norvig, Peter (2010),
1725:Artificial Intelligence: A Modern Approach
1327:Nilsson, Nils (1995). "Eye on the Prize".
477:
463:
2216:Introduction to Description Logics course
1811:
1603:
1601:
1450:
752:Defense Advanced Research Projects Agency
1928:
1842:
1507:Lenat, Doug; R. V. Guha (January 1990).
1421:
1378:, MIT-AI Laboratory Memo 306, June, 1974
1281:
822:(LP) and the logic programming language
750:Recent projects funded primarily by the
536:Other researchers focused on developing
1387:
1326:
1195:Schank, Roger; Abelson, Robert (1977).
1012:
689:language of the mid-'80s. KL-ONE was a
3275:
2992:Knowledge representation and reasoning
2190:, Second Edition, Addison-Wesley, 1990
2057:Knowledge Representation and Reasoning
2046:; IEEE Computer, 16 (10); October 1983
1851:. Morgan Kaufmann. pp. XVI–XVII.
1773:
1598:
1376:A Framework for Representing Knowledge
933:(FOL). The most well known example is
841:inference rule, which turns LP into a
661:. KEE had a complete rule engine with
20:Knowledge representation and reasoning
3017:Philosophy of artificial intelligence
2256:
1812:Macgregor, Robert (August 13, 1999).
1780:"What Is a Knowledge Representation?"
1771:
1769:
1767:
1765:
1763:
1761:
1759:
1757:
1755:
1753:
1531:
1485:McCarthy, J., and Hayes, P. J. 1969.
628:, which applies the knowledge in the
48:having a dialog in a natural language
2336:Energy consumption (Green computing)
2282:
2160:Handbook of Knowledge Representation
2078:Readings in Knowledge Representation
1970:Readings in Knowledge Representation
1847:Readings in Knowledge Representation
1684:Readings in Knowledge Representation
1538:Readings in Knowledge Representation
1440:from the original on April 30, 2020.
555:In the meanwhile, John McCarthy and
3022:Distributed artificial intelligence
2294:ACM Computing Classification System
2204:What is a Knowledge Representation?
2109:What Is a Knowledge Representation?
1871:
1199:. Lawrence Erlbaum Associates, Inc.
979:while facts and defaults are about
723:knowledge representation hypothesis
13:
2527:Integrated development environment
2210:Introduction to Knowledge Modeling
2033:
1750:
907:
794:knowledge representation languages
124:
14:
3314:
3002:Automated planning and scheduling
2532:Software configuration management
2197:
2169:Lawrence Erlbaum Associates, 1998
2090:Chein, M., Mugnier, M.-L. (2009),
1910:from the original on 12 June 2014
1588:10.1038/scientificamerican0501-34
1252:
655:Knowledge Engineering Environment
3256:
3246:
3237:
3236:
16:Field of artificial intelligence
3247:
2650:Computational complexity theory
2182:Adrian Walker, Michael McCord,
2020:
2011:
1990:
1957:
1922:
1865:
1836:
1805:
1794:from the original on 2012-04-06
1708:
1671:
1662:
1631:
1620:from the original on 2018-01-06
1525:
1500:
1479:
1444:
1415:
145:Artificial general intelligence
38:(AI) dedicated to representing
2434:Network performance evaluation
1931:Artificial Intelligence Review
1381:
1368:
1341:
1320:
1275:
1266:
1246:
1203:
1188:
1052:have been developed. Most are
898:Resource Description Framework
756:Resource Description Framework
647:understanding natural language
587:as goal-reduction procedures.
44:diagnosing a medical condition
1:
2805:Multimedia information system
2790:Geographic information system
2780:Enterprise information system
2369:Computer systems organization
2111:AI Magazine, 14(1):17-33,1993
1181:
58:to automate various kinds of
3164:Computational social science
2752:Theoretical computer science
2565:Software development process
2341:Electronic design automation
2326:Very Large Scale Integration
2188:Knowledge Systems and Prolog
1972:. Morgan Kaufmann. pp.
1540:. Morgan Kaufmann. pp.
7:
2987:Natural language processing
2775:Information storage systems
2206:by Randall Davis and others
1686:. Morgan Kaufmann. p.
1644:. Addison-Wesley. pp.
1094:
981:existential quantifications
765:
180:Natural language processing
10:
3319:
2903:Human–computer interaction
2873:Intrusion detection system
2785:Social information systems
2770:Database management system
2242:The Rule Markup Initiative
1151:Logico-linguistic modeling
1116:Commonsense knowledge base
1016:
493:(GPS) system developed by
233:Hybrid intelligent systems
155:Recursive self-improvement
104:
3232:
3169:Computational engineering
3144:Computational mathematics
3121:
3068:
3030:
2977:
2939:
2901:
2843:
2760:
2706:
2668:
2613:
2550:
2483:
2447:
2404:
2368:
2301:
2290:
2130:Reasoning About Knowledge
2080:, Morgan Kaufmann, 1985,
1388:Mettrey, William (1987).
1284:"The limitation of logic"
1282:Kowalski, Robert (1986).
1139:, a KR language based on
1101:Alphabet of human thought
1087:in terms of rules (e.g.,
640:developed the concept of
601:These efforts led to the
538:automated theorem-provers
3283:Knowledge representation
3179:Computational healthcare
3174:Differentiable computing
3093:Graphics processing unit
2512:Domain-specific language
2381:Computational complexity
2186:, and Walter G. Wilson:
2177:Knowledge Representation
2167:Knowledge Representation
2059:, Morgan Kaufmann, 2004
1532:Smith, Brian C. (1985).
1048:After CycL, a number of
991:truth maintenance system
977:universal quantification
357:Artificial consciousness
3288:Intelligence assessment
3154:Computational chemistry
3088:Photograph manipulation
2979:Artificial intelligence
2795:Decision support system
1893:10.1109/MP.2006.1635021
1814:"Retrospective on Loom"
1641:Building Expert Systems
1351:Building Expert Systems
1029:knowledge-based systems
987:Non-monotonic reasoning
855:closed world assumption
228:Evolutionary algorithms
118:Artificial intelligence
36:artificial intelligence
3219:Educational technology
3050:Reinforcement learning
2800:Process control system
2698:Computational geometry
2688:Algorithmic efficiency
2683:Analysis of algorithms
2331:Systems on Chip (SoCs)
2227:Loom Project Home Page
1422:Brachman, Ron (1978).
1232:10.1098/rspa.1966.0205
1176:Valuation-based system
1027:In the early years of
851:unique name assumption
736:
702:common-sense reasoning
609:in the 1970s and 80s,
516:common sense reasoning
491:General Problem Solver
129:
3298:Programming paradigms
3189:Electronic publishing
3159:Computational biology
3149:Computational physics
3045:Unsupervised learning
2959:Distributed computing
2835:Information retrieval
2742:Mathematical analysis
2732:Mathematical software
2615:Theory of computation
2580:Software construction
2570:Requirements analysis
2448:Software organization
2376:Computer architecture
2346:Hardware acceleration
2311:Printed circuit board
1296:10.1145/324634.325168
1212:Proc. R. Soc. Lond. A
1111:Chunking (psychology)
1054:declarative languages
902:Web Ontology Language
760:Web Ontology Language
731:
128:
3293:Scientific modelling
2949:Concurrent computing
2921:Ubiquitous computing
2893:Application security
2888:Information security
2717:Discrete mathematics
2693:Randomized algorithm
2645:Computability theory
2623:Model of computation
2595:Software maintenance
2590:Software engineering
2552:Software development
2502:Programming language
2497:Programming paradigm
2414:Network architecture
1872:Bih, Joseph (2006).
1495:Machine Intelligence
1161:Knowledge management
1073:lumped element model
1019:Ontology engineering
1013:Ontology engineering
725:first formalized by
603:cognitive revolution
596:Frederick Hayes-Roth
170:General game playing
3303:Automated reasoning
3224:Document management
3214:Operations research
3139:Enterprise software
3055:Multi-task learning
3040:Supervised learning
2762:Information systems
2585:Software deployment
2542:Software repository
2396:Real-time computing
2165:Arthur B. Markman:
2132:, MIT Press, 1995,
1575:Scientific American
1400:(4). Archived from
1224:1966RSPSA.294..235D
1171:Semantic technology
1005:automated reasoning
997:Expressive adequacy
843:non-monotonic logic
839:negation as failure
790:automated reasoning
531:A* search algorithm
322:Machine translation
238:Systems integration
175:Knowledge reasoning
112:Part of a series on
87:automated reasoning
3007:Search methodology
2954:Parallel computing
2911:Interaction design
2820:Computing platform
2747:Numerical analysis
2737:Information theory
2522:Software framework
2485:Software notations
2424:Network components
2321:Integrated circuit
2074:Hector J. Levesque
2070:Ronald J. Brachman
2054:Hector J. Levesque
2050:Ronald J. Brachman
2040:Ronald J. Brachman
1943:10.1007/bf00155580
1824:on 25 October 2013
1716:Russell, Stuart J.
1594:on April 24, 2013.
1511:. Addison-Wesley.
1354:. Addison-Wesley.
1060:, or are based on
1050:ontology languages
611:production systems
561:situation calculus
550:John Alan Robinson
542:mathematical logic
512:predicate calculus
130:
34:) is the field of
3270:
3269:
3199:Electronic voting
3129:Quantum Computing
3122:Applied computing
3108:Image compression
2878:Hardware security
2868:Security services
2825:Digital marketing
2605:Open-source model
2517:Modeling language
2429:Network scheduler
2119:Joseph Y. Halpern
2102:978-1-84800-285-2
2096:, Springer, 2009,
2065:978-1-55860-932-7
1983:978-0-934613-01-9
1858:978-0-934613-01-9
1697:978-0-934613-01-9
1655:978-0-201-10686-2
1551:978-0-934613-01-9
1361:978-0-201-10686-2
1290:. pp. 7–13.
1218:(1437): 235–259.
1146:Logic programming
1141:First-order logic
1062:first-order logic
1056:, and are either
1023:Ontology language
931:First Order Logic
922:Semantic networks
847:default reasoning
820:logic programming
815:expert systems.
801:First Order Logic
679:Texas Instruments
667:backward chaining
573:logic programming
546:resolution method
523:semantic networks
487:
486:
223:Bayesian networks
150:Intelligent agent
101:and classifiers.
91:inference engines
3310:
3260:
3259:
3250:
3249:
3240:
3239:
3060:Cross-validation
3032:Machine learning
2916:Social computing
2883:Network security
2678:Algorithm design
2600:Programming team
2560:Control variable
2537:Software library
2475:Software quality
2470:Operating system
2419:Network protocol
2284:Computer science
2277:
2270:
2263:
2254:
2253:
2212:by Pejman Makhfi
2149:Hermann Helbig:
2146:. ER 1996: 42-57
2027:
2024:
2018:
2015:
2009:
1994:
1988:
1987:
1961:
1955:
1954:
1926:
1920:
1919:
1917:
1915:
1909:
1878:
1869:
1863:
1862:
1850:
1840:
1834:
1833:
1831:
1829:
1809:
1803:
1802:
1800:
1799:
1775:
1748:
1747:
1712:
1706:
1705:
1675:
1669:
1666:
1660:
1659:
1635:
1629:
1628:
1626:
1625:
1605:
1596:
1595:
1590:. Archived from
1565:
1556:
1555:
1529:
1523:
1522:
1504:
1498:
1483:
1477:
1476:
1465:10.1109/64.87683
1448:
1442:
1441:
1439:
1428:
1419:
1413:
1412:
1410:
1409:
1385:
1379:
1372:
1366:
1365:
1345:
1339:
1338:
1324:
1318:
1317:
1279:
1273:
1270:
1264:
1263:
1261:
1253:Green, Cordell.
1250:
1244:
1243:
1207:
1201:
1200:
1192:
1121:Conceptual graph
970:Definitions and
828:production rules
626:inference engine
527:knowledge graphs
501:in 1959 and the
499:Herbert A. Simon
479:
472:
465:
386:Existential risk
208:Machine learning
109:
108:
99:model generators
89:engines include
3318:
3317:
3313:
3312:
3311:
3309:
3308:
3307:
3273:
3272:
3271:
3266:
3257:
3228:
3209:Word processing
3117:
3103:Virtual reality
3064:
3026:
2997:Computer vision
2973:
2969:Multiprocessing
2935:
2897:
2863:Security hacker
2839:
2815:Digital library
2756:
2707:Mathematics of
2702:
2664:
2640:Automata theory
2635:Formal language
2609:
2575:Software design
2546:
2479:
2465:Virtual machine
2443:
2439:Network service
2400:
2391:Embedded system
2364:
2297:
2286:
2281:
2200:
2036:
2034:Further reading
2031:
2030:
2025:
2021:
2016:
2012:
1995:
1991:
1984:
1962:
1958:
1927:
1923:
1913:
1911:
1907:
1881:IEEE Potentials
1876:
1870:
1866:
1859:
1841:
1837:
1827:
1825:
1810:
1806:
1797:
1795:
1776:
1751:
1736:
1713:
1709:
1698:
1676:
1672:
1667:
1663:
1656:
1636:
1632:
1623:
1621:
1606:
1599:
1566:
1559:
1552:
1530:
1526:
1519:
1505:
1501:
1491:Wayback Machine
1484:
1480:
1449:
1445:
1437:
1426:
1420:
1416:
1407:
1405:
1386:
1382:
1374:Marvin Minsky,
1373:
1369:
1362:
1346:
1342:
1325:
1321:
1306:
1280:
1276:
1271:
1267:
1259:
1251:
1247:
1208:
1204:
1193:
1189:
1184:
1156:Knowledge graph
1106:Belief revision
1097:
1058:frame languages
1025:
1017:Main articles:
1015:
927:lambda calculus
910:
908:Characteristics
776:procedural code
768:
615:frame languages
571:development of
483:
454:
453:
444:
436:
435:
411:
401:
400:
372:Control problem
352:
342:
341:
253:
243:
242:
203:
195:
194:
165:Computer vision
140:
107:
95:theorem provers
17:
12:
11:
5:
3316:
3306:
3305:
3300:
3295:
3290:
3285:
3268:
3267:
3265:
3264:
3254:
3244:
3233:
3230:
3229:
3227:
3226:
3221:
3216:
3211:
3206:
3201:
3196:
3191:
3186:
3181:
3176:
3171:
3166:
3161:
3156:
3151:
3146:
3141:
3136:
3131:
3125:
3123:
3119:
3118:
3116:
3115:
3113:Solid modeling
3110:
3105:
3100:
3095:
3090:
3085:
3080:
3074:
3072:
3066:
3065:
3063:
3062:
3057:
3052:
3047:
3042:
3036:
3034:
3028:
3027:
3025:
3024:
3019:
3014:
3012:Control method
3009:
3004:
2999:
2994:
2989:
2983:
2981:
2975:
2974:
2972:
2971:
2966:
2964:Multithreading
2961:
2956:
2951:
2945:
2943:
2937:
2936:
2934:
2933:
2928:
2923:
2918:
2913:
2907:
2905:
2899:
2898:
2896:
2895:
2890:
2885:
2880:
2875:
2870:
2865:
2860:
2858:Formal methods
2855:
2849:
2847:
2841:
2840:
2838:
2837:
2832:
2830:World Wide Web
2827:
2822:
2817:
2812:
2807:
2802:
2797:
2792:
2787:
2782:
2777:
2772:
2766:
2764:
2758:
2757:
2755:
2754:
2749:
2744:
2739:
2734:
2729:
2724:
2719:
2713:
2711:
2704:
2703:
2701:
2700:
2695:
2690:
2685:
2680:
2674:
2672:
2666:
2665:
2663:
2662:
2657:
2652:
2647:
2642:
2637:
2632:
2631:
2630:
2619:
2617:
2611:
2610:
2608:
2607:
2602:
2597:
2592:
2587:
2582:
2577:
2572:
2567:
2562:
2556:
2554:
2548:
2547:
2545:
2544:
2539:
2534:
2529:
2524:
2519:
2514:
2509:
2504:
2499:
2493:
2491:
2481:
2480:
2478:
2477:
2472:
2467:
2462:
2457:
2451:
2449:
2445:
2444:
2442:
2441:
2436:
2431:
2426:
2421:
2416:
2410:
2408:
2402:
2401:
2399:
2398:
2393:
2388:
2383:
2378:
2372:
2370:
2366:
2365:
2363:
2362:
2353:
2348:
2343:
2338:
2333:
2328:
2323:
2318:
2313:
2307:
2305:
2299:
2298:
2291:
2288:
2287:
2280:
2279:
2272:
2265:
2257:
2251:
2250:
2244:
2239:
2234:
2229:
2224:
2219:
2213:
2207:
2199:
2198:External links
2196:
2195:
2194:
2191:
2180:
2170:
2163:
2156:
2147:
2140:
2127:Moshe Y. Vardi
2112:
2105:
2088:
2067:
2047:
2035:
2032:
2029:
2028:
2019:
2010:
1989:
1982:
1956:
1921:
1864:
1857:
1835:
1804:
1749:
1735:978-0134610993
1734:
1720:Norvig, Peter.
1707:
1696:
1670:
1661:
1654:
1630:
1597:
1557:
1550:
1524:
1518:978-0201517521
1517:
1499:
1478:
1443:
1414:
1380:
1367:
1360:
1340:
1319:
1304:
1274:
1265:
1245:
1202:
1186:
1185:
1183:
1180:
1179:
1178:
1173:
1168:
1163:
1158:
1153:
1148:
1143:
1134:
1128:
1123:
1118:
1113:
1108:
1103:
1096:
1093:
1014:
1011:
1010:
1009:
1000:
994:
984:
968:
961:expert systems
957:Incompleteness
954:
938:
909:
906:
882:
881:
878:
875:
872:
869:
853:and a form of
780:expert systems
767:
764:
727:Brian C. Smith
691:frame language
630:knowledge base
622:knowledge base
607:expert systems
581:SLD resolution
559:developed the
485:
484:
482:
481:
474:
467:
459:
456:
455:
452:
451:
445:
442:
441:
438:
437:
434:
433:
428:
423:
418:
412:
407:
406:
403:
402:
399:
398:
393:
388:
383:
378:
369:
364:
359:
353:
348:
347:
344:
343:
340:
339:
334:
329:
324:
319:
318:
317:
307:
302:
297:
296:
295:
290:
285:
275:
270:
268:Earth sciences
265:
260:
258:Bioinformatics
254:
249:
248:
245:
244:
241:
240:
235:
230:
225:
220:
215:
210:
204:
201:
200:
197:
196:
193:
192:
187:
182:
177:
172:
167:
162:
157:
152:
147:
141:
136:
135:
132:
131:
121:
120:
114:
113:
106:
103:
85:. Examples of
79:logic programs
15:
9:
6:
4:
3:
2:
3315:
3304:
3301:
3299:
3296:
3294:
3291:
3289:
3286:
3284:
3281:
3280:
3278:
3263:
3255:
3253:
3245:
3243:
3235:
3234:
3231:
3225:
3222:
3220:
3217:
3215:
3212:
3210:
3207:
3205:
3202:
3200:
3197:
3195:
3192:
3190:
3187:
3185:
3182:
3180:
3177:
3175:
3172:
3170:
3167:
3165:
3162:
3160:
3157:
3155:
3152:
3150:
3147:
3145:
3142:
3140:
3137:
3135:
3132:
3130:
3127:
3126:
3124:
3120:
3114:
3111:
3109:
3106:
3104:
3101:
3099:
3098:Mixed reality
3096:
3094:
3091:
3089:
3086:
3084:
3081:
3079:
3076:
3075:
3073:
3071:
3067:
3061:
3058:
3056:
3053:
3051:
3048:
3046:
3043:
3041:
3038:
3037:
3035:
3033:
3029:
3023:
3020:
3018:
3015:
3013:
3010:
3008:
3005:
3003:
3000:
2998:
2995:
2993:
2990:
2988:
2985:
2984:
2982:
2980:
2976:
2970:
2967:
2965:
2962:
2960:
2957:
2955:
2952:
2950:
2947:
2946:
2944:
2942:
2938:
2932:
2931:Accessibility
2929:
2927:
2926:Visualization
2924:
2922:
2919:
2917:
2914:
2912:
2909:
2908:
2906:
2904:
2900:
2894:
2891:
2889:
2886:
2884:
2881:
2879:
2876:
2874:
2871:
2869:
2866:
2864:
2861:
2859:
2856:
2854:
2851:
2850:
2848:
2846:
2842:
2836:
2833:
2831:
2828:
2826:
2823:
2821:
2818:
2816:
2813:
2811:
2808:
2806:
2803:
2801:
2798:
2796:
2793:
2791:
2788:
2786:
2783:
2781:
2778:
2776:
2773:
2771:
2768:
2767:
2765:
2763:
2759:
2753:
2750:
2748:
2745:
2743:
2740:
2738:
2735:
2733:
2730:
2728:
2725:
2723:
2720:
2718:
2715:
2714:
2712:
2710:
2705:
2699:
2696:
2694:
2691:
2689:
2686:
2684:
2681:
2679:
2676:
2675:
2673:
2671:
2667:
2661:
2658:
2656:
2653:
2651:
2648:
2646:
2643:
2641:
2638:
2636:
2633:
2629:
2626:
2625:
2624:
2621:
2620:
2618:
2616:
2612:
2606:
2603:
2601:
2598:
2596:
2593:
2591:
2588:
2586:
2583:
2581:
2578:
2576:
2573:
2571:
2568:
2566:
2563:
2561:
2558:
2557:
2555:
2553:
2549:
2543:
2540:
2538:
2535:
2533:
2530:
2528:
2525:
2523:
2520:
2518:
2515:
2513:
2510:
2508:
2505:
2503:
2500:
2498:
2495:
2494:
2492:
2490:
2486:
2482:
2476:
2473:
2471:
2468:
2466:
2463:
2461:
2458:
2456:
2453:
2452:
2450:
2446:
2440:
2437:
2435:
2432:
2430:
2427:
2425:
2422:
2420:
2417:
2415:
2412:
2411:
2409:
2407:
2403:
2397:
2394:
2392:
2389:
2387:
2386:Dependability
2384:
2382:
2379:
2377:
2374:
2373:
2371:
2367:
2361:
2357:
2354:
2352:
2349:
2347:
2344:
2342:
2339:
2337:
2334:
2332:
2329:
2327:
2324:
2322:
2319:
2317:
2314:
2312:
2309:
2308:
2306:
2304:
2300:
2295:
2289:
2285:
2278:
2273:
2271:
2266:
2264:
2259:
2258:
2255:
2248:
2247:Nelements KOS
2245:
2243:
2240:
2238:
2235:
2233:
2230:
2228:
2225:
2223:
2220:
2217:
2214:
2211:
2208:
2205:
2202:
2201:
2192:
2189:
2185:
2181:
2178:
2174:
2171:
2168:
2164:
2161:
2157:
2154:
2153:
2148:
2145:
2141:
2139:
2138:0-262-06162-7
2135:
2131:
2128:
2124:
2120:
2116:
2113:
2110:
2106:
2103:
2099:
2095:
2094:
2089:
2087:
2086:0-934613-01-X
2083:
2079:
2075:
2071:
2068:
2066:
2062:
2058:
2055:
2051:
2048:
2045:
2041:
2038:
2037:
2023:
2014:
2007:
2006:0-13-604259-7
2003:
1999:
1993:
1985:
1979:
1975:
1971:
1967:
1960:
1952:
1948:
1944:
1940:
1936:
1932:
1925:
1906:
1902:
1898:
1894:
1890:
1886:
1882:
1875:
1868:
1860:
1854:
1849:
1848:
1839:
1823:
1819:
1815:
1808:
1793:
1789:
1785:
1781:
1774:
1772:
1770:
1768:
1766:
1764:
1762:
1760:
1758:
1756:
1754:
1745:
1741:
1737:
1731:
1727:
1726:
1721:
1717:
1711:
1704:
1699:
1693:
1689:
1685:
1681:
1674:
1665:
1657:
1651:
1647:
1643:
1642:
1634:
1619:
1615:
1611:
1604:
1602:
1593:
1589:
1585:
1581:
1577:
1576:
1571:
1564:
1562:
1553:
1547:
1543:
1539:
1535:
1528:
1520:
1514:
1510:
1503:
1496:
1492:
1488:
1482:
1474:
1470:
1466:
1462:
1458:
1454:
1447:
1436:
1432:
1425:
1418:
1404:on 2013-11-10
1403:
1399:
1395:
1391:
1384:
1377:
1371:
1363:
1357:
1353:
1352:
1344:
1336:
1332:
1331:
1323:
1315:
1311:
1307:
1305:0-89791-177-6
1301:
1297:
1293:
1289:
1285:
1278:
1269:
1262:. IJCAI 1969.
1258:
1257:
1249:
1241:
1237:
1233:
1229:
1225:
1221:
1217:
1213:
1206:
1198:
1191:
1187:
1177:
1174:
1172:
1169:
1167:
1164:
1162:
1159:
1157:
1154:
1152:
1149:
1147:
1144:
1142:
1138:
1135:
1132:
1129:
1127:
1124:
1122:
1119:
1117:
1114:
1112:
1109:
1107:
1104:
1102:
1099:
1098:
1092:
1090:
1084:
1080:
1076:
1074:
1069:
1067:
1063:
1059:
1055:
1051:
1046:
1044:
1039:
1033:
1030:
1024:
1020:
1006:
1001:
998:
995:
992:
988:
985:
982:
978:
973:
969:
966:
962:
958:
955:
951:
947:
943:
939:
936:
932:
928:
923:
919:
918:
917:
915:
905:
903:
899:
894:
891:
887:
879:
876:
873:
870:
867:
866:
865:
863:
858:
856:
852:
848:
844:
840:
836:
831:
829:
825:
821:
816:
814:
808:
804:
802:
797:
795:
791:
786:
783:
781:
777:
772:
763:
761:
757:
753:
748:
745:
741:
735:
730:
728:
724:
719:
716:
711:
707:
706:frame problem
703:
698:
696:
695:Is-A relation
692:
688:
682:
680:
676:
672:
668:
664:
660:
656:
650:
648:
643:
639:
638:Marvin Minsky
634:
631:
627:
623:
618:
616:
612:
608:
604:
599:
597:
593:
592:Ed Feigenbaum
588:
586:
582:
578:
574:
568:
566:
565:Cordell Green
562:
558:
553:
551:
547:
543:
539:
534:
532:
528:
525:, similar to
524:
519:
517:
514:to represent
513:
508:
507:John McCarthy
504:
500:
496:
492:
480:
475:
473:
468:
466:
461:
460:
458:
457:
450:
447:
446:
440:
439:
432:
429:
427:
424:
422:
419:
417:
414:
413:
410:
405:
404:
397:
394:
392:
389:
387:
384:
382:
379:
377:
373:
370:
368:
365:
363:
360:
358:
355:
354:
351:
346:
345:
338:
335:
333:
330:
328:
325:
323:
320:
316:
315:Mental health
313:
312:
311:
308:
306:
303:
301:
298:
294:
291:
289:
286:
284:
281:
280:
279:
278:Generative AI
276:
274:
271:
269:
266:
264:
261:
259:
256:
255:
252:
247:
246:
239:
236:
234:
231:
229:
226:
224:
221:
219:
218:Deep learning
216:
214:
211:
209:
206:
205:
199:
198:
191:
188:
186:
183:
181:
178:
176:
173:
171:
168:
166:
163:
161:
158:
156:
153:
151:
148:
146:
143:
142:
139:
134:
133:
127:
123:
122:
119:
116:
115:
111:
110:
102:
100:
96:
92:
88:
84:
80:
76:
72:
68:
67:semantic nets
63:
61:
57:
53:
49:
45:
41:
37:
33:
29:
25:
21:
3194:Cyberwarfare
2991:
2853:Cryptography
2187:
2184:John F. Sowa
2176:
2173:John F. Sowa
2166:
2150:
2129:
2115:Ronald Fagin
2091:
2077:
2056:
2022:
2013:
2008:, p. 437-439
1992:
1969:
1959:
1934:
1930:
1924:
1912:. Retrieved
1884:
1880:
1867:
1846:
1838:
1826:. Retrieved
1822:the original
1817:
1807:
1796:. Retrieved
1790:(1): 17–33.
1787:
1783:
1723:
1710:
1701:
1683:
1673:
1664:
1640:
1633:
1622:. Retrieved
1592:the original
1582:(5): 34–43.
1579:
1573:
1537:
1527:
1508:
1502:
1494:
1481:
1459:(3): 41–46.
1456:
1452:
1446:
1430:
1417:
1406:. Retrieved
1402:the original
1397:
1393:
1383:
1370:
1350:
1343:
1334:
1328:
1322:
1287:
1277:
1268:
1255:
1248:
1215:
1211:
1205:
1196:
1190:
1126:DIKW pyramid
1085:
1081:
1077:
1070:
1047:
1034:
1026:
914:Ron Brachman
911:
895:
886:Semantic Web
883:
859:
832:
817:
809:
805:
798:
787:
784:
773:
769:
749:
740:Semantic Web
737:
732:
722:
720:
699:
683:
651:
635:
625:
621:
619:
600:
589:
585:Horn clauses
569:
554:
535:
520:
505:proposed by
503:Advice Taker
495:Allen Newell
488:
362:Chinese room
251:Applications
174:
64:
59:
31:
27:
23:
19:
18:
3204:Video games
3184:Digital art
2941:Concurrency
2810:Data mining
2722:Probability
2455:Interpreter
2123:Yoram Moses
1914:24 December
1828:10 December
1784:AI Magazine
1703:unsolvable.
1453:IEEE Expert
1394:AI Magazine
1330:AI Magazine
965:fuzzy logic
890:subsumption
835:Horn clause
659:Intellicorp
657:(KEE) from
636:Meanwhile,
391:Turing test
367:Friendly AI
138:Major goals
40:information
3277:Categories
3262:Glossaries
3134:E-commerce
2727:Statistics
2670:Algorithms
2628:Stochastic
2460:Middleware
2316:Peripheral
1937:: 67–110.
1798:2011-03-23
1624:2008-07-30
1408:2013-12-24
1182:References
1066:Tom Gruber
1032:diseases.
972:universals
942:reflection
925:after the
813:rule-based
744:ontologies
396:Regulation
350:Philosophy
305:Healthcare
300:Government
202:Approaches
83:ontologies
52:formalisms
3083:Rendering
3078:Animation
2709:computing
2660:Semantics
2351:Processor
946:Smalltalk
912:In 1985,
729:in 1985:
671:Symbolics
583:to treat
557:Pat Hayes
426:AI winter
327:Military
190:AI safety
60:reasoning
3242:Category
3070:Graphics
2845:Security
2507:Compiler
2406:Networks
2303:Hardware
1951:24696160
1905:Archived
1901:15451765
1887:: 6–21.
1792:Archived
1744:20190474
1722:(2021).
1618:Archived
1473:29575443
1435:Archived
1433:(3605).
1314:17211581
1240:21698093
1166:Mind map
1095:See also
766:Overview
579:, using
449:Glossary
443:Glossary
421:Progress
416:Timeline
376:Takeover
337:Projects
310:Industry
273:Finance
263:Deepfake
213:Symbolic
185:Robotics
160:Planning
28:KR&R
3252:Outline
1818:isi.edu
1489:at the
1220:Bibcode
663:forward
431:AI boom
409:History
332:Physics
105:History
2136:
2100:
2084:
2076:(eds)
2063:
2004:
1980:
1949:
1899:
1855:
1742:
1732:
1694:
1652:
1548:
1515:
1471:
1358:
1312:
1302:
1238:
935:Prolog
824:Prolog
687:KL-ONE
677:, and
577:Prolog
381:Ethics
71:frames
2655:Logic
2489:tools
2162:2007.
1974:41–70
1947:S2CID
1908:(PDF)
1897:S2CID
1877:(PDF)
1542:31–40
1469:S2CID
1438:(PDF)
1427:(PDF)
1310:S2CID
1260:(PDF)
1236:S2CID
1137:FO(.)
1089:MYCIN
1008:time.
675:Xerox
642:frame
293:Music
288:Audio
75:rules
56:logic
2487:and
2360:Form
2356:Size
2134:ISBN
2098:ISBN
2082:ISBN
2061:ISBN
2002:ISBN
1978:ISBN
1916:2013
1853:ISBN
1830:2013
1740:LCCN
1730:ISBN
1692:ISBN
1650:ISBN
1546:ISBN
1513:ISBN
1356:ISBN
1337:: 2.
1300:ISBN
1131:DATR
1043:CycL
1021:and
950:CLOS
948:and
845:for
665:and
594:and
575:and
497:and
81:and
1939:doi
1889:doi
1646:6–7
1614:W3C
1584:doi
1580:284
1461:doi
1292:doi
1228:doi
1216:294
1038:Cyc
862:MIT
715:Cyc
548:by
283:Art
46:or
32:KR²
24:KRR
3279::
2358:/
2175::
2125:,
2121:,
2117:,
2072:,
2052:,
2042:;
1976:.
1945:.
1933:.
1903:.
1895:.
1885:25
1883:.
1879:.
1816:.
1788:14
1786:.
1782:.
1752:^
1738:.
1718:;
1700:.
1690:.
1688:49
1648:.
1616:.
1612:.
1600:^
1578:.
1572:.
1560:^
1544:.
1467:.
1455:.
1429:.
1396:.
1392:.
1335:16
1333:.
1308:.
1298:.
1286:.
1234:.
1226:.
1214:.
1045:.
782:.
681:.
673:,
613:,
552:.
518:.
97:,
93:,
77:,
73:,
69:,
62:.
30:,
26:,
2296:.
2276:e
2269:t
2262:v
2104:.
1986:.
1953:.
1941::
1935:6
1918:.
1891::
1861:.
1832:.
1801:.
1746:.
1658:.
1627:.
1586::
1554:.
1521:.
1475:.
1463::
1457:6
1411:.
1398:8
1364:.
1316:.
1294::
1242:.
1230::
1222::
993:.
967:.
478:e
471:t
464:v
374:/
22:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.