2장. 술어 해석(Predicate Calculus)(3)

[인공지능 2장. 술어 해석(Predicate Calculus)(3)]

[지금까지 배운거 응용 - 로직 기반 투자 조언자]

<문제>

- 투자 상담 지침 5가지

 1) 충분하지 않은(inadequate) 저축(saving)을 가지고 있는 사람은, 그의 수입과 관계없이 저축에 최우선순위에 둬야한다.

 2) 충분한 저축과 충분한 수익이 있는 사람은, 위험성이 있지만 잠재적으로 더욱 이득인 증권 투자를 고려해야한다.

 3) 충분한 저축과 적은 수익인 사람은 저축과 투자에 여분의 수익을 나눠야한다.

 4) 충분한 수익의 기준은 최소 부양가족(dependent) 인당 $5000 이상이여야 한다.

 5) 충분한 수익의 기준은 안정적이고, 적어도 연당 $15000에 각 부양가족당 $4000를 추가한값 이상이여야 한다.

<풀이>

1. 투자 상담 지침을 서술 논리로 표현하기 위해 사용할 술어, 변수, 상수 및 함수 설정.

 - investment(stocks)

 - investment(combination)

 - savings_account(adequate)

 - income(adequate)

 - income(inadequate)

 - earning(X,steady)

 - earning(X,unsteady)

 - greater(X,Y)

 - amount_saved(X)

 - dependents(X)

 - minsavings(X) = 5000*X

 - mimincome(X) = 15000 + 4000*X

2. 투자 상담 지침을 서술논리로 표현하기.

<가이드라인> #무슨 의민지 해석해보기

 1) savings_account(inadequate) => investment(saving)

 2) savings_account(adequate) ㅅ income(adequate) => investment(stocks)

 3) saving_account(adequate) ㅅ income(inadequate) => investment(combination)

 4) amount_saved(X) ㅅ (dependents(Y) ㅅ greater(X,minsavings(Y)) => savings_account(adequate)

 5) amount_saved(X) ㅅ (dependents(Y) ㅅ ㄱgreater(X, minsavings(Y)) => savings_Account(inadequate)

 where minsavings(X) = 5000*X

 6) earnings(X,steady) ㅅ (dependents(Y) ㅅ greater(X, minicome(Y)) => income(adequate)

 7) earning(X, unsteady) => income(inadequate)

 where minincomes(X) = 15000 + (4000*X)

<추론할때 필요한 식들> #단일화. 적절한식사용, 적절히 변수대체***

[2강정리]

================

 - 1차서술논리

 - 함수식, 원자적 문장(술어기호)

 - 1차 서술 논리 의미 파악 방법 : 1)기호의미 알기, 2)술어기호 알기  = mapping(사용)

 - 서술논리정의

 - 만족시키다, 논리적귀결

 - 추론규칙정의

 - 논리적 견고성, 완전성

 - 단일화

 - 추론 과정 

***시험에서 1차서술논리로 표현된 식을 해석하는것 나옴

================