361:(Mt), collections of concepts and facts typically pertaining to one particular realm of knowledge. Unlike the knowledge base as a whole, each microtheory is required to be free from contradictions. Each microtheory has a name which is a regular constant; microtheory constants contain the string "Mt" by convention. An example is #$ MathMt, the microtheory containing mathematical knowledge. The microtheories can inherit from each other and are organized in a hierarchy:
29:
271:
which can be applied to one or more other concepts and return either true or false. For example, #$ siblings is the sibling relationship, true if the two arguments are siblings. By convention, truth function constants start with a lower-case letter. Truth functions may be broken down into logical
287:
The most important predicates are #$ isa and #$ genls. The first one (#$ isa) describes that one item is an instance of some collection (i.e., specialization), the second one (#$ genls) that one collection is a subcollection of another one (i.e., generalization). Facts about concepts are asserted
278:, which produce new terms from given ones. For example, #$ FruitFn, when provided with an argument describing a type (or collection) of plants, will return the collection of its fruits. By convention, function constants start with an upper-case letter and end with the string "Fn".
349:(Or in looser English, if a given animal has a backbone, then there will be a link from that animal expressing the concept of that animal's "biological Mother". The thing that "fills in the blank" for the biological Mother must also be able to be categorized as a Female Animal.)
333:
with the interpretation "if OBJ is an instance of the collection SUBSET and SUBSET is a subcollection of SUPERSET, then OBJ is an instance of the collection SUPERSET".
148:
471:
802:
812:
480:
807:
748:
346:), there exists a female animal (instance of #$ FemaleAnimal) which is its mother (described by the predicate #$ biologicalMother).
112:
336:
Another more complicated example is one that expresses a rule about a group or category rather than any particular individual, is:
327:
Sentences can also contain variables, strings starting with "?". One important rule asserted about the #$ isa predicate reads
738:
50:
373:
198:
728:
644:
558:
457:
464:
817:
624:
601:
553:
272:
connectives (such as #$ and, #$ or, #$ not, #$ implies), quantifiers (#$ forAll, #$ thereExists, etc.) and predicates.
230:
The truth or falsity of a CycL sentence is context-relative; these contexts are represented in CycL as
Microtheories.
93:
39:
771:
581:
330:(#$ implies (#$ and (#$ isa ?OBJ ?SUBSET) (#$ genls ?SUBSET ?SUPERSET)) (#$ isa ?OBJ ?SUPERSET))
65:
685:
715:
220:
Grouping the constants together in a generalization—specialization hierarchy, usually called categorization.
133:
72:
766:
723:
700:
680:
586:
649:
530:
515:
505:
46:
79:
781:
761:
591:
500:
258:
167:
563:
484:
670:
430:
393:
179:
152:
61:
401:
155:
was instrumental in designing early versions of the language. A close CycL variant exists named
776:
733:
705:
616:
596:
495:
171:
137:
573:
520:
510:
413:
257:, such as #$ Tree-ThePlant (containing all trees) or #$ EquivalenceRelation (containing all
129:
756:
525:
449:
342:
which means that for every instance of the collection #$ ChordataPhylum (i.e., for every
185:
CycL is used to represent the knowledge stored in the Cyc
Knowledge Base, available from
163:
796:
540:
434:
397:
141:
364:
one specialization of #$ MathMt is #$ GeometryGMt, the microtheory about geometry.
202:
86:
606:
190:
175:
28:
417:
243:. Constants start with "#$ " and are case-sensitive. There are constants for:
339:(#$ relationAllExists #$ biologicalMother #$ ChordataPhylum #$ FemaleAnimal)
224:
217:
Naming the constants used to refer to information for represented concepts.
343:
690:
634:
665:
186:
695:
675:
639:
548:
292:. Predicates are written before their arguments, in parentheses:
303:"Bill Clinton belongs to the collection of U.S. presidents" and
453:
194:
145:
22:
17:
374:
List of constructed languages#Knowledge representation
747:
714:
658:
615:
572:
539:
299:(#$ isa #$ BillClinton #$ UnitedStatesPresident) \;
53:. Unsourced material may be challenged and removed.
166:, but the modern version is not. Rather, it is a
201:, to increase its usefulness in supporting the
465:
8:
472:
458:
450:
437:(January 1991). "Cyc: A Mid-Term Report".
261:). A member of a collection is called an
113:Learn how and when to remove this message
16:For artificial intelligence project, see
385:
307:(#$ genls #$ Tree-ThePlant #$ Plant) \;
315:(#$ capitalCity #$ France #$ Paris) \;
251:, such as #$ BillClinton or #$ France.
239:The concept names in Cyc are known as
7:
51:adding citations to reliable sources
357:The knowledge base is divided into
223:Stating general rules that support
162:The original version of CycL was a
803:Knowledge representation languages
319:"Paris is the capital of France."
193:written in CycL released with the
14:
813:Declarative programming languages
283:Specialization and generalization
213:The basic ideas of CycL include:
27:
406:Applied Artificial Intelligence
149:artificial intelligence project
38:needs additional citations for
1:
199:free and open-source software
729:Constraint logic programming
645:Knowledge Interchange Format
602:Procedural reasoning systems
559:Expert systems for mortgages
554:Connectionist expert systems
808:Logic programming languages
625:Attempto Controlled English
834:
247:Individual items known as
15:
772:Preference-based planning
491:
418:10.1080/08839519108927917
481:Knowledge representation
311:"All trees are plants".
716:Constraint satisfaction
134:artificial intelligence
767:Partial-order planning
724:Constraint programming
439:AI Magazine, Fall 1990
197:system is licensed as
174:, with extensions for
650:Web Ontology Language
592:Deductive classifiers
531:Knowledge engineering
516:Model-based reasoning
506:Commonsense reasoning
259:equivalence relations
782:State space planning
762:Multi-agent planning
564:Legal expert systems
501:Case-based reasoning
168:declarative language
47:improve this article
288:using certain CycL
265:of that collection.
227:about the concepts.
170:based on classical
818:Ontology languages
749:Automated planning
617:Ontology languages
587:Constraint solvers
180:higher-order logic
153:Ramanathan V. Guha
790:
789:
777:Reactive planning
734:Local consistency
574:Reasoning systems
521:Inference engines
496:Backward chaining
435:Lenat, Douglas B.
398:Lenat, Douglas B.
172:first-order logic
138:ontology language
123:
122:
115:
97:
825:
526:Proof assistants
511:Forward chaining
474:
467:
460:
451:
446:
422:
421:
400:(January 1991).
390:
182:quantification.
130:computer science
118:
111:
107:
104:
98:
96:
55:
31:
23:
833:
832:
828:
827:
826:
824:
823:
822:
793:
792:
791:
786:
757:Motion planning
743:
710:
659:Theorem provers
654:
611:
582:Theorem provers
568:
535:
487:
478:
429:
426:
425:
392:
391:
387:
382:
370:
355:
340:
331:
325:
285:
269:Truth Functions
237:
211:
119:
108:
102:
99:
56:
54:
44:
32:
21:
12:
11:
5:
831:
829:
821:
820:
815:
810:
805:
795:
794:
788:
787:
785:
784:
779:
774:
769:
764:
759:
753:
751:
745:
744:
742:
741:
736:
731:
726:
720:
718:
712:
711:
709:
708:
703:
698:
693:
688:
683:
678:
673:
668:
662:
660:
656:
655:
653:
652:
647:
642:
637:
632:
627:
621:
619:
613:
612:
610:
609:
604:
599:
597:Logic programs
594:
589:
584:
578:
576:
570:
569:
567:
566:
561:
556:
551:
545:
543:
541:Expert systems
537:
536:
534:
533:
528:
523:
518:
513:
508:
503:
498:
492:
489:
488:
479:
477:
476:
469:
462:
454:
448:
447:
424:
423:
384:
383:
381:
378:
377:
376:
369:
366:
354:
351:
338:
329:
324:
321:
317:
316:
309:
308:
301:
300:
284:
281:
280:
279:
273:
266:
252:
236:
233:
232:
231:
228:
221:
218:
210:
207:
178:operators and
164:frame language
121:
120:
35:
33:
26:
13:
10:
9:
6:
4:
3:
2:
830:
819:
816:
814:
811:
809:
806:
804:
801:
800:
798:
783:
780:
778:
775:
773:
770:
768:
765:
763:
760:
758:
755:
754:
752:
750:
746:
740:
737:
735:
732:
730:
727:
725:
722:
721:
719:
717:
713:
707:
704:
702:
699:
697:
694:
692:
689:
687:
684:
682:
679:
677:
674:
672:
669:
667:
664:
663:
661:
657:
651:
648:
646:
643:
641:
638:
636:
633:
631:
628:
626:
623:
622:
620:
618:
614:
608:
605:
603:
600:
598:
595:
593:
590:
588:
585:
583:
580:
579:
577:
575:
571:
565:
562:
560:
557:
555:
552:
550:
547:
546:
544:
542:
538:
532:
529:
527:
524:
522:
519:
517:
514:
512:
509:
507:
504:
502:
499:
497:
494:
493:
490:
486:
482:
475:
470:
468:
463:
461:
456:
455:
452:
444:
440:
436:
432:
428:
427:
419:
415:
411:
407:
403:
399:
395:
389:
386:
379:
375:
372:
371:
367:
365:
362:
360:
359:microtheories
353:Microtheories
352:
350:
347:
345:
337:
334:
328:
322:
320:
314:
313:
312:
306:
305:
304:
298:
297:
296:
295:For example:
293:
291:
282:
277:
274:
270:
267:
264:
260:
256:
253:
250:
246:
245:
244:
242:
234:
229:
226:
222:
219:
216:
215:
214:
208:
206:
204:
200:
196:
192:
188:
183:
181:
177:
173:
169:
165:
160:
158:
154:
150:
147:
143:
142:Douglas Lenat
139:
135:
131:
127:
117:
114:
106:
95:
92:
88:
85:
81:
78:
74:
71:
67:
64: –
63:
59:
58:Find sources:
52:
48:
42:
41:
36:This article
34:
30:
25:
24:
19:
629:
607:Rule engines
442:
438:
412:(1): 45–86.
409:
405:
388:
363:
358:
356:
348:
341:
335:
332:
326:
318:
310:
302:
294:
289:
286:
275:
268:
262:
254:
248:
240:
238:
212:
203:semantic web
184:
161:
156:
125:
124:
109:
103:January 2021
100:
90:
83:
76:
69:
57:
45:Please help
40:verification
37:
739:SMT solvers
445:(3): 32–59.
255:Collections
249:individuals
209:Basic ideas
191:source code
176:modal logic
797:Categories
431:Guha, R.V.
394:Guha, R.V.
380:References
73:newspapers
485:reasoning
290:sentences
276:Functions
241:constants
235:Constants
225:inference
368:See also
344:chordate
263:instance
140:used by
136:, is an
691:Prover9
686:Paradox
635:F-logic
195:OpenCyc
87:scholar
666:CARINE
189:. The
187:Cycorp
89:
82:
75:
68:
62:"CycL"
60:
696:SPASS
681:Otter
676:Nqthm
640:FO(.)
549:CLIPS
402:"Cyc"
323:Rules
94:JSTOR
80:books
630:CycL
483:and
157:MELD
132:and
126:CycL
66:news
701:TPS
414:doi
146:Cyc
144:'s
128:in
49:by
18:Cyc
799::
706:Z3
443:11
441:.
433:;
408:.
404:.
396:;
205:.
159:.
151:.
671:E
473:e
466:t
459:v
420:.
416::
410:5
116:)
110:(
105:)
101:(
91:·
84:·
77:·
70:·
43:.
20:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.