분류 전체보기354

• 

  Logical Inference, Syntax of Propositional Logic, Semantics of Propositional Logic Logical Inference - logical entailment between sentence KB |= a 는 KB가 참이면 a가 참임을 의미한다. - KB 가 논리적으로 a를 entail 하는지를 결정하는 알고리즘이 필요하다. (Logical) inference algorithms - model checking algorithm M(a) 가 M(B) 의 부분집합인지 확인한다. - 알고리즘 i의 결과는 KB가 a를 entail 할 수도 있고, entail 하지 않을 수도 있다. Properties of (Logical) Inference Algorithms - Soundness entail 된 sentence 만 유도한다. -> KB |= a 는 KB 에서 a가 유도된다라고 말할 수 있다. 실제로.. 인공지능 2021. 12. 18.

• 

  Knowledge, The Wumpus World, Logical Reasoning Knowledge - 3,4 장에서 사용한 지식은 domain-specific 이라는 한계를 가지고 있었다. (n-puzzle문제 등) - 7장부터는, Logic 을 지식을 표현하는 방법으로 사용할 것이다. Knowledge-Based Agents - Knowldege base (KB) 지식표현언어로 구성된 sentence 들의 집합 - Inference 어떤 문장들로부터 새로운 문장을 추론해낸다. tell과 ask 는 다양한 문제에서 공통으로 구현되는 함수이다. - declarative approach TELL, ASK 는 공통으로 구현된 것을 사용할 수 있다. LISP, PASCAL 에서 사용된다. 이와 상반되는 접근법을 procedural approach 라고 하며, C, JAVA 등에서 사용된다... 인공지능 2021. 12. 17.

• 

  Local Search for CSPs, Independent Subproblems, Tree-Structured CSPs Local Search for CSPs - Complete state formulation (처음엔 initial state 에 무작위로 queen 을 다 배치한다.) - constraint 를 위반하는 변수를 랜덤으로 선택한다. - 선택한 변수의 값을 변경해준다. (여기서는 퀸의 위치를 변경한다.) - min-conflicts 에 해당하는 값으로 변경한다. - 다음으로 선택한 퀸을 최소제약 즉 0의 위치로 옮기게 되면 solution 을 찾게된다. - solution Independent Subproblems 위 문제에서 T는 위의 6개의 node 들과 독립적이기 때문에, 독립적인 두 개의 문제를 별도로 푸는 것과 같다. -> 같이 풀 때는 ()^7 이던 시간복잡도가 따로 풀게 된다면 ()^6 + ().. 인공지능 2021. 12. 17.

• 

  Path Consistency, K-Consistency, Global Constraints, Backtracking Search for CSPs Path Consistency - arc consistency 의 문제점 Map coloring using two colors -> 해결책이 없다. 그러나 AC-3 알고리즘은 솔루션이 없음에도 이를 탐지하면 못한다. 왜냐하면 모든 변수가 이미 arc consistent 하기 때문이다. - 두 개의 변수 집합 {Xi, Xj} 가 제 3의 변수 Xm에 대해서 consistent 하다는 것은 , Xi 와 Xj 의 모든 할당 상태에 대해서 {Xi, Xm} 그리고 {Xm,Xj} 사이에 모든 constraint 를 만족하는 값을 할당하는 것이 가능할 때 consistent 하다고 정의한다. WA가 red, SA 가 green 이면 둘 사이에 path consistent 는 성립한다. 이때 WA와도 path cons.. 인공지능 2021. 12. 17.

• 

  Operating Systems 11. Mass-Storage Systems Overview of Mass Storage Structure Magnetic disk : 대용량 보조기억장치 -> sector 하나가 disk block 하나를 담당한다. transfer rate : 저장장치와 컴퓨터 사이의 데이터 전송 속도 seek time : head 가 해당 트랙에 도달하는 시간 rotation time : 해당 sector 가 header 밑에 도달하기 위해 돌아가는 시간 -> (Positioning time) random-access time : seek time + rotation time Hard Disk Performance Disk Scheduling - 디스크는 대기하는 작업의 처리 순서를 제어하는 여러 알고리즘을 사용한다. - seek time 을 줄이기 위해서 디.. 운영체제(OS) 2021. 12. 5.

• 

  Operating Systems 15. File System Internals File System - 컴퓨터는 다수의 저장 장치를 유지한다. 저장 장치는 볼륨을 담고 있는 파티션으로 구분됨 각 볼륨은 파일 시스템으로 정형화됨(format) File System Mounting - OS 는 디바이스 이름과 마운트 포인트(디렉토리) 를 전달받아 해당 디바이스를 주어진 포인트에 마운트함 -> linux - df 명령어 예) Partitions and Mounting - 파티션은 하나의 volume (기본적으로 format 이 되어있어 특정 양식대로 파일 시스템이 구축되어 있음, 그렇지 않다면 raw -> swap space(메모리처럼)) - Boot block : 부팅에 필요한 코드 블록들의 모음 부트 로더 실행 ROM 에 부트로더가 들어가 있으면 바로 부트로더가 실행된다. 부트로더가.. 운영체제(OS) 2021. 12. 5.

• 

  Operating Systems 14. File System Implementation File-System Structure - 논리적인 저장단위이다. - 파일시스템은 보조 저장장치(디스크) 에 위치한다. - 파일시스템은 디스크에 대한 효율적이고 편리한 접근을 제공한다. - File control block (Linux 의 inode) : 파일에 대한 속성들을 저장하고 있는 저장 구조이다. - Device driver : 물리적인 장치를 통제한다. File System Implementation - 부트 제어 블록 : 시스템이 운영체제를 그 파티션으로부터 부트 시키는데 필요한 정보를 저장한다. - 볼륨 제어 블록 : 볼륨(파티션) 의 블록 수, 블록의 크기, 가용 블록의 수와 포인터와 같은 파티션 정보를 저장한다. UFS 는 슈퍼 블록 - 디렉터리 구조는 파일을 조직화 하는데 사용한다. .. 운영체제(OS) 2021. 12. 5.

• 

  Operating Systems 13. File System Interface 파일 속성 - 파일은 운영체제마다 다른 속성을 가질 수 있다. - 일반적인 파일 속성 : 이름, 식별자, 타입, 위치, 크기, 보호, 시간, 날짜, 사용자 시벽 파일 연산 - 파일 생성 - 파일 열기 - 파일 쓰기 - 파일 읽기 - 파일 내 위치 재설정 - 파일 삭제 - 파일 절단 - 접근 함수 순차 접근(Sequential Access) - 파일의 정보가 레코드 순서대로 차례차례 처리된다. - 연산 : read next, write next, rewind, seek 직접 접근(Direct Access) - 상대 접근이라고도 불리며, 파일에 저장된 논리 레코드들을 특별한 순서 없이 빠르게 읽고 쓸 수 있다. - n이 블록 번호라고 할 때, read n, write n 을 제공한다. Directory St.. 운영체제(OS) 2021. 12. 5.

• 

  Operating Systems 12. File Management Files - 사용자가 생성한 데이터의 집합 - 연속적인 논리적 주소 공간 (저장장치의 물리적 특성으로부터 분리 - 유익한 특성 장기간 보존 프로세스들 간에 공유 가능 편리한 내부 구조 - 파일 타입 : 데이터 파일, 프로그램 파일 - 파일 형태 : 텍스트 파일, 소스 파일, 실행 파일 등 확장자로 구별 File Systems - 데이터를 파일로 저장할 수 있는 방법 - 연산 생성 삭제 열기 닫기 읽기 쓰기 파일 구조 관련 주요 용어 - 필드 데이터의 가장 기본적 요소 하나의 값 저장 고정 또는 가변 길이 - 레코드 몇몇 응용에 의해 하나로 취급될 수 있는 관련 필드 묶음 고정 도는 가변 길이 - 파일 유사한 레코드의 묶음 하나의 개체로 취급 이름으로 참조됨 파일에 대해 접근 제어가 적용됨 - 데이터베이.. 운영체제(OS) 2021. 12. 5.

• 

  Operating Systems 8. Deadlocks System Model - 시스템은 자원으로 구성되어 있다. - 자원은 CPU 사이클, 메모리 공간, I/O 장치들과 같은 여러 유형으로 구분된다. -프로세스의 자원 이용 과정 요청 : 만약 요청이 즉시 승인될 수 없다면, 요청하는 프로세스는 자원을 획득할 때까지 대기해야 한다. 사용 : 프로세스는 자원을 이용한다. 방출 : 프로세스는 자원을 놓아준다. Deadlock Characterization - 데드락은 다음과 같은 4가지 조건이 동시에 성립할 때에 발생한다. Mutual exclusion : 한 번에 한 프로세스만 사용할 수 있는 자원이 존재한다. Hold and wait : 프로세스가 최소 하나의 자원을 점유한 상태에서 다른 프로세스가 점유한 자원을 대기한다. No preemption : 비선.. 운영체제(OS) 2021. 12. 5.

• 

  Operating Systems 7. POSIX Synchronization Mutex lock - lock 의 선언 및 초기화 함수 - lock 의 획득, 반환 -> aquire, release Semaphore - Named semaphore : 여러 프로세스에서 공유할 수 있음 - Unnamed semaphore : 하나의 프로세스 내 스레드에서만 사용가능 조건변수 운영체제(OS) 2021. 12. 4.

• 

  Operating Systems 6. Synchronization Tools - (2) Mutex Locks - 운영체제에서 임계방법을 해결할 수 있는 소프트웨어 도구를 제공한 것이 Mutex lock 이다. - Mutex lock 은 acquire() 을 통해 lock을 획득하고, release() 를 통해 lock 을 반환할 수 있다. - 그러나 루프를 반복 실행하면서 lock 을 기다리는 busy waiting 이 발생한다. -> spin lock Semaphore - Semaphore 을 정수 변수 S 라고 할 때, 이 변수는 오직 wait() 와 signal() 이라는 2가지 atomic operation 에 의해서만 access 가 가능하다. semaphore 의 값은 대게 사용 가능한 특정 자원의 수를 나타낸다. Semaphore 의 용도 - Counting semaphore .. 운영체제(OS) 2021. 12. 4.