<< Chapter < Page
  Intro to logic   Page 1 / 1
Chapter >> Page >
The domain axioms of WaterWorld in first-order logic.

We summarize the details of how we choose to model WaterWorld boards in first-order logic: exactly what relations we make up, and the formaldomain axioms which capture the game's rules.

This will follow almost exactly the same pattern as our WaterWorld model in propositional logic . However, we will take advantage of the additional flexibility providedby first-order logic.

Rather than modeling only the default 64 WaterWorld board;, we will be able to model any board representable by our relations.This will allow boards of any size and configuration, with one major constrainteach location can have at most three neighboring pirates.

Domain and relations

Our domain is simply the set of all board locations. This set can be arbitrarily largeeven infinite!

The board configuration is given by the binaryneighborrelation nhbr .

The next relations correspond directly to the propositions in the propositional logic model.

  • Whether or not a location contains a pirate: safe . This is a unary relation.
    We choose not to include a redundant relation unsafe .
  • Unary relations indicating the number of neighboring pirates: has0 , has1 , has2 , and has3 .
    Thus, we have our restriction to three unsafe neighbors. This will also be reflected in our domain axioms below. See also this problem for a discussion of how to avoid this restriction.

In addition, to have encode the domain axioms for an arbitrary domain, we also need an equality relation over our domain of locations.As is traditional, we will use infix notation for this relation, for example, x y . Furthermore, we will allow ourselves to write x y as shorthand for x y . Thus, we do not need a distinct inequality relation.

Note that these relations describe the state of the underlying boardthe modeland not our particular view of it. Our particular view will be reflected in which formulaswe'll accept as premises. So we'll accept has2 A as a premise only when A has been exposed and shows a 2.

The domain axioms

Many of our axioms correspond directly, albeit much more succinctly, with those of the propositional model. In addition, we have axioms that specify that our neighbor and equalityrelations are self-consistent.

Axioms asserting that the neighbor relation is anti-reflexive and symmetric:

  • x nhbr x x
  • x y nhbr x y nhbr y x

Axioms asserting that=truly is an equality relation, i.e. , it is reflexive, symmetric, and transitive.

  • x x x
  • x y x y y x
  • x y z x y y z x z

Axioms asserting that the neighbor counts are correct. Each of these is of the formif location x has n neighboring pirates, then there are n distinct unsafe neighbors of x , and any other distinct neighbor x is safe.We use the equality relation to specify the distinctness of each neighbor.

  • x has0 x y nhbr x y safe y
  • x has1 x a nhbr x a safe a y nhbr x y a y safe y
  • x has2 x a b nhbr x a nhbr x b a b safe a safe b y nhbr x y a y b y safe y
  • x has3 x a b c nhbr x a nhbr x b nhbr x c a b a c b c safe a safe b safe c y nhbr x y a y b y c y safe y

In addition, we want the implications to go the opposite way. Otherwise, each of has0 , has1 , has2 , and has3 could always be false, while still satisfying the above!For brevity, we elide the details in the following list:

  • x y nhbr x y safe y has0 x
  • x has1 x
  • x has2 x
  • x has3 x

Axioms asserting that the neighbor counts are consistent. While redundant, including axioms like the following can be convenient.

  • x has0 x has1 x has2 x has3 x
  • x has1 x has0 x has2 x has3 x
  • x has2 x has0 x has1 x has3 x
  • x has3 x has0 x has1 x has2 x

Note that this set of axioms is not quite complete, as explored in an exercise .

Questions & Answers

what's a psy.d degree
Robin Reply
Psychology Doctorate. The main difference between PsyD and PhD Psychology is that PsyD mainly focuses on clinical sessions and PhD focuses on research.
so most of the phd holders become professors teaching what they have learnt
Hi, I have a question. What factors influence social facilitation and social inhibition in groups?
Amritpal Reply
it really depends on that person on how the can task in life either they can work better with other people or you do worse working with people.
the task
they task
Do you know of any studies done to show social facilitation and social inhibition
social facilitation is often influenced by the person's perception of the situation and their appraisal of the task. for example, a track athlete who views their competition as a challenge rather than a threat, will tend to run the fastest they have ever ran under a large crowd.
Another condition is if the person has mastered the ability to perform that task. A track athlete who trains everyday, will perform above average under a large crowd, however, someone who does not run, will tend to do worse than their actual ability under a large crowd
social inhibition can be explained through evolutionary biology or attachment personality theory. some people develop an avoidance personality trait, which when they feel under pressure, they tend to leave the group or avoid a gathering due to high lev of stress
Does anyone know how I can transfer my higher national diploma credits in usa?
Qwanta Reply
Oh wow. I never realised there was a chat on this app!
Amritpal Reply
Then welcome dearest
Thank you! ❤️
thank you
Hello Ana, good afternoon from here
Philip Reply
hello im new student here.
Junalyn Reply
o sorry madm
I m also student.
what is easier option to psychology?
I'm new too
As in the the specialisation or ?
good morning
understanding human nature is what we are going to talk about.
okay, go ahead
“ Every child is left to evaluate his experiences for himself, and to take care of his own personal development outside the classroom. There is no tradition for the acquisition of a true knowledge of the human psyche. The science of human nature thus finds itself today in the position that chemis
well, I think every individual is different and to a great extent we can't say confidently that we understand the human nature in its entirety
lack determines what we will become in life?.
Not 100% but it plays a huge role
Hi! I wasn't aware there was a chat feature on this app 😊
👍Philip Anyaegbu
yes Ana I'm here
alternatively we are different, we have basic similar qualities
Yes true Bridget.
hello there
who we are how we think what we do insight
@ bridget. yes that's true
Ana ioanidis? do you speak Greek?
Qwanta no I dont speak Greek my husband does
are you a psychologist? or your husband?
I need some reliable informations about my studies...
not a psychologist
I ask questions
so what is the cause why a person experiences a psychological disorder if it not of their own?
Junalyn Reply
it's partly genetics,culture, environment and substance abuse. generally these are the common factors which can lead to most of the disorders
r u proficcer
u r psychology subject
not a professor but a clinical psychologist
can i ask you, i keep getting headache, and had a history of hypothyroid ans diagnosed as having mild anxiety disorder. i want to finish. my undergraduate psychology thesis.. but always unable to have good ambition and energy to focus on writing the case and the theories... whats the best remedy
had a headache and have a history
297 according to the DSM 5
how many disorders are there
Janareon Reply
interesting question
it is😅
I'm guessing it's in the tens of thousands, maybe hundreds if you include counter interactions and stuff like it. although I'm sure it's almost impossible to know for sure, unless you're very rich and connected to the right people. but as I said: guessing.
There are more than 200 classified forms of mental illness. Some of the more common disorders are: clinical depression, bipolar disorder, dementia, schizophrenia and anxiety disorders. Symptoms may include changes in mood, personality, personal habits and/or social withdrawal. that is what I think
too difficult to number. diagnosing a disorder is just checking off boxes on a compilation of symptoms that might match any particular condition on the DSM
what is psychology of the guest
Lirilong Reply
I don't understand the question can you elaborate?
the study of philosophy gives to the sociologist
Aman Reply
why women are viewed as far more emotional than men?
Wario Reply
because they actually are ,I guess.
May be they are biologically milder than man. It does not mean they are not equal with man. Man can also be emotional and can are oppressed with traditional norms. For example, man are not to be cry, in actual man are also emotional being and they cannot have the right to show their sentiment.
sollungal bro sollungal...
because of she has hormonal fluctuations than men..
usually women are more emotional than men and they are multi talented people
Both men and women are capable of expressing emotions. But women has the highest percentage of doing that. Because our society is conditioned by nature in such a way that men are expected to suppress their emotions and motivate them through their acts or thoughts, which has it's side effects of....
denial of any emotion which they feel that useless at that point. Women in the other hand were encouraged/not controlled to suppress their emotions and let them out what they feel about it. I feel that's the wonderful superpower of the women.
Men's emotion comes mostly with memories triggered by senses. That means, they thoughts have the power to decide whether to let go of emotions or not.
because women tend to be more agreeable than men.
women at a young age are conditioned to be more in tune with emotion than man should be less
The question is "Why women Viewed are as far more emotional than men ?" it's not a question whether women are more emotional than men. This is more an issue about the point of view from the observer, his/her assumption what emotional behavior is or what emotional behavior is.
The anwers are answers more to the question " Are women more emotional than men?"
hi are you on what'sap
Wunuji Reply
no not really a fan of social laziness
is there any way for a Btech E.C.E. graduate to take on MSC. PSYCHOLOGY
ya you can just by cracking entrance , if in India
Any stream in UG can go for M.Sc (Psychology)
classification of traits and how they are measured
chinedu Reply
what was Freud's first name?
Robin Reply
Sigismund Schlomo Freud
Sigmund Freud
Leon Vygotsky and Sergei Rubenstein please tell me contributions of these personalities in in 4 lines
sigmund Freud
Lev Vygotsky was the founder of socio-cultural theory
So psychology was based off of the Greek gods I that right or no?
Tanya Reply
psychology is the study. anything -ology is the study of a certain field. Psyche is a mortal woman who becomes divine in Greek mythology. The etymology of the word "psyche" in Greek means "spirit" or "soul"
Got questions? Join the online conversation and get instant answers!
Jobilize.com Reply

Get the best Algebra and trigonometry course in your pocket!

Source:  OpenStax, Intro to logic. OpenStax CNX. Jan 29, 2008 Download for free at http://cnx.org/content/col10154/1.20
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Intro to logic' conversation and receive update notifications?