MODELLING ADAPTIVE CONTROLLERS WITH EVOLVING LOGIC PROGRAMS

Pierangelo Dell’Acqua, Anna Lombardi, Luís Moniz Pereira

Abstract

The paper presents the use of Evolving Logic Programming to model adaptive controllers. The advantage of using well-defined, self-evolving logic-based controllers is that it is possible to model dynamic environments, and to formally prove systems’ requirements.

References

  1. Alferes, J. J., Brogi, A., Leite, J. A., and Pereira, L. M. (2002). Evolving logic programs. In Procs. 8th European Conf. on Logics in Artificial Intelligence (JELIA'02), vol. 242 of LNAI, pp. 50-61.
  2. Alferes, J. J., Leite, J. A., Pereira, L. M., Przymusinska, H., and Przymusinski, T. C. (2000). Dynamic updates of non-monotonic knowledge bases. The J. of Logic Programming, 45(1-3):43-70.
  3. Alferes, J. J. and Pereira, L. M. (2000). Updates plus preferences. In Aciego, M. O., de Guzmn, I. P., Brewka, G., and Pereira, L. M., editors, Logics in AI, Procs. JELIA'00, LNAI 1919, pp. 345-360.
  4. A°strom, K. J. and Wittenmark, B. (1990). ComputerControlled Systems.Theory and Design. Prentice Hall Internal Inc.
  5. Castro, J. F. and Pereira, L. M. (2004). Abductive validation of a power-grid expert system diagnoser. In Procs. 17th Int. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE'04), vol. 3029 of LNAI, pp. 838-847.
  6. Feng, G. (2002). An approach to adaptive control of fuzzy dynamic systems. IEEE Transactions on Fuzzy Systems, 10(2):268-275.
  7. Feng, G., Cao, S., Rees, N., and Cheng, C. (1997). Analysis and design of model based fuzzy control systems. In Proc. Sixth IEEE Int. Conf. on Fuzzy Systems, vol. 2, pp. 901 - 906.
  8. Hespanha, J. P., Liberzon, D., and Morse, A. S. Overcoming the limitations of adaptive control by means of logic-based switching. Systems and Control Letters, 49(1):49-65.
  9. Lifschitz, V. and Woo, T. (1992). Answer sets in general non-monotonic reasoning (preliminary report). In Nebel, B., Rich, C., and Swartout, W., editors, KR'92. Morgan-Kaufmann.
  10. Mamdani, E. and Baaklini, N. (1975). Prescriptive method for deriving control policy in a fuzzy-logic controller. Electronic Letters, 11(25/26):625-626.
  11. Takagi, T. and Sugeno, M. (1985). Fuzzy identification of systems and its applications to modeling and control, IEEE Trans. Syst. Man. & Cybern., 15(1):116-132.
Download


Paper Citation


in Harvard Style

Dell’Acqua P., Lombardi A. and Moniz Pereira L. (2006). MODELLING ADAPTIVE CONTROLLERS WITH EVOLVING LOGIC PROGRAMS . In Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO, ISBN 978-972-8865-59-7, pages 107-112. DOI: 10.5220/0001220501070112


in Bibtex Style

@conference{icinco06,
author={Pierangelo Dell’Acqua and Anna Lombardi and Luís Moniz Pereira},
title={MODELLING ADAPTIVE CONTROLLERS WITH EVOLVING LOGIC PROGRAMS},
booktitle={Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,},
year={2006},
pages={107-112},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001220501070112},
isbn={978-972-8865-59-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics - Volume 1: ICINCO,
TI - MODELLING ADAPTIVE CONTROLLERS WITH EVOLVING LOGIC PROGRAMS
SN - 978-972-8865-59-7
AU - Dell’Acqua P.
AU - Lombardi A.
AU - Moniz Pereira L.
PY - 2006
SP - 107
EP - 112
DO - 10.5220/0001220501070112