A Framework for Multi-UAV Persistent Search and Retrieval with Stochastic Target Appearance in a Continuous Space

2021 ◽  
Vol 103 (4) ◽  
Author(s):  
Ryan Day ◽  
John Salmon
Author(s):  
Yaniv Aspis ◽  
Krysia Broda ◽  
Alessandra Russo ◽  
Jorge Lobo

We introduce a novel approach for the computation of stable and supported models of normal logic programs in continuous vector spaces by a gradient-based search method. Specifically, the application of the immediate consequence operator of a program reduct can be computed in a vector space. To do this, Herbrand interpretations of a propositional program are embedded as 0-1 vectors in $\mathbb{R}^N$ and program reducts are represented as matrices in $\mathbb{R}^{N \times N}$. Using these representations we prove that the underlying semantics of a normal logic program is captured through matrix multiplication and a differentiable operation. As supported and stable models of a normal logic program can now be seen as fixed points in a continuous space, non-monotonic deduction can be performed using an optimisation process such as Newton's method. We report the results of several experiments using synthetically generated programs that demonstrate the feasibility of the approach and highlight how different parameter values can affect the behaviour of the system.


2021 ◽  
Author(s):  
Jonathan Ponniah ◽  
Mirco Theile ◽  
Or Dantsker ◽  
Marco Caccamo
Keyword(s):  

1985 ◽  
Author(s):  
R. E. Rash ◽  
Wanner Jr. ◽  
R. T.
Keyword(s):  

2011 ◽  
Author(s):  
Herbert E. Viggh ◽  
Christopher Weed ◽  
Michael T. Chan ◽  
Daniel J. Van Hook
Keyword(s):  

Author(s):  
Pushpendra Singh ◽  
P.N. Hrisheekesha ◽  
Vinai Kumar Singh

Content based image retrieval (CBIR) is one of the field for information retrieval where similar images are retrieved from database based on the various image descriptive parameters. The image descriptor vector is used by machine learning based systems to store, learn and template matching. These feature descriptor vectors locally or globally demonstrate the visual content present in an image using texture, color, shape, and other information. In past, several algorithms were proposed to fetch the variety of contents from an image based on which the image is retrieved from database. But, the literature suggests that the precision and recall for the gained results using single content descriptor is not significant. The main vision of this paper is to categorize and evaluate those algorithms, which were proposed in the interval of last 10 years. In addition, experiment is performed using a hybrid content descriptors methodology that helps to gain the significant results as compared with state-of-art algorithms. The hybrid methodology decreases the error rate and improves the precision and recall for large natural scene images dataset having more than 20 classes.


Author(s):  
Gunasekaran Raja ◽  
Sudha Anbalagan ◽  
Aishwarya Ganapathi Subramaniyan ◽  
Madhumitha Sri Selvakumar ◽  
Ali Kashif Bashir ◽  
...  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document