Integrated embedded prolog platform for rule-based control systems

Proceedings of the International Conference on Mixed Design of Integrated Circuits and Systems, MIXDES 2006

Volumn , Issue , 2006, Pages 716-721

  Nalepa, G J ^a,b   Ziecik P ^a,c  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

^b JAN KOCHANOWSKI UNIVERSITY   (Poland)

^c Kielce Pedagogical University ^*

Author keywords

Embedded systems; EPP; GNU Linux; Intelligent control; Prolog; Rule based systems; XTT

Indexed keywords

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; INTELLIGENT CONTROL; MICROELECTRONICS; NETWORK ARCHITECTURE;

EMBEDDED CONTROL SYSTEMS; EMBEDDED RUNTIME; INTEGRATED EMBEDDED PROLOG; PROLOG-BASED PLATFORMS;

KNOWLEDGE BASED SYSTEMS;

EID: 38149133700     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Ivan Bratko. Prolog Programming for Artificial Intelligence. Addison Wesley, 3rd edition, 2000.
2. Jay Liebowitz, editor. The Handbook of Applied Expert Systems. CRC Press, Boca Raton, 1998. ISBN 0-8493-3106-4.
3. Antoni Ligȩza. Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg, 2006.
4. Motorola, Archived by Freescale Semiconductor, Inc. M68EZ328ADS v2.0, Application Development System User's Manual, revision 1.0 edition, 19 january 2000.
5. Motorola, Archived by Freescale Semiconductor, Inc. MC68EZ328 DragonBall-EZ Integrated Processor User's Manual, rev. 1 11/98 edition, 2005.
6. Grzegorz J. Nalepa and Antoni Ligȩza. Conceptual modelling and automated implementation of rule-based systems. In Tomasz Szmuc Krzysztof Zieliński, editor, Software engineering : evolution and emerging technologies, volume 130 of Frontiers in Artificial Intelligence and Applications, pages 330-340. IOS Press, 2005.
7. Grzegorz J. Nalepa and Antoni Ligȩza. A graphical tabular model for rule-based logic programming and verification. Systems Science, 31(2):89-95, 2005.
8. Grzegorz J. Nalepa and Antoni Ligȩza. Security systems design and analysis using an integrated rule-based systems approach. In Piotr Szczepaniak, Janusz Kacprzyk, and Adam Niewiadomski, editors, Advances in Web Intelligence: 3rd Atlantic Web Intelligence Conference AWIC 2005, volume LNAI3528. Springer-Verlag, 2005.
9. Grzegorz J. Nalepa and Antoni Ligȩza. A visual edition tool for design and verification of knowledge in rule-based systems. Systems Science, 31(3): 103-109, 2005.
10. Grzegorz J. Nalepa and Antoni Ligȩza, Prolog-based analysis of tabular rule-based systems with the xtt approach. In to be published in: Proceedings of the 19th FLAIRS Conference, Melbourne Beach, Florida, USA. AAAI Press, 2006.
11. G. Scott Owen. Rt prolog: a real time prolog written in ada. In CSC '88: Proceedings of the 1988 ACM sixteenth annual conference on Computer science, page 684, New York, NY, USA, 1988. ACM Press.
12. Ian Sommerville. Software Engineering. International Computer Science. Pearson Education Limited, 7th edition, 2004.