Combining syntax and semantics through prime form representation

被引：10
|
作者：
Bittencourt, Guilherme [1 ]
机构：
[1] Univ Fed Santa Catarina, Dept Automacao & Sistemas, BR-88040900 Florianopolis, SC, Brazil
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2008年 / 18卷 / 01期
关键词：
knowledge representation; model counting; prime implicants; knowledge compilation; belief revision;
D O I：
10.1093/logcom/exm051
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This article presents an algorithm that, besides calculating the number of models of a propositional logic theory, also determines the distribution of these models among the terms of a disjunctive normal form representation of the theory. Using prime implicants to represent the target theory, in a knowledge compilation context, we discuss how this distribution can be used to define belief change operators that respect the theory structure. Some experimental results are also presented.
引用
收藏
页码：13 / 33
页数：21
相关论文
共 50 条
  • [1] The other syntax: Approaching natural language semantics through logical form composition
    Penn, G
    Richter, F
    [J]. CONSTRAINT SOLVING AND LANGUAGE PROCESSING, 2005, 3438 : 48 - 73
  • [2] COMBINING MONTAGUE SEMANTICS AND DISCOURSE REPRESENTATION
    MUSKENS, R
    [J]. LINGUISTICS AND PHILOSOPHY, 1996, 19 (02) : 143 - 186
  • [3] Form and content: Dissociating syntax and semantics in sentence comprehension
    Dapretto, M
    Bookheimer, SY
    [J]. NEURON, 1999, 24 (02) : 427 - 432
  • [4] A Deep Decomposable Model for Disentangling Syntax and Semantics in Sentence Representation
    Li, Dingcheng
    Fei, Hongliang
    Ren, Shaogang
    Li, Ping
    [J]. FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, EMNLP 2021, 2021, : 4300 - 4310
  • [5] Design model: Towards an integrated representation for design semantics and syntax
    Keat, LB
    Tan, CL
    Mathur, K
    [J]. AI SYSTEM SUPPORT FOR CONCEPTUAL DESIGN, 1996, : 124 - 137
  • [6] Text representation combining syntax in vector space model
    Liu P.-Y.
    Yang Y.-Z.
    Zhao J.
    [J]. Advances in Information Sciences and Service Sciences, 2011, 3 (07): : 251 - 259
  • [7] SYNTAX AND SEMANTICS
    LENTIN, A
    [J]. INTERNATIONAL SOCIAL SCIENCE JOURNAL, 1971, 23 (03) : 453 - 461
  • [8] General Representation of Retail Electricity Market Based on Semantics, Syntax and Scripts
    Gao Z.
    Liu D.
    Zhang W.
    Xu Y.
    Zhang J.
    Li G.
    [J]. Dianwang Jishu/Power System Technology, 2023, 47 (10): : 4246 - 4254
  • [9] ETRE AND AVOIR - IS IT FROM SEMANTICS TO SYNTAX OR FROM SYNTAX TO SEMANTICS
    SCHMIDELY, J
    [J]. REVUE DES LANGUES ROMANES, 1991, 95 (01) : 147 - 157
  • [10] SYNTAX, FUNCTIONAL SEMANTICS, AND REFERENTIAL SEMANTICS
    LOAR, BF
    [J]. BEHAVIORAL AND BRAIN SCIENCES, 1980, 3 (01) : 89 - 90
12345