Filters








86 Hits in 4.9 sec

A Survey of Algorithms for Black-Box Safety Validation [article]

Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, Mykel J. Kochenderfer
2020 arXiv   pre-print
Therefore, simulation-based techniques have been developed that treat the system under test as a black box during testing.  ...  Motivated by the prevalence of safety-critical artificial intelligence, this work provides a survey of state-of-the-art safety validation techniques with a focus on applied algorithms and their modifications  ...  ., 2019 ) is a simulation-based MATLAB toolbox for falsification of temporal logic specifications for hybrid dynamical systems, similar to S-TaLiRo.  ... 
arXiv:2005.02979v2 fatcat:f3xch54ncncb5osveeaw3q4zva

Logic-based event recognition

Alexander Artikis, Anastasios Skarlatidis, François Portet, Georgios Paliouras
2012 Knowledge engineering review (Print)  
Recognition systems with a logic-based representation of event structures, in particular, have been attracting considerable attention, because, among others, they exhibit a formal, declarative semantics  ...  Consider, for example, the recognition of attacks on nodes of a computer network given the Transmission Control Protocol/Internet Protocol messages, the recognition of suspicious trader behaviour given  ...  The authors would like to thank the reviewers and participants of the Fourth International Conference on Distributed Event-Based Systems, as well as the reviewers of the Knowledge Engineering Review, who  ... 
doi:10.1017/s0269888912000264 fatcat:a3wmuelnvzggjezo6agv6szpei

Using Ontologies in a Cognitive-Grounded System: Automatic Action Recognition in Video-Surveillance

Alessandro Oltramari, Christian Lebiere
2012 Semantic Technologies for Intelligence, Defense, and Security  
For this purpose, we developed a semantic infrastructure on top of a hybrid computational ontology of actions.  ...  This article presents an integrated cognitive system for automatic video surveillance: in particular, we focus on the task of classifying the actions occurring in a scene.  ...  Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation herein.  ... 
dblp:conf/stids/OltramariL12 fatcat:ynuvip63gna77lxhianzu6sahe

A comparison of languages which operationalize and formalize KADS models of expertise

Dieter Fensel, Frank van Harmelen
1994 Knowledge engineering review (Print)  
Acknowledgement We thank all participants of the workshops on languages for KADS models (at GMD,  ...  The Epistemological View QIL is based on a multi-modal logic, combining epistemic and temporal modalities.  ...  Chapter 1 Why Do We Need Formal Specification Languages for Knowledge-Based Systems?  ... 
doi:10.1017/s0269888900006767 fatcat:es6a72d46ba35mzlxnlcyhqsli

A Model of the Learning of Arm Trajectories from Spatial Deviations

Michael I. Jordan, Tamar Flash, Yoram Arnon
1994 Journal of Cognitive Neuroscience  
Under this hypothesis, move- ments are learned based only on spatial errors between the actual hand path and a desired hand path; temporally varying targets are not allowed.  ...  We then discuss the temporal credit assign- ment problem for this system and describe the algorithm for correcting performance errors.  ... 
doi:10.1162/jocn.1994.6.4.359 pmid:23961731 fatcat:fu2eqytbqjhbpiuqiv53blk23e

A predictive framework for evaluating models of semantic organization in free recall

Neal W Morton, Sean M. Polyn
2016 Journal of Memory and Language  
This finding provides important constraint for theories of memory search.  ...  However, the specific structure of these associations and the mechanisms by which they influence memory search remain unclear.  ...  Acknowledgements This research was partially carried out as part of NWM's doctoral dissertation with SMP at Vanderbilt University.  ... 
doi:10.1016/j.jml.2015.10.002 pmid:28331243 pmcid:PMC5358688 fatcat:o7lh5ududffx5g4tupu5zsawca

A selected descriptor-indexed bibliography to the literature on belief revision

Jon Doyle, Philip London
1980 ACM SIGART Bulletin  
., Knowlege Based Systems In Artificial Intelligence: Two case studies, McGraw-Hill, New York, 1980. (2.7>, <5.1), <6.5), (7.1>, <7.4).  ...  ., "Knowledge acquisition in rule-based systems --knowledge about representations as a basis for system construction and maintenance," in D. Waterman and F.  ... 
doi:10.1145/1056441.1056442 fatcat:2b2w2zeuvzfs7axvx24xa7jzea

Robot task planning using semantic maps

Cipriano Galindo, Juan-Antonio Fernández-Madrigal, Javier González, Alessandro Saffiotti
2008 Robotics and Autonomous Systems  
We start by defining a specific type of semantic maps, which integrate hierarchical spatial information and semantic knowledge.  ...  In this paper, we focus on semantic knowledge, and show how this type of knowledge can be profitably used for robot task planning.  ...  We are grateful to Abdelbaki Bouguerra and Lars Karlsson for their useful comments and discussions.  ... 
doi:10.1016/j.robot.2008.08.007 fatcat:cut2s3veafh7rpvpbh3zlkajde

Rational and affective linking across conceptual cases — without rules [chapter]

Graham A. Mann
1997 Lecture Notes in Computer Science  
Yet case-based reasoning systems could benefit from sequential indexing of this kind.  ...  For example, watching one movie may recall another which had a similar ending, cinematography, or common actors.  ...  Introduction Inference engines that manipulate expressions by means of deductive logic can accomplish useful work inside expert systems and knowledge based systems, but operations of this sort seem qualitatively  ... 
doi:10.1007/bfb0027891 fatcat:csjkgci4ojbtdfhacqqyj526xu

8 The Politics of Chaos: Local Knowledge versus Global Theory [chapter]

2018 Chaos Bound  
Specifically, theory comes into existence with the advent of structural linguistics, for then it is based not on an extrinsic system but on the structure of language itself.  ...  Under these conditions, Newtonian-based calculations are unmanageable for even a few points, and unthinkable for the thousands or millions it would take to model the system.  ...  I am thinking of the haunting and evocative computer simulations of complex systems which show regions of overall symmetry intermixed with asymmetric hazy regions.  ... 
doi:10.7591/9781501722950-010 fatcat:bfreuovs3naqhfuxcwikqzbvsi

Towards intelligent social robots: Current advances in cognitive robotics

Amir Aly, Sascha Griffiths, Francesca Stramandinoli
2017 Cognitive Systems Research  
Experiments on a dataset of 10 full-body actions show that our architecture is able to learn action-word mappings without the need of segmenting training samples for ground-truth labelling.  ...  We propose a hierarchical learning architecture with growing self-organizing neural networks for learning human actions from audiovisual inputs.  ...  EXECUTION OF CONSTRAINT-BASED ROBOT TASKS In order to execute a manipulation task in the workcell, the robot system's knowledge base is queried to obtain a set of task-specific geometric constraints.  ... 
doi:10.1016/j.cogsys.2016.11.005 fatcat:ptmokg2tbrdblgwhnkbclxecri

Discrete event fluid modeling of background TCP traffic

David M. Nicol, Guanhua Yan
2004 ACM Transactions on Modeling and Computer Simulation  
There a packet-oriented simulation model is integrated with a fluid model (based on the SDE described in [11] ), principally to show how to make packet and fluid models interoperate.  ...  This paper focuses on TCP and its simulation using a fluid model.  ...  Taking all of these mechanisms into consideration, a flow in our formulation has the following attributes : • physical byte rate (in bytes per unit simulation time), • ratio of logical to physical bytes  ... 
doi:10.1145/1010621.1010622 fatcat:2o7i3m344zdajgjkbesawimzaa

A Multi-agent Architecture for an Intelligent Website in Insurance [chapter]

Catholijn M. Jonker, Remco A. Lam, Jan Treur
1999 Lecture Notes in Computer Science  
The agents within this architecture are based on a generic information broker agent model.  ...  The architecture has been designed and implemented using the compositional design method for multi-agent systems DESIRE.  ...  Working on a design for the department store application with various employees of the software company CMG provided constructive feedback on the architecture introduced.  ... 
doi:10.1007/3-540-48414-0_5 fatcat:inszyafnevdsjl57adhyoqx45u

Probabilistic reasoning in high-level vision

L Enrique Sucar, Dunan F Gillies
1994 Image and Vision Computing  
High-level vision is concerned with constructing a model of the visual world and making use of this knowledge for later recognition.  ...  Starting from a probabilistic network representation, we develop a structure for presenting visual knowledge, and techniques for probability propagation, parameter learning and structural improvement.  ...  These systems have logic as their underlying principle, and reasoning is based on logical inference.  ... 
doi:10.1016/0262-8856(94)90054-x fatcat:2lsxcw6up5cb7bublgsi4yoowu

The definite article: code and context

F Renaud
1996 Journal of Semantics  
made by a precise algorithm working on a definite stratum of the reader's knowledge base.  ...  Our analysis proposes a unitary account for a large part of empirical data and reconciles the logical approach of Russell-Montague with the pragmatic approach of Hawkins.  ...  But for the time being, let us emphasize the fact that the system of identification of world objects works correctly only if we subject the knowledge base to some constraints.  ... 
doi:10.1093/jos/13.2.139 fatcat:23ubzv6en5fs5ftw6k6ztgzg7m
« Previous Showing results 1 — 15 out of 86 results