Direct simulation Monte Carlo - Revision history

68.34.43.198: /* DSMC Software */

2014-12-09T02:20:50Z

DSMC Software

← Older revision		Revision as of 04:20, 9 December 2014
Line 1:		Line 1:
	~~The~~ '~~''fluent calculus''' is a formalism for expressing dynamical domains in [[first-order logic]]~~. It is a ~~variant of the [[situation calculus]]; the main difference is that situations are considered representations of states. A binary function symbol <math>\circ</math>~~ is ~~used~~ to ~~concatenate~~ the ~~terms that represent facts that hold in a situation~~. ~~For example, that the box~~ is ~~on the table in the situation <math>s</math> is represented by the formula <math>\exists t . s = on(box,table) \circ t</math>~~. ~~The [[frame problem]]~~ is ~~solved by asserting that the situation after the execution of~~ an ~~action is identical to the one before~~ but for ~~the conditions changed by the action~~. ~~For example, the action of moving the box from the table to the floor is formalized as:~~		Hello, my title is Andrew and my wife doesn't like it at all. It's not a typical thing but what I like doing is to climb but I don't have the time lately. Kentucky is exactly where I've usually been residing. My working day job is an information officer but I've currently applied for an additional one.<br><br>Also visit my web page love psychic ([http://Bigpolis.com/blogs/post/6503 Bigpolis.com])

	: <~~math~~>~~State(Do(move(box,table,floor), s)) \circ on(box,table) = State(s) \circ on(box,floor)</math>~~

	~~This formula states that the state after the move is added the term <math>on(box,floor)~~<~~/math~~> ~~and removed the term <math>on(box,table)</math>. Axioms specifying that <math>\circ</math> is commutative and non-idempotent are necessary for such axioms to work.~~

	~~==See also==~~

	* [[Frame problem]]
	* [[Situation calculus]]
	* [[Event calculus]]

	~~==References==~~

	* M. Thielscher (~~1998).~~ [http://~~www.ep~~.~~liu.se/ej~~/~~etai~~/~~1998~~/~~006 Introduction to the fluent calculus]~~. ~~''[[Electronic Transactions on Artificial Intelligence~~]~~]'', 2(3–4):179–192.~~
	* M. Thielscher (2005)~~. Reasoning Robots - The Art and Science of Programming Robotic Agents. ''Volume 33 of Applied Logic Series.'' Springer, Dordrecht.~~

	~~{{logic-stub}}~~

	~~[[Category:Logical calculi]]~~

en>Forrestlumpkin: Added DAC to the list of /* DSMC Software */

2014-01-09T16:25:42Z

Added DAC to the list of DSMC Software

← Older revision		Revision as of 18:25, 9 January 2014
Line 1:		Line 1:
	~~Jayson Berryhill is how I~~'~~m called and my spouse doesn~~'~~t like it at all~~. ~~Her family members life~~ in ~~Ohio but her spouse desires them to move~~. ~~Invoicing~~ is ~~my occupation~~. ~~Playing badminton~~ is ~~a thing~~ that he is ~~totally addicted~~ to.<br><br>~~my blog post~~ ... ~~free psychic readings;~~ [http://~~ltreme~~.~~com~~/~~index.php?do=~~/~~profile-127790~~/~~info~~/ ~~click through~~ the ~~next website page~~],		The '''fluent calculus''' is a formalism for expressing dynamical domains in [[first-order logic]]. It is a variant of the [[situation calculus]]; the main difference is that situations are considered representations of states. A binary function symbol <math>\circ</math> is used to concatenate the terms that represent facts that hold in a situation. For example, that the box is on the table in the situation <math>s</math> is represented by the formula <math>\exists t . s = on(box,table) \circ t</math>. The [[frame problem]] is solved by asserting that the situation after the execution of an action is identical to the one before but for the conditions changed by the action. For example, the action of moving the box from the table to the floor is formalized as:

			: <math>State(Do(move(box,table,floor), s)) \circ on(box,table) = State(s) \circ on(box,floor)</math>

			This formula states that the state after the move is added the term <math>on(box,floor)</math> and removed the term <math>on(box,table)</math>. Axioms specifying that <math>\circ</math> is commutative and non-idempotent are necessary for such axioms to work.

			==See also==

			* [[Frame problem]]
			* [[Situation calculus]]
			* [[Event calculus]]

			==References==

			* M. Thielscher (1998). [http://www.ep.liu.se/ej/etai/1998/006 Introduction to the fluent calculus]. ''[[Electronic Transactions on Artificial Intelligence]]'', 2(3–4):179–192.
			* M. Thielscher (2005). Reasoning Robots - The Art and Science of Programming Robotic Agents. ''Volume 33 of Applied Logic Series.'' Springer, Dordrecht.

			{{logic-stub}}

			[[Category:Logical calculi]]

137.138.122.18: /* DSMC Software */

2012-06-14T08:03:49Z

DSMC Software

New page

Jayson Berryhill is how I'm called and my spouse doesn't like it at all. Her family members life in Ohio but her spouse desires them to move. Invoicing is my occupation. Playing badminton is a thing that he is totally addicted to.<br><br>my blog post ... free psychic readings; [http://ltreme.com/index.php?do=/profile-127790/info/ click through the next website page],