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 122
- Downloads 0
A Rank Aggregation Algorithm for Ensemble of Multiple Feature Selection Techniques in Credit Risk Evaluation
In credit risk evaluation the accuracy of a classifier is very significant for classifying the high-risk loan applicants correctly. Feature selection is one way of improving the accuracy of a classifier. It provide...
Regressive Analysis on Leaf Nitrogen Content and Near Infrared Reflectance and Its Application for Agricultural Farm Monitoring with Helicopter Mounted Near Infrared Camera
Method for evaluation of nitrogen richness of tealeaves with near infrared reflectance is proposed. Also tea farm monitoring with helicopter mounted near infrared camera is proposed. Through experiments and regress...
Seamless Location Measuring System with Wifi Beacon Utilized and GPS Receiver based Systems in Both of Indoor and Outdoor Location Measurements
A seamless location measuring system with WiFi beacon utilized and GPS receiver based systems in both of indoor and outdoor location measurements is proposed. Through the experiments in both of indoor and outdoor,...
An Arabic Natural Language Interface System for a Database of the Holy Quran
In the time being, the need for searching in the words, objects, subjects, and statistics of words and parts of the Holy Quran has grown rapidly concurrently with the grow of number of Moslems and the huge usage of...
Relation between Rice Crop Quality (Protein Content) and Fertilizer Amount as Well as Rice Stump Density Derived from Helicopter Data
Relation between protein content in rice crops and fertilizer amount as well as rice stump density is clarified with a multi-spectral camera data mounted on a radio-wave controlled helicopter. Estimation of protein...