Not logged in. · Lost password · Register

Page:  1  2  next 
lu60ruhy
Member since Apr 2018
15 posts
Subject: More Training Data for Exam Preparation [Logic]
+1 mecanum
I wanted to kindly ask whether it would be possible to provide us with more example logic problems, that are accompanied by solutions in the lecture's notation - specifically the kind which is similar to the following:

Problem 10.1 (Calculi Comparison)
Problem 11.2 (First-Order Semantics)
Problem 11.3 (Natural Deduction)
Problem 12.2 (First-Order Resolution)
Problem 12.3 (First-Order Tableaux)

At least for me, access to more (and diverse examples) would greatly contribute to getting a finer intuition for the subtle differences between the used calculi.

[Image: data:image/jpeg;base64,/9j/4AAQSkZJRgABAQAAAQABAAD/2wCEAAkGBwgHBgkIBwgKCgkLDRYPDQwMDRsUFRAWIB0iIiAdHx8kKDQsJCYxJx8fLT0tMTU3Ojo6Iys/RD84QzQ5OjcBCgoKDQwNGg8PGjclHyU3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3Nzc3N//AABEIAFoAWgMBIgACEQEDEQH/xAAbAAACAwEBAQAAAAAAAAAAAAAEBQIDBgcAAf/EADcQAAIBAwICCAIJBAMAAAAAAAECAwAEEQUhEjEGExQiQVFhcUKRFSMyUmJygaGxFlTw8ZLB0f/EABgBAAMBAQAAAAAAAAAAAAAAAAIDBAEA/8QAHxEAAgICAgMBAAAAAAAAAAAAAAECEQMhEkEEIjET/9oADAMBAAIRAxEAPwDltncle624pgyF1yu9IxsaYWd4YzhuXrQNGE1FxxlUiBo6xs766k4I4kDfiNXWrK54lNMIHaNuJCQ3mKw5ssi6K6442SIfrS7VbWfSZOpurmDrvGNO8y+/lTbVOmd3bWLWds3DORhphzQenrWZs9Lu749a3cRjnibcn1rWoo5Jsj29+XF+1MNNXt8oiW/jikY4CyLjPseVWSdGoVi7ty/H5nGKWXmj3VmjSDEkY5leYHtWaNcaNenRLUG2a9A9lq4dC7o/av2+QoboJ0lkmmXTL5y5I+okY77D7J8/St3x0fFC2Y09Cm+K+kNQ/opf7yT51s3aqc13FGHFWtg3KqHgZDtyopbhDsdjUmkULknagtjSzQ7XUL+67PpttNcS4zwRIWOPPAp7JDd2Mph1C2lglHNZFKkfoaq6EdMH6K6q11bxJIsi8EqPtxLnOx8DXXbjpr0O6R6TxalFxSKV+okX6xcncow8ufPwoqX0H6zhmnxrdX8ktwOJVOcHxNaBLkrt4DlSpBFFe3scL5RJSFbBGR4HB3r30jcIGC2yOo2yM0md3Q+CSQzmnfnmqkuHYkPutCPe4hEjLg8iKC+lLknijjiQHIBYZzQq2HKqK5ydO1eG4gyFWRZFA9DuK6gdfsgPt1yrUJOvgik341bhY/8Af7Uw04T3VuXQnAPDv7CnKTUSaS2dBbpDZjxqr+orT/DWN7Jcede7FcVnJgUZmRVjYjOTVTOWPOrCCzYG9TEYUb0aGFAHjRdmJFkDAkAV9gg6xuW1NIoAq4xWORxG0gYzS8WwcDB88f7FGw2CxFuONZMrgF2OB6486FWYJIinORsD6U0tpuIb7mkNtMojTRWNN7RbTKFwcDh96BaGTABRVYKUZgg3Gc4pl9IXECuOygqD3eF8k+tBLdXUzNNcpHHg7D4j70KbClQHqcEUdiY4scRIPP1rXaLpQttLt0I7xQM3udzSbQ4LfUdXWOdONAhYqCRuMeVbYELKo2Ap+Na2TZPoD2IeVR7CPKtGIoinECNqiBFjwpnEUcbtbXu5I3NVPCwm4D+tMkIVSx5CqbZDLKXNLTGF1vCEUbUSseakkfhRMcdcYKbteGVT5b1KOdlGY988s1dfoetAAyT4DxqprOa3hXr42RiTgMMEb+NBJDMbJtNOyEGaJPTel13IWPCLgvvuVGwovtEKbTLvjxGaAurtGJCAY9qyKY2TVGi6C8Pb7gsO91Pd+YzWk1OUpEWU4NY/orci3vRK52I4T7Vrr2JrmE9RhiRyzj+aNzjCPsydxcnoC065lugRJclMcgTR/Uj+9/esleG/tXbisbhVHxBSR8xQP0w3kf8AlToZYOO42LcJHrhsRBQd2NGWEfCgPKvaZpUmpuHZ+rgQ7tjJY+QrVWlpa2ajqo8sPic5NRZPIjj12UwwylsAsdNlmw3BhPvNtTGPS7dDmSUt6KMUQ0xPMmh5H32qSXl5JaWiiOCC+7LSlvAPqIlQ/eHP50q1CFpQSgDfh5UU0mRuapZt6DHknCXJPYcoRaozN9b5ULMhjzyDD2/9oCHSpJmfgkUKvjjNafVVBiikPwOM+x2/nFQhX6tQvjvV6zv8uXZM8fvQu06xa3cblj54xWntusICgnB50NDGo2owTLAmB9qoc2Rz+j4QURhGVhUH4vOoGZCclFJ/KKXrI0rZJ2q+p+NDLEmiyNFYQoxxsTj3OabJJnfNJ4eSfkH8UbDyp+RXJsXB6DDJ61AtnO9VeFQ86BIYTaqyfWhNTdkt2KMynHMHFZC6u7lpOE3EpHkXNPxYefYueTia/UZYuxyq8iKeHKhmAyRuP4r5BNC4HBKjYA5MDWJHn417AOCQM1YvF9asnef2ujoQcAbGvn4mO1YASSRAdU7J+U4ppp1zO5788re7k0ifjcexsct9GvWURrknFVG6OaxmoXM/Hjr5cHw4zQHWP99vnXQ8TkrsyWauj//Z]

Edit: Also super appreciation is offered in exchange for the solution for Assignment 12 :-)
This post was edited on 2019-02-04, 21:48 by lu60ruhy.
tyr
Avatar
Member since Oct 2014
93 posts
+5 LasagneAlForno, lu60ruhy, Marcel[Inf], Jazzpirate, Jonas S
>makes a post demanding for Data
>includes Star Trek Character which is not Data

0/10 meme potential used

[Image: https://s3.amazonaws.com/pq-imgs/images/quizzes/Data-Star-Trek.jpg-5035.jpg]

No, honestly, we will see if we have/find some more logic problems which are not used in your exam...
"Debugging is like doing surgery by randomly squeezing stuff in a patient's body and going like 'lmao tell me when this guy stops breathing'." -- Orteil, Creator of Cookie-Clicker
Jazzpirate
Member since Oct 2016
803 posts
In reply to post #1
+1 lu60ruhy
I wanted to kindly ask whether it would be possible to provide us with more example logic problems
You can easily generate infinitely many of them ;) Any valid formula is a good example for resolution, natural deduction and tableau, any non-valid formula is a good example for counter-model generation using tableau.

Recall my previous post on algebraically handling formulas - you can easily use them to generated arbitrarily complex tautologies.

https://fsi.cs.fau.de/forum/thread/16935-Exercise-10-1-Tip…

Another fun (and educational!) thing you can do is: Generate interesting formulas by running calculi backwards. For example, to generate an interesting tautology, start with an empty clause and "invent" clauses that resolve to the empty clause. Then invent clauses that resolve to the resulting clauses etc. Try to do non-trivial things - what do clauses have to look like such that they resolve to the empty (or previous) clauses and I need to unify terms? What if I have a skolem function here, what quantifiers does the resulting formula then have?

Then try to prove that formula using a *different* calculus :) Use natural deduction without a specific goal to find a tautology, then prove it using tableau etc.

All of this will not just give you infinitely many exercises for practicing calculi, but running things backwards will additionally give you a better intuition how any why that calculus works, what kinds of mistake you can make ("Wait, by running resolution backwards I seem to have generated a formula that isn't valid - where did I go wrong and why?") and as a result, you will be a lot faster in the exam ;)
Jazzpirate
Member since Oct 2016
803 posts
+1 lu60ruhy
Furthermore: Find a non-trivial formula "for each rule" in a calculus. If there's a side condition (e.g. "x may not occur freely in an open premise"), find situations where they don't apply and why applying the rule anyway would be a problem.

All of this is a lot more educational than If I were to just hand you formulas to mechanically prove - and counterintuitively, you will become better at proving things faster by going about it that way than by merely practicing proving things ;)

[Image: https://abstrusegoose.com/strips/saint_curious_george.png]
Don't just read it; fight it! Ask your own questions,
look for your own examples, discover your own proofs.
Is the hypothesis necessary? Is the converse true?
What happens in the classical special case? What
about the degenerate cases? Where does the proof
use the hypothesis?

--- Paul R. Halmos
This post was edited on 2019-02-05, 11:29 by Jazzpirate.
lu60ruhy
Member since Apr 2018
15 posts
Thank you for your answer!

I'm afraid I have to disagree with you. If it were true, that your proposed way of generating the problems by one's self is the best way to gain an intuition into the calculi, you would probably have presented it this way in the exercises.

I'm sure that it is a good way to deepen the understanding but at least I am not there yet. The fact that every additional source of similar problems outside the exercises uses a slightly different notation / terminology complicates grasping the essence of the calculi. As far as I can tell [RN] does not offer these kind of problems in the exercise part as well (maybe I am mistaken?).

So before I can make the step to speeding up, I would very much like to verify my mental model of the calculi by training on examples that are accompanied by solutions with homogeneous notation that I can be confident in (contrary to solutions, which might be incorrect, because I 'invented' them myself - solving/running them in either direction).

tl;dr:
Let me get comfortable with the mechanical stuff first :-)

Thank you for your effort!

[Image: https://i.imgur.com/X5bTCUL.png]
This post was edited on 2019-02-05, 11:53 by lu60ruhy.
Jazzpirate
Member since Oct 2016
803 posts
+1 lu60ruhy
If it were true, that your proposed way of generating the problems by one's self is the best way to gain an intuition into the calculi, you would probably have presented it this way in the exercises.
Except that it's difficult to formualte and evaluate an exercise that basically amounts to "think for yourself" ;) Exercises need to be self-contained with an (ideally) clear instruction what you're expected to do and how the result will be graded.

I would very much like to verify my mental model of the calculi by training on examples that are accompanied by solutions with homogeneous notation that I can be confident in
Fair point ;) I'll see what I can do, but I have to admit that I'm pretty swamped at the moment, and nicely presenting formulas *and* their proofs in a given calculus takes a lot of time. I'll happily look over solutions that you or your coeds post in the forum, though.

Practice, Practice & More Practice
Perfectly correct - "Practice" goes beyond mere mechanics though. Sure, you can't fully understand a calculus without practicing it, but you can't understand a calculus by merely mechanically executing the algorithm over and over again either.

Just as you can't become a good piano player without doing finger exercises, merely doing finger exercises won't make you a good piano player.
lu60ruhy
Member since Apr 2018
15 posts
I'm pretty swamped at the moment, and nicely presenting formulas *and* their proofs in a given calculus takes a lot of time.
Maybe the tutors can help :-) idk what they actually signed up for ...

In the mean time at least the solution to Assignment 12 would be beneficial :-)
Jazzpirate
Member since Oct 2016
803 posts
+1 lu60ruhy
Done: https://new.kwarc.info/teaching/AI/assignments.pdf
Jonas S
Member since Jul 2016
93 posts
You might find https://fsi.cs.fau.de/dw/pruefungen/bachelor#grundlagen_de… helpful.
lu60ruhy
Member since Apr 2018
15 posts
+1 Nash
Thanks for the advice! I had already looked into that, but unless I am missing something, the only accessible solutions there are a.) in a slightly different notation and b.) created by students (titled "solution attempts") which does not induce a lot of confidence (which is not a big deal, unless you are trying to learn this from scratch :-))

I know this sounds picky but I am convinced that these things matter when you are new to something. Consistency is king and errors in introductory material (or something that is used as such) pose considerable throwbacks when the student is trying to make sense of a concept.

And I know that everybody (who puts in their time) will manage without the "extra training data" I asked for - but I am convinced, that it would help a lot of people get there faster.

And thank you again for putting in thought and work (as much as it is possible - I know you have a lot to do elsewhere)!
This post was edited on 2019-02-06, 15:51 by lu60ruhy.
mecanum
Member since Nov 2018
1 post
In reply to post #1
+1 lu60ruhy
Quote by lu60ruhy on 2019-02-04, 21:15:
At least for me, access to more (and diverse examples) would greatly contribute to getting a finer intuition for the subtle differences between the used calculi.

I fully agree with you. I am also looking for some more exercises (especially for natural deduction in Gentzen notation)  and reliable solutions. It is hard to figure out, how to proceed, if there are just a few examples. Every kind of exercise/ solution would be helpful for me.
lu60ruhy
Member since Apr 2018
15 posts
Is the solution to Problem 5.2 (First-Order Tableau) (https://new.kwarc.info/teaching/AI/exam-WS2017-18-with-sol…) intentionally kept secret?
Jazzpirate
Member since Oct 2016
803 posts
I'll do it on a whiteboard and send you a photo, okay? :D
lu60ruhy
Member since Apr 2018
15 posts
A voice message would have been better, but if you insist ... :-)
Jazzpirate
Member since Oct 2016
803 posts
+1 lu60ruhy
[Image: https://i.imgur.com/FhQXjln.jpg]
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:
Page:  1  2  next 
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen