Learn More
To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMs) is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs. Such recorded reasons are useful in(More)
Goals, as typically conceived in AI planning, provide an insufficient basis for choice of action, and hence are deficient as the sole expression of an agent’s objectives. Decision-theoretic utilities offer a more adequate basis, yet lack many of the computational advantages of goals. We provide a preferential semantics for goals that grounds them in(More)
Levesque and Brachman argue that in order to provide timely and correct responses in the most critical applications, general purpose knowledge representation systems should restrict their languages by omitting constructs which require non-polynomial worst-case response times for sound and complete classiication. They also separate terminological and(More)
qualitative decision theory: its motivating tasks and issues, its antecedents, and its prospects. Qualitative decision theory studies qualitative approaches to problems of decision making and their sound and effective reconciliation and integration with quantitative approaches. Although it inherits from a long tradition, the field offers a new focus on a(More)
Th is summarizes the fu l l report (Jon Doyle, "T ru th Maintenance Systems for Problem Solving," M I T AI Lab TR419) which describes progress that has been made in the abil i ty of a computer system to understand and reason about its own reasoning faculties. A new method for representing knowledge about beliefs has been developed. This representation,(More)
BREAUX, TRAVIS DURAND. Legal Requirements Acquisition for the Specification of Legally Compliant Information Systems. (Under the direction of Ana Isabel Antón.) U.S. federal and state regulations impose mandatory and discretionary requirements on industrywide business practices to achieve non-functional, societal goals such as improved accessibility,(More)
The economic theory of rationality promises to equal mathematical logic in its importance for the mechaniz* tion of reasoning. We survey the growing literature on how the basic notions of probability, utility, and rational choice, coupled with practical limitations on information and resources, influence the design and analysis of reasoning and(More)