Title: Mechanisms for converting circuit grammars to definite clauses

Authors: Takushi Tanaka

Addresses: Department of Computer Science and Engineering, Fukuoka Institute of Technology, 3-30-1 Wajiro-Higashi Higashi-ku, Fukuoka 811-0295, Japan

Abstract: The circuit grammar is a logic grammar developed for knowledge representation of electronic circuits. Knowledge on circuit structures and their functions are coded into the grammar rules. Those grammar rules, when converted into definite clauses, form a logic programme which can parse given circuits and derive electrical behaviour. This paper shows mechanisms for converting circuit grammar rules into definite clauses.

Keywords: circuit grammar; knowledge representation; electronic circuits; definite clause grammar; logic grammar; reasoning-based system; grammar rules.

DOI: 10.1504/IJRIS.2011.042263

International Journal of Reasoning-based Intelligent Systems, 2011 Vol.3 No.2, pp.100 - 107

Published online: 02 Sep 2011 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article