좁은 범위 가설

The small scope hypothesis states that most bugs can be demonstrated with small counterexamples.

Most flaws in models can be illustrated by small instances, since they arise from some shape being handled incorrectly, and whether the shape belongs to a large or small instances, most flaws will be revealed. This observation, which I call the small scope hypothesis, is the fundamental premise that underlies Alloy’s analysis. —Software Abstractions: Logic, Language, and Analysis

경량 형식적 방법론 이 글을 인용: “Partiality in analysis: 분석의 범위를 제한하되 해당 범위 안에서는 모든 케이스를 검사하기 (참고: Small scope hypothesis)”
자연어로 작성된 명세서 이 글을 인용: “맥락 상 중요한 얘기는 아니지만 "is valid"가 아니라 "may be valid"인 이유가 궁금한 사람은 좁은 범위 가설을 참고.”
Evolutionary hypothesis 관련 절: Generating and testing
The Big World Hypothesis and its Ramifications for Artificial Intelligence 관련 절: 4. Ramifications of the Big World Hypothesis on Algorithm Design
큰 세상 가설 “The opposing view to the big world hypothesis is that real-world decision-making problems have a simple solutio…”
The Platonic Representation Hypothesis “Finally, we discuss the implications of these trends, their limitations, and counterexamples to our analysis.”
큰 세상 가설과 제한된 합리성 관련 절: 큰 세상 가설
Model-driven testing “Use Alloy's scope limits to design performance tests:”
Strong Platonic Representation Hypothesis “In this work, we show that the Strong Platonic Representation Hypothesis holds in practice.”
가설 검증 “가설 검증의 결과는 영가설의 기각(reject) 또는 기각 실패(fail to reject)다.”
진화적 분석의 계층 관련 절: Falsifiability
All animals are conscious: Shifting the null hypothesis in consciousness science “Accepting the hypothesis all animals are conscious will promote research leading to secure theory, which is nee…”
On the Effectiveness of Large Language Models in Writing Alloy Formulas “One, we employ LLMs to write complete Alloy formulas from given natural language descriptions (in English).”
미래의 소프트웨어 공학을 꿈꾸기 관련 절: 사례 1. 기획 혹은 시스템 설계
Information foraging in information access environments 관련 절: Quotes
Autism as a disorder of prediction “In this paper, we describe how theoretical considerations and a review of empirical data lead to the hypothesis…”
Tensor Logic: The Language of AI “This paper proposes tensor logic, a language that solves these problems by unifying neural and symbolic AI at a…”
Amplify learning 관련 절: [[Lean software development|린 소프트웨어 개발]]의 원칙 중 하나
The evolution of language faculty: Clarifications and implications “By blurring this distinction, Pinker and Jackendoff mischaracterize our hypothesis 3 which concerns only FLN, n…”