Hardware implementation of temporal nonmonotonic logics

Authors:
Insu Song;Guido Governatori
Affiliations:
School of Information Technology & Electrical Engineering, The University of Queensland, Brisbane, QLD, Australia;School of Information Technology & Electrical Engineering, The University of Queensland, Brisbane, QLD, Australia
Venue:
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Year:
2006

Citing 12
Cited 0

On the synthesis of a reactive module

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specifying real-time properties with metric temporal logic

Real-Time Systems
A situated view of representation and control

Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Reasoning about knowledge

Reasoning about knowledge
Default reasoning using classical logic

Artificial Intelligence
A semantic decomposition of defeasible logics

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Specifying Message Passing and Time-Critical Systems with Temporal Logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic
Real-time logics: complexity and expressiveness

Real-time logics: complexity and expressiveness
Argumentation Semantics for Defeasible Logic

Journal of Logic and Computation
Designing agent chips

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A Compact Argumentation System for Agent System Specification

Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium

Quantified Score

Hi-index	0.00

Visualization

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.