헥터 레베스크 "Hector Levesque #지식표현 #추론분야 #인공지능"
(헥터 레베스크 1951)
#에릭랄슨: #인공지능 #신화 컴퓨터가 우리가 하는 방식으로 생각할 수 없는 이유
My research is in the area of knowledge representation and reasoning in artificial intelligence. 저의 연구는 지식 표현 및 추론 분야입니다. 인공 지능.
On the representation side, I've 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, my research mainly concerns how automated reasoning can be kept computationally tractable, including the use of local search methods. More, you say? Less?
추론 측면에서는 연구는 주로 자동화된 추론을 어떻게 유지할 수 있는지에 관한 것입니다. 로컬 검색 방법의 사용을 포함하여 계산적으로 추적할 수 있습니다. 더라고 하셨나요? 덜?
저서
-
New: The Logic of Knowledge Bases: Second Edition, College Publications, 2023.
-
Tradebook: Machines like Us: Toward AI with Common Sense, MIT Press, 2022. 트레이드북: 우리 같은 기계: 상식을 갖춘 AI를 향하여, MIT Press, 2022.
-
Project Book: Programming Cognitive Robots, 2019. 프로젝트 북: 인지 로봇 프로그래밍, 2019.
-
Tradebook: Common Sense, the Turing Test, and the Quest for Real AI, MIT Press, 2017. 트레이드북: 상식, 튜링 테스트, 그리고 진정한 AI를 위한 탐구, MIT Press, 2017.
-
Undergraduate Textbook: Thinking as Computation, MIT Press, 2012. 학부 교과서: 사고를 계산으로, MIT Press, 2012. Supplementary material for course instructors can be found here. 코스 교수자를 위한 추가 자료는 다음과 같습니다. 여기.
-
Graduate Textbook: Knowledge Representation and Reasoning, Morgan Kaufmann, 2004. 대학원 교과서: 지식 표현 및 추론, 모건 카우프만, 2004. Overhead slides for a course based on this book can be downloaded from here. 이 책을 기반으로 한 강의의 오버헤드 슬라이드 여기에서 다운로드할 수 있습니다.
Related-Notes
References
헥터 레베스크. 1951. “Hector Levesque #지식표현 #추론분야 #인공지능.” 1951. https://www.cs.toronto.edu/~hector/.