Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich.
This is a static copy of our old forum. Interactions are not possible.

brosi

Junior Schreiberling

  • "brosi" is male
  • "brosi" started this thread

Posts: 131

Date of registration: Dec 19th 2001

Location: LaLaLand

Occupation: M.Sc. Inf.

1

Sunday, February 6th 2005, 7:28pm

Was ganz simples...

Hi!

Bei der Frage: alle Menschen sind sterblich außer Sokrates in der Probeklausur2, was ist das in der Lösung für ein Zeichen ('?'), ein not ?

forall x: mensch(x) AND x ? Sokrates => sterblich(x)

Warum nicht: AND NOT mensch(Sokrates) ?

Nur mal so am Rande.

Danke,

Broso

PS: Sorry, sollte in den KI Thread. Verklickt.

This post has been edited 2 times, last edit by "brosi" (Feb 6th 2005, 7:30pm)

  • Send private message

Sinan

Senior Schreiberling

  • "Sinan" is male

Posts: 1,021

Date of registration: Jul 5th 2003

Location: Malaga

Occupation: Senior Cloud Solution Engineer bei Oracle

2

Sunday, February 6th 2005, 9:04pm

RE: Was ganz simples...

Quoted

Original von brosi
Hi!

Bei der Frage: alle Menschen sind sterblich außer Sokrates in der Probeklausur2, was ist das in der Lösung für ein Zeichen ('?'), ein not ?

nein das ist ein "ungleich", also ein mit Schrägstirch versehenes Gleichheitszeichen, genau so wie man es in der Mathematik schreibt.
gibt's denn auch Lösungen online?

Quoted


Warum nicht: AND NOT mensch(Sokrates)

gute Frage, würde auch gehen glaub ich.
in der Übung hat er erklärt, dass
and not sokrates(x) nicht geht, da sokrates keine Eigenschaft ist.
allerdings wenn man noch Fragen hat, kann man am Dienstag nochmal hin, Herr Nejdl und Herr Brase bieten eine Besprechungsstunde um 15:00 Uhr im Raum 032, also wo wir immer Vorleung und Übung gehabt haben.
With great power comes great responsibility
  • Send private message

Joachim

Guru

  • "Joachim" is male

Posts: 2,863

Date of registration: Dec 11th 2001

Location: Hämelerwald

Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)

3

Sunday, February 6th 2005, 9:48pm

RE: Was ganz simples...

Quoted

Original von brosi
Bei der Frage: alle Menschen sind sterblich außer Sokrates in der Probeklausur2, was ist das in der Lösung für ein Zeichen ('?'), ein not ?

forall x: mensch(x) AND x ? Sokrates => sterblich(x)

Warum nicht: AND NOT mensch(Sokrates) ?
FORALL x: mensch(x) AND NOT mensch(Sokrates) => sterblich(x)

würde bedeuten: "Alle Menschen sind sterblich, wenn Sokrates kein Mensch ist."

Das ist hier aber nicht gemeint.
The purpose of computing is insight, not numbers.
– Richard Hamming, 1962
  • Send private message