Filters








81,738 Hits in 6.5 sec

An Integrated Knowledge Management System

Vasile Mazilescu
2014 Annals of Dunarea de Jos University. Fascicle I : Economics and Applied Informatics  
, using a knowledge model for control, embedded within the expert system's operational knowledge base.  ...  The aim of this paper is to present a Knowledge Management System based on Fuzzy Logic (FLKMS), a real-time expert system to meet the challenges of the dynamic environment.  ...  Temporal knowledge is an essential element for many applications (planning, process control, dynamic situations control).  ... 
doaj:4e29318b13494a2cb155cc2378cde74d fatcat:qf2up3cuqrenje7prgj4pfygjy

Constraint deduction in an interval-based temporal logic [chapter]

Jana Koehler, Ralf Treinen
1995 Lecture Notes in Computer Science  
We describe reasoning methods for the interval-based modal temporal logic LLP which employs the modal operators sometimes, always, next, and chop.  ...  We propose a constraint deduction approach and compare it with a sequent calculus, developed as the basic machinery for the deductive planning system PHI which uses LLP as underlying formalism.  ...  Plan formulae in LLP [BDK92] provide constructs that allow, e.g. to -sequentially compose plans from arbitrary subplans or atomic actions, -incorporate control structures for conditional and iterative  ... 
doi:10.1007/3-540-58976-7_7 fatcat:loa4rzzrs5djpdhbjm6pjra5oi

Optimal mission planner with timed temporal logic constraints

Yuchen Zhou, Dipankar Maity, John S. Baras
2015 2015 European Control Conference (ECC)  
In this paper, we present an optimization based method for path planning of a mobile robot subject to time bounded temporal constraints, in a dynamic environment.  ...  We use metric temporal logic (MTL) to encode the task specifications with timing constraints.  ...  We then formulate it into a mixed integer linear optimization problem incorporating the temporal constraints in section III.  ... 
doi:10.1109/ecc.2015.7330634 dblp:conf/eucc/ZhouMB15 fatcat:p7ll3rcl2fgbdlkmu53b5uysga

Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods [article]

Karen Leung, Nikos Aréchiga, Marco Pavone
2021 arXiv   pre-print
STLCG provides a platform which enables the incorporation of logical specifications into robotics problems that benefit from gradient-based solutions.  ...  This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs.  ...  This article solely reflects the opinions and conclusions of its authors and not of ONR, TRI or any other Toyota entity.  ... 
arXiv:2008.00097v3 fatcat:ojkzcwauqrbrjott66bjnda4ge

Temporal Logic Motion Planning
English

Motlatsi Seotsanyana
2010 Defence Science Journal  
In this paper, a critical review on temporal logic motion planning is presented.  ...  A proposed robust platform that deals with the complexity of more expressive temporal logics is also presented.  ...  Symbolic motion planning can be easily incorporated into the three aforementioned levels of the framework.  ... 
doi:10.14429/dsj.60.99 fatcat:ojiq74342rd43kdfi5fzkfxr7y

Physics-based Motion Planning with Temporal Logic Specifications [article]

Muhayyuddin, Aliakbar Akbari, Jan Rosell
2017 arXiv   pre-print
motions that satisfy the temporal-logic task specifications.  ...  In this line, some recent approaches describe tasks with Linear Temporal Logic (LTL) and reason on discrete actions to guide sampling-based motion planning, with the aim of finding dynamically-feasible  ...  lists using temporal and logic operators).  ... 
arXiv:1710.00419v1 fatcat:6tnjeapzbjdh3frqcgpptirmci

Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic [article]

Yuchen Zhou, Dipankar Maity, John S. Baras
2016 arXiv   pre-print
We use metric interval temporal logic (MITL), a member of the temporal logic family, to represent the task specification and then we provide a constructive way to generate a timed automaton and methods  ...  In this paper, we consider the robot motion (or task) planning problem under some given time bounded high level specifications.  ...  The authors in [14] propose to change every temporal logic operator into a timed signal transducer, which is a temporal automaton that accepts input and generates output.  ... 
arXiv:1603.08246v2 fatcat:lba7bggbgbdabolldbuffikhae

Physics-based Motion Planning with Temporal Logic Specifications

Muhayyuddin, Aliakbar Akbari, Jan Rosell
2017 IFAC-PapersOnLine  
In this line, some recent approaches describe tasks with Linear Temporal Logic (LTL) and reason on discrete actions to guide samplingbased motion planning, with the aim of finding dynamically-feasible  ...  The present paper proposes an LTL planning approach enhanced with the use of ontologies to describe and reason about the task, on the one hand, and that includes physics-based motion planning to allow  ...  lists using temporal and logic operators).  ... 
doi:10.1016/j.ifacol.2017.08.1578 fatcat:ddsa6i3e4jb7hbgz45yj6zvbze

Switching control of dynamical systems from metric temporal logic specifications

Jun Liu, Pavithra Prabhakar
2014 2014 IEEE International Conference on Robotics and Automation (ICRA)  
metric temporal logic (MTL) specifications.  ...  MTL is a popular logic that allows to specify timed properties of real-time reactive systems and hence is appropriate for describing the safe and autonomous operations of robotic systems in an uncertain  ...  Wolff for providing his RaTL (Rabin Temporal Logic) toolbox [33] for solving the example in this paper.  ... 
doi:10.1109/icra.2014.6907643 dblp:conf/icra/LiuP14a fatcat:qdp2p33gsfhnjj3rss7vgaybgy

Policy Synthesis for Metric Interval Temporal Logic with Probabilistic Distributions [article]

Lening Li, Jie Fu
2021 arXiv   pre-print
This paper extends the Metric Interval Temporal Logic with a distribution eventuality operator to express time-sensitive missions for a system interacting with a dynamic, probabilistic environment.  ...  Metric Temporal Logic can express temporally evolving properties with time-critical constraints or time-triggered constraints for real-time systems.  ...  Recently, Metric Temporal Logic (MTL) [5] , Metric Interval Temporal Logic (MITL) [6] (a fragment of MTL), and Signal Temporal Logic (STL) [7] have received extensive attention in the control community  ... 
arXiv:2105.04593v1 fatcat:fswgz3o26bawtmuajtdxwkmrsi

Towards the Refinement of Executable Temporal Objects [chapter]

Michael Fisher
1997 IFIP Advances in Information and Communication Technology  
Concurrent METATEM is a high-level language in which the behaviour of an individual reactive component is represented by a temporal logic formula and is animated by direct execution.  ...  The combination of this executable temporal formalism, together with an operational model providing asynchronous concurrency and broadcast message-passing, presents a powerful and flexible framework in  ...  First, we can merge the three rules utilising the ' S ' operator into one, i.e. ( -.subplan1 v -.subplan2 v -.subplan3) S goal => -.plan using standard temporal refinement. 2.  ... 
doi:10.1007/978-0-387-35261-9_30 fatcat:bf3ndzsb3rdrlgdwn5uop7n6ra

Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach [chapter]

Tran Cao Son, Chitta Baral, Sheila McIlraith
2001 Lecture Notes in Computer Science  
control knowledge in HTN-planning, GOLOG-programming, and planning with temporal knowledge into ASP.  ...  Our approach allows different types of domain-dependent control knowledge such as hierarchical, temporal, or procedural knowledge to be represented and exploited in parallel, thus combining the ideas of  ...  Acknowledgements The first two authors would like to acknowledge the support of the NASA grant NCC2-1232. The third author would like to acknowledge the support of NASA grant NAG2-1337.  ... 
doi:10.1007/3-540-45402-0_17 fatcat:6aizli32zvamrbnpvrlaqxqzza

Runtime verification for autonomous spacecraft software

A. Goldberg, K. Havelund, C. McGann
2005 2005 IEEE Aerospace Conference  
Autonomous systems are systems that can operate without human interference for extended periods of time in changing environments, likely in remote locations.  ...  We describe its application to the PLASMA planning system, used in the recent Mars Exploration Rover missions. We furthermore discuss alternative autonomy V&V approaches.  ...  Eagle is a rule-based framework for defining temporal logics. It allows the definition of new temporal operators using a parameterized rule construct.  ... 
doi:10.1109/aero.2005.1559341 fatcat:urmbkvjgf5hatpyxy5pao4xn4q

Subject index to volume 2

1988 International Journal of Approximate Reasoning  
temporal relationships in, 337 Autonomous agents, centrality of, in theories of action under uncertainty, 303-326 Backward chaining, with fuzzy goals and rules, 108 Bayes belief network, construction of  ...  data, 96-97 Artificial attributes, in information systems, 367-372 Artificial intelligence Bayesian prediction for, 342 choosing uncertainty representations in, 217-232 decision theory in, 247-302 on planning  ...  arithmetic, for computer vision, 100-101 Fuzzy auxiliary edge, network flow models with, 103 Fuzzy classifiers, incorporating confidence measures into, 104-105 Fuzzy control, 165-167 rule based,  ... 
doi:10.1016/0888-613x(88)90114-4 fatcat:rj373wy2pzff3d3otqdhxs2gca

MetateM: An introduction

H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens
1995 Formal Aspects of Computing  
In this paper a methodology for the use of temporal logic as an executable imperative language is introduced.  ...  Introduction The purpose of this paper is to introduce and motivate the methodology of temporal logic as an executable imperative language, originally presented by Moszkowski [Mos86] and Gabbay [Gab87a  ...  Brzoska [Brz95] presents an extension to temporal logic programming of the TEMPLOG form, incorporating not only past-time operators, but also metric temporal operators.  ... 
doi:10.1007/bf01211631 fatcat:xlchty7pn5gbzh6cbefuyrslxa
« Previous Showing results 1 — 15 out of 81,738 results