Buscar
Mostrando ítems 1-3 de 3
Ponencia
Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data
(Springer, 2016)
This work introduces a (qualitative) data-driven framework to extract patterns of pedestrian behaviour and synthesize Agent-Based Models. The idea consists in obtaining a rule-based model of pedestrian behaviour by means ...
Capítulo de Libro
On Experimental Efficiency for Retraction Operator to Stem Basis
(Springer, 2018)
In this paper, we introduce an implementation of an inference rule called “Independence Rule” which lets us reduce the size of knowledge basis based on the retraction problem. This implementation is made in a functional ...
Capítulo de Libro
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies
(Springer, 2008)
A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the search of extensions by means of two automated reasoning systems (ARS), and it is driven by what ...