A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is
Our approach is orthogonal to relaxations based on the ignore-all-deletes approach used in non-temporal planning. ... We show that our relaxation can even be applied to nontemporal problems, and can also be used to extend a tractable class of temporal planning problems. Temporal planning, relaxation, monotonicity. I. ... INTRODUCTION Propositional non-temporal planning consists in finding a sequence of actions which transforms an initial state into a goal state. ...doi:10.1109/time.2013.28 dblp:conf/time/CooperMR13 fatcat:nrl2jyr2rzhujex3cbijo52ieq
Secondly, the monotonicity of sub-goal fluents allows us to express planning as an instance of STP≠ (Simple Temporal Problem with difference constraints). ... We also show that any (temporal) planning problem has a monotone relaxation which can lead to the polynomial-time detection of its unsolvability in certain cases. ... Different orderings between landmarks have been studied in non-temporal planning. ...doi:10.1613/jair.4358 fatcat:6cf4xzs535cd3oe6a72x3batmy
The idea is that as steps in a reasoning process are taken, whenever a number of non-monotonic inference steps are used, temporal rules take corresponding steps in the temporal model. ... It is shown that these specifications in temporal formalization can be executed, leading to a general al- gorithm for executing non-monotonic reasoning processes. ...
Lecture Notes in Computer Science
Secondly, the monotonicity of fluents allows us to express planning as an instance of STP = (Simple Temporal Problem with difference constraints). ... Any (temporal) planning problem has a monotone relaxation, which can lead to the polynomial-time detection of its unsolvability in certain cases. ... The class of temporal planning problems described in Theorem 1 which also have the property that all fluents can be detected as monotone* by Lemma 2 constitutes a tractable class that can be detected and ...doi:10.1007/978-3-319-10428-7_69 fatcat:hvzyj2jn3zauhjg722g3go2lfm
We describe goals by using a modal temporal logic that can express quite complex time, safety, and lliveness constraints. ... This paper describes a powerful extension of this approach for handling complex goals for reactive agents. ... In this paper we introduce a simple non-monotonic knowledge representation framework which isomorphically contains all of the above mentioned non-monotonic formalisms and semantics as special cases and ...doi:10.1016/s0004-3702(97)90022-9 fatcat:kwtxpsjqd5gw7idafuw66hz5em
In a series of behavioral auditory experiments involving musical experts and non-musicians, we investigated the respective and combined contribution of temporal and spectral predictions in multiple detection ... We show that temporal and spectral predictions alone systematically increase perceptual sensitivity, independently of task demands or expertise. ... Fig. 1a); temporal task in monotone/polytone periodic conditions (exp. 2; Fig. 2a); spectral task in monotone/polytone periodic conditions (exp. 3; Fig. 3a); and temporal task in periodic/aperiodic monotone ...doi:10.1038/s41598-018-31878-5 pmid:30194376 pmcid:PMC6128843 fatcat:dgrhjfrktjegnkes6kz4mkqnyi
This paper is the first in a series in reformulating classical and non-classical logic in a goal directed way. ... This paper started the area now known as 'Axiomatic non-monotonic reasoning'. ... Temporal Logic, Tense or Non-tense A Goal Directed Theorem Prover for Predicate Logic based on Conjunction and Implications (with F. ...doi:10.1007/bf00129607 fatcat:e6lokulrwrfcvl525fgj6dcr3m
Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason with dynamic scenarios ... Status In the current status of the project, we have not yet explored the non-monotonic side of temporal reasoning. ... The research started with infinite traces giving rise to (Linear) Temporal Here-and-There (THT)  and (Linear) Dynamic logic of Here-and-There (DHT)  with their non-monotonic counterpart for temporal ...doi:10.4204/eptcs.345.42 fatcat:3f37xiiesbda7hhrs74amnebla
We are interested in their non-monotonic character, their temporal aspects and the persistence of their preconditions and effects. ... persistence and non-monotonicity. ...doi:10.1109/wiiat.2008.275 dblp:conf/iat/BoellaGHRRT08 fatcat:gxeywmfkvrdhbgaxvlravzxkry
We are interested in their non-monotonic character, their temporal aspects and the persistence of their preconditions and effects. ... persistence and non-monotonicity. ...doi:10.1016/j.jal.2011.09.006 fatcat:enzmepppifbafio3yrtycs6do4
Unifying Themes in Complex Systems
In this case the Complexity Monotonicity Thesis can be reformulated as cm(E 1 ) ≤ cm(E 2 ) cm(B 1 ) ≤ cm(B 2 ) & cm(B 1 ) ≤ cm(B 2 ) cm(C 1 ) ≤ cm(C 2 ) The Temporal Complexity Monotonicity Thesis can ... Formalisation of Temporal Complexity The Complexity Monotonicity Thesis discussed earlier involves environmental, behavioural and cognitive dynamics of living systems. ...doi:10.1007/978-3-540-85081-6_33 fatcat:vryfc4jpuzfndbimxs4egf65ci
The Australasian Journal of Logic
Within Non-monotonic Reasoning, numerous principles of causal reasoning have been proposed. ... Further, we discuss a new approach to causal non-monotonic reasoning motivated by how humans typically reason with causality. ... Thus we do not think that the Principle of Temporality should be a principle of causal non-monotonic reasoning. ...doi:10.26686/ajl.v17i3.5705 fatcat:kxadtc34xrcsplxdxavaus2vuu
Lecture Notes in Computer Science
In compliance games, players are rewarded for achieving their goals while complying to social laws, and punished for non-compliance. ... In this paper we analyze compliance games, which are games induced by agent-labeled Kripke structures, goal formulas in the language of ctl and behavioral constraints. ... Lemma 3. 1 . 1 Compliance games are not always monotone. Fig. 1 . 1 A Kripke structure which induces a non-monotone compliance game, illustrating Lemma 3.1. ...doi:10.1007/978-3-319-17130-2_14 fatcat:7n5ursi4fffzvac2clcqnme32y
Lecture Notes in Computer Science
This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. ... It then defines goal default theories (resp. with priorities) by embedding goal formulae into default logic (resp. prioritizing default logic). ... Conclusions and Future Work In this paper, we describe a default logic based approach to defining non-monotonic goal specification languages. ...doi:10.1007/978-3-319-14726-0_14 fatcat:huld3fxbs5bjzlh2ddlodjnmla
Journal of Cognitive Neuroscience
based on the current task goals and situation. ... After all, like the spatial task the non- spatial task required manual responses based on exter- nal cues. ...
« Previous Showing results 1 — 15 out of 58,734 results