Ai Dreams Forum

Artificial Intelligence => General AI Discussion => Topic started by: bilalhassan on July 07, 2016, 07:18:24 am

Title: description logic question 10
Post by: bilalhassan on July 07, 2016, 07:18:24 am

https://lat.inf.tu-dresden.de/teaching/ws2015-2016/DL/DL03.pdf

need help in solving exercise/question 10 please

Title: Re: description logic question 10
Post by: 8pla.net on July 07, 2016, 08:56:34 pm

Here you go...

T:=¬(AtB)v⊥,Av¬Bu∃r.B,Dv∀r.A,Bv¬Au∃r.A,

A:=r(a,b),r(a,c),r(a,d),r(d,c), (Bu∀r.D)(a),E(b), (¬A)(c), (∃s.¬D)(d),

K:=〈T,A〉.

Title: Re: description logic question 10
Post by: bilalhassan on July 08, 2016, 04:35:41 pm

thanks for your reply, but sorry i could not understand it, will you please write it in detail as per answer for a, b and c part,

Title: Re: description logic question 10
Post by: 8pla.net on July 08, 2016, 08:04:22 pm

With Pleasure, Bilal,

Per a,b,c parts... c:=〈a,b〉; considering, a is TBox T.  Then, b is ABox A. And, c is knowledgebase K.  Apply that to: K:=〈T,A〉.  Which filling in all the words expands to... Knowledgebase := <TBox, ABox>

As I understand it from an A.I. convention, (Coursework conventions may differ)  Knowledgebase compares two components: TBox, terminological knowledge, perhaps like an AGI.  And, ABox, assertional knowledge, perhaps like a narrow A.I. chatbot. 

Reminds me of a Logical Equivalence Example: Robot ≡ Intelligence ∩ Artificial.  Hopefully this may help in your logic studies.  It is really useful to learn this, I think.
________________________________________________________________________