Synthesizing efficient agents from partial programs

Jane Yung Jen Hsu

doi:10.1007/3-540-54563-8_78

Synthesizing efficient agents from partial programs

Jane Yung Jen Hsu^*

^*此作品的通信作者

Stanford University

研究成果: 圖書/報告稿件的類型 › 會議稿件 › 同行評審

摘要

Partial programs are useful for incremental specifications of an agent's behavior in dynamic environments. Unfortunately, executing arbitrary partial programs involves theorem proving, which can be computationally intractable. This paper presents an algorithm for generating efficient implementations of agent behavior from a subclass of partial programs. The algorithm employs a completion strategy that systematically reduces the number of previous percepts being considered. As a result, the compiled structure corresponds to a finite agent with minimal perceptual histories so that its actions can be decided within a bounded time during execution.

原文	英語
主出版物標題	Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings
編輯	Zbigniew W. Ras, Maria Zemankova
發行者	Springer Verlag
頁面	142-151
頁數	10
ISBN（列印）	9783540545637
DOIs	https://doi.org/10.1007/3-540-54563-8_78
出版狀態	已出版 - 1991
對外發佈	是
事件	6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991 - Charlotte , 美國持續時間: 16 10 1991 → 19 10 1991

出版系列

名字	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	542 LNAI Part F2
ISSN（列印）	0302-9743
ISSN（電子）	1611-3349

Conference

Conference	6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991
國家/地區	美國
城市	Charlotte
期間	16/10/91 → 19/10/91

文獻附註

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.

存取文件

10.1007/3-540-54563-8_78

其它文件與鏈接

Link to publication in Scopus

引用此

Hsu, J. Y. J. (1991). Synthesizing efficient agents from partial programs. 於 Z. W. Ras, & M. Zemankova (編輯), Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings (頁 142-151). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 542 LNAI Part F2). Springer Verlag. https://doi.org/10.1007/3-540-54563-8_78

Hsu, Jane Yung Jen. / Synthesizing efficient agents from partial programs. Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings. 編輯 / Zbigniew W. Ras ; Maria Zemankova. Springer Verlag, 1991. 頁 142-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2809bdb2cc354aae81396c893b8f8735,

title = "Synthesizing efficient agents from partial programs",

abstract = "Partial programs are useful for incremental specifications of an agent's behavior in dynamic environments. Unfortunately, executing arbitrary partial programs involves theorem proving, which can be computationally intractable. This paper presents an algorithm for generating efficient implementations of agent behavior from a subclass of partial programs. The algorithm employs a completion strategy that systematically reduces the number of previous percepts being considered. As a result, the compiled structure corresponds to a finite agent with minimal perceptual histories so that its actions can be decided within a bounded time during execution.",

author = "Hsu, \{Jane Yung Jen\}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1991.; 6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991 ; Conference date: 16-10-1991 Through 19-10-1991",

year = "1991",

doi = "10.1007/3-540-54563-8\_78",

language = "英语",

isbn = "9783540545637",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "142--151",

editor = "Ras, \{Zbigniew W.\} and Maria Zemankova",

booktitle = "Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings",

address = "德国",

}

Hsu, JYJ 1991, Synthesizing efficient agents from partial programs. 於 ZW Ras & M Zemankova (編輯), Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 542 LNAI Part F2, Springer Verlag, 頁 142-151, 6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991, Charlotte , 美國, 16/10/91. https://doi.org/10.1007/3-540-54563-8_78

Synthesizing efficient agents from partial programs. / Hsu, Jane Yung Jen.
Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings. 編輯 / Zbigniew W. Ras; Maria Zemankova. Springer Verlag, 1991. p. 142-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 542 LNAI Part F2).

研究成果: 圖書/報告稿件的類型 › 會議稿件 › 同行評審

TY - GEN

T1 - Synthesizing efficient agents from partial programs

AU - Hsu, Jane Yung Jen

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1991.

PY - 1991

Y1 - 1991

N2 - Partial programs are useful for incremental specifications of an agent's behavior in dynamic environments. Unfortunately, executing arbitrary partial programs involves theorem proving, which can be computationally intractable. This paper presents an algorithm for generating efficient implementations of agent behavior from a subclass of partial programs. The algorithm employs a completion strategy that systematically reduces the number of previous percepts being considered. As a result, the compiled structure corresponds to a finite agent with minimal perceptual histories so that its actions can be decided within a bounded time during execution.

AB - Partial programs are useful for incremental specifications of an agent's behavior in dynamic environments. Unfortunately, executing arbitrary partial programs involves theorem proving, which can be computationally intractable. This paper presents an algorithm for generating efficient implementations of agent behavior from a subclass of partial programs. The algorithm employs a completion strategy that systematically reduces the number of previous percepts being considered. As a result, the compiled structure corresponds to a finite agent with minimal perceptual histories so that its actions can be decided within a bounded time during execution.

UR - https://www.scopus.com/pages/publications/85037140127

U2 - 10.1007/3-540-54563-8_78

DO - 10.1007/3-540-54563-8_78

M3 - 会议稿件

AN - SCOPUS:85037140127

SN - 9783540545637

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 142

EP - 151

BT - Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings

A2 - Ras, Zbigniew W.

A2 - Zemankova, Maria

PB - Springer Verlag

T2 - 6th International Symposium on Methodologies for Intelligent Systems, ISMIS 1991

Y2 - 16 October 1991 through 19 October 1991

ER -

Hsu JYJ. Synthesizing efficient agents from partial programs. 於 Ras ZW, Zemankova M, 編輯, Methodologies for Intelligent Systems - 6th International Symposium, ISMIS 1991, Proceedings. Springer Verlag. 1991. p. 142-151. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-54563-8_78

Synthesizing efficient agents from partial programs

摘要

出版系列

Conference

文獻附註

存取文件

其它文件與鏈接

指紋

引用此