A new incarnation of action language H

Sandeep Chintabathina; Richard Watson

doi:10.1007/978-3-642-30743-0_38

A new incarnation of action language H

Sandeep Chintabathina, Richard Watson

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

3 Scopus citations

Abstract

In this paper we present a new version of action language H which is more expressive and powerful than its previous version. We enhanced the syntax to include triggers which allows us to reason about natural actions. The new version is capable of modeling a variety of domains, demonstrating that it is a good language for knowledge representation. We present the syntax and semantics of the language and show how it can be used to model the behavior of a bouncing ball.

Original language	English
Title of host publication	Correct Reasoning
Subtitle of host publication	Essays on Logic-Based AI in Honor of Vladimir Lifschitz
Editors	Erdem Esra, Lee Joohyung, Lierler Yuliya, Pearce David
Pages	560-575
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-30743-0_38
State	Published - 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7265
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-30743-0_38

Cite this

Chintabathina, S., & Watson, R. (2012). A new incarnation of action language H. In E. Esra, L. Joohyung, L. Yuliya, & P. David (Eds.), Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz (pp. 560-575). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7265). https://doi.org/10.1007/978-3-642-30743-0_38

Chintabathina, Sandeep ; Watson, Richard. / A new incarnation of action language H. Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz. editor / Erdem Esra ; Lee Joohyung ; Lierler Yuliya ; Pearce David. 2012. pp. 560-575 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{2835e0f01e9442169050dc6f7264d53e,

title = "A new incarnation of action language H",

abstract = "In this paper we present a new version of action language H which is more expressive and powerful than its previous version. We enhanced the syntax to include triggers which allows us to reason about natural actions. The new version is capable of modeling a variety of domains, demonstrating that it is a good language for knowledge representation. We present the syntax and semantics of the language and show how it can be used to model the behavior of a bouncing ball.",

author = "Sandeep Chintabathina and Richard Watson",

year = "2012",

doi = "10.1007/978-3-642-30743-0_38",

language = "English",

isbn = "9783642307423",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "560--575",

editor = "Erdem Esra and Lee Joohyung and Lierler Yuliya and Pearce David",

booktitle = "Correct Reasoning",

}

Chintabathina, S & Watson, R 2012, A new incarnation of action language H. in E Esra, L Joohyung, L Yuliya & P David (eds), Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7265, pp. 560-575. https://doi.org/10.1007/978-3-642-30743-0_38

A new incarnation of action language H. / Chintabathina, Sandeep; Watson, Richard.
Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz. ed. / Erdem Esra; Lee Joohyung; Lierler Yuliya; Pearce David. 2012. p. 560-575 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7265).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - A new incarnation of action language H

AU - Chintabathina, Sandeep

AU - Watson, Richard

PY - 2012

Y1 - 2012

N2 - In this paper we present a new version of action language H which is more expressive and powerful than its previous version. We enhanced the syntax to include triggers which allows us to reason about natural actions. The new version is capable of modeling a variety of domains, demonstrating that it is a good language for knowledge representation. We present the syntax and semantics of the language and show how it can be used to model the behavior of a bouncing ball.

AB - In this paper we present a new version of action language H which is more expressive and powerful than its previous version. We enhanced the syntax to include triggers which allows us to reason about natural actions. The new version is capable of modeling a variety of domains, demonstrating that it is a good language for knowledge representation. We present the syntax and semantics of the language and show how it can be used to model the behavior of a bouncing ball.

UR - http://www.scopus.com/inward/record.url?scp=84864261436&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-30743-0_38

DO - 10.1007/978-3-642-30743-0_38

M3 - Chapter

AN - SCOPUS:84864261436

SN - 9783642307423

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 560

EP - 575

BT - Correct Reasoning

A2 - Esra, Erdem

A2 - Joohyung, Lee

A2 - Yuliya, Lierler

A2 - David, Pearce

ER -

Chintabathina S, Watson R. A new incarnation of action language H. In Esra E, Joohyung L, Yuliya L, David P, editors, Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz. 2012. p. 560-575. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-30743-0_38

A new incarnation of action language H

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this