description logic question 10

  • 3 Replies
  • 2061 Views
*

bilalhassan

  • Roomba
  • *
  • 5
description logic question 10
« 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

*

8pla.net

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1302
  • TV News. Pub. UAL (PhD). Robitron Mod. LPC Judge.
    • 8pla.net
Re: description logic question 10
« Reply #1 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〉.
My Very Enormous Monster Just Stopped Using Nine

*

bilalhassan

  • Roomba
  • *
  • 5
Re: description logic question 10
« Reply #2 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,

*

8pla.net

  • Trusty Member
  • ***********
  • Eve
  • *
  • 1302
  • TV News. Pub. UAL (PhD). Robitron Mod. LPC Judge.
    • 8pla.net
Re: description logic question 10
« Reply #3 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.
________________________________________________________________________
« Last Edit: July 09, 2016, 12:05:52 am by 8pla.net »
My Very Enormous Monster Just Stopped Using Nine

 


OpenAI Speech-to-Speech Reasoning Demo
by ivan.moony (AI News )
Today at 01:31:53 pm
Say good-bye to GPUs...
by MikeB (AI News )
March 23, 2024, 09:23:52 am
Google Bard report
by ivan.moony (AI News )
February 14, 2024, 04:42:23 pm
Elon Musk's xAI Grok Chatbot
by MikeB (AI News )
December 11, 2023, 06:26:33 am
Nvidia Hype
by 8pla.net (AI News )
December 06, 2023, 10:04:52 pm
How will the OpenAI CEO being Fired affect ChatGPT?
by 8pla.net (AI News )
December 06, 2023, 09:54:25 pm
Independent AI sovereignties
by WriterOfMinds (AI News )
November 08, 2023, 04:51:21 am
LLaMA2 Meta's chatbot released
by 8pla.net (AI News )
October 18, 2023, 11:41:21 pm

Users Online

287 Guests, 0 Users

Most Online Today: 346. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles