Filters








58,734 Hits in 5.0 sec

Relaxation of Temporal Planning Problems

Martin C. Cooper, Frédéric Maris, Pierre Régnier
2013 2013 20th International Symposium on Temporal Representation and Reasoning  
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

Monotone Temporal Planning: Tractability, Extensions and Applications

M. Cooper, F. Maris, P. Régnier
2014 The Journal of Artificial Intelligence Research  
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

Page 494 of Mathematical Reviews Vol. , Issue 98A [page]

1998 Mathematical Reviews  
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.  ... 

Monotone Temporal Planning: Tractability, Extensions and Applications [chapter]

Martin C. Cooper, Frédéric Maris, Pierre Régnier
2014 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

Forthcoming papers

1997 Artificial Intelligence  
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

Organizational principles of multidimensional predictions in human auditory attention

Indiana Wollman, Benjamin Morillon
2018 Scientific Reports  
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

Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment

Dov M. Gabbay
1973 Journal of Philosophical Logic  
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

Automata Techniques for Temporal Answer Set Programming

Susana Hahn
2021 Electronic Proceedings in Theoretical Computer Science  
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) [2] and (Linear) Dynamic logic of Here-and-There (DHT) [7] with their non-monotonic counterpart for temporal  ... 
doi:10.4204/eptcs.345.42 fatcat:3f37xiiesbda7hhrs74amnebla

Time and Defeasibility in FIPA ACL Semantics

Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre
2008 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology  
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

Time and defeasibility in FIPA ACL semantics

Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre
2011 Journal of Applied Logic  
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

A Formal Analysis of Complexity Monotonicity [chapter]

Tibor Bosse, Alexei Sharpanskykh, Jan Treur
2010 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

A review of proposed principles of causal non-monotonic reasoning

Patrick Marchisella
2020 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

Compliance Games [chapter]

Piotr Kaźmierczak
2015 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

A Non-monotonic Goal Specification Language for Planning with Preferences [chapter]

Tran Cao Son, Enrico Pontelli, Chitta Baral
2015 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

Page 1117 of Journal of Cognitive Neuroscience Vol. 15, Issue 8 [page]

2003 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