The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
1answer
21 views

Unification of $P(x,x)$ and $P(a,b)$ [closed]

Why can we not unify $P(x,x)$ and $P(a,b)$? Don't the substitutions $a/x$ and $b/x$ provide unification?
0
votes
0answers
36 views

Is this unifiable? SDLNF Derivation of the Generic Goal.

I found a problem which is a definite program problem and ask to obtain all SDLNF derivations of the generic goal. $Product(x,y) ← Quantity(x),Rate(y)$ $Rate(x) ← Sub(x)$ $Quantity(a)$ $Quantity(b)...
1
vote
1answer
43 views

Is the following a unifier, but not a most general unifier?

So I have the following pair of terms $p(q(A),r(A))$ and $p(q(A),r(B))$ I understand the most general unifier for this would be $B/A$. i.e. replace $B$ with $A$. But I am also aware that there is ...
1
vote
1answer
47 views

Most General Unifier computation

I'm trying to compute a most general unifier. There are many rules and I'm confused by them. So here is the example: {P(z,g(c)),P(g(x),z),P(z,z),P(g(y),g(c))} - ...
2
votes
1answer
81 views

The Most General Unifier

I am studing for logic and i need to unify these formulas: $$ P(\;\; f(x,g(x,y))\;\; ,\;\; h(z,y)\; ) $$ $$ P(\;\; z \;,\; h(f(u,v),f(a,b))\; ) $$ Can someone explain me what i need to do? I must ...
4
votes
0answers
60 views

Unification in languages without function symbols or with relational terms.

In case a logic formula is mechanically constructed, obtained as the specification of an expression in an imperative programming language for example, the functional constraints could be implicit in ...
1
vote
0answers
441 views

Associative, commutative properties and identity elements of non-binary functions

I'm making a compiler (for a new language) wich supports AC unification via pattern matching. The matching algorithms already works but i'm having trouble with the logical and mathematical aspects of ...
2
votes
1answer
1k views

Substitution To Find Most General Unifier

Could someone give me some advice on how to do this problem? For the the following pair of expressions, fi nd the substitution that is the most general unifi er (mgu) or explain why the two ...
2
votes
0answers
143 views

Ring Integration

In thinking about various methods of integration, I began to wonder if there was some sort of unifying theory relating integration and ring theory. For example, would there be a way to make sense of ...
2
votes
2answers
102 views

In unification, what cannot be unified?

Looking at various examples online, some seem concrete, but some seem to not be explained properly. Can $f(x)$ be substituted with $g(x)$? I know that $x$ cannot be substituted with $f(x)$, but $x$ ...
1
vote
1answer
121 views

What is/How to do Unification

I'm reviewing for a final exam on Monday, and I have a question I was unable to answer on a previous test. The professor's notes were horrendous, and I can't find anything better online. They all seem ...
2
votes
1answer
181 views

Unification of expressions involving sets

Let's let $\def\OP#1#2{\left\langle#1,#2\right\rangle}\OP xy$ represent the set $\{\{x\},\{x,y\}\}$ as is usual, per Kuratowski. Then: $$ \begin{eqnarray} \OP{\OP ab}c & = & \{\{\{\{a\}, \{a,...