NSTL国家科技图书文献中心

1. Combined Change Operators for Trust and Belief NSTL国家科技图书文献中心

Aaron Hunter - 《AI 2024: Advances in Artificial Intelligence,Part I》 - Australasian Joint Conference on Artificial Intelligence - 2025, - 16～28 - 共13页

摘要：We present a formal framework for representing and reasoning about simultaneous changes of trust and belief. We introduce trust states, and we demonstrate how trust states can be explicitly updated by...

关键词： Trust | Belief revision | Knowledge representation

2. A Description Language for Similarity, Belief Change and Trust NSTL国家科技图书文献中心

Aaron Hunter - 《16th International Conference on Agents and Artificial Intelligence,v.3,p.2》 - International Conference on Agents and Artificial Intelligence - 2024, - 870～877 - 共8页

摘要：We introduce a simple framework for describing and reasoning about situations where an agent receives information reported from external sources, and these reports cause them to change their beliefs. ...

关键词： Trust | Belief revision | Knowledge representation

3. Reports, Observations, and Belief Change NSTL国家科技图书文献中心

Aaron Hunter - 《AI 2023: Advances in Artificial Intelligence: 6th Australasian Joint Conference on Artificial Intelligence, AI 2023, Brisbane, QLD, Australia, November 28-December 1, 2023, Proceedings, Part II》 - Australasian Joint Conference on Artificial Intelligence - 2024, - 54～65 - 共12页

摘要：We consider belief change in a context where information comes from reports, and the reporting agents may not be honest. In order to capture this process, we introduce an extended class of epistemic s...

关键词： Trust | Belief revision | Knowledge representation

4. Belief Revision for Physical Robots: Opportunities and Challenges NSTL国家科技图书文献中心

Aaron Hunter | Dustin Daon - 《2024 IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2024), Vol.2: Kingston, Ontario, Canada.6-9 August 2024》 - IEEE Canadian Conference on Electrical and Computer Engineering - 2024, - 806～810 - 共5页

摘要：We are interested in groups of autonomous agents with partial beliefs about the state of the world, who are able to receives alerts and orders through broadcast messaging. Moreover, our focus is on im...

关键词： Knowledge Representation | Autonomous Robots | Belief Change

5. Interpretable Android Malware Detection Based on Dynamic Analysis NSTL国家科技图书文献中心

Arunab Singh | Maryam Tanha ... - 《10th International Conference on Information Systems Security and Privacy》 - International Conference on Information Systems Security and Privacy - 2024, - 195～202 - 共8页

摘要：Android has emerged as the dominant operating system for smart devices, which has consequently led to the proliferation of Android malware. In response to this, different analysis methods have been su...

关键词： Malware | Dynamic analysis | Android | Security

6. Keck adaptive secondary mirror overview NSTL国家科技图书文献中心

Philip M. Hinz | Brad Holden ... - 《Adaptive Optics Systems IX, Part Two of Three Parts: At SPIE Astronomical Telescopes + Instrumentation.16-22 June 2024.Yokohama, Japan》 - Adaptive Optics Systems (conference) - 2024, - 130972O.1～130972O.13 - 共13页

摘要：The Keck Adaptive Secondary Mirror (KASM) project is planned as a core component of adaptive optics (AO) improvements for the Keck 1 telescope. KASM will provide image quality enhancements to all inst...

关键词： Adaptive optics | Large-format deformable mirrors | Adaptive secondary mirrors

7. Interactions with AI Systems: Trust and Transparency NSTL国家科技图书文献中心

Aaron Hunter - 《2023 IEEE Conference on Engineering Informatics: EI 2023, Melbourne, Australia, 22-23 November 2023》 - IEEE Conference on Engineering Informatics - 2023, - 1～6 - 共6页

摘要：Modern AI systems are trained using sophisticated machine learning algorithms based on large data sets from a variety of sources. However, users that query these systems for information often have lit...

关键词： Training | Ethics | Machine learning algorithms | Training data | Question answering (information retrieval) | Reliability | Artificial intelligence

8. Ethical Considerations for the Deployment of Logic-Based Models of Reasoning NSTL国家科技图书文献中心

Aaron Hunter - 《15th International Conference on Agents and Artificial Intelligence: ICAART 2023, Lisbon, Portugal, 22-24 February 2023, v.3,p.2》 - International Conference on Agents and Artificial Intelligence - 2023, - 565～569 - 共5页

摘要：Ethical considerations in the development of Artificial Intelligence systems need to be addressed as more systems are deployed in practice. Much of the current work in this area is focused on Machine ...

关键词： AI ethics | Logic-Based AI | Belief change

9. A System for Updating Trust and Performing Belief Revision NSTL国家科技图书文献中心

Aaron Hunter | Sam Tadey - 《15th International Conference on Agents and Artificial Intelligence: ICAART 2023, Lisbon, Portugal, 22-24 February 2023, v.3,p.1》 - International Conference on Agents and Artificial Intelligence - 2023, - 55～62 - 共8页

摘要：The process of belief revision is impacted by trust. In particular, when new information is received, it is only believed if the source is trusted as an authority on the given information. Moreover, t...

关键词： Belief revision | Trust | Systems

10. GNSS-Assisted System Identification of Autonomous Ground Vehicle Model and Sensor Parameters NSTL国家科技图书文献中心

Aaron Hunter | Renwick Curry ... - 《2023 IEEE/ION Position, Location and Navigation Symposium: PLANS 2023, Monterey, California, USA, 24-27 April 2023, [v.1]》 - IEEE/ION Position, Location and Navigation Symposium - 2023, - 637～646 - 共10页

摘要：Vehicle autonomy requires accurate modeling of both kinematic and dynamic parameters of a given craft. While many of these parameters may be measured directly or determined through experimentation, it...

摘要：We present a formal framework for representing and reasoning about simultaneous changes of trust and belief. We introduce trust states, and we demonstrate how trust states can be explicitly updated by...

关键词： Trust | Belief revision | Knowledge representation

摘要：We introduce a simple framework for describing and reasoning about situations where an agent receives information reported from external sources, and these reports cause them to change their beliefs. ...

关键词： Trust | Belief revision | Knowledge representation

摘要：We consider belief change in a context where information comes from reports, and the reporting agents may not be honest. In order to capture this process, we introduce an extended class of epistemic s...

关键词： Trust | Belief revision | Knowledge representation

摘要：We are interested in groups of autonomous agents with partial beliefs about the state of the world, who are able to receives alerts and orders through broadcast messaging. Moreover, our focus is on im...

关键词： Knowledge Representation | Autonomous Robots | Belief Change

摘要：Android has emerged as the dominant operating system for smart devices, which has consequently led to the proliferation of Android malware. In response to this, different analysis methods have been su...

关键词： Malware | Dynamic analysis | Android | Security

摘要：The Keck Adaptive Secondary Mirror (KASM) project is planned as a core component of adaptive optics (AO) improvements for the Keck 1 telescope. KASM will provide image quality enhancements to all inst...

关键词： Adaptive optics | Large-format deformable mirrors | Adaptive secondary mirrors

摘要：Modern AI systems are trained using sophisticated machine learning algorithms based on large data sets from a variety of sources. However, users that query these systems for information often have lit...

关键词： Training | Ethics | Machine learning algorithms | Training data | Question answering (information retrieval) | Reliability | Artificial intelligence

摘要：Ethical considerations in the development of Artificial Intelligence systems need to be addressed as more systems are deployed in practice. Much of the current work in this area is focused on Machine ...

关键词： AI ethics | Logic-Based AI | Belief change

摘要：The process of belief revision is impacted by trust. In particular, when new information is received, it is only believed if the source is trusted as an authority on the given information. Moreover, t...

关键词： Belief revision | Trust | Systems

摘要：Vehicle autonomy requires accurate modeling of both kinematic and dynamic parameters of a given craft. While many of these parameters may be measured directly or determined through experimentation, it...

关键词： Global navigation satellite system | Magnetic sensors | Kinematics | Tires | Sensor systems | Land vehicles | Calibration

4008-161-200 800-990-8900

国家科技图书文献中心