Temporally Annotated Extended Logic Programs
Journal Title: International Journal of Advanced Research in Artificial Intelligence(IJARAI) - Year 2012, Vol 1, Issue 7
Abstract
Extended logic programs (ELPs) are a set of logic rules with strong negation allowed in the bodies or head of the rules and weak negation ~ allowed in the bodies of the rules. ELPs enable for various forms of reasoning that cannot be achieved by definite logic programs. Answer Set Programming provides a widely acceptable semantics for ELPs. However, ELPs do not provide information regarding the temporal intervals that derived ELP literals or weakly negated ELP literals are valid. In this paper, we associate ELP rules with their validity temporal interval, resulting in a temporally annotated logic program. A ground temporal literal has the form L:i, where L is a ground ELP literal or weakly negated ELP literal and i is a temporal interval. We define (simple) entailment and maximal entailment of a ground temporal literal L:i from a temporally annotated logic program C. Both kinds of entailment are based on Answer Set Programming. Additionally, we provide an algorithm that for an ELP literal or a weakly negated ELP literal L returns a list with all temporal intervals i such that a temporally annotated logic program C maximally entails L:i. Based on this algorithm, the answer of various kinds of temporal queries can be provided.
Authors and Affiliations
Anastasia Analyti, Ioannis Pachoulakis
Keywords
Related Articles
- EP ID EP114407
- DOI -
- Views 111
- Downloads 0
A Multi_Agent Advisor System for Maximizing E-Learning of an E-Course
Web-based learning environments have become popular in e-teaching throw WWW as a distance learning. There is an urgent need to enhance e-learning to be suitable to the level of learner knowledge. The presented pape...
Wavelet Compressed PCA Models for Real-Time Image Registration in Augmented Reality Applications
The use of augmented reality (AR) has shown great promise in enhancing medical training and diagnostics via interactive simulations. This paper presents a novel method to perform accurate and inexpensive image regi...
Web-based Expert Decision Support System for Tourism Destination Management in Nigeria
The use of Information Technologies have played and currently playing prominent roles in many organizations, such as business, education, commerce. The tourism industry has witnessed the use and application of vari...
A Comparison between Regression, Artificial Neural Networks and Support Vector Machines for Predicting Stock Market Index
Obtaining accurate prediction of stock index sig-nificantly helps decision maker to take correct actions to develop a better economy. The inability to predict fluctuation of the stock market might cause serious pro...
Comparison of Classifiers and Statistical Analysis for EEG Signals Used in Brain Computer Interface Motor Task Paradigm
Using the EEG Motor Movement/Imagery database there is proposed an off-line analysis for a brain computer interface (BCI) paradigm. The purpose of the quantitative research is to compare classifiers in order to det...