Extended inference modes in reasoning by computer systems

DOI10.1016/0004-3702(80)90010-7zbMath0435.68071OpenAlexW2077137711MaRDI QIDQ1140438

Terry Winograd

Publication date: 1980

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(80)90010-7

zbMATH Keywords

non-monotonic reasoningprocess-dependent reasoning

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Related Items

Formalizing nonmonotonic reasoning systems, Learning by understanding analogies, A model for belief revision, The validity of Dempster-Shafer belief functions, KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS, Perspectives on the theory and practice of belief functions, Some representational issues in default reasoning, Plausible inferences and plausible reasoning, Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)

Cites Work

• STRIPS: A new approach to the application of theorem proving to problem solving
• Unnamed Item
• Unnamed Item