이것은 순진한 질문 일지 모르지만, AI에서 로직이 사용되도록 개발 된 이유를 정말로 알고 싶습니다. 특히 간단한 원자 상태 표현을 사용하여 프로그래밍을 할 수 있다면 AI에서 1 차 논리와 PDDL을 개발해야 할 필요성은 무엇입니까? 다시 말하지만, 이것이 정말로 기본적인 질문이라는 것을 깨달았습니다 !!퍼스트 오더 로직 및 PDDL 개발의 이유
1
A
답변
1
질문 : 왜 우리는 명제 수준 대신 1 차 수준에서 프로그램/모델링합니까? 간단하기 때문에 더 간결합니다.
"모든 사람이 생각할 수 있습니다."와 같은 제안을 할 수 있습니다. "앨리스는 생각할 수 있습니다. 밥은 생각할 수 있습니다. 캐럴은 생각할 수 있습니다 ..."라고 말하지 않아도됩니다.
IPC의 일부 PDDL 계획 문제를 살펴보면 명제 수준에서 공식화되는 경우가 있습니다. 그리고 파일이 훨씬 큽니다. 직접 작성하지 않으려 고합니다.
0
저는 PDDL에 대해 모르지만 컴퓨터가 발명되기 전에 1 차 로직이 개발되었으므로 AI에서는 사용하지 않았습니다. 유효한 인수가 무엇인지 알려줍니다.
이 질문은 [http://stackoverflow.com/questions/7510176/why-do-we-need-pddl-when-we-already-have-first-order-logic/7511451#7511451]과 관련이 있습니다. 같은 저자. –