TY - GEN
T1 - A Logic of Arbitrary and Indefinite Objects
AU - Shapiro, Stuart C.
N1 - Publisher Copyright:
Copyright © 2004, Stuart C. Shapiro. All rights reserved.
PY - 2004
Y1 - 2004
N2 - A Logic of Arbitrary and Indefinite Objects, LA, has been developed as the logic for knowledge representation and reasoning systems designed to support natural language understanding and generation, and commonsense reasoning. The motivations for the design of LA are given, along with an informal introduction to the theory of arbitrary and indefinite objects, and to LA itself. LA is then formally defined by presenting its syntax, proof theory, and semantics, which are given via a translation scheme between LA and the standard classical First-Order Predicate Logic. Soundness is proved. The completeness theorem for LA is stated, and its proof is sketched. LA is being implemented as the logic of SNePS 3, the latest member of the SNePS family of Knowledge Representation and Reasoning systems.
AB - A Logic of Arbitrary and Indefinite Objects, LA, has been developed as the logic for knowledge representation and reasoning systems designed to support natural language understanding and generation, and commonsense reasoning. The motivations for the design of LA are given, along with an informal introduction to the theory of arbitrary and indefinite objects, and to LA itself. LA is then formally defined by presenting its syntax, proof theory, and semantics, which are given via a translation scheme between LA and the standard classical First-Order Predicate Logic. Soundness is proved. The completeness theorem for LA is stated, and its proof is sketched. LA is being implemented as the logic of SNePS 3, the latest member of the SNePS family of Knowledge Representation and Reasoning systems.
UR - https://www.scopus.com/pages/publications/85167400361
M3 - Conference contribution
AN - SCOPUS:85167400361
T3 - Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, KR 2004
SP - 565
EP - 575
BT - Principles of Knowledge Representation and Reasoning
PB - AAAI press
T2 - 9th International Conference on Principles of Knowledge Representation and Reasoning, KR 2004
Y2 - 2 June 2004 through 5 June 2004
ER -