The examples demonstrate the power of extended logic programs as a knowledge rep¬resentation language and outline basic ideas of the methodology of representing knowledge about action and time.
Những ví dụ chứng minh sức mạnh của chương trình kéo dài logic như là một kiến thức rep¬resentation ngôn ngữ và phác thảo ý tưởng cơ bản của phương pháp luận của đại diện cho các kiến thức về hành động và thời gian.
Các ví dụ chứng minh sức mạnh của chương trình logic mở rộng như một ngôn ngữ rep¬resentation kiến thức và phác thảo những ý tưởng cơ bản của phương pháp luận của đại diện các kiến thức về hành động và thời gian.