A Defeasible Deontic Model for Intelligent Simulation

Kazumi Nakamatsu

Abstract

We introduce an intelligent drivers’ model for traffic simulation in a small area including some intersections, which is formalized in a paraconsistent annotated logic program EVALPSN. The intelligent drivers’ model can infer drivers’ speed control actions such as “slow down” based on EVALPSN defeasible deontic reasoning and deal with minute speed change of cars in the simulation system.

References

  1. Blair,H.A. and Subrahmanian,V.S., Paraconsistent Logic Programming, Theoretical Computer Science, 68, pp.135-154, 1989.
  2. da Costa,N.C.A., Subrahmanian,V.S., and Vago,C., The Paraconsistent Logics PT , Zeitschrift für Mathematische Logic und Grundlangen der Mathematik, 37, pp.139-148, 1991.
  3. Nakamatsu,K., Abe,J.M., and Suzuki,A., Defeasible Reasoning Between Conflicting Agents Based on VALPSN, Proc. AAAI Workshop Agents' Conflicts, pp.20-27, AAAI Press, 1999.
  4. Nakamatsu,K., Abe,J.M., and Suzuki,A., A Defeasible Deontic Reasoning System Based on Annotated Logic Programming, Proc. the Fourth International Conference on Computing Anticipatory Systems, AIP Conference Proceedings 573, pp.609-620, AIP, 2001.
  5. Nakamatsu,K., Abe,J.M., and Suzuki,A., Annotated Semantics for Defeasible Deontic Reasoning, Proc. the Second International Conference on Rough Sets and Current Trends in Computing, LNAI 2005, pp.432-440, Springer-Verlag, 2001.
  6. Nakamatsu,K., Abe,J.M., and Suzuki,A., Defeasible Deontic Robot Control Based on Extended Vector Annotated Logic Programming, Proc. the Fifth International Conference on Computing Anticipatory Systems, AIP Conference Proceedings 627, pp.490-500, AIP, 2002.
  7. Nakamatsu,K., Mita,Y., and Shibata,T., “An Intelligent Action Control System Based on Extended Vector Annotated Logic Program and its Hardware Implementation”, Intelligent Automation and Soft Computing, 12, TSI Press, 2006 (to appear).
  8. Nakamatsu,K., Mita,Y., Shibata,T., and Abe,J.M., Defeasible Deontic Action Control Based on Paraconsistent Logic Program and its Hardware Implementation, Proc. 3rd International Conference on Computational Intelligence for Modelling Control and Automation (CDROM), 2003.
  9. Nakamatsu,K., Seno,T., Abe,J.M., and Suzuki,A., “Intelligent Real-time Traffic Signal Control Based on a Paraconsistent Logic Program EVALP”, Proc. the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, LNCS 2639, pp.719-723, Springer-Verlag, 2003.
  10. Nute,D.(ed.) Defeasible Deontic Reasoning, Synthese Library, 263, Kluwer Academic Publishers, 1997.
Download


Paper Citation


in Harvard Style

Nakamatsu K. (2006). A Defeasible Deontic Model for Intelligent Simulation . In Proceedings of the 3rd International Workshop on Computer Supported Activity Coordination - Volume 1: CSAC, (ICEIS 2006) ISBN 978-972-8865-53-5, pages 35-44. DOI: 10.5220/0002486500350044


in Bibtex Style

@conference{csac06,
author={Kazumi Nakamatsu},
title={A Defeasible Deontic Model for Intelligent Simulation},
booktitle={Proceedings of the 3rd International Workshop on Computer Supported Activity Coordination - Volume 1: CSAC, (ICEIS 2006)},
year={2006},
pages={35-44},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002486500350044},
isbn={978-972-8865-53-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Computer Supported Activity Coordination - Volume 1: CSAC, (ICEIS 2006)
TI - A Defeasible Deontic Model for Intelligent Simulation
SN - 978-972-8865-53-5
AU - Nakamatsu K.
PY - 2006
SP - 35
EP - 44
DO - 10.5220/0002486500350044