3. Deductive Reasoning Agents

연역적 추론 에이전트???

연역법(deductive method): 이미 증명된 하나 또는 둘 이상의 명제를 전제로 하여 새로운 명재를 결론으로 이끌어내는 것을 연역(deduction)이라 하며, 이러한 연역적 추리의 방법과 절차를 논리적으로 체계화 한 것

 예) 아리스토텔레스의 삼단논법 (간접추리)

      모든 사람은 죽는다.          A -> B (대전제)

      소크라테스는 사람이다.     C -> A (소전제)

      소크라테스는 죽는다.        C -> B (결론)

원문보기

3.0  Intorduce

    Symbolic AI

• AI system 구축을 위한 전통적인 방법
• 주어진 시스템의 환경과 그에 적합한 행동의 symbolic한 representation(묘사, 표현???), 그리고 이 representation에 대한 syntactically manipulating(언어적 조작???)이 적용된 시스템으로 지능적 행동을 생성하는 방법

 본 책에서는 이러한 전통적 방법을 극치화 하는데 중점을 둠

 symbolic representation => logical formulae

 syntactically manipulating => logical deduction(논리적 연역) / theorem-proving(논리적 명제 증명법???)

사무실을 돌아다니며 쓰레기를 줍는 로봇 에이전트가 있다.

이러한 로봇을 구현하기 위한 방법은 여러가지가 있다.

그중 하나의 방법은 작동을 위한 description, 환경의 representation을 에이전트에게 주는것이다.

 RALPH는 복도와 큰 블럭들이 있는 환경에서 작동하는 자동로봇 에이전트이다.

Sensory 입력은 비디오 카메라를 통하고,

'interp' subsystem은 이 영상입력을 내부적 representation format으로 변환, based on first-order logic.

 knowledge base라는 historical reasons를 위한 자료구조로 구성.

이 RALPH를 위해서는 다음 두가지의 문제점을 해결해야 함.

1. The transduction problem: 현실세계를 정확하고 적절하며 유용한 symbolic description으로 변환하는 문제
2. The representation/reasoning problem: 정보를 symbolic하게 표현하고 이것을 조작하고 추론하여 유용한 결과를 내는 에이전트를 얻는 문제

1번문제는 비젼, 음성인식, 학습과 관련된 기술이고, 2번문제는 지식 표현, 자동화 추론, 자동화 계획과 관련된 기술이다.

매우 어렵다. ㅡㅡ;

 하지만, theorem-prover(논리적 명제 증명)을 이용한 에이전트는 이러한 문제를 해결하는데 흥미로울 수도 있다.

 우리가 어떤 theory of agency를 가지고 있다고 생각해 보자. 이 theory of agency는 어떤 performance measure의 최적화를 위해 지능적 에이전트가 어떻게 해야하는지 알려준다. 예를 들면, 에이전트의 궁극적 목적을 만족하기 위한 부분적 목표를 어떻게 생성하는지, 이러한 목표를 달성하기 위해 goal-directed하고 reactive한 행동을 어떻게 interleave하는지

즉, 이 theory는 에이전트가 어떻게 행동해야 하는지에 대한 specification이라 볼 수 있다.

이러한 specification을 만족하는 시스템을 implementation하는 전통적인 방법은 궁극적 목적에 도달하기 까지 점차 concrete되어 가는 stage에 따라 specification의 재정의(refining)이 가능해야 한다.

 그러나 theorem-prover을 이용한 에이전트는 이러한 재정의가 발생하지 않는다. 대신, executable specification이란 것이 있다.

 executable specification: 에이전트의 행동을 생성하기 위해 directly executed된 것이다.

 3.1 Agents as Theorem Provers

deliberate 라는 logic 기반의 에이전트를 만들어 보자.

이러한 에이전트는 내부적으로 전통적 first-order predicate logic formulae의 db로 구성된다.

예를들면, 다음과 같은 fomulae들이 포함되어 있다.

Open(value221)

Temperature(reactor 4726, 321)

Pressure(tank 776, 28)

이 db는 그 에이전트의 환경정보를 가진다. 에이전트의 db는 인간의 belief와 유사한 역활을 한다.

 3.2  Agent-Oriented Programming

 3.3 Concurrent MetateM

이 글은 스프링노트에서 작성되었습니다.

1. Real-time system: 논리적인 수행결과 뿐만 아니라 시간적 제약에 의해 시스템의 정확도가 결정되는 시스템
   예) 공장 자동화, 해저탐사, 프로세스 제어, 로봇, 군사 응용, 비젼시스템
2. 일반 시스템과의 차이점: task들이 한계시간(deadline)이나 시작 가능시간(release time)과 같은 시간 제약을 가지고 있어 이를 만족시켜야 함.

3. Real-time task / time critical task: 시간적으로 여러가지 제약을 갖는 task

   1. periodic task: 일정한 시간간격을 가지고 task 실행

   2. aperiodic task: task가 일어나는 시간간격이 일정하지 않은 task
4. Slack time
   

5. Real-time Scheduling

   1. Static scheduling

      1. 시스템에 의해 실행되는 task 집합이 미리 정의되어 있는 경우
      2. 주기적인 hard real-time task집합에 유용
      3. 스케줄링되는 task들의 특징과 수를 스케줄링 전에 알 수 있음

   2. Dynamic scheduling

      1. task의 발생 시간이나 특성을 예측할 수 없는 경우에 유용
      2. task의 발생이 가변적이어서 task의 수는 실행시간에 정해짐
         

6. EDF(Earliest-Deadline First) 알고리즘

   1. 임계시간(???)이 가장 근접한 task를 가장 먼저 실행
   2. 대표적인 동적 스케줄링 방식

   3. 다음을 가정

      1. 모든 task들은 선점될 수 있고 나중에 다시 선점된 곳으로부터 계속해서 수행될 수 있다.
      2. 모든 task들은 독립적이어서 다른 task의 시작가능시간(release time)이나 종료시간에 의존하지 않는다.
      3. task의 한계시간(deadline)은 주기와 같다
      4. task 집합의 모든 task는 반드시 주기적일 필요는 없다.
7. 
   

숙제 1: Preemptive가 일반적으로 nonpreemptive scheduling보다 좋은 이유

태스크 스케줄링 방법에는 각 태스크를 우선순위없이 일정 간격으로 번갈아 실행하는 Round-Robin 스케줄링 방법이 있고 우선순위 기준 스케줄링(Priority based scheduling) 방법이 있다.
우선순위 기준 스케줄링(Priority based scheduling) 방법에는 선점형 스케줄링(preemptive scheduling)과 비선점형 스케줄링(non preemptive scheduling) 방법으로 나눌 수 있는데
비선점형에서는 높은 우선순위의 태스크가 활성화되어도 낮은 우선순위의 태스크가 끝날 때까지 기다려야 하지만
선점형에서는 어느때든지 높은 우선순위의 태스크가 낮은 우선순위의 태스크 수행을 가로채고(interrupt or switching) 실행된다.
따라서 선점형 커널이 보다 태스크간의 관계를 조절하기가 용이하다.
이러한 점을 이용하면 스케줄링을 시스템의 특성에 따라 유연하게 조정가능하므로 비선점형 보다 더 좋다고 생각한다.

Non-Preemptive Multitasking (비선점형 멀티태스킹)

 키보드 입력을 허용할 준비가 되어 있을 때처럼 특정 시점에서만 CPU 제어를 다른 응용 프로그램으로 넘길 수 있는 멀티태스킹 환경.

이런 방법으로 많은 계산을 수행하는 한 프로그램에서 시스템을 제어하고 다른 응용 프로그램이 CPU에 대해 제한된 액세스를 가질 수 있게 할 수 있다.

비선점형 멀티태스킹을 "협업 멀티태스킹"이라고도 한다.

이 환경에서 프로그램이 효율적으로 작동할 수 있도록 하기 위해 서로 협력하도록 설계되어야한다.

비선점형 멀티태스킹 운영 체제는 백그라운드로 실행되는 통신 프로그램에 대한 서비스를 보증할 수 없다.

다른 응용 프로그램이 CPU를 불법으로 사용한 경우 CPU가 통신 프로그램에서 수신 데이터를 캡처할 수 있을 만큼 빠르게 인터럽트를 처리할 수 없으므로 데이터를 손실할 수 있다.

선점형 멀티태스킹과 대조적이다.

Preemptive Multitasking (선점형 멀티태스킹)

 실행 중인 모든 프로그램과 처리 시간을 공유하는 멀티태스킹 방법.

선점형 멀티태스킹은 실행 중인 프로그램이 CPU에서 되풀이 시간을 얻는 시간 공유 환경을 만든다.

운영 체제에 따라 시간 분할이 모든 프로그램에 대해 동일할 수 있거나 현재 프로그램과 사용자 혼합을 만족하도록 조정할 수 있다.

예를 들면, 포그라운드 로드가 아무리 많아도 백그라운드 프로그램에 더 많은 CPU 시간을 제공할 수 있고 그 반대도 마찬가지이다.

선점형 멀티태스킹은 메인프레임에서 중요하지만 데스크톱 운영 체제에서도 유용하다.

또한 백그라운드로 전송되는 경우 데이터가 손실되지 않는다.

모뎀이나 네트워크 프로그램이 수신 데이터 스트림을 계속 처리해야 하는 시스템 사이클을 OS가 제어할 수 있다.

비선점형 멀티태스킹과 대조적이다.

이 글은 스프링노트에서 작성되었습니다.

세계 10대 불량 음식 VS 세계 10대 건강 음식
[세계 10대 불량 음식] - WHO 발표

1. 기름에 튀긴 식품 
- 심혈관 질병을 일으키는 원인이며 발암 물질을 포함하고 있다. 또한 비타민을 파괴하고 단백질을 변질시킨다.

2. 소금에 절인 식품
- 많이 섭취하면 고혈압을 일으키며 신장에 큰 부담을 준다. 그리고 후두암을 일으키며 점막이 쉽게 헐거나 염증을 생기게 한다.

3. 가공류 고기 식품
- 발암물질 중 하나인 아질산염과 방부제를 대량 포함하고 있으며 간에 큰 부담을 준다.

4. 과자류 식품
- 식용 향료와 색소가 대량 포함되어 있어 간 기능에 부담을 준다. 심하면 비타민을 파괴한다.
열량은 높지만 기타 영양 성분 면에서는 부족하다. 저온에서 구운 과자나 전밀 과자는 포함하지 않는다.
 
5. 사이다 콜라류 식품
- 인산, 탄산을 포함한다. 몸 속의 철분, 칼슘 성분을 소변을 통해 밖으로 배출시킨다. 당도는 매우 높지만 정작 흡수한 당을 에너지화 하는 무기질, 비타민 등 영양 성분은 없기 때문에 몸 속의 비타민을 빼앗아 졸음이 오고 입맛이 없어지게 한다. 또한 인체에 유해한 색소도 많이 들어 있다.

6. 편리류 식품
- 염분이 매우 높고 방부제, 향료를 포함하고 있어 간에 손상을 줄 수 있다.
   열량만 있을 뿐 정작 중요한 영양 성분이 없다.

7. 통조림류 식품
- 생선, 육류, 과일류 등을 모두 포함한다. 비타민을 파괴하고 단백질을 변질시킨다.
  이 또한 열량은 매우 높지만 기타 영양 성분이 낮다.

8. 설탕에 절인 과일류 식품
- 설탕이나 소금에 절인 과일도 불량 식품에 속한다. 발암 물질의 대표격인
  아질산염을 포함하고 있다. 염분이 너무 높고, 방부제, 향료를 포함하고 있다.

9. 냉동 간식류 식품
- 아이스크림, 아이스케이크 등 단 냉동 음식을 말한다. 쉽게 비만해질 수 있고 당도도
   너무 높아 식사에 영향을 준다.

10. 숯불구이류 식품
- 불에 구운 닭다리 한 개는 담배 60개비의 독성과 같으며 신장, 간에 부담을 가중한다

 
[세계 10대 건강 음식] - 타임지 2005년 특별판 선정

1.토마토
붉은색을 내는 성분인 리코펜은 강력한 항암성분. 비타민 C도 풍부해 감기와 스트레스에 대한 저항력을 높여준다. 특히 다른 야채나 과일에 비해 칼로리가 낮아 다이어트에도 좋다.

2.시금치
뽀빠이가 시금치를 괜히 먹은 게 아니다. 시금치에는 여자들에게 특히 필요한 칼슘과 철분이 많고 섬유질이 풍부해 포만감을 주는 다이어트 식품이다. 데친 시금치 나물은 한 접시에 겨우 40kcal!

3.견과류
땅콩, 호두, 잣, 아몬드 등에 들어 있는 비타민 E는 콜라겐 생성을 도와 피부를 아름답게 만들어준다. 일주일에 2~3회, 땅콩 20알 이상 먹어야 눈에 띄는 효과가 나타난다. ‘먹는 화장품’인 셈.

4.브로콜리(or 양배추)
슬포라판, 인동 등의 성분이 들어 있어 유방암, 대장암, 위암의 발생을 억?┎磯?. 섬유질과 베타카로틴이 풍부해 식욕을 억제시키는 다이어트 식품이기도 하다.

5.귀리(or 보리)
베타글루칸이라는 수용성 식이섬유가 포만감을 느끼게 하고 몸에 해로운 콜레스테롤을 배출시킨다.
강력한 항암, 항바이러스 효과
** 강력한 항암, 항바이러스 효과 **

6.사스 예방 음식으로 각광받고 있는 마늘.
알리신과 스코르진 등은 강력한 항균물질로 식중독과 바이러스의 침투를 막는다. 또한 혈액순환을 원활하게 해 심장질환을 예방한다.

7.녹차
폴리페놀은 발암물질의 침투를 막고 특유의 떫은 맛은 위장 운동을 활발하게 한다. 녹차를 많이
마시는 아시아 지역에서는 위암 발생률이 현저히 낮다.
  
8.적포도주
자줏빛을 내는 색소에는 항암작용이 있는 것으로 알려졌다. 와인의 떫은 맛을 내는 타닌 성분은
몸에 유익한 콜레스테롤을 활성화시켜 동맥경화를 예방한다.

9.연어(or 고등어)
오메가 3 지방산은 콜레스테롤을 낮추고 관절염을 예방하는 데 탁월한 효과가 있다. 특히 고등어는 오메가 3 지방산(일명 DHA)이 연어의 2배! 이 성분은 기억력과 학습 능력을 높이고 노인성 치매도 예방한다.

10.블루베리(or 가지)
보라색을 내는 안토시안 색소는 심장병을 예방하며 바이러스와 세균을 죽이는 효과가 있다.
가지의 보라색도 같은 효과가 있다

이 글은 스프링노트에서 작성되었습니다.