Not logged in. · Lost password · Register

Marcel[Inf]
#faui2k15, GTI-Tutor a. D.
Member since Nov 2015
433 posts
Subject: Hausaufgabe bis 13.12.17
Zwei Fragen:

1.) Was genau ist bis zum 13.12. abzugeben? Ich habe da was mit Fragment 2 in Erinnerung und dass Dennis einen Unifizierer stellen wollte. [Das nächste Mal schreibe ich es auf, versprochen ;)]

     Wobei GFScala mit Fragment2 noch nicht funktioniert, siehe Lucas Beitrag im anderen Thread: https://fsi.cs.fau.de/forum/post/154182

2.) Sind Herbrand-Modelle nicht zu "schwach" für das 1. Fragment (PLNQ mit =)? Sollen wir das auch berücksichtigen bei unserer Abgabe?

Zu 2:
Es könnte z. B. die folgende annotierte Formel in der Tableauxmaschine auftauchen:

(Bertie = the_teacher)^F

Laut notes.pdf, Folie 94 (Seite 57 in der PDF) werden solche Formeln bei der Modellgenerierung komplett ignoriert. Das macht bei Herbrandmodellen auch Sinn, denn diese interpretieren jede "individual constant" als sich selbst.

Bräuchte man nicht hier schon Individuenerzeugung wie bei "Model Generation with Quantifiers" bei Fragment 4?
nakami
Avatar
Member since Sep 2013
258 posts
war nicht freitag die deadline?
video resources on computer science related topics:
https://gist.github.com/nakami/fdb78d1e79f4702e018833fa948…

There are two kinds of people in the world:
1. Those who can extrapolate from incomplete data
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen