Filters








2,294 Hits in 8.0 sec

Iterated Belief Revision Under Resource Constraints: Logic as Geometry [article]

Dan P. Guralnik, Daniel E. Koditschek
2018 arXiv   pre-print
We propose a variant of iterated belief revision designed for settings with limited computational resources, such as mobile autonomous robots.  ...  representations and the category of the corresponding model spaces, extending the Sageev-Roller duality between discrete poc sets and discrete median algebras provides a two-way dictionary from inference to geometry  ...  Motivated by the problem of realizing iterated belief revision and update in a bounded resources setting, we seek a class of lightweight general-purpose representations.  ... 
arXiv:1812.08313v1 fatcat:c62dcxwryrcyvhrgbdwmfjetxq

Social Perspectives on Semantic Interoperability: Constraints on Geographical Knowledge from a Data Perspective

Nadine Schuurman
2005 Cartographica  
Finally, policy at the multiple levels of governance with respect to interoperability is explored as an infrastructural constraint -and a diminishing influence.  ...  Exploration of social influences, as an alternative analytical approach to interoperability, begins with a discussion of the roles of classification and scale.  ...  Provincial governments, which control water resources in Canada, are uniformly under financial pressure and are frequently reluctant to commit resources to what might be viewed as an esoteric task.  ... 
doi:10.3138/9643-114r-7787-5253 fatcat:ldg45f2l4vekva5y7awwlghi6i

Enabling a Significant Nuclear Role in China's Decarbonization [chapter]

Matthew Bunn
2021 Foundations for a Low-Carbon Energy System in China  
and operational costs for different systems under different carbon constraints.  ...  The effect of a carbon constraint on fossil fuel generation, at the specific level of that constraint, depends on the availability and cost of renewable resources.  ...  Data for China were taken from published sources as well as from the China Quote System for power plant construction as of 2016.  ... 
doi:10.1017/9781108903103.004 fatcat:wlgxcgpobbgptj2hl33mvwjisi

A reason maintenance perspective on relevant Ramsey conditionals

H. O. Ismail
2009 Logic Journal of the IGPL  
Yet, he states that "belief sets are just theories in the standard logical sense" [10, p. 83].  ...  The reason maintenance system is built on top of a deductive reasoning engine based on relevance logic. Thus, the account of conditionals provided is not susceptible to the fallacies of relevance.  ...  resources and availability.  ... 
doi:10.1093/jigpal/jzp036 fatcat:sibbxf7gvvfy5lpnltzl2klywy

Index—Volumes 1–89

1997 Artificial Intelligence  
allocation 238, 1174 constraints 363,668 contention 955 limitations 1151 limited agents 1362 limits 1362 resource-bounded rationality 641 resource-limited problem solving 183 resources 363  ...  1057 in 01s 603 in probabilistic logic 1124 initial clauses of a -10 logical -635 met hod 1124 of relative likelihood conclusions 578 over logical formulas 1095 parsing as -1059 parsing as  ...  112, 147,245,292,296, 303,444,453, 461,503,573,632,690,692, 1079, 1204, 1222,1339 reasoning abductive -684, 1175, 1222 logical -1124, 1217 machinery 58 1 management of evidential -328 mathematical -166,579  ... 
doi:10.1016/s0004-3702(97)80122-1 fatcat:6az7xycuifaerl7kmv7l3x6rpm

Optimizing the Next Generation Collision Avoidance System for Safe, Suitable, and Acceptable Operational Performance

Jessica E. Holland, Mykel J. Kochenderfer, Wesley A. Olson
2013 Air Traffic Control Quarterly  
However, the logic used to select pilot advisories is difficult to modify and does not easily support new surveillance inputs.  ...  An iterative tuning process reduced the operational impact on the air traffic system and improved acceptability of alerts.  ...  We thank James Chryssanthacopoulos, Dylan Asmar, Thomas Billingsley, and Alexander Eyler for their work on tuning the ACAS X logic.  ... 
doi:10.2514/atcq.21.3.275 fatcat:utrpr35albhy5ngurfrpcmrkfq

What Do We Know about Knowledge?

Bruce G. Buchanan
2006 The AI Magazine  
The discipline and detail required to write programs that use knowledge have given us some valuable lessons for implementing the knowledge principle, one of which is to make our programs as flexible as  ...  As John McCarthy and others have pointed out, it can be enormously complicated to keep track of a computer's-or a person'sset of beliefs, and revise the set as more information becomes available.  ...  For the first time, scientists had a way to quantify the degree to which evidence supports a hypothesis and a way to revise a degree of belief incrementally as new evidence becomes available.  ... 
doi:10.1609/aimag.v27i4.1908 dblp:journals/aim/Buchanan06 fatcat:562uule2oreclfwq5ostekucom

Reflections on the First AAAI Conference

Robert Balzer
2005 The AI Magazine  
The discipline and detail required to write programs that use knowledge have given us some valuable lessons for implementing the knowledge principle, one of which is to make our programs as flexible as  ...  As John McCarthy and others have pointed out, it can be enormously complicated to keep track of a computer's-or a person'sset of beliefs, and revise the set as more information becomes available.  ...  For the first time, scientists had a way to quantify the degree to which evidence supports a hypothesis and a way to revise a degree of belief incrementally as new evidence becomes available.  ... 
doi:10.1609/aimag.v26i4.1838 dblp:journals/aim/Balzer05 fatcat:rtrg4qqa6rghbecmrmmvxopkka

Knowledge-Base Evolution for Product and Production Planning

Knut Hinkelmann, Manfred Meyer, Franz Schmalhofer
1994 AI Communications  
By conceptualizing knowledge-base evolution as theory revision, we can take advantage of the basic findings from different research communities.  ...  Results from Inductive Logic Programming (ILP) and Explanation-Based Learning (EBL) provide a set of techniques that can be used as a foundation for obtaining new knowledge {knowledge-base exploration)  ...  Theory Revision has recently been proposed as a general framework, where Explanation-Based Learning (EBL) and Inductive Logic Programming (ILP) can be integrated [27] .  ... 
doi:10.3233/aic-1994-7203 fatcat:cftbmajzanc3bag4nkzbyqsp2i

Book reports

ErvinY. Rodin
2002 Computers and Mathematics with Applications  
Development of oriented ocular dominance bands as a consequence of areal geometry (H.-U. Bauer). 10.  ...  Self-organization as an iterative kernel smoothing process (Filip Muller and Vladimir Cherkassky). V. Extensions of self-organizing maps. 17.  ... 
doi:10.1016/s0898-1221(02)00112-8 fatcat:qjhmwblxoffp5eo5jbyndinexa

Author index—Volumes 1–89

1997 Artificial Intelligence  
Pearl, On the logic of iterated belief revision Darwish, N.M., A quantitative analysis of the alpha-beta pruning algorithm Das, S. a.nd N.  ...  Fagin, Two views of belief: belief as generalized probability and belief as evidence Halpern, J.Y. and G.  ... 
doi:10.1016/s0004-3702(97)80124-5 fatcat:lgnqxkxmtngw5ip7kfjj3dz6fe

Multiagent Design Architecture for Intelligent Synthesis Environment

A. Deshmukh, T. Middelkoop, A. Krothapalli, W. Shields, N. Chandra, C. A. Smith
2001 Journal of Aircraft  
Figure 4 shows the execution logic in MADA.  ...  In the case of multiple iterations, the constraint satisfac- tion and search routine can create multiple facilitator agents with different input parameters to explore the design space.  ... 
doi:10.2514/2.2778 fatcat:a6cecnhwn5d4be4y32ioyzmpzy

Towards a synchronized semantic model to support aspects of building management

Michael Dibley, Haijiang Li, John Miles, Yacine Rezgui
2009 2009 7th IEEE International Conference on Industrial Informatics  
Additionally further inferences are facilitated including those about wasted resources such as unnecessary lighting and heating for example.  ...  The agent goals are to generate knowledge about building space usage as well as environmental conditions by elaborating and combining near real time sensor data and information from conventional building  ...  In knowledge / belief, logical omniscience is one of the main difficulties; it is a result of closure of knowledge / belief under implication and the necessitation rule.  ... 
doi:10.1109/indin.2009.5195822 fatcat:z2s4micvrvhwzioiivpdxz2t54

Logical disputes and the a priori [Disputas lógicas e o a priori]

Graham Priest
2016 Princípios  
In this paper, I propose a general model for the rational resolution of disputes about logic, and discuss a number of its features.  ...  These include its dispensing with a traditional notion of the a priori in logic, and some objections to which this might give rise.  ...  The present model may be seen as spelling out rational constraints on priors, and also as giving an answer to the question of what sort of evidence is at issue in revision.  ... 
doaj:78054e6d7fa641dcac129e36b283a85a fatcat:aiojr5cg4vd7pi3e75s7wohyvm

Perception-Based Temporal Logic Planning in Uncertain Semantic Maps [article]

Yiannis Kantaros, Samarth Kalluraya, Qi Jin, George J. Pappas
2022 arXiv   pre-print
Our goal is to design control policies for robots equipped with noisy perception systems so that they can accomplish collaborative tasks captured by global temporal logic specifications.  ...  To specify missions that account for environmental and perceptual uncertainty, we employ a fragment of Linear Temporal Logic (LTL), called co-safe LTL, defined over perception-based atomic predicates modeling  ...  on the revised automaton.  ... 
arXiv:2012.10490v3 fatcat:3fe67or5crh4zmdtmzn36hw2ym
« Previous Showing results 1 — 15 out of 2,294 results