http://www.lambda.ee/w/index.php?action=history&feed=atom&title=PLA001-1.ax 2026-11-07T03:17:35Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=PLA001-1.ax&diff=15674&oldid=prev 2019-03-20T09:34:12Z

<p>Uus lehekülg: &#039;&lt;pre&gt; %-------------------------------------------------------------------------- % File : PLA001-1 : TPTP v7.2.0. Released v1.0.0. % Domain : Planning (Blocks world) % Axi...&#039;</p> <p><b>Uus lehekülg</b></p><div>&lt;pre&gt;<br /> %--------------------------------------------------------------------------<br /> % File : PLA001-1 : TPTP v7.2.0. Released v1.0.0.<br /> % Domain : Planning (Blocks world)<br /> % Axioms : Blocks world difference axioms for 4 blocks<br /> % Version : [SE94] axioms.<br /> % English :<br /> <br /> % Refs : [Sus73] Sussman (1973), A Computational Model of Skill Acquisi<br /> % : [SE94] Segre &amp; Elkan (1994), A High-Performance Explanation-B<br /> % Source : [SE94]<br /> % Names :<br /> <br /> % Status : Satisfiable<br /> % Syntax : Number of clauses : 20 ( 0 non-Horn; 19 unit; 19 RR)<br /> % Number of atoms : 21 ( 0 equality)<br /> % Maximal clause size : 2 ( 1 average)<br /> % Number of predicates : 2 ( 0 propositional; 2-2 arity)<br /> % Number of functors : 9 ( 7 constant; 0-2 arity)<br /> % Number of variables : 3 ( 1 singleton)<br /> % Maximal term depth : 2 ( 1 average)<br /> % SPC : <br /> <br /> % Comments : Requires PLA001-0.ax<br /> % : The axioms are a reconstruction of the situation calculus<br /> % blocks world as in [Sus73].<br /> %--------------------------------------------------------------------------<br /> cnf(symmetry_of_differ,axiom,<br /> ( differ(X,Y)<br /> | ~ differ(Y,X) )).<br /> <br /> cnf(differ_a_b,axiom,<br /> ( differ(a,b) )).<br /> <br /> cnf(differ_a_c,axiom,<br /> ( differ(a,c) )).<br /> <br /> cnf(differ_a_d,axiom,<br /> ( differ(a,d) )).<br /> <br /> cnf(differ_a_table,axiom,<br /> ( differ(a,table) )).<br /> <br /> cnf(differ_b_c,axiom,<br /> ( differ(b,c) )).<br /> <br /> cnf(differ_b_d,axiom,<br /> ( differ(b,d) )).<br /> <br /> cnf(differ_b_table,axiom,<br /> ( differ(b,table) )).<br /> <br /> cnf(differ_c_d,axiom,<br /> ( differ(c,d) )).<br /> <br /> cnf(differ_c_table,axiom,<br /> ( differ(c,table) )).<br /> <br /> cnf(differ_d_table,axiom,<br /> ( differ(d,table) )).<br /> <br /> %----Initial configuration<br /> cnf(initial_state1,axiom,<br /> ( holds(on(a,table),s0) )).<br /> <br /> cnf(initial_state2,axiom,<br /> ( holds(on(b,table),s0) )).<br /> <br /> cnf(initial_state3,axiom,<br /> ( holds(on(c,d),s0) )).<br /> <br /> cnf(initial_state4,axiom,<br /> ( holds(on(d,table),s0) )).<br /> <br /> cnf(initial_state5,axiom,<br /> ( holds(clear(a),s0) )).<br /> <br /> cnf(initial_state6,axiom,<br /> ( holds(clear(b),s0) )).<br /> <br /> cnf(initial_state7,axiom,<br /> ( holds(clear(c),s0) )).<br /> <br /> cnf(initial_state8,axiom,<br /> ( holds(empty,s0) )).<br /> <br /> %----Table is always clear<br /> cnf(clear_table,axiom,<br /> ( holds(clear(table),State) )).<br /> <br /> %--------------------------------------------------------------------------<br /> <br /> &lt;/pre&gt;</div>

Tammet