유창한(인공지능)

인공지능에서 유창한 것은 시간이 지나면서 변할 수 있는 조건이다. 행동에 대한 추론에 대한 논리적인 접근법에서, 유창함은 시간에 따라 달라지는 주장을 갖는 술어로 1차 논리로 표현될 수 있다. 예를 들어 시간이 지남에 따라 "상자가 테이블 위에 있음"이라는 조건은 ${\displaystyle \mathrm{On}}$(b${\displaystyle \mathrm{o}}$ x${\displaystyle }$, t ${\displaystyle \mathrm{a}}$ ${\displaystyle \mathrm{l}}$) ${\displaystyle$ $\$$mathrm$ {$On}(\mathrm {box$$},\$으로 나타낼 수 없다$.$ $다음{\displaystyle \mathrm{}}$ 시간을 지정하려면$$ 세 번째 인수가 필요하다$.$ ${\displaystyle \mathrm{O}}$ ${\displaystyle \mathrm{n}}$( ${\displaystyle b\mathrm{}}$ ${\displaystyle \mathrm{o}}$ x${\displaystyle }$, ${\displaystyle t\mathrm{}}$ ${\displaystyle \mathrm{a}}$ ${\displaystyle \mathrm{l}}$ e${\displaystyle }$, ${\displaystyle t}$) ${\displaystyle \mathrmatrm {On}(\mathrm {box},\mathrm {table}, t)$은 상자가 t 시간 $t{\displaystyle }$ ${\displaysty t}$에 테이블 위에 있음을 의미한다$.$ 이러한 형광물질의 표현은 현재 시간을 대신하여 과거 작용의 순서를 이용하여 상황 미적분학에서 수정된다.

유창한 것도 함수로 나타낼 수 있어 시간 인수를 떨어뜨린다. 예를 들어, 상자가 테이블 위에 있는 것은 ${\displaystyle o}$ n${\displaystyle }$(${\displaystyle b}$ ${\displaystyle o}$ x${\displaystyle }$, ${\displaystyle t}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle l}$ ${\displaystyle e}$) ${\displaystyle on (box, table)}$로 나타낼 수 있다$.$ 여기서 ${\displaystyle o}$ ${\displaystyle on}$은 술어가 아니라 함수다$$. 첫 번째 순서의 논리에서는 술어를 함수로 변환하는 것을 재화라고 하는데, 이러한 이유로 함수로 대표되는 형광체를 재화한다고 한다. 개화된 플루토늄을 사용할 때 유창한 것이 실제로 사실인지 아닌지를 구별하기 위해 별도의 술어가 필요하다. 예를 들어, $H{\displaystyle }$ ${\displaystyle o}$ ${\displaystyle l}$ ${\displaystyle d}$ ${\displaystyle A}$ ${\displaystyle t}$( ${\displaystyle o}$ n${\displaystyle }$( ${\displaystyle b}$ ${\displaystyle o}$x , ${\displaystyle t}$ a${\displaystyle le}$ )${\displaystyle }$, t$$) {\$displaystyle HoldAt(on, table,$ t$)}$은 상자가 실제로 $시간{\displaystyle }$ t$${\$displaysty t}$에 있는$$ 것을 의미하며$,$ 여기서 술어 $H{\displaystyle }$ ${\displaystyle o}$ l d ${\displaystyle t}${\d t}은 언제$$ 참인지 알려 주는 $것이다.$ 플루트의 이러한 표현은 사건 미적분, 유창한 미적분, 특징과 플루트 로직에서 사용된다.

어떤 플루언트는 다른 방식으로 함수로 표현될 수 있다. 예를 들어, 상자의 위치는 함수의 ${\displaystyle o}$ n${\displaystyle }$( ${\displaystyle b}$ ${\displaystyle o}$ x${\displaystyle }$, t${\displaystyle }$) ${\displaystyle on (box,t)}$으로 나타낼 수 있다. 이 값은 $상자$가 시간 t ${\displaystyt t}$에 서 있는 물체다$.$ 이렇게 나타낼 수 있는 조건을 기능적 플루언트라고 한다. 그러한 기능의 값에 대한 진술은 ${\displaystyle o}$ n${\displaystyle }$(${\displaystyle b}$ ${\displaystyle o}$ x${\displaystyle }$, t ${\displaystyle )}$= t ${\displaystyle b}$ ${\displaystyle l}$ e ${\$ $displaystyle on (box,t)=table}$과 같은 리터럴을 사용한 평등한 순서의 논리로 제시될 수 있다$.$ 어떤 유창체는 상황 미적분학에서 이런 식으로 표현된다.

순진한 물리학

역사적 관점에서 볼 때, 질적 추론의 맥락에서 유행이 도입되었다. 그 아이디어는 수학적 방정식이 아닌 자연 언어로 프로세스 모델을 설명하는 것이다. 그것은 행동이 그것의 궤적에 의해서만 결정되는 것이 아니라 문자 모험과 매우 유사한 상징적인 모델을 가지고 있다는 것을 의미한다. 순진한 물리학은 수치 물리학 엔진에 반대하며 행동의 결과를 예측해야 할 의무가 있다.^[1] 유창한 사람은 로봇의 동작과 자연 언어로 된 작업 설명 사이의 상식적인 근거를 깨닫는다.^[2]

기술적 관점에서 유창한 것은 순진한 물리학 엔진에 의해 파싱되는 매개변수와 같다. 파서는 자연어 어감과 센서에 의해 측정된 숫자 값 사이에서 전환된다.^[3] 결과적으로 인간과 기계의 상호작용이 개선된다.

참고 항목

• 사건 미적분학
• 유창한 미적분학
• 프레임 문제
• 상황 미적분학

참조