도시의 모습(질적, 양적 상태)을 드러낼 수 있는 변수.

Dynamic :

- 물리적 순환

- 교통: 교통상태

- 전기 / 통신: 과부하 정도

- 도시 가스 / 상하수도: 배선 지역의 비율

- 야생동물 이동 통로 활용 빈도

- 정서적 순환

- 행정(Administrators) - 시민(Citizen)간 의사소통: 동일 주제에 대한 데모 횟 수.

- SNS를 통한 키워드 확산의 속도

- 언론의 자유도: 편향적 보도 측정

- 응급 상황 대처

- 사건 발생후 소방차, 경찰차, 구급차 도착 지연시간

Static :

- 건축물의 건축시기

- 휴양공간(역사공간, 국립공원, 박물관 등)과 업무공간의 배치 형태

- 기반시설(경찰서, 병원, 소방서, 행정사무소)을 포함하는 건물 범주별 배치 형태

- 가로수의 배치 형태

* 인터넷 참조한 유기적 / 물리적 3 요소

유기적 요소: 인구, 토지, 시설

물리적 요소: 밀도, 동선, 배치

1. Bio datamining

2. 논문 준비 재시작

결국 내가 마음을 잡는 가장좋은 법은

내 역할을 충실히 수행 하는 것 그자체가 명상이고

그 자체가 수행이다.

The weakest preimage of a conclusion C with respect to a proof P is the most general set of assertions A, such that A entails C according to P.

Prolog-EGB computes the most general rule that can be justified by the explanation by computing the weakest preimage.

It is calculated by using regression—work iteratively backward through the explanation, computing the weakest preimage at each step.

SafeToStack(x, y)

4. Lighter(o1, o2) → SafeToStack(o1,o2)

Lighter(x, y)

3. Weight(o1, 0.6) ∧ LessThan(0.6, 5) ∧ Weight(o2,5) → Lighter(o1,o2)

Weight(x,wx), LessThan(wx, wy), Weight(y,wy)

2. Type(o2,endtable) → Weight(o2,5)

Weight(x,wx), LessThan(wx,5), Type(y,endtable)

1. Volume(o1,2) ∧ Density(o1,0.3) ∧ Equal(0.6, 2*0.3) → Weight(o1,0.6)

Volume(x,vx), Density(x,dx), Equal(wx, vx*dx), LessThan(wx,5), Type(y,endtable)

The final Horn clause has a body that corresponds to the weakest preconditions, and the head is the concept:

SafeToStack(x,y) ← Volume(x, vx) ∧ Density(x,dx) ∧ Equal(wx, vx*dx) ∧ LessThan(wx,5) ∧ Type(y,endtable)