Home // ADVCOMP 2014, The Eighth International Conference on Advanced Engineering Computing and Applications in Sciences // View article

Multiple-World Extension of Clausal Logical Structures

Authors:
Kiyoshi Akama
Ekawit Nantajeewarawat
Tadayuki Yoshida

Keywords: Multiple-world logical structure; Referential constraint; Specialization system; Declarative description.

Abstract:
In a simple clausal logical structure, a set of clauses determines models, each of which is a subset of some predetermined set G and represents a possible state of a world. A multiple-world clausal logical structure is an extension of a simple clausal logical structure, wherein multiple worlds are considered simultaneously. Each world model may be related not only to its corresponding set of clauses, but also to other world models. We define a method for multiple-world extension of a clausal logical structure. By applying this extension, we propose a new multiple-world clausal logical structure for S-expression atoms with definitions of several concrete constraints, which together provide rich expressive power including function variables and concepts such as argmax and negation.

Pages: 55 to 61

Copyright: Copyright (c) IARIA, 2014

Publication date: August 24, 2014

Published in: conference

ISSN: 2308-4499

ISBN: 978-1-61208-354-4

Location: Rome, Italy

Dates: from August 24, 2014 to August 28, 2014