Semantic web and future web programming

semantic web :
핵심 idea : web 정보를 사람이 처리하는 것이 아니라, 컴퓨터가 자동으로 처리

web page in English = program but not a good program.
웹은 프로그램의 자격은 있지만 좋은 프로그램이 아님.

=>자연어 처리가 요구되기 때문에 효율성이 떨어짐.
==> 자연어 대신에 linear logic을 사용

ex)
in Korean 
부산에서 제일 좋은 대학교는 동아대이다.

in English
The best university in Busan is Dong-a University.

in C or Java,etc..
bestuniv(busan) = donga.

Korean에서 C로 옮길 때 많은 정보를 잃어 버렸다.
따라서 자연어에서 다른 언어로 옮길 때 정보를 잃어버리지 않는 것이 중요

using linear logic
all x(univ(x) x busan(x) => better(donga,x).

semantic web	semantic web2
after 10 years	after 20 years
	(virtual humanoid)

humanoid program :
각 개인의 구성원리를 프로그래밍,

step 1. 각 개인의 구성원리를 자연어로 기술
step 2. 기술된 것을 linear logic으로 변환

hint : 사람에게는 여러가지 mode가 존재함.
sample >>

mode1. question-answering mode
지식베이스를 이용한 답하기.(지식 중 대표적인 것을 기술)
ex) 부산에서 가장 맛있는 식당은 맥도날드이다.

mode2. action mode

mode3. 외부와 interactive한 mode