Advanced Petri Nets and the Fluent Calculus

In this paper we discuss conjunctive planning problems in the context of the fluent calculus and Petri nets. We show that both formalisms are equivalent in solving these problems. Thereafter, we extend actions to contain preconditions as well as obstacles. This requires to extend the fluent calculus as well as Petri nets. Again, we show that both extended formalisms are equivalent.

[1]  Steffen Hölldobler,et al.  Logics and Networks for Human Reasoning , 2009, ICANN.

[2]  Keith Stenning,et al.  Human Reasoning and Cognitive Science , 2008 .

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[4]  Steffen Hölldobler,et al.  Logic Programs under Three-Valued Lukasiewicz Semantics , 2009, ICLP.

[5]  Michael Thielscher,et al.  Computing change and specificity with equational logic programs , 2005, Annals of Mathematics and Artificial Intelligence.

[6]  Steffen Hölldobler,et al.  A Computational Logic Approach to the Abstract and the Social Case of the Selection Task , 2013 .

[7]  R. Byrne.  Suppressing valid inferences with conditionals , 1989, Cognition.

[8]  Sebastian Bader,et al.  The Core Method: Connectionist Model Generation , 2006, ICANN.

[9]  Michael Thielscher,et al.  Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..

[10]  René David,et al.  On Hybrid Petri Nets , 2001, Discret. Event Dyn. Syst..

[11]  John C. Shepherdson.  SLDNF-resolution with equality , 2004, Journal of Automated Reasoning.

[12]  Steffen Hölldobler,et al.  A Computational Logic Approach to the Suppression Task , 2012, CogSci.

[13]  Wolfgang Reisig,et al.  Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.

[14]  P. Johnson-Laird,et al.  Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness , 1985 .

[15]  Steffen Hölldobler,et al.  Foundations of Equational Logic Programming , 1989, Lecture Notes in Computer Science.

[16]  Steffen Hölldobler,et al.  Linear Deductive Planning , 1996, J. Log. Comput..

[17]  Jerome A. Feldman,et al.  An Architecture for Structured, Concurrent, Real-Time Action , 2010 .

[18]  Steffen Hölldobler,et al.  A new deductive approach to planning , 1989, New Generation Computing.