The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
30 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)$ ...
0
votes
1answer
20 views

Can I interchange variables and terms in these expressions? Find Most General Unifier

I just found a question asking to find the most general unifier for, ${P(x,g(y,z),y),P(g(h(a,u),y),x,h(a,b))}$ Where $x$ , $y$ , $z$ And $u$ Are variables and $a$ and $b$ are constants. As far as ...
1
vote
1answer
39 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
42 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
76 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
59 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
427 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
137 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
97 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
120 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
177 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\}, ...