240:(AAAI) in 1984 (two), 1992, and 2006, and two other papers won similar awards at other conferences. In 2004, one of the 1984 papers was awarded the Classic Paper award of the AAAI, and the other was given an honourable mention. In 2006, a paper written in 1990 was given the inaugural Influential Paper Award by the International Foundation of Autonomous Agents and Multi-Agent Systems.
218:. On the representation side, he has worked on the formalization of a number of concepts pertaining to artificial and natural agents including belief, goals, intentions, ability, and the interaction between knowledge, perception and action. On the reasoning side, his research mainly concerns how
267:
Levesque was elected to the
Executive Council of the AAAI, was a co-founder of the International Conference on Principles of Knowledge Representation and Reasoning, and is on the editorial board of five journals, including the journal
739:
286:
for 1990–91. He is a founding Fellow of the AAAI and was a Fellow of the
Canadian Institute for Advanced Research from 1984 to 1995. In 2006, Levesque was elected to the
283:
275:
734:
729:
278:(IJCAI), and served as President of the Board of Trustees of IJCAI from 2001 to 2003. In 1985, Levesque became the first non-American to receive the
236:
Hector
Levesque has published over 60 research papers, and is the co-author of several books. Four of these papers have won best paper awards of the
744:
237:
588:
545:
502:
459:
358:
256:
251:
during AAAI Spring
Symposium. The idea was written in his article "The Winograd Schemas Challenge" along with collaborators Ernest Davis from
302:
230:
211:
749:
724:
564:
521:
478:
435:
406:
306:
294:
694:
377:
334:
279:
270:
77:
244:
159:
602:
60:
623:
287:
215:
151:
754:
681:
Thirteenth
International Conference on the Principles of Knowledge Representation and Reasoning
676:
199:
191:
183:
155:
87:
50:
650:
759:
8:
252:
219:
582:
539:
496:
453:
352:
570:
560:
527:
517:
484:
474:
441:
431:
412:
402:
383:
373:
340:
330:
223:
369:
Logical foundations for cognitive agents : contributions in honor of Ray Reiter
243:
In 2011, Hector
Levesque proposed a new way to test artificial intelligence called
227:
94:
187:
99:
574:
488:
718:
531:
445:
416:
387:
344:
554:
468:
511:
425:
740:
Fellows of the
Association for the Advancement of Artificial Intelligence
396:
367:
324:
298:
282:. He was the recipient of an E.W.R. Steacie Memorial Fellowship from the
248:
109:
124:
195:
147:
40:
675:
Levesque, Hector; Davis, Ernest; Morgenstern, Leora (2012-05-17).
310:
284:
Natural
Sciences and Engineering Research Council of Canada
186:
in 1975, 1977, and 1981, respectively. His PhD advisor was
276:
International Joint
Conference on Artificial Intelligence
179:
175:
171:
674:
513:
Common sense, the Turing test, and the quest for real AI
274:. In 2001, Levesque was the Conference Chair of the
556:
Machines like us : toward AI with common sense
194:Laboratory for Artificial Intelligence Research in
695:"Hector Levesque receives 2020 Allen Newell Award"
190:. After graduation, he accepted a position at the
553:Brachman, Ronald J.; Levesque, Hector J. (2022).
424:Brachman, Ronald J.; Levesque, Hector J. (2004).
394:
323:Brachman, Ronald J.; Levesque, Hector J. (1985).
716:
552:
423:
395:Levesque, Hector J.; Lakemeyer, Gerhard (2000).
366:Levesque, Hector J.; Pirri, Fiora, eds. (1999).
322:
238:American Association of Artificial Intelligence
470:Thinking as Computation : A First Course
365:
735:Canadian artificial intelligence researchers
158:in intelligent systems and he initiated the
730:Academic staff of the University of Toronto
645:
643:
587:: CS1 maint: location missing publisher (
544:: CS1 maint: location missing publisher (
501:: CS1 maint: location missing publisher (
458:: CS1 maint: location missing publisher (
357:: CS1 maint: location missing publisher (
509:
466:
640:
401:. Cambridge, Massachusetts: MIT Press.
745:Fellows of the Royal Society of Canada
717:
427:Knowledge representation and reasoning
212:knowledge representation and reasoning
154:. His research concerns incorporating
198:, and then joined the faculty at the
621:
326:Readings in knowledge representation
262:
655:Cheriton School of Computer Science
295:IJCAI Award for Research Excellence
16:Canadian academic and AI researcher
13:
202:where he has remained since 1984.
14:
771:
280:IJCAI Computers and Thought Award
247:as a possible alternative of the
677:"The Winograd Schema Challenge"
316:
293:In 2013, Levesque received the
210:His research is in the area of
687:
668:
615:
1:
608:
750:Canadian computer scientists
725:University of Toronto alumni
559:. Cambridge, Massachusetts.
516:. Cambridge, Massachusetts.
510:Levesque, Hector J. (2017).
467:Levesque, Hector J. (2012).
398:The logic of knowledge bases
165:
7:
596:
255:and Leora Morgenstern from
150:academic and researcher in
78:Natural language processing
32:1951 (age 72–73)
10:
776:
297:; and in 2020, along with
245:Winograd Schemas Challenge
160:Winograd Schemas Challenge
624:"Thinking as Computation"
603:Winograd schema challenge
329:. Los Altos, California.
224:computationally tractable
205:
119:
115:
105:
93:
83:
73:
66:
61:Winograd schema challenge
56:
46:
36:
28:
21:
651:"DLS - Hector Levesque"
288:Royal Society of Canada
271:Artificial Intelligence
226:, including the use of
216:artificial intelligence
152:artificial intelligence
473:. Cambridge, MA, USA.
144:Hector Joseph Levesque
23:Hector Joseph Levesque
200:University of Toronto
184:University of Toronto
156:commonsense reasoning
88:University of Toronto
51:University of Toronto
622:Levesque, Hector J.
372:. Berlin: Springer.
253:New York University
220:automated reasoning
301:, he received the
566:978-0-262-36923-7
523:978-0-262-53520-5
480:978-0-262-53474-1
437:978-0-08-048932-2
408:978-0-262-27823-2
263:Honors and awards
146:(born 1951) is a
141:
140:
106:Doctoral students
68:Scientific career
767:
709:
708:
706:
705:
691:
685:
684:
672:
666:
665:
663:
662:
647:
638:
637:
635:
634:
619:
592:
586:
578:
549:
543:
535:
506:
500:
492:
463:
457:
449:
420:
391:
362:
356:
348:
170:He received his
137:
134:
132:
130:
128:
126:
95:Doctoral advisor
19:
18:
775:
774:
770:
769:
768:
766:
765:
764:
715:
714:
713:
712:
703:
701:
699:www.utoronto.ca
693:
692:
688:
673:
669:
660:
658:
649:
648:
641:
632:
630:
620:
616:
611:
599:
580:
579:
567:
537:
536:
524:
494:
493:
481:
451:
450:
438:
409:
380:
350:
349:
337:
319:
305:Award from the
265:
208:
188:John Mylopoulos
168:
123:
100:John Mylopoulos
24:
17:
12:
11:
5:
773:
763:
762:
757:
752:
747:
742:
737:
732:
727:
711:
710:
686:
667:
639:
613:
612:
610:
607:
606:
605:
598:
595:
594:
593:
565:
550:
522:
507:
479:
464:
436:
421:
407:
392:
378:
363:
335:
318:
315:
264:
261:
207:
204:
167:
164:
139:
138:
121:
117:
116:
113:
112:
107:
103:
102:
97:
91:
90:
85:
81:
80:
75:
71:
70:
64:
63:
58:
57:Known for
54:
53:
48:
44:
43:
38:
34:
33:
30:
26:
25:
22:
15:
9:
6:
4:
3:
2:
772:
761:
758:
756:
755:Living people
753:
751:
748:
746:
743:
741:
738:
736:
733:
731:
728:
726:
723:
722:
720:
700:
696:
690:
682:
678:
671:
656:
652:
646:
644:
629:
625:
618:
614:
604:
601:
600:
590:
584:
576:
572:
568:
562:
558:
557:
551:
547:
541:
533:
529:
525:
519:
515:
514:
508:
504:
498:
490:
486:
482:
476:
472:
471:
465:
461:
455:
447:
443:
439:
433:
430:. Amsterdam.
429:
428:
422:
418:
414:
410:
404:
400:
399:
393:
389:
385:
381:
379:3-540-66012-7
375:
371:
370:
364:
360:
354:
346:
342:
338:
336:0-934613-01-X
332:
328:
327:
321:
320:
314:
312:
308:
304:
300:
296:
291:
289:
285:
281:
277:
273:
272:
260:
258:
254:
250:
246:
241:
239:
234:
232:
229:
225:
221:
217:
213:
203:
201:
197:
193:
189:
185:
181:
177:
173:
163:
161:
157:
153:
149:
145:
136:
122:
118:
114:
111:
108:
104:
101:
98:
96:
92:
89:
86:
82:
79:
76:
72:
69:
65:
62:
59:
55:
52:
49:
45:
42:
39:
35:
31:
27:
20:
702:. Retrieved
698:
689:
680:
670:
659:. Retrieved
657:. 2017-02-16
654:
631:. Retrieved
627:
617:
555:
512:
469:
426:
397:
368:
325:
317:Bibliography
292:
269:
266:
242:
235:
231:local search
222:can be kept
209:
169:
143:
142:
84:Institutions
67:
760:1951 births
303:Alan Newell
299:Moshe Vardi
249:Turing test
110:Bart Selman
37:Nationality
719:Categories
704:2022-09-20
661:2022-09-20
633:2022-09-20
609:References
575:1268333687
489:1015998837
628:MIT Press
583:cite book
540:cite book
532:960940230
497:cite book
454:cite book
446:147994324
353:cite book
233:methods.
196:Palo Alto
192:Fairchild
182:from the
166:Education
47:Education
597:See also
417:61725586
388:41355639
345:12286191
148:Canadian
133:/~hector
129:.toronto
41:Canadian
120:Website
573:
563:
530:
520:
487:
477:
444:
434:
415:
405:
386:
376:
343:
333:
228:greedy
206:Career
74:Fields
589:link
571:OCLC
561:ISBN
546:link
528:OCLC
518:ISBN
503:link
485:OCLC
475:ISBN
460:link
442:OCLC
432:ISBN
413:OCLC
403:ISBN
384:OCLC
374:ISBN
359:link
341:OCLC
331:ISBN
311:AAAI
309:and
257:SAIC
178:and
131:.edu
29:Born
307:ACM
214:in
180:PhD
176:MSc
172:BSc
127:.cs
125:www
721::
697:.
679:.
653:.
642:^
626:.
585:}}
581:{{
569:.
542:}}
538:{{
526:.
499:}}
495:{{
483:.
456:}}
452:{{
440:.
411:.
382:.
355:}}
351:{{
339:.
313:.
290:.
259:.
174:,
162:.
707:.
683:.
664:.
636:.
591:)
577:.
548:)
534:.
505:)
491:.
462:)
448:.
419:.
390:.
361:)
347:.
135:/
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.