(I) They are interpreted rather tha

(I) They are interpreted rather than compiler-based;
(2) they do not rely on an underlying Von Neumann style of computation; (3) they
are based in solid mathematical frameworks so that formal reasoning about the adequacy and
correctness of programs may be accomplished; (4) they have friendly programming environments
and good user interfaces. These programming language features are desirable for the implementation
of any complex system and may only be more firmly entrenched in the AI languages
because of the inherent complexity of AI programming requirements.

결과 (한국어) 1:

(I) 그들은 해석 보다는 컴파일러 기반;(2) 그들은 계산; 기본 폰 노이만 스타일에 의존 하지 않는 (3) 그들은수학적 프레임 워크를 단단한 그 타당성에 대 한 추론 형식에 기반 하 고프로그램의 정확성을 수행할 수 있습니다; (4) 그들은 있다 친절 한 프로그래밍 환경그리고 좋은 사용자 인터페이스입니다. 이러한 프로그래밍 언어의 기능 구현에 대 한 바람직한은어떤 복잡 한 시스템 및 5 월만의 인공 지능 언어에 둘러싸여 더 확고 하 게 될AI의 고유의 복잡성 때문에 프로그래밍 요구 사항입니다.

결과 (한국어) 2:

(I) 그들은 오히려 컴파일러 기반의보다 해석되고,
(2)가 계산의 기본 폰 노이만 스타일에 의존하지 않는; (3) 그들은
적절성과에 대한 형식적인 추론 있도록 고체 수학 프레임 워크에 기반으로하는
프로그램의 정확성이 달성 될 수있다; (4) 그들은 친화적 인 프로그래밍 환경이
좋은 사용자 인터페이스를. 이러한 프로그래밍 언어 기능을 구현하는 것이 바람직하다
복잡한 시스템의 단지 더 단단히 AI 언어로 확고 될 수
있기 때문에 AI 프로그램 요구의 고유 복잡성.

결과 (한국어) 3:

(i) 이 아니라 컴파일러 해석 따라;(2) 안 의지하고, 기본 풍 - 스타일 (3) 이 계산;고체 수학 프레임 따라 이렇게 충분히 정식으로 추리계획을 완성할 수 정확성을; (4) 그들은 우호적인 개발 환경사용자 인터페이스 좋다.이 프로그래밍 언어 기능을 실행 요구.어떤 복잡한 시스템, 아마도 더 꿋꿋하게 인공 언어고유 복잡한 때문에 ai 프로그램 요구.