Action language BC+: Preliminary report

Joseph Babb, Joohyung Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates, and abstract constraint atoms. We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language. Language BC+ is defined as a high level notation of propositional formulas under the stable model semantics. Due to the generality of the underlying language, BC+ is expressive enough to encompass many modern ASP language constructs and the best features of several other action languages, such as B, C, C+ and BC. Computational methods available in ASP solvers are readily applicable to compute BC+, which led us to implement the language by extending system CPLUS2ASP.

Original languageEnglish (US)
Title of host publicationProceedings of the National Conference on Artificial Intelligence
PublisherAI Access Foundation
Pages1424-1430
Number of pages7
Volume2
ISBN (Print)9781577357001
StatePublished - Jun 1 2015
Event29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 - Austin, United States
Duration: Jan 25 2015Jan 30 2015

Other

Other29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015
CountryUnited States
CityAustin
Period1/25/151/30/15

Fingerprint

Computer programming languages
Formal languages
Knowledge representation
Computational methods
Semantics
Atoms

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence

Cite this

Babb, J., & Lee, J. (2015). Action language BC+: Preliminary report. In Proceedings of the National Conference on Artificial Intelligence (Vol. 2, pp. 1424-1430). AI Access Foundation.

Action language BC+ : Preliminary report. / Babb, Joseph; Lee, Joohyung.

Proceedings of the National Conference on Artificial Intelligence. Vol. 2 AI Access Foundation, 2015. p. 1424-1430.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Babb, J & Lee, J 2015, Action language BC+: Preliminary report. in Proceedings of the National Conference on Artificial Intelligence. vol. 2, AI Access Foundation, pp. 1424-1430, 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015, Austin, United States, 1/25/15.
Babb J, Lee J. Action language BC+: Preliminary report. In Proceedings of the National Conference on Artificial Intelligence. Vol. 2. AI Access Foundation. 2015. p. 1424-1430
Babb, Joseph ; Lee, Joohyung. / Action language BC+ : Preliminary report. Proceedings of the National Conference on Artificial Intelligence. Vol. 2 AI Access Foundation, 2015. pp. 1424-1430
@inproceedings{46dcd5f1a57d4a2eb45cbb06fa96b977,
title = "Action language BC+: Preliminary report",
abstract = "Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates, and abstract constraint atoms. We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language. Language BC+ is defined as a high level notation of propositional formulas under the stable model semantics. Due to the generality of the underlying language, BC+ is expressive enough to encompass many modern ASP language constructs and the best features of several other action languages, such as B, C, C+ and BC. Computational methods available in ASP solvers are readily applicable to compute BC+, which led us to implement the language by extending system CPLUS2ASP.",
author = "Joseph Babb and Joohyung Lee",
year = "2015",
month = "6",
day = "1",
language = "English (US)",
isbn = "9781577357001",
volume = "2",
pages = "1424--1430",
booktitle = "Proceedings of the National Conference on Artificial Intelligence",
publisher = "AI Access Foundation",

}

TY - GEN

T1 - Action language BC+

T2 - Preliminary report

AU - Babb, Joseph

AU - Lee, Joohyung

PY - 2015/6/1

Y1 - 2015/6/1

N2 - Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates, and abstract constraint atoms. We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language. Language BC+ is defined as a high level notation of propositional formulas under the stable model semantics. Due to the generality of the underlying language, BC+ is expressive enough to encompass many modern ASP language constructs and the best features of several other action languages, such as B, C, C+ and BC. Computational methods available in ASP solvers are readily applicable to compute BC+, which led us to implement the language by extending system CPLUS2ASP.

AB - Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these languages can be viewed as high level notations of answer set programs structured to represent transition systems. However, the form of answer set programs considered in the earlier work is quite limited in comparison with the modern Answer Set Programming (ASP) language, which allows several useful constructs for knowledge representation, such as choice rules, aggregates, and abstract constraint atoms. We propose a new action language called BC+, which closes the gap between action languages and the modern ASP language. Language BC+ is defined as a high level notation of propositional formulas under the stable model semantics. Due to the generality of the underlying language, BC+ is expressive enough to encompass many modern ASP language constructs and the best features of several other action languages, such as B, C, C+ and BC. Computational methods available in ASP solvers are readily applicable to compute BC+, which led us to implement the language by extending system CPLUS2ASP.

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

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

M3 - Conference contribution

AN - SCOPUS:84959925422

SN - 9781577357001

VL - 2

SP - 1424

EP - 1430

BT - Proceedings of the National Conference on Artificial Intelligence

PB - AI Access Foundation

ER -