Task Description Logic Based on Temporal Constrain Net

Cen Yu; Wei Jia Zhou

doi:10.4028/www.scientific.net/AMM.529.681

Paper Titles

A Novel Finite Element Method Based Beam Propagation Method without Using Slow Varying Envelope Approximation
p.660

An New Method for Process Decision-Making of Slot Based on Features
p.665

Coupling Analysis of Electroencephalogram Based on the Multiscale Mutual Mode Entropy
p.670

Research on Attention EEG Based on the Multiscale Jensen-Shannon Divergence
p.675

Task Description Logic Based on Temporal Constrain Net
p.681

Longyuan Spare Parts Management System Development
p.686

Design of Soil Pollution and Restoration Simulation System Based on LabVIEW and PLC
p.693

Research status and Application Analysis of 3D Printing Technology
p.697

Method of Gun Barrel Life Prediction Based on BP Network
p.701

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vol. 529Task Description Logic Based on Temporal Constrain...

Task Description Logic Based on Temporal Constrain Net

Abstract:

Modern robots usually need to operate non-cooperative targets in unstructured environment. There are unpredictable events which can reduce the capacity of robots. Therefore, task descriptions for robots just indicate what to do, not how to do. This paper proposes a task description logic based on temporal constrain net to provide a formalized method for task description and deciding whether a plan meets the requirements of task description or not.

You might also be interested in these eBooks

Mechanical Automation and Materials Engineering II

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volume 529)

Pages:

681-685

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.529.681

Citation:

Cite this paper

Online since:

June 2014

Authors:

Cen Yu*, Wei Jia Zhou

Keywords:

Logic System, Task Description, Temporal Constrain Net

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] C.G. Cassandras: Discrete Event Systems (Aksen Assoc. Inc., Boston, 1993).

Google Scholar

[2] LIN Changlong, LIU Kaizhou,. Research on Modeling and Reachability Problem of Autonomous Underwater Vehicle Architecture Based on Object-oriented Petri Net[J]. ROBOT, 2013, 35(3): 332-338.

DOI: 10.3724/sp.j.1218.2013.00332

Google Scholar

[3] P.J. Ramadgae and W.M. Wonham: The Control of Discrete Event Systems, Proc. IEEE, Vol. 77(1989), pp.81-98.

Google Scholar

[4] LI Mantian, YU Haitao, GUO Wei etc. Research on the Analyticity of SLIP Model Based on Perturbation Theory and Locomotion Control[J]. ROBOT, 2012, 34(6): 689-696.

DOI: 10.3724/sp.j.1218.2012.00689

Google Scholar

[5] P.R. Kumar, S.P. Meyn, Stability of Queueing Networks and Scheduling Policies, Proc. IEEE Conf. Decision and Control(1993), pp.2730-2735.

Google Scholar

[6] C.L.P. Chen, C. Wichman, A CLIPS Rule-Based Planning System for Mechanical Assembly, Proc. NSF DMS Conf(1992), pp.837-841.

Google Scholar

[7] Bloom S L, Ésik Z. Floyd-Hoare Logic. Iteration Theories. Springer Berlin Heidelberg(1993) pp.551-611.

DOI: 10.1007/978-3-642-78034-9_15

Google Scholar

[8] Lamport L. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems (1994) 16(3), pp.872-923.

DOI: 10.1145/177492.177726

Google Scholar

[9] G. Japaridze, The Logic of Resources and Tasks, ph.D. Thesis, University of Pennsylvania, Philadelphia, 1998, 145pp.

Google Scholar

[10] J. Y. Girard, Linear Logic. Theoretical Computer Science, Vol. 50-1(1987), pp.1-102.

Google Scholar

[11] Japaridze G. The Logic of Tasks. Annals of Pure and Applied Logic, 2002, 117(1): 261-293.

DOI: 10.1016/s0168-0072(01)00123-3

Google Scholar

[12] Artale A, Franconi E. A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research, 1998, 9(1): 463-506.

DOI: 10.1613/jair.516

Google Scholar