NDLI: A decision-theoretic formalism for belief-optimal reasoning

Please wait, while we are loading the content...

Modeling multiple human operators in the supervisory control of heterogeneous unmanned vehicles

Manufacturing unit process life cycle inventories (Uplci)

A mission taxonomy-based approach to planetary rover cost-reliability tradeoffs

Unmanned and autonomous systems mission based test and evaluation

The role of competitions in advancing intelligent systems: a practitioner's perspective

Is an agent theory of mind (ToM) valuable for adaptive, intelligent systems?

Data collection test-bed for the evaluation of range imaging sensors for ANSI/ITSDF B56.5 safety standard for guided industrial vehicles

Ontology formalisms: what is appropriate for different applications?

Performance measures of agility for mobile robots

Evaluating speech translation systems: applying SCORE to TRANSTAC technologies

Performance measurement and its role in advancement for intelligent systems: discussion points

Performance measurements towards improved manufacturing vehicle safety

Internal model generation for evolutionary acceleration of automated robotic assembly optimization

Conceptual foundations of energy aware manufacturing

Towards a systematic assessment of the functions of unmanned autonomous systems

Modeling and simulation for unmanned and autonomous system test and evaluation

Evaluating the RoboCup 2009 Virtual Robot Rescue Competition

Towards a simple robotic theory of mind

Ground truth data using 3D imaging for urban search and rescue robots

Measuring robot performance in real-time for NASA robotic reconnaissance operations

Development and internal evaluation of speech-to-speech translation technology at BBN

Collective intelligence: toward classifying systems of systems

Towards improved forklift safety: white paper

Development of top-down analysis of distributed assembly tasks

Discrete event simulation to generate requirements specification for sustainable manufacturing systems design

Performance measures framework for unmanned systems (PerMFUS): initial perspective

Evolutionary framework for test of autonomous systems

RoboCupRescue Interleague Challenge 2009: bridging the gap between simulation and reality

Resilient behavior through controller self-diagnosis, adaptation and recovery

Performance measurements for evaluating static and dynamic multiple human detection and tracking systems in unstructured environments

A biologically inspired sensory driven method for tracking wind-borne odors

The impact of evaluation scenario development on the quantitative performance of speech translation systems prescribed by the SCORE framework

A decision-theoretic formalism for belief-optimal reasoning

Context-based object recognition

Towards a new geometric metric for sustainability assessment

Optimum combination of full system and subsystem tests for estimating the reliability of a system

Metrics for co-evolving autonomous systems

Mobile microrobot characterization through performance-based competitions

Neurodynamics of cognition and consciousness

Mathematical metrology for evaluating a 6DOF visual servoing system

A confidence measure for segment based maps

Probability of successful transfer of low-level concepts via machine translation: a meta-evaluation

Evaluation of automatically generated reactive planning logic for unmanned surface vehicles

Theory of mind, computational tractability, and mind shaping: 2009 Performance Metrics for Intelligent Systems Workshop

Evaluation of RoboCup maps

Automated metrics for speech translation

Utility assessment in TRANSTAC: using a set of complementary methods

A decision-theoretic formalism for belief-optimal reasoning

Content Provider	ACM Digital Library
Author	Hauser, Kris
Abstract	Intelligent systems must often reason with partial or corrupted information, due to noisy sensors, limited representation capabilities, and inherent problem complexity. Gathering new information and reasoning with existing information comes at a computational or physical cost. This paper presents a formalism to model systems that solve logical reasoning problems in the presence of uncertainty and priced information. The system is modeled a decision-making agent that moves in a probabilistic belief space, where each information-gathering or computation step changes the belief state. This forms a Markov decision process (MDP), and the belief-optimal system operates according to the belief-space policy that optimizes the MDP. This formalism makes the strong assertion that belief-optimal systems solve the reasoning problem at minimal expected cost, given the background knowledge, sensing capabilities, and computational resources available to the system. Furthermore, this paper argues that belief-optimal systems are more likely to avoid overfitting to benchmarks than benchmark-optimized systems. These concepts are illustrated on a variety of toy problems as well as a path optimization problem encountered in motion planning.
Starting Page	274
Ending Page	280
Page Count	7
File Format	PDF
ISBN	9781605587479
DOI	10.1145/1865909.1865964
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-09-21
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in