A Temporal Ontology for Reasoning about Actions

Dr. Fatiha Mamache

A Temporal Ontology for Reasoning about Actions

Dr. F. Mamache * § ‡

Contact

§ Universt des Sciences et de la technologie Houari Bo...

‡ University of Sciences and Technology Houari Boumediene

A Temporal Ontology for Reasoning about Actions

Article Fingerprint

ReserarchID

CSTB8958

A Temporal Ontology for Reasoning about Actions Banner

Key Research Insights

Synthesized scholarly intelligence & interactive research assistant

This converted HTML version may contain rendering inconsistencies. Please refer to the PDF for the authoritative version, or click here to provide feedback.

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

Reference Format

1. James Allen (1984). Towards a general theory of action and time. Artificial Intelligence, 23(2), 123-154.
2. J Allen,G Ferguson (1994). Actions and Events in Interval Temporal Logic. J. Logic and Computation, 4(5)
3. D Mcdermott (1982). A temporal logic for reasoning about processes and plans. Process and Cognitive Science, 6, 101-155.
4. D Kayser,A Mokhtari (1998). Time in a Causal Theory. Annals of Mathematics and Artificial Intelligence, 22(1-2), 117-138.
5. F Mamache (2010). Events, Actions and Temporal logic. International Journal of Open Problems in Computer Science and Mathematics, 3(3)
6. B Knight,J My,T Peng (1998). Reasoning about Changes over Time: Actions, Events, and their Effects. Proc. Formalization of Commonsense Reasoning, 183-197.
7. B Knight,J My,T Peng (1997). Representing Temporal Relationships Between Events and Their Effects. Proceedings of the International Fourth Temporal Workshop one Representation and Reasoning, 148-152.
8. A Pinto (1994). Temporal reasoning in the situtin calculus. 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. Outils logiques pour le traitement du temps de la linguistique à l'intelligence artificielle
10. S Kleene (1971). Mathematical Logic. Mathematical Logic
11. N Bourbaki (1971). Théorie des ensembles, éléments de mathématiques. Théorie des ensembles, éléments de mathématiques
12. F Mamache (2011). A Temporal Logic for Reasoning about Actions. International Journal of Open Problems in Computer Science and Mathematics, 4(1)
13. F Even (2005). Extraction d'Information et modalisation de connaissances à partir de Notes de Communication Orale. 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. 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. Earth Science Informatics, 2(3), 169-187.
16. Franz Baader,Carsten Lutz,Maja Miličić,Frank Wolter (2005). Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI05)
17. Hannes Strass,Michael Thielscher (2009). On Defaults in Action Theories. Lecture Notes in Computer Science, 298-305.
18. H Liu (2010). Computing Updates in Description Logics. Computing Updates in Description Logics

Download References

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. "A Temporal Ontology for Reasoning about Actions". Global Journal of Computer Science and Technology GJCST Volume 12 (GJCST Volume 12 Issue 7).

More Citation Formats

Select Citation Style:

Download Citation

GJCST Volume 12 Issue 7

Explore Journals Explore Volume Read This Issue

Journal Specifications

Crossref Journal DOI 10.17406/gjcst

Print ISSN 0975-4350

e-ISSN 0975-4172

Keywords

Artificial intelligence Description Logic Knowledge Representation Reasoning on the Actions Spatio-Temporal Logic Temporal Logic

Classification

GJCST Classification K.4.4

Submission ReceivedApril 8, 2012
Peer Review Double Blind
Handling Editor
Accepted May 3, 2012
Published April 4, 2012

Version of record

v1.2

Issue date

April 4, 2012

Language

English

Order Article Reprint

Experience 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.

View in VR

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.

View in 3D

Article Matrices

Total Score: 146

Country: Algeria

Subject: Global Journal of Computer Science and Technology

Authors: Dr. Fatiha Mamache (PhD/Dr. count: 1)

View Count (all-time): 351

Total Views (Real + Logic): 4416

Total Downloads (simulated): 383

Publish Date: 2012 05, Tue

Monthly Totals (Real + Logic):

Month 1: 69 views
Month 2: 62 views
Month 3: 40 views
Month 4: 40 views
Month 5: 36 views
Month 6: 30 views
Month 7: 39 views
Month 8: 43 views
Month 9: 59 views
Month 10: 37 views
Month 11: 33 views
Month 12: 32 views
Month 13: 29 views
Month 14: 48 views
Month 15: 40 views
Month 16: 24 views
Month 17: 18 views
Month 18: 27 views
Month 19: 35 views
Month 20: 24 views
Month 21: 31 views
Month 22: 44 views
Month 23: 25 views
Month 24: 41 views
Month 25: 23 views
Month 26: 36 views
Month 27: 27 views
Month 28: 38 views
Month 29: 28 views
Month 30: 21 views
Month 31: 13 views
Month 32: 41 views
Month 33: 34 views
Month 34: 14 views
Month 35: 28 views
Month 36: 16 views
Month 37: 24 views
Month 38: 30 views
Month 39: 34 views
Month 40: 14 views
Month 41: 26 views
Month 42: 33 views
Month 43: 25 views
Month 44: 36 views
Month 45: 37 views
Month 46: 28 views
Month 47: 21 views
Month 48: 38 views
Month 49: 37 views
Month 50: 32 views
Month 51: 27 views
Month 52: 41 views
Month 53: 21 views
Month 54: 20 views
Month 55: 33 views
Month 56: 47 views
Month 57: 41 views
Month 58: 35 views
Month 59: 34 views
Month 60: 29 views
Month 61: 41 views
Month 62: 12 views
Month 63: 42 views
Month 64: 40 views
Month 65: 32 views
Month 66: 43 views
Month 67: 29 views
Month 68: 21 views
Month 69: 24 views
Month 70: 16 views
Month 71: 34 views
Month 72: 35 views
Month 73: 20 views
Month 74: 39 views
Month 75: 34 views
Month 76: 33 views
Month 77: 24 views
Month 78: 30 views
Month 79: 50 views
Month 80: 19 views
Month 81: 31 views
Month 82: 26 views
Month 83: 11 views
Month 84: 30 views
Month 85: 23 views
Month 86: 24 views
Month 87: 35 views
Month 88: 36 views
Month 89: 24 views
Month 90: 29 views
Month 91: 23 views
Month 92: 31 views
Month 93: 31 views
Month 94: 26 views
Month 95: 27 views
Month 96: 23 views
Month 97: 24 views
Month 98: 36 views
Month 99: 40 views
Month 100: 28 views
Month 101: 29 views
Month 102: 27 views
Month 103: 33 views
Month 104: 37 views
Month 105: 31 views
Month 106: 24 views
Month 107: 40 views
Month 108: 40 views
Month 109: 35 views
Month 110: 43 views
Month 111: 18 views
Month 112: 35 views
Month 113: 38 views
Month 114: 16 views
Month 115: 42 views
Month 116: 31 views
Month 117: 22 views
Month 118: 47 views
Month 119: 22 views
Month 120: 44 views
Month 121: 13 views
Month 122: 24 views
Month 123: 36 views
Month 124: 14 views
Month 125: 26 views
Month 126: 44 views
Month 127: 28 views
Month 128: 38 views
Month 129: 32 views
Month 130: 28 views
Month 131: 30 views
Month 132: 31 views
Month 133: 27 views
Month 134: 26 views
Month 135: 25 views
Month 136: 29 views
Month 137: 20 views
Month 138: 33 views
Month 139: 26 views
Month 140: 48 views
Month 141: 33 views
Month 142: 33 views
Month 143: 43 views
Month 144: 12 views
Month 145: 35 views
Month 146: 20 views
Month 147: 19 views
Month 148: 34 views
Month 149: 29 views
Month 150: 47 views
Month 151: 34 views
Month 152: 27 views
Month 153: 29 views
Month 154: 14 views
Month 155: 30 views
Month 156: 37 views
Month 157: 47 views
Month 158: 31 views
Month 159: 29 views
Month 160: 26 views
Month 161: 38 views
Month 162: 33 views
Month 163: 20 views
Month 164: 17 views
Month 165: 49 views
Month 166: 12 views
Month 167: 24 views
Month 168: 14 views
Month 169: 16 views
Month 170: 37 views
Month 171: 56 views
Month 172: 60 views
Month 173: 60 views
Month 174: 53 views

Total Views: 4.4K

Total Downloads: 383

All Trends