Files

T

Antigravity Agent 9a135bd19d docs(10_Wiki): Topic_Business/General/Graphic/Programming을 Topics/ 하위로 이동

최상위 10_Wiki/Topic_*였던 4개 카테고리 폴더를 10_Wiki/Topics/Topic_* 로 재배치.
콘텐츠 변경 없음(순수 폴더 이동) — Topics/ 하위 나머지 폴더는 이미 지난 커밋에서
전부 정리된 상태(잔존 항목은 에이전트 운영 상태 및 사용자가 보존을 요청한
업데이트0615/무제 3.canvas 뿐).

2026-07-05 00:44:01 +09:00

3.9 KiB

Raw Blame History

id, title, category, status, canonical_id, aliases, duplicate_of, source_trust_level, confidence_score, tags, raw_sources, last_reinforced, github_commit, inferred_by, tech_stack

title

Temporal Logic (시간 논리)

📌 한 줄 통찰 (The Karpathy Summary)

"시간의 흐름을 기술하는 수학적 언어: 정적인 참/거짓을 넘어, '결국 ~가 될 것이다(Eventually)', '항상 ~이다(Always)', '~할 때까지(Until)'와 같은 시점의 개념을 논리식에 도입하여 동적 시스템의 명세를 정의하는 틀."

📖 구조화된 지식 (Synthesized Content)

선형 시간 논리 (LTL, Linear Temporal Logic): 시간을 하나의 경로(Path)로 간주한다. 미래의 특정 시점이나 범위에 대한 조건을 정의하는 데 유용하며, 프로그램의 실행 흐름을 검증할 때 주로 사용된다.
계층 시간 논리 (CTL, Computation Tree Logic): 시간을 여러 갈래로 뻗어나가는 트리(Tree) 구조로 간주한다. "모든 경로에서 ~가 발생한다" 또는 "어떤 경로에서는 ~가 가능하다"와 같은 분기적(Branching) 특성을 기술할 수 있다.
주요 연산자:
- G (Global): 항상 만족함.
- F (Future): 언젠가 한 번은 만족함.
- X (Next): 바로 다음 시점에 만족함.
- U (Until): 특정 조건이 충족될 때까지 지속됨.

⚖️ 트레이드오프 및 고려사항

표현력 vs 결정 가능성: 논리가 복잡해질수록(예: 고차 논리 결합) 표현력은 좋아지지만, 해당 논리식이 참인지 거짓인지 판별하는 알고리즘의 복잡도가 기하급수적으로 증가하거나 판별 불가능해질 수 있다.
형식 검증 (Formal Verification): 시스템의 안전성(Safety)과 활성(Liveness)을 증명하는 데 강력하지만, 실제 대규모 소프트웨어에 적용하기에는 명세 작성 비용이 매우 높다.
실무적 적용: 주로 하드웨어 설계 검증, 분산 알고리즘의 무한 루프 방지, 자율 주행 에이전트의 제약 조건 설정 등에 부분적으로 활용된다.

🔗 지식 연결 (Graph)

상위 개념: Mathematical Logic, Formal Methods
유사 개념: Model Checking

Last updated: 2026-05-08

🤖 LLM 활용 힌트 (How to Use This Knowledge)

언제 이 지식을 쓰는가:

(TODO)

언제 쓰면 안 되는가:

(TODO)

🧪 검증 상태 (Validation)

정보 상태: verified
출처 신뢰도: A
검토 이유: (P-Reinforce Phase 1 자동 정규화. 본문 검증 필요.)

🧬 중복 검사 (Duplicate Check)

기존 유사 문서: (TODO: 인덱서 클러스터 리포트 참조)
처리 방식: UPDATE (자동 정규화)
처리 이유: Phase 1 정규화 — 옛 템플릿/누락 필드 보강.

⚠️ 모순 및 업데이트 (Contradictions & Updates)

과거 데이터와의 충돌: 없음
정책 변화: 없음

🕓 변경 이력 (Changelog)

날짜	변경 내용	처리 방식	신뢰도
2026-05-08	P-Reinforce Phase 1 정규화 (frontmatter + 헤더 표준화)	UPDATE	A

💻 코드 패턴 (Code Patterns)

패턴 1: (TODO: 이 프로젝트 컨벤션 반영한 구조 스켈레톤)

# TODO

🤔 의사결정 기준 (Decision Criteria)

선택 A를 써야 할 때:

(TODO)

선택 B를 써야 할 때:

(TODO)

기본값:

(TODO)

❌ 안티패턴 (Anti-Patterns)

[안티패턴]: (TODO: 무엇을 하면 안 되는가 + 이유 + 대신 무엇을)

3.9 KiB Raw Blame History