Automatic synthesis of reactive agents
Song, Insu, Governatori, Guido, and Diederich, Joachim (2010) Automatic synthesis of reactive agents. Proceedings of the 11th International Conference on Control Automation Robotics and Vision. 11th International Conference on Control Automation Robotics and Vision (ICARCV 2010) , 7-10 December 2010, Singapore , pp. 970-975.
|PDF (Published Version) - Repository staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
View at Publisher Website: http://dx.doi.org/10.1109/ICARCV.2010.57...
This paper introduces a new approach to designing smart control chips that enables automatic synthesis of real-time control systems from agent specifications. An agent specification is compiled into a hardware description format, such as RTL-VHDL (Register Transfer Level-VLSI Hardware Description Language) or RTL Verilog, which is synthesized using computer-assisted tools to develop ASIC masks or FPGA configurations. A rule-based specification language called Layered Argumentation System (LAS) is defined and a sound and complete mapping to Verilog is developed. LAS combines fuzzy reasoning and nonmonotonic reasoning. This enables chip designers to capture commonsense knowledge and concepts having varying degrees of confidence collaboratively and incrementally.
|Item Type:||Conference Item (Refereed Research Paper - E1)|
|Keywords:||agent programming; circuit synthesis; control systems; fuzzy controller; logic controller; reactive systems|
|FoR Codes:||08 INFORMATION AND COMPUTING SCIENCES > 0802 Computation Theory and Mathematics > 080203 Computational Logic and Formal Languages @ 50%|
09 ENGINEERING > 0906 Electrical and Electronic Engineering > 090601 Circuits and Systems @ 25%
09 ENGINEERING > 0906 Electrical and Electronic Engineering > 090602 Control Systems, Robotics and Automation @ 25%
|SEO Codes:||89 INFORMATION AND COMMUNICATION SERVICES > 8902 Computer Software and Services > 890201 Application Software Packages (excl. Computer Games) @ 100%|
|Deposited On:||25 Oct 2012 15:21|
|Last Modified:||30 Apr 2013 02:13|
Last 12 Months: 3
|Citation Counts with External Providers:||Web of Science: 0|
Repository Staff Only: item control page