REASONING WITH HYPOTHETICAL SITUATION MODELS
نویسندگان
چکیده
منابع مشابه
Hypothetical Reasoning from Situation Calculus to Event Calculus
Pinto and Reiter have argued that the Sit uation Calculus improved with time han dling axioms subsumes the features of lin ear time temporal formalisms such as Event Calculus and Interval Logic In this note we nd answers to some of their re marks by showing a modi ed version of Event Calculus that seems to match Sit uation Calculus handling of hypothetical reasoning and projection Further consi...
متن کاملInterpretive Reasoning with Hypothetical Cases
Reasoning with hypothetical cases helps decision-makers evaluate alternate hypotheses for deciding a case. The hypotheticals demonstrate the sensitivity of a hypothesis to apparently small factual differences that may require different results because they shift the tradeoffs among conflicting underlying principles. By anticipating variations, the decision-maker seeks to formulate as general an...
متن کاملHypothetical Reasoning with Intuitionistic Logic
This paper addresses a limitation of most deductive database systems: They cannot reason hypothetically. Although they reason eeectively about the world as it is, they are poor at tasks such as planning and design, where one must explore the consequences of hypothetical actions and possibilities. To address this limitation, this paper presents a logic-programming language in which a user can cr...
متن کاملStory-enabled Hypothetical Reasoning
Story understanding is a central competence that illuminates all other aspects of human intelligence. In this work, I demonstrate how our story understanding ability sheds light on our ability to think in terms of hypothetical situations. Using the Genesis story understanding system as a substrate, I develop a story-enabled hypothetical reasoning system that models several high-level human abil...
متن کاملHypothetical Temporal Reasoning with History Encoding
In this paper we integrate a history{encoding based methodology developed by Chomicki for checking dynamic database integrity constraints into a situation-calculus based speciication of database updates as proposed by Reiter. By doing this, we are able to: (1) Answer queries about a whole hypothetical evolution of a database, without having to update the entire database and keep the information...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Japanese Journal of Educational Psychology
سال: 1991
ISSN: 0021-5015
DOI: 10.5926/jjep1953.39.1_1