نتایج جستجو برای: infinite domains

تعداد نتایج: 236583  

Journal: :Journal of Statistical Mechanics: Theory and Experiment 2010

Journal: :Journal of Mathematical Analysis and Applications 2014

Journal: :Mind 2023

Abstract The best accuracy arguments for probabilism apply only to credence functions with finite domains, that is, assign at most finitely many propositions. This is a significant limitation. It reveals the support accuracy-first programme in epistemology lot weaker than it seems first glance, and means cannot yet accomplish everything their competitors, pragmatic (Dutch book) arguments, can. ...

2004
Manuel Bodirsky

Constraint satisfaction problems occur in many areas of computer science, most prominently in artificial intelligence including temporal or spacial reasoning, belief maintenance, machine vision, and scheduling (for an overview see [Kumar, 1992,Dechter, 2003]). Other areas are graph theory, boolean satisfiability, type systems for programming languages, database theory, automatic theorem proving...

2007
Parag Singla Pedro M. Domingos

Combining first-order logic and probability has long been a goal of AI. Markov logic (Richardson & Domingos, 2006) accomplishes this by attaching weights to first-order formulas and viewing them as templates for features of Markov networks. Unfortunately, it does not have the full power of first-order logic, because it is only defined for finite domains. This paper extends Markov logic to infin...

Journal: :CoRR 2017
Caelan Reed Garrett Tomás Lozano-Pérez Leslie Pack Kaelbling

Many robotic planning applications involve continuous actions with highly non-linear constraints, which cannot be modeled using modern planners that construct a propositional representation. We introduce STRIPStream: an extension of the STRIPS language which can model these domains by supporting the specification of blackbox generators to handle complex constraints. The outputs of these generat...

Journal: :Annals of Global Analysis and Geometry 2016

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید