비단조 논리에 대해서 어떻게 생각함?

[익명(223.62)]

비단조 논리를 사용하면 귀납추론도 형식적으로 다룰 수 있는거 아님?

[익명(117.111)]

비단조가 뭐야

[익명(223.62)]

http://www.aistudy.co.kr/philosophy/nonmonotonic_jeong.htm

[TIME(ghawmzldjs71)]

간략하게 읽어 보기만 했는데, 뭘 제한해야 하는지 어떨때 초기화 가 이루어 져야 하는지 이런 정보를 형식적으로 얻어 내는 것이 아닌이상 시제 / 인식 / 양상 논리 체계를 활용하는거랑 다를게 뭐지?

[TIME(ghawmzldjs71)]

기호화 하더라도 개연성이 충분한지 가르는 기준이 없으면 형식화 하는 의미가 있음?

[강화학습(116.42)]

그렇게 쓰는 거라기 보단 여러 방법들을 모아 놓은 프레임워크인 듯. 확률론을 일반화한 것이나 확률론의 체계를 설명하기 위한 추상 이론 같음