Automatic synthesis of reactive agents
Conference Publication ResearchOnline@JCUAbstract
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.
Journal
N/A
Publication Name
11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010
Volume
1
ISBN/ISSN
978-1-4244-7814-9
Edition
N/A
Issue
N/A
Pages Count
6
Location
Singapore
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publisher Url
N/A
Publisher Location
N/A
Publish Date
N/A
Url
N/A
Date
N/A
EISSN
N/A
DOI
10.1109/ICARCV.2010.5707867