Macquarie University, Sydney Macquarie University ResearchOnline

Showing items 1 - 15 of 35.

Add to Quick Collection   All 35 Results

Sort:
 Add All Items to Quick Collection
Authors: Schwitter, Rolf
Date: 2013
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/277215
Description: In this paper we take on Stuart C. Shapiro's challenge of solving the Jobs Puzzle automatically and do this via controlled natural language processing. Instead of encoding the puzzle in a formal langu ... More
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2013
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/285463
Description: In this paper, we discuss how statements about defaults and various forms of exceptions to them can be incorporated into an existing controlled natural language. We show how these defaults and excepti ... More
Authors: Schwitter, Rolf
Date: 2012
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/197418
Description: Controlled natural languages are subsets of natural languages that can be used to describe a problem in a very precise way, furthermore they can often be translated automatically into a formal notatio ... More
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2012
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/197565
Description: If not all temporal information is available in a text, humans usually use additional background knowledge to answer questions about the text. In this paper, we first investigate how humans answer thi ... More
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2012
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/215138
Description: In this paper, we discuss how a specification written in controlled natural language that contains statements of probabilistic uncertainty can be translated automatically into a probabilistic logic pr ... More
Authors: Schwitter, Rolf
Date: 2012
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/197370
Description: In this paper I discuss how the controlled natural language PENG Light can be modified so that it can serve as a high-level interface language to the Event Calculus. The Event Calculus is a narrative- ... More
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2011
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/152195
Description: PENG Light is a controlled natural language designed to write unambiguous specifications that can be translated automatically via discourse representation structures into a formal target language. Ins ... More
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2011
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/159162
Description: 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 transl ... More
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2010
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/125861
Description: Anaphora resolution in current computer-processable controlled natural languages relies mainly on syntactic information, accessibility constraints and the distance of the anaphoric expression to its a ... More
Authors: Schwitter, Rolf
Date: 2010
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/323650
Description: This paper presents a survey of research in controlled natural languages that can be used as high-level knowledge representation languages. Over the past 10 years or so, a number of machine-oriented c ... More
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2010
Language: eng
Resource Type: journal article
Identifier: http://hdl.handle.net/1959.14/146802
Description: Formal ontologies are difficult to read and understand for domain experts who do not have a background in formal logic. This severely restricts the ability of this user group to determine whether an o ... More
Reviewed: Reviewed
Date: 2010
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/125930
Description: This collaborative report highlights the properties and prospects of Controlled Natural Languages (CNLs). The report poses a range of questions concerning the goals of the CNL, the design, the linguis ... More
Date: 2009
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/147988
Description: Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environments. Current SA sys ... More
Reviewed: Reviewed
Date: 2009
Language: eng
Resource Type: conference paper
Identifier: http://hdl.handle.net/1959.14/1167117
Description: 9 page(s)
Reviewed: Reviewed
Authors: Schwitter, Rolf
Date: 2009
Language: eng
Resource Type: book chapter
Identifier: http://hdl.handle.net/1959.14/171905
Description: Progress in the field of knowledge-based natural language processing is closely related to progress in the field of automated reasoning. Instead of focusing on full natural languages that are probably ... More