Filters








23,973 Hits in 2.8 sec

Using context with statistical relational models

Chen Wu, Hamid Aghajan
2009 Proceedings of the Workshop on Use of Context in Vision Processing - UCVP '09  
We demonstrate that Markov logic network provides a flexible way in the syntax of first-order logic to incorporate relational context information.  ...  Relationship between user activity and objects is defined in a knowledge base with MLN.  ...  INFERRING OBJECTS WITH MARKOV LOGIC NETWORKS Our knowledge base of relations between objects and user activities/events is encoded in the form of MLN [8] .  ... 
doi:10.1145/1722156.1722161 fatcat:q2lbkghi3vha3e33o2enjfder4

Book announcements

1993 Discrete Applied Mathematics  
Review of temporal logics. Chapter 7: Non-Monotonic Reasoning.  ...  Chapter 5: Modal Logic. Formal details of possible worlds semantics. Axioms for modal logic.Chapter 6: Temporal Reasoning. Modal logics of time. Reification of temporal logic. The situation calculus.  ... 
doi:10.1016/0166-218x(93)90173-l fatcat:l4psazjvkjcm5ksswvubyespla

User-Centric Environment Discovery With Camera Networks in Smart Homes

Chen Wu, Hamid Aghajan
2011 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
The complex relations between objects and user activities are modeled with a Markov logic network (MLN).  ...  This approach is complementary to traditional appearance-based object recognition, which often demands large training sets.  ...  INFERRING OBJECTS WITH MARKOV LOGIC NETWORK We divide the living room into grids of 50cm×50cm, and each grid has its own observations through time.  ... 
doi:10.1109/tsmca.2010.2073701 fatcat:jd2r2yiw5vd2vdgz4xa3cnmos4

Learning from Demonstrations using Signal Temporal Logic [article]

Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Stefanos Nikolaidis
2021 arXiv   pre-print
Temporal logic-based specifications allow us to create non-Markovian rewards, and also define interesting causal dependencies between tasks such as sequential task specifications.  ...  To address these issues, we use Signal Temporal Logic to evaluate and rank the quality of demonstrations.  ...  Definition 6 (Quantitative Semantics for Signal Temporal Logic).  ... 
arXiv:2102.07730v1 fatcat:fshb57hydfhlnltln3lyzcbhf4

Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference [article]

Hansol Yoon, Sriram Sankaranarayanan
2021 arXiv   pre-print
Our approach uses a restricted class of temporal logic formulas to represent the likely intentions of the agents along with a combination of temporal logic-based optimal cost path planning and Bayesian  ...  inference to compute the probability of these intents given the current trajectory of the robot.  ...  We use temporal logic planning techniques based on converting formulas to automata and solving shortest path problems to compute these costs.  ... 
arXiv:2108.01227v1 fatcat:6rtp5s7ecfdx3odz7mel2afrie

Fuzzy Logic Weight Based Charging Scheme for Optimal Distribution of Charging Power among Electric Vehicles in a Parking Lot

Shahid Hussain, Mohamed A. Ahmed, Ki-Beom Lee, Young-Chon Kim
2020 Energies  
This study proposes a fuzzy logic weight-based charging scheme (FLWCS) to optimally distribute the charging power among the most appropriate EVs in such a way that maximizes the QoP for the parking lot  ...  The simulation results reveal an improved QoP comparing to the conventional first-come-first-served (FCFS) based scheme.  ...  The complexity and nonlinearity of temporal and spatial-based varying real-time systems can be resolved into a simple weighted sum of linear subsystems through the fuzzy logic inference mechanism [13,  ... 
doi:10.3390/en13123119 fatcat:wae35anx5vdpvny67n45zf4ygu

Micromobility Trip Origin and Destination Inference Using General Bikeshare Feed Specification (GBFS) Data [article]

Yiming Xu, Xiang Yan, Virginia P. Sisiopiku, Louis A. Merlin, Fangzhou Xing, Xilei Zhao
2020 arXiv   pre-print
Existing trip inference methods are usually based upon the assumption that the vehicle ID of a micromobility option (e-scooter or e-bike) does not change, and so they cannot deal with data with vehicle  ...  We find that the R-squared measure is larger than 0.9 and the MAE measure is smaller than 2 when the algorithms are evaluated with a 400m*400m grid, and the absolute errors are relatively larger in the  ...  Based upon this logic, we can develop an algorithm to infer trip origins and destinations.  ... 
arXiv:2010.12006v1 fatcat:npieph6jireo7ltyhwdjhrb3wi

State-Space Reduction through Preference Modeling [chapter]

Radosław Klimek, Igor Wojnicki, Sebastian Ernst
2013 Lecture Notes in Computer Science  
The world is two-dimensional, based on a five by five grid (W C).  ...  It is also possible to inference about the correctness of preference objectives. Temporal Logic TL is a formalism, e.g.  ... 
doi:10.1007/978-3-642-38610-7_34 fatcat:rgnhsmy2rzfqphyawfbzzqgxu4

Cumulative subject index volumes 68–71

1986 Information and Control  
stored in processor mesh, 69, 168 deterministic, applications to optimal parallel list ranking, 70, 32 network resource allocation, probabilistic analysis, 68, 47 optimally data-efficient, for isomorphism inference  ...  logics, probabilistic propositional temporal logic based on, description of two versions, 70, 97 C Calculus lambda and categorical combinatory logic, syn- tactic equivalence theorem, 69, 188  ...  categorical combinatory, and lambda calculus, syntactic equivalence theo- rem, 69, 188 probabilistic propositional temporal, description of two versions based on temporal logics of branching time  ... 
doi:10.1016/s0019-9958(86)80014-6 fatcat:hkligygazvcyvdgrhtvhrefpj4

Page 1838 of Mathematical Reviews Vol. , Issue 98C [page]

1998 Mathematical Reviews  
); Konstantinos Georgatos, Ordering-based representations of ratio- nal inference (176-191); Artur Mikitiuk, Semi-representability of default theories in rational default logic (192-207); Viorica Ciorba  ...  strategies using modal logic (104-118); Filipe San- tos and José Carmo, A modal action logic based framework for organization specification and analysis (119-133); Michael R.  ... 

Efficient Power Management Algorithm based on Fuzzy Logic Inference for Electric Vehicles Parking Lot

Shahid Hussain, Mohamed A. Ahmed, Young-Chon Kim
2019 IEEE Access  
This paper proposes a fuzzy logic inference based algorithm (FLIA) to manage the available power efficiently for EVs in the parking lot.  ...  INDEX TERMS Electric vehicles, fast charging stations, fuzzy logic inference, parking lot, power management.  ...  The FLIA is based on the services of fuzzy logic inference mechanism which comprehensively solve the complicated temporal varying inputs from the smart grid and inputs from the EVs and determine an accurate  ... 
doi:10.1109/access.2019.2917297 fatcat:puvmdxtgo5crdfi5afkcsoeuo4

Bayesian sensor fusion with fast and low power stochastic circuits

Alexandre Coninx, Pierre Bessiere, Emmanuel Mazer, Jacques Droulez, Raphael Laurent, M. Awais Aslam, Jorge Lobo
2016 2016 IEEE International Conference on Rebooting Computing (ICRC)  
Simulation tests and a reconfigurable logic hardware implementation demonstrated the feasibility and performances of the proposed inference machine.  ...  The BAMBI project (Bottomup Approaches to Machines dedicated to Bayesian Inference) aims at developing hardware dedicated to probabilistic computation, which extends logic computation realised by boolean  ...  TABLE I I RESOURCE UTILISATION OF BM1 FOR BOAT EXAMPLE Cyclone IV Grid Size Logic Utilization Tot. Reg. Mem.  ... 
doi:10.1109/icrc.2016.7738672 dblp:conf/icrc/ConinxBMDLA016 fatcat:wqdadolz3bg4tkcv2tlnhjidqm

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
2018 Big Data and Cognitive Computing  
possible example of hybrid reasoning—where symbolic and non-symbolic techniques fruitfully combine to produce intelligent behaviour—is presented, demonstrating how LPaaS could work in a smart energy grid  ...  In particular, we show how its re-interpretation in terms of LPaaS (Logic Programming as a Service) can work as an enabling technology for distributed situated intelligence.  ...  More generally, changing rules, policies, and facts in the knowledge base involved in the inference process is easier especially with approaches based on logic programming, such as LPaaS, thanks to meta-programming  ... 
doi:10.3390/bdcc2030023 fatcat:p7k74aoklffarnih4z36b22bsi

Logical analysis of the Bohr Complementarity Principle in Afshar's experiment under the NAFL interpretation [article]

Radhakrishnan Srinivasan
2010 arXiv   pre-print
This fact, when coupled with the temporal nature of NAFL truth, implies the logical validity of the retroactive assertion of the path information (and the logical superfluousness of the grid) in Afshar's  ...  It is argued that the existence of an interference pattern does not logically amount to a proof of the self-interference of a single photon.  ...  Classically, any proposition can be inferred from a contradiction, and a proof based on such an inference has no validity.  ... 
arXiv:quant-ph/0504115v4 fatcat:u2bvrbphgreqzibowqkthm3644

Posterior predictive model checking using formal methods in a spatio-temporal model [article]

Laura Vana, Ennio Visconti, Laura Nenzi, Annalisa Cadonna, Gregor Kastner
2021 arXiv   pre-print
By formalizing these problems and the corresponding properties, we can use spatio-temporal reach and escape logic to probabilistically assess their satisfaction.  ...  After verifying these properties on draws from the posterior predictive distributions, we compare several spatio-temporal Bayesian models based on their overall and property-based predictive performance  ...  A spatio-temporal logic combines atomic propositions via a set of operators: the standard Boolean operators (∨, ¬, →,. . . ), temporal operators to specify the temporal evolution and spatial operators  ... 
arXiv:2110.01360v1 fatcat:qoieijpa25huzc3ubgqfohtd7e
« Previous Showing results 1 — 15 out of 23,973 results