University of Sciences and Technology Houari BoumedieneTo: Author
Article Fingerprint
ReserarchID
B8958
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.
Dr. Fatiha Mamache. 1970. \u201cA Temporal Ontology for Reasoning about Actions\u201d. Unknown Journal GJCST Volume 12 (GJCST Volume 12 Issue 7): .
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.
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.
Total Score: 106
Country: Algeria
Subject: Uncategorized
Authors: Dr. Fatiha Mamache (PhD/Dr. count: 1)
View Count (all-time): 130
Total Views (Real + Logic): 20937
Total Downloads (simulated): 11139
Publish Date: 1970 01, Thu
Monthly Totals (Real + Logic):
This paper attempted to assess the attitudes of students in
Advances in technology have created the potential for a new
Inclusion has become a priority on the global educational agenda,
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.
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut elit tellus, luctus nec ullamcorper mattis, pulvinar dapibus leo.