In the late 1960s and early 1970s,

In the late 1960s and early 1970s, a number of researchers in A1 began to build
systems that could plan how to autonomously achieve goals (Allen et al., 1990).
Clearly, if such a system is required to interact with humans or other autonomous
agents, then such plans must include speech actions. Ths introduced the question
of how the properties of speech acts could be represented such that planning
systems could reason about them. Cohen and Perrault (1979) gave an account
of the semantics of speech acts by using techques developed in AI planning
research (Fikes and Nilsson, 1971). The aim of their work was to develop a theory
of speech acts
. . .by modelling them in a planning system as operators defined. . .in
terms of speakers' and hearers' beliefs and goals. Thus speech acts are
treated in the same way as physical actions.
(Cohen and Perrault, 1979)
The formalism chosen by Cohen and Perrault was the STRIPS notation, in whch
the properties of an action are characterized via preconditions and postconditions
(Fikes and Nilsson, 1971). The idea is very similar to Hoare logic (Hoare, 1969).
Cohen and Perrault demonstrated how the preconditions and postconditions of
speech acts such as request could be represented in a multimodal logic containing
operators for describing the beliefs, abilities, and wants of the participants in the
speech act.

Kết quả (Việt) 1:

Trong cuối thập niên 1960 và đầu thập niên 1970, một số nhà nghiên cứu ở A1 đã bắt đầu xây dựngHệ thống có thể có kế hoạch làm thế nào để autonomously đạt được mục tiêu (Allen và ctv., năm 1990).Rõ ràng, nếu một hệ thống như là cần thiết để tương tác với con người hay khác tự trịĐại lý, sau đó như kế hoạch phải bao gồm các hành động lời nói. ThS giới thiệu các câu hỏicủa các thuộc tính của giọng nói hoạt động như thế nào có thể được đại diện sao cho có kế hoạchHệ thống có thể lý do về họ. Cohen, Perrault (1979) đã cho một tài khoảnngữ nghĩa của lời nói hành động bằng cách sử dụng techques phát triển trong AI kế hoạchnghiên cứu (Fikes và Nilsson, 1971). Mục đích của công việc của họ là để phát triển một lý thuyếttrong lời nói hành vi.. .bởi mô hình trong một hệ thống lập kế hoạch như nhà khai thác xác định lại nđiều khoản của loa và việc tín ngưỡng và mục tiêu. Vì vậy lời nói hành viđiều trị theo cùng một cách như là hành động thể chất.(Cohen và Perrault, 1979)Hình thức lựa chọn của Cohen và Perrault là ký hiệu DẢI, trong whchCác thuộc tính của một hành động được đặc trưng qua điều kiện tiên quyết và postconditions(Fikes và Nilsson, 1971). Ý tưởng là rất tương tự như luận lý Hoare (Hoare, 1969).Cohen và Perrault đã chứng minh làm thế nào những điều kiện tiên quyết và postconditions củabài phát biểu đóng vai trò như yêu cầu có thể được biểu diễn trong một đa phương thức logic có chứaCác nước sử dụng để mô tả niềm tin, khả năng và mong muốn của những người tham gia trong cáchành động lời nói.

Kết quả (Việt) 2:

Vào cuối những năm 1960 và đầu những năm 1970, một số nhà nghiên cứu ở A1 bắt đầu xây dựng
hệ thống có thể có kế hoạch làm thế nào để tự chủ đạt được mục tiêu (Allen et al., 1990).
Rõ ràng, nếu một hệ thống như vậy là cần thiết để tương tác với con người hoặc khác tự trị
đại lý, sau đó kế hoạch đó phải bao gồm những hành động lời nói. Ths giới thiệu các câu hỏi
về cách thức các tính chất của hành vi lời nói có thể được biểu diễn như vậy mà quy hoạch
hệ thống có thể lý luận về chúng. Cohen và Perrault (1979) đã đưa ra một tài khoản
của ngữ nghĩa của hành vi lời nói bằng cách sử dụng techques phát triển trong AI có kế hoạch
nghiên cứu (Fikes và Nilsson, 1971). Mục đích của công việc của họ đã phát triển một lý thuyết
về hành vi lời nói
. . .by mô hình hóa chúng trong một hệ thống quy hoạch là nhà khai thác xác định. . .in
về loa và người nghe 'niềm tin và mục tiêu. Như vậy hành vi lời nói được
điều trị trong cùng một cách như hành động vật lý.
(Cohen và Perrault, 1979)
Các hình thức lựa chọn bởi Cohen và Perrault là ký hiệu DẢI, trong whch
các thuộc tính của một hành động được đặc trưng qua điều kiện tiên quyết và hậu
(Fikes và Nilsson, 1971). Ý tưởng này rất giống với Hoare logic (Hoare, 1969).
Cohen và Perrault chứng minh làm thế nào các điều kiện tiên quyết và hậu của
lời nói hành động như yêu cầu có thể được đại diện trong một logic đa phương thức có chứa
các nhà khai thác để mô tả niềm tin, khả năng và mong muốn của những người tham gia trong
hành động lời nói.