Article | The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University | Planning Speech Acts in a Logic of Action and Change

Title:
Planning Speech Acts in a Logic of Action and Change
Author:
Martin Magnusson: Department of Computer and Information Science, Linköping University, Sweden Patrick Doherty: Department of Computer and Information Science, Linköping University, Sweden
Download:
Full text (pdf)
Year:
2009
Conference:
The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University
Issue:
035
Article no.:
008
Pages:
39-48
No. of pages:
10
Publication type:
Abstract and Fulltext
Published:
2009-05-27
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Publisher:
Linköping University Electronic Press; Linköpings universitet


Cooperation is a complex task that necessarily involves communication and reasoning about others’ intentions and beliefs. Multi-agent communication languages aid designers of cooperating robots through standardized speech acts; sometimes including a formal semantics. But a more direct approach would be to have the robots plan both regular and communicative actions themselves. We show how two robots with heterogeneous capabilities can autonomously decide to cooperate when faced with a task that would otherwise be impossible. Request and inform speech acts are formulated in the same first-order logic of action and change as is used for regular actions. This is made possible by treating the contents of communicative actions as quoted formulas of the same language. The robot agents then use a natural deduction theorem prover to generate cooperative plans for an example scenario by reasoning directly with the axioms of the theory.

The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University

Author:
Martin Magnusson, Patrick Doherty
Title:
Planning Speech Acts in a Logic of Action and Change
References:

[1] R. Bassan; L. Pimenta; M. Scofano; and J. F. Soares. Accuracy of a neural diagnostic tree for the identi cation of acute coronary syndrome in patients with chest pain and no stsegment elevation. Critical Pathways in Car- diology; 3(2):72{78; 2004.


[2] Ricardo Blanco-Vega; Jose Hernandez-Orallo; and M. Jose Ramrez-Quintana. Analysing the trade-o between comprehensibility and accuracy in mimetic models. In Discovery Science; pages 338{346; 2004.


[3] L. Breiman; J. H. Friedman; R. A. Olshen; and C. J. Stone. Classi cation and Regression Trees. 1984.


[4] J. Chen; Y. Xing; G. Xi; J. Chen; J. Yi; D. Zhao; and J. Wang. A comparison of four data mining models: Bayes; neural network; svm and decision trees in identifying syndromes in coronary heart disease. In Fourth International Symposium on Neural Networks; 2007.


[5] M. Green; J. Bjork; J. Forberg; U. Ekelund; L. Edenbrandt; and M. Ohlsson. Comparison between neural networks and multiple logistic regression to predict acute coronary syndrome in the emergency room. Arti cial Intelligence in Medicine; 38(3):305{318; 2006.


[6] K. Holmberg; M-L. Persson; M. Uhlen; and J. Odeberg. Pyrosequencing analysis of thrombosis-associated risk markers. Clinical Chemistry; 51:1549{1552; 2005.


[7] R. D. King; C. Feng; and A. Sutherland. STATLOG: Comparison of classi cation algorithms on large real-world problems. Applied Arti cial Intelligence; 9(3):259{287; 1995.


[8] C. L. McCullough; A. J. Novobilski; and F. M. Fesmire. Use of neural networks to predict adverse outcomes from acute coronary syndrome for male and female patients. In Sixth Inter- national Conference on Machine Learning and Applications; 2004.


[9] J. Odeberg; M. Freitag; H. Odeberg; L. Rastam; and U. Lindblad. Severity of acute coronary syndrome is predicted by interactions between brinogen concentrations and polymorphisms in the GPIIIa and FXIII genes. Thrombosis and Haemostasis; 4:909{912; 2006.


[10] Foster Provost; Tom Fawcett; and Ron Kohavi. The case against accuracy estimation for comparing induction algorithms. In 15th In- ternational Conference on Machine Learning; pages 445{453; San Francisco; CA; USA; 1998. Morgan Kaufmann Publishers.


[11] R. A. Rusnak; T. O. Stair; K. Hansen; and J. S. Fastow. Litigation against the emergency physician: Common features in cases of missed myocardial infarction. Annals of Emergency Medicine; 18:1029{1034; 1989.


[12] H. Tunstall-Pedoe; K. Kuulasmaa; P. Amouyel; D. Arveiler; A. M. Rajakangas; and A. Pajak. Myocardial infarction and coronary deaths in the World Health Organization MONICA project. registrationprocedures; event rates; and case-fatality rates in 38 populations from 21 countries in four continents. Circulation; 90(1):583{612; 1994.


[13] L. Wallentin and B. Lindahl A. Siegbahn. Unstable coronary artery disease. In E. Falk; editor; Textbook of Cardiac Disease. Mosby; New York; 2002.


[14] Ian H. Witten and Eibe Frank. Data Mining: Practical Machine Learning Tools and Tech- niques. Morgan Kaufmann Publishers; San Francisco; CA; USA; 2005.


[15] L. Xu; P. Yan; and T. Chang. Best rst strategy for feature selection. In Ninth In- ternational Conference on Pattern Recogni- tion; pages 706{708; New york City; NY; USA; 1988. IEEE Press.

The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University

Author:
Martin Magnusson, Patrick Doherty
Title:
Planning Speech Acts in a Logic of Action and Change
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment