Search NASASearch

Engineering topics

Mason, Cindy L.

Publications and source records attributed to Mason, Cindy L..

A beginner's guide to belief revision and truth maintenance systems

This brief note is intended to familiarize the non-TMS audience with some of the basic ideas surrounding classic TMS's (truth maintenance systems), namely the justification-based TMS and the assumption-based TMS. Topics of further interest include the relation between non-monotonic logics and TMS's, efficiency and search issues, complexity concerns, as well as the variety of TMS systems that have surfaced in the past decade or so. These include probabilistic-based TMS systems, fuzzy TMS systems, tri-valued belief systems, and so on.

Mason, Cindy L.

MATE: The multi-agent test environment

In this report we present the Multi-Agent Test Environment, MATE. MATE is a collection of experiment management tools for assisting in the design, testing, and evaluation of distributed problem-solvers. It provides the experimenter with an automated tool for executing and monitoring experiments choosing among rule bases, number of agents, communication strategies, and inference engines. Using MATE the experimenter can run a series of distributed problem-solving experiments without human intervention.

Mason, Cindy L.