Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Temporal logic based on characteristic functions

  • Action and Change
  • Conference paper
  • First Online:
KI-95: Advances in Artificial Intelligence (KI 1995)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 981))

Included in the following conference series:

Abstract

This paper presents an approach to temporal knowledge representation based on reified propositional logic, where times qualifications are interpreted as Characteristic Functions. A characteristic function is a (possibly partial) function describing for what instants of time a logical property holds (or does not hold) — thus it refers to the idea of characteristic function of a set. The calculus is based on generalized episodes consisting of atemporal propositional formula and its time qualification in form of a characteristic function. This generalization of basic episode calculus leads to more powerful language of higher expressive power. Moreover, the possibility of almost straightforward generalization of the proposed language towards multivalued (fuzzy) logics seems to follow naturally from the proposed functional approach.

Supported from KBN Grant No. 8 T11A 013 08.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. J.F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, November 1983.

    Google Scholar 

  2. J.F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123–154, 1984.

    Google Scholar 

  3. M. Bouzid, F. Charpillet, P. Marquis, and J.-P. Haton. Assumption-based truth maintenance in presence of temporal assertions. In Proceedings of the 6th IEEE International Conference on Tools with Artificial Intelligence, pages 492–498, 1994.

    Google Scholar 

  4. M. Bouzid and A. Ligeza. Temporal logic based on characteristic functions. Technical Report 94-R-257, CRIN, 1994.

    Google Scholar 

  5. K.D. Forbus and J. de Kleer. Building Problem Solvers. MIT Press, 1993.

    Google Scholar 

  6. J. Hellendoorn. Reasoning with Fuzzy Logic. The Netherlands, delft edition, 1990.

    Google Scholar 

  7. C. Joubel and O. Raiman. How time changes assumptions. In Proceedings of 9th European Conference on Artificial Intelligence, pages 378–383, 1990.

    Google Scholar 

  8. P.B. Ladkin. Primitive and units for time specification. In Proceedings of the 5th National Conference on AI, AAAI'86, pages 354–359, 1986.

    Google Scholar 

  9. P.B. Ladkin. Time representation: A taxonomy of interval relations. In Proceedings of the 5th National Conference on AI, AAAI'86, pages 360–366, 1986.

    Google Scholar 

  10. A. Ligeza. A direct approach to planning 2-d collision-free paths for robot. In Preprints of the IFAC/IFIP/IMACS Sympasium on Theory of Robots, pages 229–233, 1986.

    Google Scholar 

  11. A. Ligeza. Characteristic functions. an approach to logical reasoning incorporating explicit time representation. Technical Report 39, the Institute of Automatics AGH of Cracow, 1994.

    Google Scholar 

  12. G. Ligozat. On generalised interval calculi. In Proceedings of the 9th National Joint Conference on Artificial Intelligence, AAAI'91, pages 234–240, 1991.

    Google Scholar 

  13. D.V. McDermott. A temporal logic for reasoning about processes and plan. Congnitive Science, 6:101–155, 1982.

    Google Scholar 

  14. R.A. Morris, W.D. Shoaff, and L. Khatib. Path consistency in networks of non-convex intervals. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI'93, pages 655–660, 1993.

    Google Scholar 

  15. W. Pedrycz. Fuzzy Control and Fuzzy Systems. Research Studies Press Ltd., Taunton, Somerset, England and Tohn Wiley and Sons Inc., 1993.

    Google Scholar 

  16. Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, 1987.

    Google Scholar 

  17. J.F.A.K. van Benthem. The Logic of Time. D. Reidel, second edition, 1992.

    Google Scholar 

  18. B.C. Williams. Doing time: putting qualitative reasoning on firmer ground. In Proceedings of the 5th National Conference on AI, AAAI'86, pages 353–360, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CRIN-CNRS & INRIA Lorraine, Bâtiment LORIA, BP 239, 54506, Vandœuvre-lès-Nancy, France

    Maroua Bouzid

  2. Institute of Automatics AGH, al. Mickiewicza 30, 30-059, Kraków (Cracow), Poland

    Antoni Ligeza

Authors
  1. Maroua Bouzid
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antoni Ligeza
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ipke Wachsmuth Claus-Rainer Rollinger Wilfried Brauer

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bouzid, M., Ligeza, A. (1995). Temporal logic based on characteristic functions. In: Wachsmuth, I., Rollinger, CR., Brauer, W. (eds) KI-95: Advances in Artificial Intelligence. KI 1995. Lecture Notes in Computer Science, vol 981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60343-3_39

Download citation

  • DOI: https://doi.org/10.1007/3-540-60343-3_39

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60343-6

  • Online ISBN: 978-3-540-44944-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation