Specifying Events and their Effects in Controlled Natural Language

This paper shows how a controlled natural language can be used to construct precise formal representations for reasoning about events and their effects. Specifications written in PENG Light are translated with the help of discourse representation structures into the input language of the Simplified...

Full description

Saved in:
Bibliographic Details
Published inProcedia, social and behavioral sciences Vol. 27; pp. 12 - 21
Main Author Schwitter, Rolf
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 2011
Subjects
commonsense knowledge
Controlled natural language
Event Calculus
specifications
Controlled natural language
commonsense knowledge
specifications
Event Calculus
Online AccessGet full text

Cover

Abstract This paper shows how a controlled natural language can be used to construct precise formal representations for reasoning about events and their effects. Specifications written in PENG Light are translated with the help of discourse representation structures into the input language of the Simplified Event Calculus. This logic-based formalism is declarative and can be used for various reasoning tasks, among them for question answering. Taking a simple scenario from the transport domain as a starting point, we illustrate how PENG Light can be used to specify the narrative part of the scenario and the commonsense knowledge that is required to reason about direct and indirect effects of events as well as about continuous change. There is no need to encode this scenario and the background axioms in a formal notation, since the relevant information can be expressed directly on the level of the controlled natural language.
AbstractList This paper shows how a controlled natural language can be used to construct precise formal representations for reasoning about events and their effects. Specifications written in PENG Light are translated with the help of discourse representation structures into the input language of the Simplified Event Calculus. This logic-based formalism is declarative and can be used for various reasoning tasks, among them for question answering. Taking a simple scenario from the transport domain as a starting point, we illustrate how PENG Light can be used to specify the narrative part of the scenario and the commonsense knowledge that is required to reason about direct and indirect effects of events as well as about continuous change. There is no need to encode this scenario and the background axioms in a formal notation, since the relevant information can be expressed directly on the level of the controlled natural language.
Author Schwitter, Rolf
Author_xml – sequence: 1
  givenname: Rolf
  surname: Schwitter
  fullname: Schwitter, Rolf
  email: rolf.Schwitter@mq.edu.au
  organization: Macquarie University, Balaclava Road, North Ryde, 2109, Australia
BookMark eNqFkE1LAzEQhoNUsNb-Aw_7B3bNZL8SD4KW-gFFD-o5ZJNJTVmzJdkW-u_dpR7Eg85lhheeYeY5JxPfeSTkEmgGFKqrTRabuA1dxijAEGVlzU_IFHhdp7RgfPJjPiPzGDd0qBxywdiU3L1uUTt7cH6dLPfo-5gob5L-A11IltaiHhLnk0Xn-9C1LZrkWfW7oNpkpfx6p9Z4QU6taiPOv_uMvN8v3xaP6erl4Wlxu0p1XrI-rXUjQFBR8YYahrwStbIN2ByhZlDQOhcWmtJoocCUFStMVYIwjJeccpuzfEauj3t16GIMaKV2verdeJlyrQQqRyFyI49C5ChkTAchA1z8grfBfapw-A-7OWI4PLZ3GGTUDr1G48KgRprO_b3gC-Nffhw
CitedBy_id crossref_primary_10_1007_s10579_016_9338_7
Cites_doi 10.1007/BF03037383
10.1007/3-540-45632-5_17
10.1007/3-540-48958-4_1
10.1016/0743-1066(92)90041-Z
ContentType Journal Article
Copyright 2011
Copyright_xml – notice: 2011
DBID 6I.
AAFTH
AAYXX
CITATION
DOI 10.1016/j.sbspro.2011.10.578
DatabaseName ScienceDirect Open Access Titles
Elsevier:ScienceDirect:Open Access
CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Social Sciences (General)
EISSN 1877-0428
EndPage 21
ExternalDocumentID 10_1016_j_sbspro_2011_10_578
S1877042811024050
GroupedDBID 0R~
0SF
4.4
457
5VS
6I.
71M
AACTN
AAEDT
AAEDW
AAFTH
AAIKJ
AALRI
AAQFI
AAXUO
ABMAC
ACGFS
ADBBV
ADEZE
AEXQZ
AGHFR
AITUG
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
E3Z
EBS
EJD
EP2
EP3
F5P
FDB
FEDTE
FNPLU
HVGLF
HZ~
IXB
KQ8
NCXOZ
O-L
O9-
OK1
OZT
ROL
SES
SSZ
XH2
AAYWO
AAYXX
ADVLN
CITATION
ID FETCH-LOGICAL-c352t-7cb9190968b0d2e8697afb1f3e172140739f1b5dc9a1d5624d6519d285808f323
IEDL.DBID IXB
ISSN 1877-0428
IngestDate Thu Apr 24 23:01:17 EDT 2025
Tue Jul 01 02:39:01 EDT 2025
Fri Feb 23 02:26:51 EST 2024
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Keywords Controlled natural language
commonsense knowledge
specifications
Event Calculus
Language English
License http://creativecommons.org/licenses/by-nc-nd/3.0
https://www.elsevier.com/tdm/userlicense/1.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c352t-7cb9190968b0d2e8697afb1f3e172140739f1b5dc9a1d5624d6519d285808f323
OpenAccessLink https://www.sciencedirect.com/science/article/pii/S1877042811024050
PageCount 10
ParticipantIDs crossref_citationtrail_10_1016_j_sbspro_2011_10_578
crossref_primary_10_1016_j_sbspro_2011_10_578
elsevier_sciencedirect_doi_10_1016_j_sbspro_2011_10_578
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2011
2011-00-00
PublicationDateYYYYMMDD 2011-01-01
PublicationDate_xml – year: 2011
  text: 2011
PublicationDecade 2010
PublicationTitle Procedia, social and behavioral sciences
PublicationYear 2011
Publisher Elsevier Ltd
Publisher_xml – name: Elsevier Ltd
References Kowalski, Sergot (bib0010) 1986; 4
LNCS, vol. 1559, pp. 1–20.
LNAI 2408, pp. 452–490.
pp. 1088–1098.
Schwitter, R., Ljungberg, A., & Hood, D. (2003). ECOLE - A Look-ahead Editor for a Controlled Language. In
Miller, R., & Shanahan, M. (2002). Some Alternative Formulations of the Event Calculus. In: A. C. Kakas, F. Sadri (eds.)
White, Schwitter (bib0055) 2009
Shanahan (bib0050) 1997
pp. 141–150.
Fuchs, N.E., Schwertel, U., & Schwitter, R. (1999). Attempto Controlled English – Not Just Another Logic Specification Language. In
Mueller (bib0025) 2006
Parsons (bib0030) 1994
Kowalski (bib0015) 1992; 12
Schwitter, R. (2010). Controlled Natural Language for Knowledge Representation. In: Proc. of COLING 2010, pp. 1113-1121.
Schoenmackers, S., Etzioni, O., Weld, D.S., & Davis, J. (2010). Learning First-Order Horn Clauses from Web Text. In
Mueller (10.1016/j.sbspro.2011.10.578_bib0025) 2006
Kowalski (10.1016/j.sbspro.2011.10.578_bib0015) 1992; 12
10.1016/j.sbspro.2011.10.578_bib0005
Parsons (10.1016/j.sbspro.2011.10.578_bib0030) 1994
Shanahan (10.1016/j.sbspro.2011.10.578_bib0050) 1997
White (10.1016/j.sbspro.2011.10.578_bib0055) 2009
10.1016/j.sbspro.2011.10.578_bib0035
10.1016/j.sbspro.2011.10.578_bib0045
10.1016/j.sbspro.2011.10.578_bib0020
10.1016/j.sbspro.2011.10.578_bib0040
Kowalski (10.1016/j.sbspro.2011.10.578_bib0010) 1986; 4
References_xml – year: 2006
  ident: bib0025
  article-title: Commonsense Reasoning
– reference: Schwitter, R. (2010). Controlled Natural Language for Knowledge Representation. In: Proc. of COLING 2010, pp. 1113-1121.
– volume: 12
  start-page: 121
  year: 1992
  end-page: 146
  ident: bib0015
  article-title: Database Updates in the Event Calculus
  publication-title: Journal of Logic Programming
– start-page: 80
  year: 2009
  end-page: 88
  ident: bib0055
  article-title: An Update on PENG Light
  publication-title: Proceedings of ALTA 2009
– volume: 4
  start-page: 67
  year: 1986
  end-page: 95
  ident: bib0010
  article-title: Logic-Based Calculus of Events
  publication-title: New Generation Computing
– reference: Schwitter, R., Ljungberg, A., & Hood, D. (2003). ECOLE - A Look-ahead Editor for a Controlled Language. In
– reference: , pp. 141–150.
– reference: , pp. 1088–1098.
– reference: Miller, R., & Shanahan, M. (2002). Some Alternative Formulations of the Event Calculus. In: A. C. Kakas, F. Sadri (eds.):
– reference: , LNCS, vol. 1559, pp. 1–20.
– year: 1997
  ident: bib0050
  article-title: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia
– year: 1994
  ident: bib0030
  article-title: Events in the Semantics of English: A Study in Subatomic Semantics
– reference: Fuchs, N.E., Schwertel, U., & Schwitter, R. (1999). Attempto Controlled English – Not Just Another Logic Specification Language. In:
– reference: , LNAI 2408, pp. 452–490.
– reference: Schoenmackers, S., Etzioni, O., Weld, D.S., & Davis, J. (2010). Learning First-Order Horn Clauses from Web Text. In:
– volume: 4
  start-page: 67
  year: 1986
  ident: 10.1016/j.sbspro.2011.10.578_bib0010
  article-title: Logic-Based Calculus of Events
  publication-title: New Generation Computing
  doi: 10.1007/BF03037383
– ident: 10.1016/j.sbspro.2011.10.578_bib0020
  doi: 10.1007/3-540-45632-5_17
– year: 1997
  ident: 10.1016/j.sbspro.2011.10.578_bib0050
– year: 2006
  ident: 10.1016/j.sbspro.2011.10.578_bib0025
– ident: 10.1016/j.sbspro.2011.10.578_bib0005
  doi: 10.1007/3-540-48958-4_1
– year: 1994
  ident: 10.1016/j.sbspro.2011.10.578_bib0030
– volume: 12
  start-page: 121
  year: 1992
  ident: 10.1016/j.sbspro.2011.10.578_bib0015
  article-title: Database Updates in the Event Calculus
  publication-title: Journal of Logic Programming
  doi: 10.1016/0743-1066(92)90041-Z
– ident: 10.1016/j.sbspro.2011.10.578_bib0040
– ident: 10.1016/j.sbspro.2011.10.578_bib0045
– start-page: 80
  year: 2009
  ident: 10.1016/j.sbspro.2011.10.578_bib0055
  article-title: An Update on PENG Light
– ident: 10.1016/j.sbspro.2011.10.578_bib0035
SSID ssj0000313922
Score 1.7853922
Snippet This paper shows how a controlled natural language can be used to construct precise formal representations for reasoning about events and their effects....
SourceID crossref
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 12
SubjectTerms commonsense knowledge
Controlled natural language
Event Calculus
specifications
Title Specifying Events and their Effects in Controlled Natural Language
URI https://dx.doi.org/10.1016/j.sbspro.2011.10.578
Volume 27
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEA6lJy_iE-uLHDzoYek-srvZoy2WolIQLfS25AmVsha3_n9nkmxREAVhySFkYBmSmS-TmW8IuSpUzBS4sgjggoyY1hhoSrHY3QhZKIWEKZhtMSumc3a_yBc9Mu5qYTCtMth-b9OdtQ4zw6DN4Xq5HD4nvCwR8YMDA7fk7u0Z466IbzHaxlmQm7Byjwm4PkKBroLOpXm1sgVT5bk8YTbHfms_eagvXmeyR3YDXKS3_o_2Sc80B2Tga2ppOJctvQ7k0TeHZOQayrviJXqHuYwtFY2m7j2Aeqrili4bOvYp6iuj6Uw47g36GEKXR2Q-uXsZT6PQJyFSAJ82UalkBX69KriMdWp4UZXCysRmBu93DN_ibCJzrSqRaMA7TBeA23TKcx5zm6XZMek3b405ITQVokgUcrzpklk43alWCbIZM6u1jc2AZJ1uahVIxLGXxarussVea6_RGjWKs6DRAYm2UmtPovHH-rJTe_1tM9Rg53-VPP235BnZ8eFi_M5Jf_P-YS4Ab2zkpdtQMD488U9gu9Ks
linkProvider Elsevier
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwNBDA6lHvQiPrE-5-BBD0v3_Tja0tJq7cUWelt2HguVsha3_n-TmdmiIArCnoYNDGGSfJNJvgDcxsINBYYyB-ECd0IpKdHkU7O7KngsBBGmULXFNB7Nw8dFtGhBv-mFobJK6_uNT9fe2q50rTa76-Wy--KlSUKIHwMYhiW6t-8gGkjIOseL3jbRQuSEmX5NIAGHJJoWOl3nVfMafZUh88TViAau_RSivoSd4QHsW7zIHsyWDqGlqiPomKZaZg2zZneWPfr-GHp6orzuXmIDKmasWVFJph8EmOEqrtmyYn1To75Skk0LTb7BJjZ3eQLz4WDWHzl2UIIjED9tnETwDAN7Fqfclb5K4ywpSu6VgaILXkiPcaXHIymywpMIeEIZI3CTfhqlbloGfnAK7eqtUmfA_KKIPUEkbzIJSzRvXwqP6IzDUsrSVR0IGt3kwrKI0zCLVd6Ui73mRqM5aZRWUaMdcLZSa8Oi8cf_SaP2_NtpyNHR_yp5_m_JG9gdzZ4n-WQ8fbqAPZM7pu8S2pv3D3WF4GPDr_Xh-gQOkNTX
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Specifying+Events+and+their+Effects+in+Controlled+Natural+Language&rft.jtitle=Procedia%2C+social+and+behavioral+sciences&rft.au=Schwitter%2C+Rolf&rft.date=2011&rft.pub=Elsevier+Ltd&rft.issn=1877-0428&rft.eissn=1877-0428&rft.volume=27&rft.spage=12&rft.epage=21&rft_id=info:doi/10.1016%2Fj.sbspro.2011.10.578&rft.externalDocID=S1877042811024050
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1877-0428&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1877-0428&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1877-0428&client=summon