Hardware implementation of temporal nonmonotonic logics

Song, Insu, and Governatori, Guido (2006) Hardware implementation of temporal nonmonotonic logics. Lecture Notes in Computer Science, 4304. pp. 808-817.

PDF (Published Version) - Published Version
Restricted to Repository staff only

DOI: 10.1007/11941439_85

View at Publisher Website: http://dx.doi.org/10.1007/11941439_85

Abstract

In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric Temporal Logic. This mapping provides a formal specification method for real-time temporal reasoning digital circuits for the temporal nonmonotonic logics.We present our method in the context of synthesizing custom digital hardware (called agent chip) automatically from high level agent specifications.


Item ID:	27834
Item Type:	Article (Research - C1)
ISSN:	1611-3349
Keywords:	agent, chip design, nonmonotonic logic, knowledge representation, temporal logic
Additional Information:	Presented at the 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006.
Date Deposited:	05 Jul 2013 01:20
FoR Codes:	08 INFORMATION AND COMPUTING SCIENCES > 0801 Artificial Intelligence and Image Processing > 080101 Adaptive Agents and Intelligent Robotics @ 50% 08 INFORMATION AND COMPUTING SCIENCES > 0801 Artificial Intelligence and Image Processing > 080108 Neural, Evolutionary and Fuzzy Computation @ 50%
SEO Codes:	89 INFORMATION AND COMMUNICATION SERVICES > 8902 Computer Software and Services > 890201 Application Software Packages (excl. Computer Games) @ 100%
Downloads:	Total: 4
	More Statistics

Actions (Repository Staff Only)

Item Control Page