F T E: A Fuzzy Timed Action Language

Youzhi Zhang, Xudong Luo, Yuping Shen

Abstract

This paper proposes a fuzzy approach for reasoning about action and change in timed domains. In our method, actions and world states are modeled as fuzzy sets over time axis. Thus, their temporal relations and time constraints can be model as fuzzy rules. So, our method handles well the issue that action happens at an approximate time and then the states change also at an approximate time, which has not been solved well in existing work. Finally, our method is used to solve the classic problem of rail road crossing control in a fuzzy environment. The theoretic and simulation analysis shows that the controller using our method works well

References

  1. Acampora, G., Loia, V., Vitiello, A. (2010): Hybridizing Fuzzy Control and Timed Automata for Modeling Variable Structure Fuzzy Systems. Proceedings of 2010 IEEE International Conference on Fuzzy Systems, 1-8
  2. Alur, R. (1999): Timed Automata. Proceedings of the 11th International Conference on Computer-Aided Verification. Lecture Notes in Computer Science, 1633, 8- 22
  3. Alvarez-Alvarez, A., Gracian Trivino, G., Cordòn, O. (2011): Body Posture Recognition by Means of a Genetic Fuzzy Finite State Machine. Proceedings of the 5th IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems, 60-65
  4. Alvarez-Alvarez, A., Trivino, G., Cordón, O. (2012): Human Gait Modeling Using a Genetic Fuzzy Finite State Machine. Proceedings of 2012 IEEE Transactions on Fuzzy Systems, 20(2), 205-223
  5. Andrés, C., Llana, L., Nún˜ez, M. (2011): Self-Adaptive Fuzzy-Timed Systems. Proceedings of 2011 IEEE Congress on Evolutionary Computation, 115-122
  6. Barbosa, R. S., Jesus, I. S., Silva, M.F. (2010): Fuzzy Reasoning in Fractional-Order PD Controllers. In: New Aspects of Applied Informatics, Biomedical Electronics & Informatics and Communications, 252-257
  7. Cao, Y., Wang, H., Sun, S. X., Chen, G. (2011): A Behavioral Distance for Fuzzy-Transition Systems. The Computing Research Repository: abs/1110.0248v1
  8. Gómez, M., Lizasoain, I., Moreno, C. (2012): LatticeValued Finite State Machines and Lattice-Valued Transformation Semigroups. Fuzzy Sets and Systems, (In Press)
  9. Huang, Z., Huang, Q. (2012): To Reach Consensus Using Uninorm Aggregation Operator: A Gossip-Based Protocol. International Journal of Intelligent Systems, 27(4), 375-359
  10. Li, Y. (2011): Finite Automata Theory with Membership Values in Lattices. Information Sciences, 181(5), 1003-1017
  11. Luo, X., Zhang, C., Jennings, N. R. (2002): A Hybrid Model for Sharing Information Between Fuzzy, Uncertain and Default Reasoning Models in Multi-Agent Systems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 10(4), 401-450
  12. Luo, X., Jennings, N. R. (2007): A Spectrum of Compromise Aggregation Operators for Multi-attribute Decision Making, 171(2-3), 161-184
  13. Mueller, E. T. (2009): Automating Commonsense Reasoning Using the Event Calculus. Communications of the ACM, 52(1), 113-117
  14. Nanda, S., Das, N. R. (2010): Fuzzy Mathematical Concepts. Alpha Science Intl Ltd
  15. Reiter, R. (2001): Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press
  16. Ribaric, S., Hrkac, T. (2012): A Model of Fuzzy SpatioTemporal Knowledge Representation and Reasoning Based on High-level Petri Nets. Information Systems, 37(3), 238-256
  17. Sandewall, E. (1994): Features and Fluents: The Representation of Knowledge about Dynamical Systems, vol. 1, Oxford University Press, Oxford
  18. Schiffer, S., Ferrein, A., Lakemeyer, G. (2011): Fuzzy Representations and Control for Domestic Service Robots in Golog. Intelligent Robotics and Applications, Lecture Notes in Computer Science, 7102, 241-250
  19. Schiffer, S., Ferrein,A., Lakemeyer, G. (2012): Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. Journal of Intelligent & Robotic Systems, 66(1-2), 273-300
  20. Shanahan, M. (1997): Solving the Frame Problem: A MathEmatical Investigation of the Common Sense Law of Inertia. MIT Press
  21. Shen, Y., Dang, G., Zhao, X. (2010): Reasoning about Action and Change in Timed Domains. Proceedings of the 13th International Workshop on Nonmonotonic Reasoning, Toronto, Canada
  22. Stamenkovic, A., Ciric, M. (2012): Construction of Fuzzy Automata from Fuzzy Regularexpressions. Fuzzy Sets and Systems, 199, 1-27
  23. Thielscher, M. (2011): A Unifying Action Calculus. Artificial Intelligence, 175(1), 120-141
  24. Tiwari, S. P., Singh, A. K., Sharan, S. (2012): Fuzzy Automata Based on Lattice-Ordered Monoid and Associated Topology. Journal of Uncertain Systems, 6(1), 51-55
  25. van Harmelen, F., Lifschitz, V., Porter, B. (2008): Handbook of Knowledge Representation. Elsevier Science
  26. Varzinczak, I. (2010): On Action Theory Change. Journal of Artificial Intelligence Research, 37, 189-246
  27. Wan, H., Ma, Y., Xiao, X., and Shen, Y (2012): te2asp : Implementing T E via Answer Set Programming. PRICAI 2012: Trends in Artificial Intelligence, Lecture Notes in Artificial Intelligence, 7458, 820-825
  28. Zadeh, L. A. (1965): Fuzzy Sets. Information and Control, 8(3), 338-353
  29. Zadeh, L. A. (1975): Fuzzy Logic and Approximate Reasoning, Synthese, 30(3-4), 407-428
Download


Paper Citation


in Harvard Style

Zhang Y., Luo X. and Shen Y. (2013). F T E: A Fuzzy Timed Action Language . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8565-39-6, pages 295-302. DOI: 10.5220/0004258402950302


in Bibtex Style

@conference{icaart13,
author={Youzhi Zhang and Xudong Luo and Yuping Shen},
title={F T E: A Fuzzy Timed Action Language},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2013},
pages={295-302},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004258402950302},
isbn={978-989-8565-39-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - F T E: A Fuzzy Timed Action Language
SN - 978-989-8565-39-6
AU - Zhang Y.
AU - Luo X.
AU - Shen Y.
PY - 2013
SP - 295
EP - 302
DO - 10.5220/0004258402950302