A Temporal Ontology for Reasoning about Actions

α
Dr. Fatiha Mamache
Dr. Fatiha Mamache
α University of Sciences and Technology Houari Boumediene University of Sciences and Technology Houari Boumediene

Send Message

To: Author

A Temporal Ontology for Reasoning about Actions

Article Fingerprint

ReserarchID

B8958

A Temporal Ontology for Reasoning about Actions Banner

AI TAKEAWAY

Connecting with the Eternal Ground
  • English
  • Afrikaans
  • Albanian
  • Amharic
  • Arabic
  • Armenian
  • Azerbaijani
  • Basque
  • Belarusian
  • Bengali
  • Bosnian
  • Bulgarian
  • Catalan
  • Cebuano
  • Chichewa
  • Chinese (Simplified)
  • Chinese (Traditional)
  • Corsican
  • Croatian
  • Czech
  • Danish
  • Dutch
  • Esperanto
  • Estonian
  • Filipino
  • Finnish
  • French
  • Frisian
  • Galician
  • Georgian
  • German
  • Greek
  • Gujarati
  • Haitian Creole
  • Hausa
  • Hawaiian
  • Hebrew
  • Hindi
  • Hmong
  • Hungarian
  • Icelandic
  • Igbo
  • Indonesian
  • Irish
  • Italian
  • Japanese
  • Javanese
  • Kannada
  • Kazakh
  • Khmer
  • Korean
  • Kurdish (Kurmanji)
  • Kyrgyz
  • Lao
  • Latin
  • Latvian
  • Lithuanian
  • Luxembourgish
  • Macedonian
  • Malagasy
  • Malay
  • Malayalam
  • Maltese
  • Maori
  • Marathi
  • Mongolian
  • Myanmar (Burmese)
  • Nepali
  • Norwegian
  • Pashto
  • Persian
  • Polish
  • Portuguese
  • Punjabi
  • Romanian
  • Russian
  • Samoan
  • Scots Gaelic
  • Serbian
  • Sesotho
  • Shona
  • Sindhi
  • Sinhala
  • Slovak
  • Slovenian
  • Somali
  • Spanish
  • Sundanese
  • Swahili
  • Swedish
  • Tajik
  • Tamil
  • Telugu
  • Thai
  • Turkish
  • Ukrainian
  • Urdu
  • Uzbek
  • Vietnamese
  • Welsh
  • Xhosa
  • Yiddish
  • Yoruba
  • Zulu

Abstract

In this paper, our work is devoted to systematic study of actions theories by using a logical formalism based on a first order language increased by operators whose main is to facilitate the representation of causal and temporal relationships between actions and their effects as well as causal and temporal relationships between actions and events. In Allen and Mc-Dermott’ formalisms, we notice that notions of past, present and future do not appear in the predicate Ecause. How to affirm that effects don’t precede causes? To use the concept of temporality without limiting themselves to intervals, we enrich our language by an operator defined on time-elements Our formalism avoids an ambiguity like: effect precedes cause. The originality of this work lies in proposal for a formalism based on equivalence classes. We also defined an operator who allows us to represent the evolutions of the universe for various futures and pasts. These operators allow to represent the types of reasoning which are prediction, explanation and planning. we propose a new ontology for causal and temporal representation of actions/events. The ontology used in our formalism consists of facts, events, process, causality, action and planning.

References

18 Cites in Article
  1. James Allen (1984). Towards a general theory of action and time.
  2. J Allen,G Ferguson (1994). Actions and Events in Interval Temporal Logic.
  3. D Mcdermott (1982). A temporal logic for reasoning about processes and plans.
  4. D Kayser,A Mokhtari (1998). Time in a Causal Theory.
  5. F Mamache (2010). Events, Actions and Temporal logic.
  6. B Knight,J My,T Peng (1998). Reasoning about Changes over Time: Actions, Events, and their Effects.
  7. B Knight,J My,T Peng (1997). Representing Temporal Relationships Between Events and Their Effects.
  8. A Pinto (1994). Temporal reasoning in the situtin calculus.
  9. H Brstougeff,G Ligozat (1989). Outils logiques pour le traitement du temps de la linguistique à l'intelligence artificielle.
  10. S Kleene (1971). Mathematical Logic.
  11. N Bourbaki (1971). Théorie des ensembles, éléments de mathématiques.
  12. F Mamache (2011). A Temporal Logic for Reasoning about Actions.
  13. F Even (2005). Extraction d'Information et modalisation de connaissances à partir de Notes de Communication Orale.
  14. M Ehrmann (2008). Les entités Nommées, de la linguistique au TAL : Statut théorique et méthodes de désambiguisation.
  15. Antony Galton (2009). Spatial and temporal knowledge representation.
  16. Franz Baader,Carsten Lutz,Maja Miličić,Frank Wolter (2005). Integrating Description Logics and Action Formalisms for Reasoning about Web Services.
  17. Hannes Strass,Michael Thielscher (2009). On Defaults in Action Theories.
  18. H Liu (2010). Computing Updates in Description Logics.

Funding

No external funding was declared for this work.

Conflict of Interest

The authors declare no conflict of interest.

Ethical Approval

No ethics committee approval was required for this article type.

Data Availability

Not applicable for this article.

How to Cite This Article

Dr. Fatiha Mamache. 1970. \u201cA Temporal Ontology for Reasoning about Actions\u201d. Unknown Journal GJCST Volume 12 (GJCST Volume 12 Issue 7): .

Download Citation

Journal Specifications
Version of record

v1.2

Issue date

April 4, 2012

Language
en
Experiance in AR

Explore published articles in an immersive Augmented Reality environment. Our platform converts research papers into interactive 3D books, allowing readers to view and interact with content using AR and VR compatible devices.

Read in 3D

Your published article is automatically converted into a realistic 3D book. Flip through pages and read research papers in a more engaging and interactive format.

Article Matrices
Total Views: 20937
Total Downloads: 11139
2026 Trends
Related Research

Published Article

In this paper, our work is devoted to systematic study of actions theories by using a logical formalism based on a first order language increased by operators whose main is to facilitate the representation of causal and temporal relationships between actions and their effects as well as causal and temporal relationships between actions and events. In Allen and Mc-Dermott’ formalisms, we notice that notions of past, present and future do not appear in the predicate Ecause. How to affirm that effects don’t precede causes? To use the concept of temporality without limiting themselves to intervals, we enrich our language by an operator defined on time-elements Our formalism avoids an ambiguity like: effect precedes cause. The originality of this work lies in proposal for a formalism based on equivalence classes. We also defined an operator who allows us to represent the evolutions of the universe for various futures and pasts. These operators allow to represent the types of reasoning which are prediction, explanation and planning. we propose a new ontology for causal and temporal representation of actions/events. The ontology used in our formalism consists of facts, events, process, causality, action and planning.

Our website is actively being updated, and changes may occur frequently. Please clear your browser cache if needed. For feedback or error reporting, please email [email protected]

Request Access

Please fill out the form below to request access to this research paper. Your request will be reviewed by the editorial or author team.
X

Quote and Order Details

Contact Person

Invoice Address

Notes or Comments

This is the heading

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.

High-quality academic research articles on global topics and journals.

A Temporal Ontology for Reasoning about Actions

Dr. Fatiha Mamache
Dr. Fatiha Mamache University of Sciences and Technology Houari Boumediene

Research Journals