액션 언어
Action language| 프로그래밍 패러다임 |
|---|
컴퓨터 과학에서, 행동 언어는 상태 전이 시스템을 지정하기 위한 언어이며,[1] 세계에 대한 행동의 영향에 대한 공식적인 모델을 만드는 데 일반적으로 사용됩니다.행동 언어는 인공지능과 로봇 분야에서 일반적으로 사용되며, 시간이 지남에 따라 행동이 시스템 상태에 어떻게 영향을 미치는지 기술하며 자동화된 계획에 사용될 수 있다.
작업 언어는 작업 설명 언어와 작업 쿼리 언어의 두 가지 클래스로 나뉩니다.전자의 예로는 STRIPS, PDDL, 언어 A(STRIPS의 일반화, Pednault의 ADL의 제안 부분), 언어 B(A의 확장, 간접 효과 추가, 정적 및 동적 법칙 구별), 언어 C(모든 유창한 유저가 자동으로 "본질적"이라고 가정하지 않음) 등이 있습니다.액션 쿼리 언어 P, Q 및 R도 있습니다.액션 언어, 특히 액션 언어 C를 변환하여 세트 프로그램에 [2][3]응답하기 위한 여러 가지 다른 알고리즘이 존재합니다.현대의 응답 집합 솔버는 매우 신속하게 만족도를 확인하기 위해 부울 SAT 알고리즘을 사용하기 때문에, 이는 액션 언어도 부울 SAT 해결 영역에서 이루어지는 진전을 누릴 수 있음을 의미합니다.
형식적 정의
모든 동작언어는 상태 전이계의 정의를 F의 집합, Fluent가 취할 수 있는 값의 집합 V 및 함수 매핑 S × F to V로 보충한다.여기서 S는 상태 전이계의 집합이다.
「 」를 참조해 주세요.
레퍼런스
- ^ Michael Gelfond, Vladimir Lifschitz(1998) "액션 언어", 컴퓨터 및 정보 과학 관련 Linköping 전자 기사, vol 3, nr 16.
- ^ Vladimir Lifschitz와 Hudson Turner, (1998년) "논리 프로그램에 의한 이행 시스템 대표"
- ^ Gebser, Martin; Grote, Torsten; Schaub, Torsten (2010). "Coala: a compiler from action languages to ASP". CiteSeerX 10.1.1.185.4622.
{{cite journal}}:Cite 저널 요구 사항journal=(도움말)
