The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
41 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
47 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
105 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
385 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
70 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
72 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
82 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
147 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\}, ...