A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Iterated Belief Revision Under Resource Constraints: Logic as Geometry
[article]
2018
arXiv
pre-print
Preserved Fulltext
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
2005
Cartographica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
Foundations for a Low-Carbon Energy System in China
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2009
Logic Journal of the IGPL
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2013
Air Traffic Control Quarterly
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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?
2006
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2005
The AI Magazine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
1994
AI Communications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2002
Computers and Mathematics with Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2001
Journal of Aircraft
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2009
2009 7th IEEE International Conference on Industrial Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Princípios
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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