[논문 리뷰] Towards a Logic-Based Unifying Framework for Computing

Robert Kowalski, Fariba Sadri|arXiv (Cornell University)|2013. 01. 29.

Logic, Reasoning, and Knowledge참고 문헌 68인용 수 9

한 줄 요약

이 논문은 상태 전이를 목표 지향적 논리로 모델링하는 논리 기반 통합 프레임워크를 제안한다. 모델 이론적 의미론에서는 시간 태그가 부여된 사실로 상태와 사건을 표현하고, 운영 의미론에서는 파괴적 업데이트를 지원하며, 첫 번째 순서 논리로 상태와 사건을 표현한다. 주요 기여는 두 접근 방식이 동일한 모델을 생성함을 증명한 것으로, 데이터베이스와 프로그래밍 분야에서 반응형과 선언형 계산을 통합한다.

ABSTRACT

In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent's goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics, the entire sequence of states and events are combined into a single model-theoretic structure, by associating timestamps with facts and events. But in the operational semantics, facts are updated destructively, without timestamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing timestamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state.

연구 동기 및 목표

• 반응형, 데이터베이스, 논리 프로그래밍 패러다임을 단일 논리 기반 계산 모델 아래 통합하기.
• 각 상태가 원자 문장의 집합인 상태 전이의 시퀀스로 계산을 모델링하기.
• 모델 이론적 의미론(시간 태그 포함)과 운영 의미론(파괴적 업데이트)을 하나의 프레임워크 안에서 조화시키기.
• 논리 프로그램을 통해 정의된 의도적 술어와 복합 이벤트 술어를 프레임워크에 확장하기.
• 반응형 계산을 모델 생성으로서의 공식적 기초를 제공하여 데이터베이스와 프로그래밍 언어에 적용 가능하게 하기.

제안 방법

• 상태를 원자 문장(사실)의 집합으로 표현하여 프로그램 변수, 데이터베이스 튜플, 혹은 허브란드 모델을 모델링한다.
• 모델 이론적 의미론에서 사실과 사건에 시간 태그를 도입하여 시간적 진화를 표현한다.
• 시간 태그 없이 직접적인 업데이트를 통해 운영 의미론을 구현한다.
• 현재 상태를 질의하는 첫 번째 순서 논리 프로그램을 사용하여 의도적 술어와 복합 이벤트 술어를 정의한다.
• 시간 태그가 부여된 추론에 의해 생성된 모델과 파괴적 업데이트에 의해 생성된 모델 간의 의미론적 동치성을 증명한다.
• 조건이 포함된 첫 번째 순서 논리 프로그램을 사용하여 복잡한 이벤트 탐지와 상태 전이를 표현한다.

실험 결과

연구 질문

• RQ1 일관된 의미론 아래에서 반응형, 데이터베이스, 프로그래밍 계산을 통합하는 논리 기반 프레임워크를 구축할 수 있는가?
• RQ2 논리 기반 계산 모델에서 모델 이론적 의미론과 운영 의미론을 어떻게 동치로 만들 수 있는가?
• RQ3 시간 태그는 상태 진화를 표현하는 데 어떤 역할을 하는가? 그리고 의미론을 손상시키지 않고 제거할 수 있는가?
• RQ4 복합 이벤트와 의도적 술어는 어떻게 공식적으로 정의하고 프레임워크에 통합할 수 있는가?
• RQ5 운영 의미론에서의 파괴적 업데이트가 모델 이론적 의미론에서 시간 태그를 사용한 추론과 동일한 모델을 생성할 수 있는가?

주요 결과

• 운영 의미론에서의 파괴적 업데이트에 의해 생성된 모델은 모델 이론적 의미론에서 시간 태그가 부여된 사실을 사용한 추론에 의해 생성된 모델과 정확히 동일하다.
• 이 프레임워크는 공통의 논리 기반 기초를 통해 반응형, 데이터베이스, 논리 프로그래밍 패러다임을 성공적으로 통합한다.
• 의도적 술어와 복합 이벤트 술어는 현재 상태를 질의하는 첫 번째 순서 논리 프로그램을 통해 정의할 수 있다.
• 제안된 프레임워크 하에서 시간 태그 의미론과 파괴적 업데이트 의미론 간의 동치성이 유지되어 일관성을 입증한다.
• 이 프레임워크는 목표 지향적 상태 전이로 계산을 모델링함으로써 데이터베이스와 프로그래밍에 실용적 응용을 지원한다.
• 개선된 버전의 논문은 *New Generation Computing*에 게재되었으며, 제목은 '반응형 계산을 모델 생성으로서의 사고'이다.