.png){kind=icon}
返回
An embedded microprocessor for intelligent control
.png){kind=icon}
PRE
AI
DOI：10.1007/s10846-004-4107-z.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The conventional approach for the implementation of the knowledge base of a planning agent, on an intelligent embedded system, is solely of software nature. It requires the existence of a compiler that transforms the initial declarative logic program, specifying the knowledge base, to its equivalent procedural one, to be programmed to the embedded systems microprocessor. This practice increases the complexity of the final implementation (the declarative to sequential transformation adds a great amount of software code for simulating the declarative execution) and reduces the overall systems performance (logic derivations require the use of a stack and a great number of jump instructions for their evaluation). The design of specialized hardware implementations, which are only capable of supporting logic programs, in an effort to resolve the aforementioned problems, introduces limitations in their use in applications where logic programs need to be intertwined with traditional procedural ones in a desired application. In this paper, we exploit HW/SW codesign methods to present a microprocessor, capable of supporting hybrid applications using both programming approaches. We take advantage of the close relationship between attribute grammar (AG) evaluation and knowledge engineering methods to present a programmable hardware parser that performs logic derivations and combine it with an extension of a conventional RISC microprocessor that performs the unification process to report the success or failure of logic derivations. The extended RISC microprocessor is still capable of executing conventional procedural programs, thus hybrid applications can be implemented. The presented implementation increases the performance of logic derivations for the control inference process (experimental analysis yields an approximate 1000% - 10 times increase in performance) and reduces the complexity of the final implemented code through the introduction of an extended C language called C-AG that simplifies the programming of hybrid procedural-declarative applications.
Keyword:
declarative programs
embedded systems
intelligent control
logic programming
microprocessor
RISC
期刊
J
IF:
2.8
论文数:
3.9K
被引数:
6.9K
机构
暂无机构信息
引用论文
.png){kind=icon}
District nurses' experiences with a caseload profiling tool: a service evaluation社区护士使用病例负荷分析工具的体验：一项服务评估
OAAI
OAAI分享收藏Cognitive distortion in interpersonal relations: Clinical implications of social cognitive research on person perception.人际关系中的认知扭曲：关于个体知觉的社会认知研究临床意义。
PREAI
分享收藏
查看更多内容