1
|
Gigante N, Micheli A, Montanari A, Scala E. Decidability and Complexity of Action-Based Temporal Planning over Dense Time. ARTIF INTELL 2022. [DOI: 10.1016/j.artint.2022.103686] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 01/09/2023]
|
2
|
Latour AL, Babaki B, Fokkinga D, Anastacio M, Hoos HH, Nijssen S. Exact Stochastic Constraint Optimisation with Applications in Network Analysis. ARTIF INTELL 2021. [DOI: 10.1016/j.artint.2021.103650] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/26/2022]
|
3
|
Ceylan İİ, Darwiche A, Van den Broeck G. Open-world probabilistic databases: Semantics, algorithms, complexity. ARTIF INTELL 2021. [DOI: 10.1016/j.artint.2021.103474] [Citation(s) in RCA: 4] [Impact Index Per Article: 1.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/22/2022]
|
4
|
|
5
|
|
6
|
|
7
|
Choi A, Xue Y, Darwiche A. Same-decision probability: A confidence measure for threshold-based decisions. Int J Approx Reason 2012. [DOI: 10.1016/j.ijar.2012.04.005] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/28/2022]
|
8
|
|
9
|
Abstract
A new approach, "controlled concurrency," is introduced for inference control in an adaptive reasoning system working with insufficient knowledge and resources. With this method, a problem-solving process is constructed from atomic steps in run time, according to the system's past experience and the current context. The system carries out many such processes in parallel by distributing its resources among them, and dynamically adjusting the distribution according to feedback. A data structure, "bag," is designed to support this dynamic time-space allocation, and is a kind of probabilistic priority queue. This approach provides a flexible, efficient, and adaptive control mechanism for real-time systems working with uncertain knowledge. To analyze problem solving in such a system, the traditional computability theory and computational complexity theory become inappropriate, because the system no longer follows problem-specific algorithms in problem solving.
Collapse
Affiliation(s)
- PEI WANG
- Department of Computer and Information Sciences, Temple University, 1805 N. Broad Street, Philadelphia, Pennsylvania 19122, USA
| |
Collapse
|
10
|
Kwisthout J, Wareham T, van Rooij I. Bayesian intractability is not an ailment that approximation can cure. Cogn Sci 2011; 35:779-84. [PMID: 21609357 DOI: 10.1111/j.1551-6709.2011.01182.x] [Citation(s) in RCA: 58] [Impact Index Per Article: 4.5] [Reference Citation Analysis] [MESH Headings] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/29/2022]
|
11
|
Gunderson JP, Martin WN. The effects of uncertainty on plan success in a simulated maintenance robot domain. J EXP THEOR ARTIF IN 2010. [DOI: 10.1080/095281300409810] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/17/2022]
|
12
|
Foka AF, Trahanias PE. Probabilistic Autonomous Robot Navigation in Dynamic Environments with Human Motion Prediction. Int J Soc Robot 2010. [DOI: 10.1007/s12369-009-0037-z] [Citation(s) in RCA: 51] [Impact Index Per Article: 3.6] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
|
13
|
Hauser K. Randomized Belief-Space Replanning in Partially-Observable Continuous Spaces. ACTA ACUST UNITED AC 2010. [DOI: 10.1007/978-3-642-17452-0_12] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 02/19/2023]
|
14
|
Bryce D, Kambhampati S, Smith DE. Sequential Monte Carlo in reachability heuristics for probabilistic planning. ARTIF INTELL 2008. [DOI: 10.1016/j.artint.2007.10.018] [Citation(s) in RCA: 5] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/29/2022]
|
15
|
|
16
|
Madani O, Hanks S, Condon A. On the undecidability of probabilistic planning and related stochastic optimization problems. ARTIF INTELL 2003. [DOI: 10.1016/s0004-3702(02)00378-8] [Citation(s) in RCA: 46] [Impact Index Per Article: 2.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/27/2022]
|
17
|
|
18
|
|
19
|
|